جستجوی پیشرفته
نتایج جستجو
نتایج یافت شده 2
بررسی سه بحث باقی مانده
کاربرد مفاهیم ریاضیاتی در تبیین معارف ا...
فصل دوم: نظریات کانتور؛ دستاویز ملحدین
در ادامه بررسی استدلال محال بودن دانستن مجموعه تمام حقایق سه بحث باقی مانده را میآورم: 1- دو نوع آگاهی ادراک که کشف و حضور چیز درک شده است نزد عالم به آن ، بر دو نوع است: یا خود شیئ حاضر میشود و یا صورت ادراکی آن ، مثلا وقتی شما به یک ساعت نگاه میکنید خ...
عدم موفقیت فرگه در صوریسازی منطق گزارهها
۱۵. فقه هوش مصنوعی (۱۴۰۲/۱۱/۱۲)
لذا عرض کردم این که میگویند سمانتیک منطق گزارهها، سمانتیک صدق است، یا سمانتیک ارجاع است، حرف درستی نیست؛ از آن کتاب خواندم که میگفت ابهام آمیز است و غلط است. این اصلاً یک چیز غلط است و اصلاً جای آن نبوده که وقتی زبان منطق گزارهها را خواستیم معنادهی کنیم،...