(Lmf Sentences) Mantıksal,
matematiksel,
biçimsel ifadeler.
Mantıksal ve matematiksel İfadeler bir dilin iskeletini meydana getiren
İfadeler; biçimsel ifadeler ise, köpek bir hayvandır cümlesinde olduğu gibi,
cümle İçinde
bazı kavramlar,
arasındaki bağıntıları gösteren ifadelerdir. Bir mantıksal veya matematiksel
cümlenin kanıtlanmasından bahsetmek anlamlıdır. Mantıksal, matematiksel ve
biçimsel İfadeler, tecrübî ifadeleler ile hipotetik ifadelerden tanıma göre
öneki uygulamasıyla ayırt edilebilir. MMB cümleleri, gerçeklikle karşılaştırma
amacı taşımazlar; bu cümlelerin doğruluğunun sınanması gerçeklikle
karşılaştırma yapmak suretiyle ortaya konmaz. Örn. 25x25=625 şeklindeki bir
matematiksel ifadenin veya köpek bir hayvandır şeklindeki bir biçimsel ifadenin
doğruluğunun test edilmesi için bu ifadelerin olaylarla karşılaştırılması
yapılmaz. Aynca inanıyorum ki öneki MMB İfadeleri için anlamsızdır.
|
