"Mantık" terimi iki ayrı manada kullanılmaktadır:
a) "Mantık" terimi çeşitli nesnel dil-sistemlerinin "değil", "ve", "veya", "ise", "bütün", "bazı", "dır" gibi mantıksal ifadelerden kurulu lojik-iskeletlerini gösterir. Buna göre her bir dil-sisteminin kendine özgü bir mantığı vardır. Yani bu manada "mantık"tan değil, "mantıklar"dan söz etmek yerinde olur. Her mantık, iskeleti olduğu dil-sistemini kullanan kişilerin çıkarım (inference, raisonnement) çabalarının dilsel belirtisidir.
b) "Mantık" (a) manasındaki mantıkların yapılarını inceleyen, dolayısıyla ancak üst-dilde ifade edilebilen bir bilgi-sistemi demektir. (b) manasını (a) manasından ayırt etmek için (b) manasındaki mantığa "üst-mantık" (metalogic) de denilmektedir.
·
3 görüntüleme
Yorum yapabilmeniz için giriş yapmanız gerekmektedir.