اندراج: راز قیاس حملی ارسطویی

در این پژوهش در ابتدا به بازسازی قیاس حملی ارسطویی توسط مفهوم اندراج می پردازیم. سپس درستی معادله «قیاس ارسطویی= خواص اندراج + برهان خلف + پیش فرض وجودی» را اثبات خواهیم کرد. از آنجایی که پیش فرض وجودی صرفا یک پیش فرض مورد قبول در میان منطق دانان قدیم است و برهان خلف اصل منطقی کلی است. اثبات معادله ذکر شده توسط بازسازی قیاس ارسطویی تنها با استفاده از خواص اندراجی، برهان خلف و پیش فرض وجودی شکل خواهد گرفت؛ می توان نتیجه گرفت که اندراج (و خواص آن) عنصر اصلی و مهم قیاس حملی ارسطویی است. در انتها پس از معرفی مفهوم پیچیدگی قیاس براساس خواص اندراج، به تبیین مفهوم بداهت و مبناپذیری و نسبت آنها در قیاس حملی ارسطویی می پردازیم و نشان می دهیم که نسبت بدیهی بودن و مبناپذیر بودن عموم و خصوص مطلق است؛ به عبارت دیگر مفاهیم بدیهی بودن و مبناپذیر بودن نسبت تساوی ندارند.

inclusion: the secret behind the aristotelian categorical syllogism

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..