Abstract

Çıkarım, en genel anlamıyla, verili önermelerden bir sonuç önermesi elde etmektir. Verili önerme bir tane olduğunda, bu önermeden yola çıkarak bir sonuç önermesi elde etmeye doğrudan çıkarım denir. Verili önerme sayısı birden çok olduğunda ve sonucun elde edilmesi bu verili önermeler arasında bir bağlantı kurmayı gerektirdiğinde çıkarıma dolaylı çıkarım denir. Bu çalışma, klasik mantıkta bir önermenin eşdeğeri veya karşıtının doğruluk değerini saptamak üzere ortaya konulmuş doğrudan çıkarımlar ile ilgilidir. Çalışmanın amacı, üç temel doğrudan çıkarım türünden hareketle yeni doğrudan çıkarım türleri ortaya koymaktır. Bu amaçla öncelikle, iki temel çıkarım türü olarak ele alınan dolaylı ve doğrudan çıkarımların ne olduğu incelenecek, daha sonra mevcut doğrudan çıkarım türlerinin neler olduğu ele alınacaktır. Ardından bu doğrudan çıkarımların kısaltılmış adlandırmaları üzerinden ikili ve üçlü kombinasyonları alınacak; elde edilen yeni eşdeğerliklerin dört kategorik önerme üzerinden sembolik gösterimleri sunulacak; her bir eşdeğerliğin sembolik gösteriminin ardına bu sembolik gösterimleri örnekleyecek biçimde önerme karşılıkları verilecektir. Böylece öncekilerden farklı olacak şekilde yeni doğrudan çıkarım türleri ortaya konulmuş ve örnekleriyle birlikte açıklanmış olacaktır. Son adımda, elde edilen yeni doğrudan çıkarım türlerindeki eşdeğerlik kuralları sırayla sunulacaktır. Söz konusu yeni doğrudan çıkarım türlerinin sağladığı eşdeğerliklerin kendi aralarında zayıf ve güçlü eşdeğerlikler olarak bölümlenebileceği ileri sürülecektir. Elde edilen sonuçlar doğrultusunda yeni eşdeğerlik kurallarından dördünün zayıf, diğer dördünün ise güçlü eşdeğerlik kuralı olduğu ifade edilecektir.