تابع پیچیدگی

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