عضویت العربیة English
امام مهدی علیه‌السلام: من خاتم اوصیا هستم و خداوند به‌واسطه من، بلا را از خانواده و شیعیانم بر طرف مى‌کند. بحارالأنوار، ج 52، ص30

منطق ریاضی

خفیستک، لئون

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

منطق ریاضی

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

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

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

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

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

توصیف‌ها

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

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

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