بررسی و تحلیل گزاره های شرطی و شروط صدق آنها در منطق ابن سینا

ارسطو منطق خود را بر پایهٔ گزاره های حملی و نظریه قیاس های حملی استوار نمود اما آن را با بهره گیری از ساختار شرطی ها در قالب زبان طبیعی تبیین کرد

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

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

عنوان	فایل
بررسی و تحلیل گزاره‌های شرطی و شروط صدق آنها در منطق ابن‌سینا	application/pdf barasi.pdf 221 KB	دانلود

مرتضی حاج حسینی