منطق صوری در آثار ارسطو
ارسطو، فیلسوف یونانی، یکی از بنیانگذاران منطق صوری است. او در کتابهای خود، به ویژه در “تحلیلهای پیشین” و “تحلیلهای پسین”، به بررسی اصول و قواعد منطق پرداخته است. یکی از مهمترین مفاهیم در منطق صوری، مفهوم قیاس است. قیاس، استنتاجی است که از دو مقدمه به یک نتیجه میرسد.
در این راستا، ارسطو قیاس را به دو نوع تقسیم میکند: قیاس حملی و قیاس شرطی. قیاس حملی، قیاسی است که در آن، مقدمهها و نتیجه، احکام حملی هستند. به عنوان مثال، اگر بگوییم “همه انسانها فانی هستند” و “سقراط انسان است”، میتوانیم نتیجه بگیریم که “سقراط فانی است”. این نوع قیاس، قیاس حملی نام دارد.
ساختار قیاس در منطق ارسطو
در قیاس حملی، ارسطو به دو نوع قیاس اشاره میکند: قیاس مستقیم و قیاس غیرمستقیم. قیاس مستقیم، قیاسی است که در آن، نتیجه مستقیماً از مقدمهها به دست میآید. اما قیاس غیرمستقیم، قیاسی است که در آن، نتیجه از طریق یک واسطه به دست میآید.
به عنوان مثال، اگر بگوییم “همه انسانها فانی هستند” و “سقراط انسان است”، میتوانیم نتیجه بگیریم که “سقراط فانی است”. این قیاس، قیاس مستقیم نام دارد. اما اگر بگوییم “همه انسانها فانی هستند” و “هیچ خدایی فانی نیست”، میتوانیم نتیجه بگیریم که “هیچ خدایی انسان نیست”. این قیاس، قیاس غیرمستقیم نام دارد.
نقل قول از ارسطو
> “قیاس، استنتاجی است که از دو مقدمه به یک نتیجه میرسد. مقدمهها باید به گونهای باشند که نتیجه از آنها به دست میآید.” (ارسطو، تحلیلهای پیشین، ۲۴ الف ۱۰-۱۵)
در این نقل قول، ارسطو به وضوح بیان میکند که قیاس، استنتاجی است که از دو مقدمه به یک نتیجه میرسد. او همچنین تأکید میکند که مقدمهها باید به گونهای باشند که نتیجه از آنها به دست میآید.
بررسی مفاهیم منطقی در آثار ارسطو
یکی از مهمترین مفاهیم در منطق صوری، مفهوم تناقض است. تناقض، گزارهای است که هم درست و هم نادرست باشد. ارسطو در کتاب “متافیزیک” به بررسی مفهوم تناقض میپردازد. او بیان میکند که تناقض، محال است و نمیتوان گزارهای را هم درست و هم نادرست دانست.
به عنوان مثال، اگر بگوییم “این گزاره درست است”، نمیتوانیم بگوییم که “این گزاره نادرست است”. زیرا اگر گزاره نادرست باشد، پس باید درست باشد و اگر درست باشد، پس باید نادرست باشد. این تناقض، محال است.
بحثی در باب قیاس و تناقض
در بحث از قیاس و تناقض، میتوان به این نکته اشاره کرد که قیاس، ابزاری است برای استنتاج نتیجه از مقدمهها. اما تناقض، محال است و نمیتوان گزارهای را هم درست و هم نادرست دانست. این دو مفهوم، به هم مرتبط هستند. زیرا در قیاس، ما از مقدمهها به نتیجه میرسیم و اگر مقدمهها متناقض باشند، نتیجه نیز متناقض خواهد بود.
به عنوان مثال، اگر بگوییم “همه انسانها فانی هستند” و “سقراط انسان است”، میتوانیم نتیجه بگیریم که “سقراط فانی است”. اما اگر بگوییم “همه انسانها فانی هستند” و “سقراط فانی نیست”، نمیتوانیم نتیجه بگیریم که “سقراط انسان است”. زیرا مقدمهها متناقض هستند.
بررسی منابع
۱. ارسطو. (۱۳۷۰). تحلیلهای پیشین. ترجمهٔ محمدحسن قطرهای. تهران: انتشارات دانشگاه تهران.
۲. ارسطو. (۱۳۷۵). متافیزیک. ترجمهٔ محمدحسن قطرهای. تهران: انتشارات دانشگاه تهران.
۳. مود، رابرت. (۱۳۸۵). مقدمهای بر منطق. ترجمهٔ محمود خاتمی. تهران: انتشارات دانشگاه تهران.
پانویسها:
[۱] ارسطو، تحلیلهای پیشین، ۲۴ الف ۱۰-۱۵.
[۲] ارسطو، متافیزیک، ۱۰۰۵ ب ۲۰-۲۵.
[۳] مود، رابرت، مقدمهای بر منطق، ص ۱۲۳.
