نوع مقاله : پژوهشی
نویسندگان
1 دانشیار گروه فلسفه دانشگاه علامه طباطبایی. تهران. ایران
2 کارشناس ارشد فلسفه منطق دانشگاه علامه طباطبایی. تهران. ایران
3 دکترای علوم کامپیوتر دانشگاه مونپلیه فرانسه
چکیده
در این پژوهش در ابتدا به بازسازی قیاس حملی ارسطویی توسط مفهوم اندراج می پردازیم. سپس درستی معادله «قیاس ارسطویی= خواص اندراج + برهان خلف + پیش فرض وجودی» را اثبات خواهیم کرد. از آنجایی که پیش فرض وجودی صرفا یک پیش فرض مورد قبول در میان منطق دانان قدیم است و برهان خلف اصل منطقی کلی است. اثبات معادله ذکر شده توسط بازسازی قیاس ارسطویی تنها با استفاده از خواص اندراجی، برهان خلف و پیش فرض وجودی شکل خواهد گرفت؛ می توان نتیجه گرفت که اندراج (و خواص آن) عنصر اصلی و مهم قیاس حملی ارسطویی است. در انتها پس از معرفی مفهوم پیچیدگی قیاس براساس خواص اندراج، به تبیین مفهوم بداهت و مبناپذیری و نسبت آنها در قیاس حملی ارسطویی می پردازیم و نشان می دهیم که نسبت بدیهی بودن و مبناپذیر بودن عموم و خصوص مطلق است؛ به عبارت دیگر مفاهیم بدیهی بودن و مبناپذیر بودن نسبت تساوی ندارند.
کلیدواژه‌ها
عنوان مقاله [English]
Inclusion: The Secret Behind the Aristotelian Categorical Syllogism
نویسندگان [English]
- Gholamreza Zakiany 1
- Mahin Bagheri 2
- Mehdi Mirzapour 3
1 Associate Professor of Philosophy Department, Allameh Tabatabai University,Tehran.Iran
2 M.A in Philosophy-logic, Allameh Tabatabai University. Tehran.Iran
3 Ph.D in Computer Science, Montpellier University, France
چکیده [English]
In this research, we firstly reconstruct the Aristotelian categorical syllogism using the concept of inclusion(=subset). Then, we prove the soundness of the equation “Aristotelian syllogism= Inclusion properties + Proof by contradiction + Existential import”. The proof of this equation will be formed by reconstructing the Aristotelian syllogism. There is a consensus view among the old logicians in favor of the usage of existential import as an assumption. Also, the proof by contradiction is considered as a general logical principle. Consequently, it can be concluded that the inclusion and its properties are the core important elements of the Aristotelian categorical syllogism. In the end, after introducing the concept of complexity of syllogism based on the properties of inclusion, we point out the concepts of self-evidency and groundability and their relationship in the Aristotelian categorical syllogism setting. We clarify that the relation of being self-evident and groundability is not equality and the groundability is a more general concept with respect to being self-evident.
.
کلیدواژه‌ها [English]
- Categorical Syllogism
- Properties of the Inclusion
- Complexity Function
- Groundability
- Self-evidency. Distributed Terms
)