Konunun en kritik bilgileri — hızlı tekrar için.
Düşünceler dil aracılığıyla önermeler halinde ifade edilir. Bu nedenle mantık, akıl yürütmeyi incelerken dili temel araç olarak kullanır.
Dilin bilgi verme, duygu aktarma ve harekete geçirme gibi işlevleri vardır. Mantık öncelikle dilin bilgi verme işleviyle ilgilenir.
Bilgi verici dilde cümleler doğru ya da yanlış değeri alır. Mantığın konusu olan önermeler bu tür dil kullanımına dayanır.
Doğal dildeki sözcükler çok anlamlılık ve belirsizlik taşıyabilir. Bu durum akıl yürütmede yanlışlıklara yol açabildiği için mantık açıklık ister.
Bir sözcüğün birden çok anlama gelmesi çok anlamlılıktır. Yüz sözcüğünün hem sayı hem de organ anlamına gelmesi buna örnektir.
Doğal dil günlük konuşma dilidir; belirsizlik taşır. Yapay dil ise mantık ve matematikte kullanılan, kesin ve tek anlamlı sembol dilidir.
Sembolik mantık, doğal dilin belirsizliğini gidermek için semboller kullanır. Böylece akıl yürütmenin geçerliliği kesin biçimde denetlenebilir.
Her terimin bir anlamı, yani gösterdiği kavram vardır. Terimlerin anlamının açık ve sabit tutulması mantıksal tutarlılık için gereklidir.
Duygusal dil, doğru ya da yanlış değeri taşımayan, duygu ve tutum aktaran dildir. Şiir ve ünlem ifadeleri mantığın konusu dışında kalır.
Dil düşüncenin dışa vurumudur; net bir dil net bir düşünceyi yansıtır. Dildeki karışıklık çoğu zaman düşüncedeki karışıklığın işaretidir.
Mantık, özne belirleme gibi gramatik bir işleve doğrudan odaklanmaz. Dilbilgisinin bir konusu olan özne belirleme, mantık açısından bir zorunluluk değildir.
Dış dünyadaki durumları betimlemek ve olguları net bir şekilde aktarmak için dilin bilgi verme işlevi kullanılır.
Mantıksal doğruluk, ifadenin dış dünyadaki olgularla uyuşmasından ziyade kendi içindeki tutarlılığı, çelişmezliği ve akıl yürütme kurallarına uygunluğudur.
Dünya'nın gezegen olduğu ifadesi yargı bildirir ve önermedir. Diğerleri soru, dilek, emir ve ünlemdir.
Cümlede annenin kızgınlığını belirten ünlem tonlamasıyla birlikte çocuğun odasını toplamasına yönelik bir yönlendirme vardır.
Önermeler yargı bildiren cümlelerdir, bu yüzden her önerme bir cümledir. Ancak soru, emir, ünlem cümleleri yargı bildirmediğinden önerme değildir.
Karşılama ve iyi dilekler sunma ifadesi toplumsal ritüelleri ve ilişkileri yürütmek adına kurulan törensel bir kullanımdır.
'Kara' kelimesinin sesteş olmasından dolayı cümlenin iki farklı anlama gelebilmesi çok anlamlılık (equivocation) durumundan kaynaklanır.
Mantık, düşüncenin doğruluğunu denetlemek için önermeleri kullanır. Yalnızca haber/bilgi cümleleri doğruluk değeri taşıdığından mantık dilinde sadece onlar yer alır.
Ankara'nın başkent olduğu ifadesi nesnel bir durumu bildirir ve doğruluk değeri taşır.
Mantık dili tamamen önermelerden yani doğruluk değeri taşıyan yargılardan oluşur. Mantık dilinin hiç yargı barındırmadığı iddiası tamamen yanlıştır.
Futbolcunun beslenme/sağlık uzmanı olmamasına rağmen onun beyanını sütün sağlıklı olmasının kesin kanıtı saymak otoriteye başvurma (ad verecundiam) hatasıdır.
Dilin bildirme işlevi, bir olay, durum veya nesne hakkında bilgi vermeyi amaçlar. Bu tür ifadeler genellikle nesnel ve doğrulanabilir niteliktedir.
Rüyada görülen nesneler fiziksel olarak var olmaz, bu nedenle bu çıkarım bir safsatadır.
Bu cümlede yer alan kelimelerin hepsi tek anlamlıdır. Hiçbiri birden fazla anlama gelecek şekilde kullanılmamıştır.
Mantık ve dil ilişkisi çalışırken ana odak kavram, kuram ve örnek ayrımı kurmaktır; önce kavramı, sonra tipik soru dilini ayır.