در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول ...

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

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

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

چکیده نخستین دانشمند مسلمانی که به شکل جدی به ساختارهای شرطی پرداخت ، « ابن سینا » بود. در واقع او مبتکرنظری? « قیاس اقترانی شرطی » است . پس از او کسانی چون« ارموی » ،« قطب رازی » و « خواجه نصیر طوسی » این بحث را ادامه دادند .تحقیق حاضردر پی این است که نشان دهد ابن سینا و شارحان وی تا چه حد توانسته اند ساختار معتبر و منسجمی از استدلال های شرطی ارائه نمایند.در این پژوهش سعی شده با مطالع? کتابه...