Research Article
BibTex RIS Cite

Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri

Year 2019, Issue: 2, 17 - 31, 31.10.2019

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ı” (eduction) 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.

References

  • Çiçekdağı, C. (2018). Venn Şemalarıyla Kategorik Kıyasların Varoluşsal Kiplerinin Geçerliliğinin Denetlenmesinde Kural Önerileri. Karadeniz Uluslararası Bilimsel Dergi, 40, 288-317.
  • Çüçen, A. K. (2016). Mantık (4. Basım). Bursa: Sentez Yayıncılık.
  • Emiroğlu, İ. (2007). Klasik Mantığa Giriş. Ankara: Elis Yayınları.
  • Gödelek, K. (2003). Akıl Yürütmeye Dair (Mantık). (Basım yeri belirsiz): Su Kitap Dünyası Yayınları.
  • Grünberg, T.; Grünberg, D.; Onart A.; Turan H. (2003). Mantık Terimleri Sözlüğü. Ankara: METU Press.
  • Obtial, D. (t.b.). Eduction and Standard Form Categorical Syllogism. Erişim tarihi: 7 Temmuz 2019, Erişim adresi: https://www.academia.edu/17263235/Eduction_and_Standard_Form_Categorical_Syllogism_Logic
  • Öner, N. (1986). Klasik Mantık. Ankara: Ankara Üniversitesi Basımevi.
  • Özlem, D. (1991). Mantık. İstanbul: Ara Yayıncılık.
  • Ural, Ş. (1985). Temel Mantık. İstanbul: Remzi Kitabevi.
  • Yıldırım, C. (1999). Mantık, Doğru Düşünme Yöntemi (3. Basım). İstanbul: Bilgi Yayınevi.

Some Logical Equivalence Relations in Eduction

Year 2019, Issue: 2, 17 - 31, 31.10.2019

Abstract

As it is known, inferences in logic can be immediate or mediate, and syllogisms, being mediate inference, are the subject matter of Aristotelean logic. Syllogism is a mediate inference because the conclusion is based on more than one premise and therefore inference not immediate but mediate. In immediate inferences, a conclusion immediately follows a single premise. Some of such inferences consist of “equivalent propositions” in which the premise and the conclusion have the same truth value. Such “equivalence inferences” (eduction) containing simple (categorical) propositions are performed by applying the transformation method but equivalent propositions from four simple propositions cannot be always obtainable. This work evaluates the situations in which the equivalence of some propositions whose equivalent cannot be deduced can be obtained by making flexibility in the transformation rules, and the structure and properties of such equivalence pairs.

References

  • Çiçekdağı, C. (2018). Venn Şemalarıyla Kategorik Kıyasların Varoluşsal Kiplerinin Geçerliliğinin Denetlenmesinde Kural Önerileri. Karadeniz Uluslararası Bilimsel Dergi, 40, 288-317.
  • Çüçen, A. K. (2016). Mantık (4. Basım). Bursa: Sentez Yayıncılık.
  • Emiroğlu, İ. (2007). Klasik Mantığa Giriş. Ankara: Elis Yayınları.
  • Gödelek, K. (2003). Akıl Yürütmeye Dair (Mantık). (Basım yeri belirsiz): Su Kitap Dünyası Yayınları.
  • Grünberg, T.; Grünberg, D.; Onart A.; Turan H. (2003). Mantık Terimleri Sözlüğü. Ankara: METU Press.
  • Obtial, D. (t.b.). Eduction and Standard Form Categorical Syllogism. Erişim tarihi: 7 Temmuz 2019, Erişim adresi: https://www.academia.edu/17263235/Eduction_and_Standard_Form_Categorical_Syllogism_Logic
  • Öner, N. (1986). Klasik Mantık. Ankara: Ankara Üniversitesi Basımevi.
  • Özlem, D. (1991). Mantık. İstanbul: Ara Yayıncılık.
  • Ural, Ş. (1985). Temel Mantık. İstanbul: Remzi Kitabevi.
  • Yıldırım, C. (1999). Mantık, Doğru Düşünme Yöntemi (3. Basım). İstanbul: Bilgi Yayınevi.
There are 10 citations in total.

Details

Primary Language Turkish
Journal Section Makaleler
Authors

Caner Çiçekdağı 0000-0001-6138-363X

Publication Date October 31, 2019
Published in Issue Year 2019 Issue: 2

Cite

APA Çiçekdağı, C. (2019). Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri. Kilikya Felsefe Dergisi(2), 17-31.
AMA Çiçekdağı C. Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri. KFD. October 2019;(2):17-31.
Chicago Çiçekdağı, Caner. “Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri”. Kilikya Felsefe Dergisi, no. 2 (October 2019): 17-31.
EndNote Çiçekdağı C (October 1, 2019) Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri. Kilikya Felsefe Dergisi 2 17–31.
IEEE C. Çiçekdağı, “Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri”, KFD, no. 2, pp. 17–31, October 2019.
ISNAD Çiçekdağı, Caner. “Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri”. Kilikya Felsefe Dergisi 2 (October 2019), 17-31.
JAMA Çiçekdağı C. Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri. KFD. 2019;:17–31.
MLA Çiçekdağı, Caner. “Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri”. Kilikya Felsefe Dergisi, no. 2, 2019, pp. 17-31.
Vancouver Çiçekdağı C. Doğrudan Çıkarımlardaki Bazı Mantıksal Eşdeğerlik İlişkileri. KFD. 2019(2):17-31.