Tasım

Tasım veya kıyas (Eski Yunanca: συλλογισμός) mantıkta, birisi orta terim olmak üzere "öncül" adı verilen iki önerme ile bu iki öncülden zorunlu olarak çıkarsanan ve ardıl adı verilen üçüncü bir önerme biçimde ifade edilen ya da edilebilen kanıttır.

Temel yapı

Tasım temel kategori olarak 3 bölümden oluşur

Aristotales'e göre her terim şu formdadır; "Her A, B'dir", "Bazı A'lar, B'dir", "Hiçbir A, B değildir" veya "Bazı A'lar, B değildir". Burada A bir terim, B ise başka bir terimdir."Bütün A'lar, B'dir" ve "Hiçbir A, B değildir" universal önerme; "Bazı A'lar B'dir" ve "Bazı A'lar B değildir" ayrıntı önermedir. Örneğin:

Yukarıdaki üç farklı tanım faklı kategöriyi temsil eder. Yukarıdaki örnekte,insanlar, ölümlü ve Yunanlar gibi. Ölümlü majör tanım, Yunan ise minör tanımdır. Bu örnekte bir de ortak tanım vardır ki, o da "insanlar"dır.Her iki tanım da, sonuç gibi, üniversaldir.

Majör Terim: Bütün ölümlüler ölür.
Minor Terim: Bazı ölümlüler erkekdir.
Sonuç: Bazı erkekler ölür.

Bu örnekde de, Majör tanım "ölüm", minör tanım da "erkek" ve ortak tanım da "ölümlü"dür. Majör terim üniversal, minör terim ve sonuç ayrınt önermedir.

This article is issued from Vikipedi - version of the 9/22/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.