HEYTING’İN ÜÇ DEĞERLİ MANTIĞI AÇISINDAN DİNÎ SÖZCELERİN DEĞERLENDİRİLMESİ

Öz

Bu çalışmada Heyting’in üç değerli mantığı açısından dinî sözcelerin kendi içindeki tutarlılıkları, birbiriyle tutarlılıkları, birbirine eşdeğerlilikleri ve bu sözcelerden hareketle oluşturulan çıkarımların geçerlilikleri denetlenmektedir. Bunun yanı sıra bu sözcelerin ve onlardan hareketle oluşturulan çıkarımların geçerlilikleri iki değerli mantık ve Łukasiewicz’in üç değerli mantığı açısından gösterilerek bu üç mantık arasında bir karşılaştırma da yapılmaktadır. Yöntem olarak ise doğruluk tablosu kullanılmaktadır.

Anahtar Kelimeler

• Heyting,Üç Değerli Mantık,Dinî Sözce,Tutarlılık,Eşdeğerlilik,Geçerlilik

Evaluating the Religious Utterances from the Point of Heyting’s Three-Valued Logic

Öz

In this study, consistencies of religious utterances within themselves and each other, their equivalencies to each other and validities of the inferences generated based on these utterances were analysed from the point of Heyting’s threevalued logic. Besides, validities of these utterances and the inferences generated based on these utterances were also demonstrated from the point of two-valued logic and Łukasiewicz’s three-valued logic and these three logics were compared. Truth table method was adopted as the method.

Anahtar Kelimeler

• Heyting,Three-Valued Logic,Religious Utterances,Equivalency,Validity

Kaynakça

1. Çüçen, A. Kadir, Mantık, 2. bs., Asa Kitabevi, Bursa, 1999.
2. Heyting, A., Intuitionism: An Inroduction, 3 rd imp., North Holland Publishing Company, Amsterdam and London, 1971.
3. Hodges, Wilfrid, Logic, Penguin Books Ltd, Middlesex, 1977.
4. Łukasiewicz, Jan, Elements of Mathematical Logic, trans. Olgierd Wojtasiewicz, Pergamon Press Ltd, Oxford, 1964.