رفتن به محتوای اصلی
جستجوی پیشرفته
عبارات جستجو
نوع محتوا

مطابقت کامل
جستجو در برچسب‌ها
گزینه های تاریخ
پس از به روز رسانی
قبلا به روز شده
ایجاد شده پس از
ایجاد شده قبل از

نتایج جستجو

نتایج یافت شده 2

بررسی سه بحث باقی مانده

کاربرد مفاهیم ریاضیاتی در تبیین معارف ا... فصل دوم: نظریات کانتور؛ دستاویز ملحدین

در ادامه بررسی استدلال محال بودن دانستن مجموعه تمام حقایق سه بحث باقی مانده را می‌آورم: 1- دو نوع آگاهی ادراک که کشف و حضور چیز درک شده است نزد عالم به آن ، بر دو نوع است: یا خود شیئ حاضر می‌شود و یا صورت ادراکی آن ، مثلا وقتی شما به یک ساعت نگاه می‌کنید خ...

نظریه مجموعه‌ها
مجموعه
علم خداوند
بی نهایت بودن خداوند
بی نهایت
علم حصولی
علم حضوری

عدم موفقیت فرگه در صوری‌سازی منطق گزاره‌ها

۱۵. فقه هوش مصنوعی (۱۴۰۲/۱۱/۱۲)

لذا عرض کردم این که می‌گویند سمانتیک منطق گزاره‌ها، سمانتیک صدق است، یا سمانتیک ارجاع است، حرف درستی نیست؛ از آن کتاب خواندم که می‌گفت ابهام آمیز است و غلط است. این اصلاً یک چیز غلط است و اصلاً جای آن نبوده که وقتی زبان منطق گزاره‌ها را خواستیم معنادهی کنیم،...

ارجاع
منطق گزاره‌ها
فرگه
سمانتیک منطق گزاره‌ها
صدق
صوری‌سازی
سمانتیک معنا
ثابت‌های منطقی
قضایای شخصیه
قضایای اتمی صدق
قضایای اتمی
مفهوم
مجموعه
قضایای طبیعیه
عینک معنابین
بیت
نرم‌افزار