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.
References
- Çüçen, A. Kadir, Mantık, 2. bs., Asa Kitabevi, Bursa, 1999.
- Heyting, A., Intuitionism: An Inroduction, 3 rd imp., North Holland Publishing Company, Amsterdam and London, 1971.
- Hodges, Wilfrid, Logic, Penguin Books Ltd, Middlesex, 1977.
- Łukasiewicz, Jan, Elements of Mathematical Logic, trans. Olgierd Wojtasiewicz, Pergamon Press Ltd, Oxford, 1964.
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.
References
- Çüçen, A. Kadir, Mantık, 2. bs., Asa Kitabevi, Bursa, 1999.
- Heyting, A., Intuitionism: An Inroduction, 3 rd imp., North Holland Publishing Company, Amsterdam and London, 1971.
- Hodges, Wilfrid, Logic, Penguin Books Ltd, Middlesex, 1977.
- Łukasiewicz, Jan, Elements of Mathematical Logic, trans. Olgierd Wojtasiewicz, Pergamon Press Ltd, Oxford, 1964.
Details
| Primary Language | Turkish |
|---|---|
| Journal Section | Articles |
| Authors | |
| Publication Date | April 15, 2016 |
| Published in Issue | Year 2016Volume: 6 Issue: 11 |
