Abstract

Bilindiği gibi mantıkta çıkarımlar doğrudan veya dolaylı olabilir ve dolaylı bir çıkarım olan kıyaslar Aristoteles mantığının temel konusunu oluşturur. Kıyasın dolaylı olmasının gerekçesi, sonucunun birden fazla öncüle dayanması ve bu yüzden doğrudan değil, dolaylı bir şekilde çıkarılmasıdır. Doğrudan çıkarımlar ise tek bir öncül önermesinden hemen yine tek bir sonuç önermesi çıkarırlar. Böyle çıkarımlardan bazıları öncülü ile sonucunun aynı doğruluk değerinde olduğu “eşdeğer önermeler”den oluşur. Basit önermelerle yapılan bu tür “eşdeğerlik çıkarımları” döndürme yöntemi uygulanarak gerçekleştirilir ama dört basit önermenin dördünden de eşdeğeri olan sonuçlar her zaman çıkarılamaz. Bu çalışma eşdeğeri çıkarılamayan bazı önermelerin döndürme kurallarında esneklik yapılarak eşdeğerinin yakalandığı durumları, böyle eşdeğer önerme çiftlerinin yapısını ve özelliklerini değerlendirmiştir.