Mmb İfadeler

(Lmf Sentences) Mantıksal, matematiksel, biçimsel ifadeler. Mantıksal ve matematiksel İfadeler bir di­lin 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 bah­setmek anlamlıdır. Mantıksal, matematiksel ve biçimsel İfade­ler, tecrübî ifadeleler ile hipotetik ifadelerden tanıma göre öneki uygulamasıyla ayırt edilebilir. MMB cümleleri, gerçek­likle karşılaştırma amacı taşımazlar; bu cümlelerin doğruluğu­nun sınanması gerçeklikle karşılaştırma yapmak suretiyle orta­ya konmaz. Örn. 25x25=625 şeklindeki bir matematiksel ifa­denin veya köpek bir hayvandır şeklindeki bir biçimsel ifade­nin 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.