حمل اوّلی و شایع را در حلّ بسیاری از مسائل فلسفی به کار برده اند که برخی از آن ها کاربرد نادرست این دو حمل است. برخی از این کاربردها، به شبهات فلسفی و پارادوکس های منطقی مربوط می شود و برخی دیگر را می توان در مباحث مستقل فلسفی یافت: 1. شبهه اخبار از معدوم مطلق، 2. اشکالات وجود ذهنی، 3. معمّای جذر اصم و پارادوکس راسل، 4. پارادوکس اشاره به گیومه و پارادوکس مفهوم اسب، 5. دلیل این که چرا حدّ تام را به ...

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

کتاب «مبانی منطق و روش شناسی» را به‌عنوان مقدمه‌ای لازم و عام برای همه رشته‌ها و مقدمه‌ای خاص برای فراگیری منطق جدید (به‌ویژه کتاب‌های پیش گفته) بشمار می‌آورند. این کتاب از دو مبحث اصلی شامل شش بخش فرعی به ترتیب زیر تشکیل یافته است: مبحث اول: علم منطق بخش اول، منطق در زبان: 1- مطالعات زبانشناختی، 2- تعریف منطقی بخش دوم، منطق قیاسی: 3- منطق گزاره‌ها، 4- منطق محمولات کلاسیک 5- منطق محمولات جد...

قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات ه...

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد ّه، مواردی از خلط صورت با ماد ّه در منطق قدیم آشکار شده است. عده ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به کار می رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می ...

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

فلسفۀ منطق علمی پسینی است و دربارۀ مبانی فلسفی منطق از سویی، و مسائل فلسفی ناشی از مباحث منطقی از سوی دیگر بررسی می کند. فلسفۀ منطق ارسطو تاکنون تدوین نشده است؛ اما برای تطبیق دو منطق قدیم و جدید لازم است مبانی فلسفی منطق ارسطو را استخراج کنیم، زیرا ممکن است با مشاهدۀ پاره ای اختلافات یا اشتراکات ظاهری به وجود وحدت یا تضاد میان آنها حکم کنیم. برای استخراج این مبانی فلسفی باید افزون بر آثار پیرو...

به علت برخی ویژگی های منطق سنتی ارسطویی، عدم ارتباط منطقی میان جملات از نوع «هست» و جملات از نوع «باید» بدیهی به نظر می رسد. اما منطق جدید فاقد چنین ویژگی هایی است؛ پرایور با تکیه بر این نکته طرف داران شکاف منطقی «هست» و «باید» را با یک پارادوکس مواجه می کند. در این مقاله ابتدا پارادوکس پرایور و برخی پاسخ های فلسفی به آن را بیان می کنیم، سپس به تشریح منطق چند ارزشی بیل که برای حل این پارادوکس پ...