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
- Majör Terim
- Minör Terim
- Sonuç
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:
- Majör Terim: Bütün insanlar ölümlüdür.
- Minör Terim: Bütün Yunanlar insandır.
- Sonuç: Bütün Yunanlar ölümlüdür.
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.