Nasreddin
Sun 16 November 2008, 02:46 pm GMT +0200
Mmb İfadeler
(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.
(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.