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

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

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

مقالة 1951 کواین با عنوان «دو حکم جزمی تجربه گرایی» با نقدی دور از انتظار به دوگانة مشهور تحلیلی ـ ترکیبی، ضمن موضع گیری علیه استفاده از مفهوم تحلیلت در توضیح و تبیین ضرورت و پیشینی بودن، هرگونه تلاش در جهت ارائة تمایزی غیر دوری میان گزاره های تحلیلی و ترکیبی را ناکام دانست. به اعتقاد کواین مفاهیمی نظیر تناقض، ترادف، و معنا که در تعریف قضایای تحلیلی از آن ها بهره برده می شود، در عین حال که وضوح...

قاضی ابوبکرباقلانی ( د 403 ق در بغداد) سهم بسزایی در شکل گیری کلام اشاعره داشت. او نه تنها در علم کلام، بلکه در اصول فقه و علوم قرآن نیز صاحب تألیف و نظر بود. در این مقاله ما فقط از زاویة علم کلام به او نگریسته و اندیشه های کلامی وی را بررسی کرده ایم. دستگاه کلامی باقلانی به طور کلی همچون یک سازة هندسی طراحی شده است. به عبارت دیگر مسائلی را که او طرح می کند دارای ترتیب منطقی و استنتاجی است و قض...

قاضی ابوبکرباقلانی ( د 403 ق در بغداد) سهم بسزایی در شکل گیری کلام اشاعره داشت. او نه تنها در علم کلام، بلکه در اصول فقه و علوم قرآن نیز صاحب تألیف و نظر بود. در این مقاله ما فقط از زاویة علم کلام به او نگریسته و اندیشه های کلامی وی را بررسی کرده ایم. دستگاه کلامی باقلانی به طور کلی همچون یک سازة هندسی طراحی شده است. به عبارت دیگر مسائلی را که او طرح می کند دارای ترتیب منطقی و استنتاجی است و قض...

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

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

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

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