Skip to main content
فهرست مقالات

جستارگشایی منطق: بحثی در منطق جدید استلزام مادی در روش معنایی (سمانتیکی)1

نویسنده:

(8 صفحه - از 87 تا 94)

کلید واژه های ماشینی : منطق جدید استلزام مادی، منطق، استلزام مادی، تالی، صدق، شرطیه، مفهوم استلزام مادی، استلزام مادی در روش، صدق و کذب، قضیه

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

  • دانلود HTML
  • دانلود PDF

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