Mantık Nedir? Temel Kavramlar ve Akıl Yürütme

Mantığın tanımı ve inceleme alanı

Mantık, doğru akıl yürütmenin nasıl gerçekleştiğini inceleyen disiplindir. Akıl yürütme, bazı düşüncelerden hareket ederek başka bir düşünceye ulaşma sürecidir. Mantık bu süreçte yalnızca sonucun doğru olup olmadığına bakmaz; sonuca hangi adımlarla ulaşıldığını, kullanılan ifadelerin birbirini destekleyip desteklemediğini ve düşüncelerin tutarlı bir yapı oluşturup oluşturmadığını da araştırır.

Bir akıl yürütmenin temelinde öncüller ve sonuç bulunur. Öncüller, sonuca ulaşmak için dayanak olarak kullanılan önermelerdir; sonuç ise bu dayanaklardan çıkarılmak istenen önermedir. Mantık, öncüller ile sonuç arasındaki ilişkiyi inceler. Örneğin “Bugün pazar” ve “Bugün pazarsa çalışmam gerekmiyor” ifadeleri birlikte ele alındığında “Çalışmam gerekmiyor” sonucuna ulaşılır. Burada mantıksal inceleme, ifadelerin günlük konusundan bağımsız olarak sonucun öncüllerden nasıl çıktığına odaklanır.

Mantığın bir bölümü, akıl yürütmelerin biçimini daha kesin kurallarla ele alır. Bu yaklaşımda ifadelerin içeriği yerine aralarındaki yapı önem kazanır. Başka bir bölümü ise doğal dildeki tartışmaları, gerekçeleri ve düşüncelerin kullanıldığı bağlamı inceler. Çünkü günlük dilde aynı ifade farklı anlamlara gelebilir, belirsiz olabilir veya bağlama göre değişebilir. Bu nedenle mantık, düşünceleri daha açık hâle getirmeye ve bir sonuca ulaşırken hangi gerekçenin gerçekten işe yaradığını ayırt etmeye yarar.

Mantık sistemleri, akıl yürütmelerin doğruluğunu değerlendirmek için kullanılan kuramsal çerçevelerdir. Böylece mantığın inceleme alanı yalnızca tek tek cümleler değil, cümlelerin bir araya gelerek oluşturduğu düşünsel yapılardır.

Mantığın amacı ve günlük düşünmedeki işlevi

Mantığın amacı, düşünme ve akıl yürütme süreçlerini daha düzenli, açık ve tutarlı hâle getirmektir. Bir iddia ortaya atıldığında bu iddianın hangi gerekçelere dayandığını, gerekçelerin sonucu destekleyip desteklemediğini ve düşüncede çelişki bulunup bulunmadığını fark etmeyi sağlar. Böylece yalnızca bir sonuca inanmak yerine, o sonuca ulaşma biçimini de değerlendirebiliriz.

Günlük yaşamda karar verirken, bir haberin gerekçelerini incelerken veya bir başkasının görüşünü değerlendirirken mantıksal düşünmeden yararlanırız. Örneğin bir kişinin “Bu ürünü almalıyım, çünkü herkes alıyor” demesi, ürünün gerçekten uygun olduğunu kanıtlamaz. Mantık burada iddia ile dayanak arasındaki bağlantıyı sorgulamayı sağlar. Benzer biçimde, bir plan yaparken koşulları sıralamak ve bu koşullardan hangi sonucun çıkacağını görmek, düşünceyi daha tutarlı kılar.

Mantık felsefe, matematik, bilgisayar bilimi ve dilbilim gibi alanlarda da kullanılır. Ancak günlük düşünmedeki işlevi için özel semboller bilmek zorunlu değildir; temel olarak iddia, gerekçe ve sonuç arasındaki ilişkiyi açıkça görebilmek gerekir.

Önerme kavramı ve temel özellikleri

Önerme, doğru ya da yanlış olabilen anlamlı bir ifadedir. Mantıksal değerlendirme yapabilmek için önce elimizde değerlendirilebilir bir ifade bulunmalıdır. “Ankara Türkiye’nin başkentidir” bir önerme olarak ele alınabilir; çünkü doğru veya yanlış olduğu değerlendirilebilir. Buna karşılık “Kapıyı kapat!” bir emir, “Saat kaç?” bir soru, “Keşke burada olsaydın” ise bir dilek bildirdiği için bu biçimleriyle doğru ya da yanlış olarak sınıflandırılmaz.

Bir önermenin doğruluk değeri, onun doğru veya yanlış olmasına verilen karşılıktır. Önerme tek bir basit iddia olabilir ya da birden fazla önermenin “ve”, “veya”, “eğer...ise” gibi bağlarla birleştirilmesiyle kurulabilir. Örneğin “Yağmur yağıyor ve hava soğuk” ifadesi iki daha basit iddiayı bir araya getirir. Bu yapı, bileşik önermenin hangi koşullarda doğru veya yanlış olacağını incelemeye imkân verir.

Önermelerde kullanılan kelimelerin anlamı önemlidir; ancak mantık, özellikle önermelerin birbirleriyle nasıl bağlandığına da bakar. Bir önerme doğru veya yanlış olabilirken, bir akıl yürütmenin değerlendirilmesi farklı bir ölçüt gerektirir. Bu nedenle “önermenin doğruluğu” ile “öncüllerden sonuca geçişin geçerliliği” aynı şey değildir. Önerme, mantıksal incelemenin temel malzemesidir; akıl yürütme ise bu malzemelerin belirli bir düzen içinde kullanılmasını ifade eder.

Akıl yürütme, öncül ve sonuç ilişkisi

Akıl yürütme, bir veya daha fazla önermeyi dayanak alarak yeni bir önermeye ulaşma işlemidir. Dayanak olarak kullanılan önermelere öncül, bu öncüllerden çıkarılmak istenen önermeye sonuç denir. Dolayısıyla bir akıl yürütmeyi anlamak için önce hangi ifadelerin gerekçe olarak sunulduğunu, sonra hangi ifadenin bu gerekçelerden çıkarılmaya çalışıldığını belirlemek gerekir.

Öncüller ile sonuç arasındaki ilişki, akıl yürütmenin nasıl çalıştığını gösterir. Öncüller, sonucu destekleyecek biçimde düzenlenir. Eğer yapı güçlü bir çıkarım kuralına uyuyorsa ve öncüller doğru kabul ediliyorsa sonucun da doğru olması zorunlu hâle gelebilir. Bu durumda değerlendirme, konunun kendisinden çok ifadelerin birbirine bağlanma biçimine dayanır. Önermelerin içeriği değişse bile aynı çıkarım yapısı korunabilir.

Örneğin şu akıl yürütmeyi ele alalım: “Bütün canlılar enerjiye ihtiyaç duyar. Bitkiler canlıdır. O hâlde bitkiler enerjiye ihtiyaç duyar.” İlk iki cümle öncül, son cümle sonuçtur. İkinci öncül, ilk öncülde belirtilen genel gruba bitkileri dâhil eder; sonuç da bu iki bilginin birlikte kullanılmasından çıkar. Burada sonuç, öncüllerdeki bilgilerin rastgele tekrarı değil, aralarındaki ilişkiye dayanan bir çıkarımdır.

Günlük konuşmalarda öncüller her zaman açıkça söylenmeyebilir. Birisi “Yollar ıslak, demek ki yağmur yağdı” dediğinde, yolların ıslanmasına yağmurun neden olduğu varsayımı akıl yürütmenin arka planında bulunabilir. Mantıksal inceleme, açıkça söylenen ifadelerin yanı sıra böyle bir sonuca ulaşmak için hangi dayanakların kullanıldığını da görünür hâle getirir.

Tüm akıl yürütmeler aynı güçte değildir. Bazıları öncüller doğruysa sonucu zorunlu kılarken bazıları yalnızca sonucu olası hâle getirir. Tümdengelim ve tümevarım, bu farklı akıl yürütme biçimlerini tanımak için kullanılan iki temel addır; ayrıntılı karşılaştırmaları ayrı bir başlık altında ele alınır. Klasik kıyas ve çıkarım biçimleri de öncül-sonuç düzeninin özel örneklerini inceler.

Doğruluk, yanlışlık ve geçerlilik ayrımı

Doğruluk ve yanlışlık, tek tek önermeler için kullanılan kavramlardır. Bir önerme gerçeğe uygun olduğunda doğru, gerçeğe uygun olmadığında yanlış kabul edilir. Örneğin “Dünya Güneş’in etrafında dolanır” ifadesi bir önerme olarak doğruluk bakımından değerlendirilebilir. Bu değerlendirme, ifadenin ne söylediğiyle ilgilidir.

Geçerlilik ise tek bir önermenin değil, akıl yürütmenin yapısının özelliğidir. Bir akıl yürütme geçerliyse, öncüllerin tümü doğru kabul edildiğinde sonucun yanlış olması mümkün değildir. Bu nedenle geçerlilik, öncüller ile sonuç arasındaki mantıksal bağı gösterir. Öncüllerin gerçek hayatta doğru olup olmadığı ise ayrıca doğruluk bakımından incelenir.

Şu örnek ayrımı gösterir: “Bütün balıklar memelidir. Yunus bir balıktır. O hâlde yunus bir memelidir.” Bu akıl yürütmenin biçimi, öncüller doğru kabul edildiğinde sonucu destekleyecek şekilde kurulmuştur; fakat ilk öncül gerçek dünyada yanlıştır. Burada akıl yürütmenin geçerli yapısı ile öncüllerin doğruluğu birbirinden ayrılmalıdır. Buna karşılık öncülleri doğru olsa bile sonuçla bağlantısı kurulmamış bir akıl yürütme geçersiz olabilir.

Kısaca doğruluk, bir önermenin gerçeğe uygunluğuyla; geçerlilik, öncüllerden sonuca geçişin yapısıyla ilgilidir. Bir akıl yürütmenin sağlam biçimde sonuca ulaştırması için yalnızca geçerli olması değil, dayandığı öncüllerin de doğru olması gerekir.

Mantığın temel dalları

Mantığın temel dalları arasında biçimsel mantık ve biçimsel olmayan mantık ayırt edilir. Biçimsel mantık, akıl yürütmelerin içerikten bağımsız yapısını ve geçerli çıkarım biçimlerini inceler; biçimsel olmayan mantık ise doğal dildeki tartışmaları, gerekçeleri ve bağlamı değerlendirir. Mantık ayrıca matematik, bilgisayar bilimi ve dil gibi alanlarla ilişkili farklı çalışma alanlarına ayrılabilir.