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

واقعیت و حقیقت منطق

نویسنده:

(14 صفحه - از 120 تا 133)

کلید واژه های ماشینی : منطق ،استدلال ،گزاره ،قیاس ،خطای ،سور ،منطق قدیم ،تعریف ،ترکیبی ،برهان ،قاعده ،ذهن ،اثبات ،انسان ،غلط ،مقدمات استدلال ،aG ،تشخیص ،ابزار ،علم ،مقدمات غلط استدلال ،منطق محمولها سور جملاتی ،حیوان ناطق ،بدیهی ،گزاره‌های ترکیبی ،روش منطق ،فرض ،خطای صوری ،موقعیت ،جمله‌ها

خلاصه ماشینی:

"1 l اگر a را نامی فرض بدانیم و آن را به جای متغیر X قرار دهیم،با استفاده از قاعده حذف سور کلی-که‌ البته در منطق محمولها مطرح می‌شود-می‌توان‌ مقدمات استدلال فوق را به شکل زیر بازنویسی کرد: af aG aH aG ؟ از این پس کار بر روی جمله‌های بدون سور بر مبنای روش استنتاج طبیعی آغاز می‌شود:اگر فرض‌ کنیم که af تحقق داشته باشد،مطابق قاعده«وضع‌ مقدم»،می‌توان از این فرض و مقدمه اول استدلال‌ ( af aG )،نتیجه aG را بدست آورد. چون‌ af یکی از فرضهایی است که aH ؟با ابتنای بر آنها بدست آمده است،می‌توان بر مبنای قاعده دلیل‌ شرطی،ترکیب af ؟ aH را از این دو مقدمه بدست‌ آورد و این نتیجه را با استفاده از قاعده معرفی سور کلی در منطق محمولها به((به تصویر صفحه مراجعه شود))تبدیل کرد که‌ ترجمه آن به زبان طبیعی با برگردان نمادها به الفاظ چنین است:به ازای هر چیز،اگر آن چیز انسان است‌ آنگاه چنین نیست که آن چیز پرنده است؛یا:هیچ‌ انسانی پرنده نیست. واقعیت منطق اگر درک نتیجه در استدلالی که منتج است به‌ سادگی درک امری بدیهی باشد و اگر برای درک‌ امری بدیهی به امر دیگری نیاز نباشد،در تشخیص‌ منتج یا عقیم بودن استدلالات سوردار و نتیجه آنها نیز اشتباهی رخ نخواهد داد؛بنابراین به عاملی که‌ بخواهد این اشتباهها را تشخیص دهد یا معیاری که‌ درست و نادرست را در این امور از هم جدا کند، نیازی نیست."

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

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