İki öncüllü çıkarım (dolaylı çıkarım): Ortak bir -> orta terimle birbirine bağlanabilen iki -> önermeden (iki önermede ortak bir terimin bulunması ile) yapılan çıkarım. Verilmiş iki önermeden, bu önermelerin içerdiğini içinde bulunduran bir üçüncü önermeyi çıkarma işlemi. kendilerinden çıkarım yapılan önermelere öncüller ( praemissa), bunlardan çıkarılan önermeye (conclusio) denir. Tasımın şeması şöyledir: M-P (büyük önerme) S-P ( küçük önerme)_______S-P sonuçBüyük terim= P ile, küçük terim= S yi bağlayan orta terim= M dir.
Orta terimin öncüllerde bulunduğu yere göre değişen dört tasım şekli (figür), her bir şeklin de kipleri (modus) vardır (toplam olarak 19 kip). Her tasım belli bir kipe göre kurulmuştur ve tasımın kipi ile şekli arasında bir ilgi vardır: 1. Şekil 2. Şekil 3. Şekil 4. Şekil M----P P----M M----P P----M S----M S----M M----S M----S ______ ______ ______ ______ S----P S----P S----P S----P Örnek: Birinci şeklin kipleri ( öncüllerin tümel ya da tikel, olumlu ya da olumsuz oluşuna göre 4 kipe bölünür): Barbara, celarent, Darii, Ferio. Bunlar da : a = tümel olumlu e = tümel olumsuz İ = tikel olumlu o = tikel olumsuzu gösterirler. ( Ör.
Barbara : üç a ile üç önermenin de tümel olumlu olduğunu gösteriyor. )
Sayfa Yorumları