اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
محورهای موضوعی : فلسفه
1 - ندارد
کلید واژه: کانت, منطق صوری, منطق ریاضی, قیاس صوری, شک لهای قیاس, نظریه مجموع هها, نمودار وِن,
چکیده مقاله :
در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول و آن هم به ضرب اولمی تواند بازگردد . در هر مورد، نیز، مثالی از زبان طبیعی برای درک بهتر موضوع ارائه (Barbara)می شود.
In the beginning, syllogism, Kant's attitude, on syllogism, and its fourbasic forms are defined. Form Kant's view, only the first form issignificant and other forms can be transformed into the first one. Then,the various forms and formulas of Aristotelian - Classical logic areintroduced. Finally, there is an attempt for demonstrating status oftransforming all forms of syllogism into the first form , i.e. Barbara, byrelying on formal language of mathematical logic, theory of sets, andespecially Van's diagrams. In each case, an example in natural languagefor a more accurate understanding is provided.