"Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates ölümlüdür."
Bu akıl yürütme hangi tür kıyas örneğidir?
Verilen akıl yürütme örneğini inceleyelim ve hangi kıyas türüne ait olduğunu adım adım açıklayalım:
Kıyas (Syllogism), en az iki önermeden (öncül) bir sonuç çıkarma işlemidir. Mantıkta geçerli bir kıyas, öncüller doğruysa sonucun da zorunlu olarak doğru olmasını sağlar.
Kategorik kıyas, önermeleri kategorik olan (yani bir özneye bir yüklem atfeden, bir şeyin bir kategoriye dahil olup olmadığını belirten) ve terimler arasındaki kapsama ilişkisini gösteren kıyas türüdür. Bu kıyas türünde öncüller, belirli kategoriler (sınıflar) arasındaki ilişkileri ifade eder ve sonuç da bu ilişkilerden zorunlu olarak çıkar.
Verilen örnekte:
Bu yapı, doğrudan kategoriler ve onların üyeleri arasındaki ilişkileri ifade ettiği için kategorik kıyas örneğidir.
Verilen örnekte "eğer-ise" veya "ya-ya da" gibi bağlaçlar bulunmadığı için diğer seçenekler doğru değildir.
Bu nedenle, "Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates ölümlüdür." akıl yürütmesi bir kategorik kıyas örneğidir.
Cevap B seçeneğidir.