- Mesajlar
- 1,941
Baroco, klâsik mantıkta geçen geçerli kıyas formunu gösteren bir başka kalıptır. Baroco, kuvvetli (sıkı) geçerli bir kategorik kıyas formudur. Bunda geçen sesli harfler, yani A O O sembolleri, kıyasın modunu gösterir. Buna göre, tasım, şu örnekte görüldüğü gibi, öncülleri tümel olumlu, tümel olumsuz, sonucu ise tikel olumsuz olan, II. şekilden bir kıyastır.
Her B O dur; A Her konuşan insandır;
Bazı K O değildir; O Bazı canlılar insan değildir;
Bazı K B değildir. O Bazı canlılar konuşan değildir.
Mükemmel olmayan bu form, indirgeme (İrcâ) yoluyla mükemmel kıyasa dönüştürülebilir. Bundaki s, p, m, c sessiz harfleri (s, p döndürme/p ayrıca tümelden tikele geçme, m=ircada önermenin yerinin değiştirme veya c=saçmaya irca yoluyla) bu dönüştürme işleminin nasıl yapılacağını gösterir.
B. A. BRODY, “Logical Terms, Glossary of, The Encyclopedia of Philosophy, C. V, London, 1972; I. EMİROĞLU, Ana Hatlarıyla Klasik Mantık, Bursa, 1999; N. ÖNER, Klasik Mantık, Ankara, 1982; D. ÖZLEM, Mantık, İstanbul, 1991.
Felsefe Ansiklopedisi / Etik Yayınları
Ayrıca bkz., KIYAS, KLASİK MANTIK.