Sembolik Mantık El Kitabı 2
Teo GrünbergSözler ve Alıntılar
Anlambilim belli bir dile ait olan çeşitli türden sözcük ve sözlerin anlamını konu edinen bilimdir. İnceleme konusu olan dil sözedilen dil, inceleme için kullanılan dil ise sözeden dildir. Bir önermenin belli bir doğruluk değeri taşıması, yani doğru veya yanlış olması anlamına bağlıdır. Bu nedenle Doğru ile Yanlış, anlambilimsel kavramlar sayılır. Sözden dile ait “doğrudur” ile “yanlıştır” birli yüklemlerinin işleri uygulandıkları önermeye belli bir doğruluk değerini vermektir. Dolayısıyla bu iki yüklemin anlambilimsel doğruluk ve yanlışlık kavramlarını dile getirdiğini söyleyebiliriz.
Doğruluk Kavramı - “Doğru”nun Çeşitli Kullanılışları
“Doğru” sözcüğünün türkçede çeşitli kullanılışları vardır. Ad olarak “doğru çizgi” veya “doğru önerme” anlamında, sıfat olarak da eylem ve davranışa ya da kanılara, yargılara ve önermelere uygulanır. Eylem ve davranışlar için kullanılması halinde “haklı” veya “yasaya uygun” anlamına gelir; kanılara, yargılara ve önermelere uygulandığı zaman da “gerçeğe uygun” anlamına gelir.
"Bilgi" veya "bilme" ve bunlarla yakından ilgili olan "kanı" ve "haklı gösterme" terimlerine bilgisel değişmezlik denir. Birer mantık değişmezi olan bu değişmezleri önermeler mantığına ekleyerek 'bilgisel önermeler mantığı' elde edilir.