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

Abstract

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.

Keywords

• 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

Abstract

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.

Keywords

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

References

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.