0
مسیر جاری :
خفیستک، لئون منطق ریاضی

خفیستک، لئون

خفیستک، که متفکری دقیق بود و به شدّت با مابعدالطبیعه و فلسفه‌ی آرامان گرایانه (ایدئالیستی) مخالفت می‌کرد، از سال 1309 تا 1319 استاد منطق در دانشگاه لووف بود، و از آن پس به اتحاد شوروی پناهنده شد. در سال...
منطق ریاضی منطق ریاضی

منطق ریاضی

منطق ریاضی( که همچنین «لوژیستیک» یا «منطق رمزی» نامیده می شود) امروزه غالباً دانش خاصی به شمار می رود، و غالباً در دانشکده های علوم نیز تدریس می شود. تنها بعضی از فیلسوفان آن را چونان کارافزار سودمندی...
پاسخی به پارادوکس دروغگو منطق ریاضی

پاسخی به پارادوکس دروغگو

در دهه ی اخیر استفان رید تلاش کرده است تا به واسطه ی ارائه ی یک نظریه ی صدق جدید، راه حلّ تازه ای برای پارادوکس دروغگو به دست دهد.
قضیه ی خارجیه در منطق حذف این همانی و منطق مرتبه ی دوم هنکین منطق ریاضی

قضیه ی خارجیه در منطق حذف این همانی و منطق مرتبه ی دوم هنکین

در این مقاله، با نشان دادن ضعف های بنیادین منطق این همانی و منطق مرتبه ی دوم در تحلیل قضایای خارجیه و با نشان دادن تعارض اصل این همانی با قاعده ی فرعیه،
توصیف‌ها منطق ریاضی

توصیف‌ها

مقاله توصیف‌ها (1)، ترجمه فصل شانزدهم از کتاب برتراند راسل با عنوان درآمدی به فلسفه ریاضی است. در کتاب نخستین فلاسفه تحلیلی که مجموعه‌ای از مقالات از نویسندگان مختلف در زمینه فلسفه تحلیلی است، گردآورنده...
تمایزات مبنایى منطق قدیم و جدید منطق ریاضی

تمایزات مبنایى منطق قدیم و جدید

آنچه در پى مى‏آید ویراسته کنفرانس استاد گرامى جناب آقاى دکتر ضیاء موحد مى‏باشد که در جمع مدرسان و پژوهشگران و دانشجویان دانشگاه مفید و دیگر مراکز آموزشى - پژوهشى در تاریخ 8/2/76 در دانشگاه مفید ایراد گردیده...