Research Article
BibTex RIS Cite

Çözümleyici Çizelgeler ve Değillemesiz Önermeler Mantığı -I

Year 2015, Issue: 43, 25 - 39, 17.04.2019

Abstract

Bu yazıda çözümleyici çizelge yöntemi ile değillemesiz bir önermeler mantığı sistemi ve bu sistemin kimi sentaktik özellikleri ortaya konmaktadır. Sistemin biçimsel nesne-dilinde tüm önermeler doğruluk değeri dizileriyle etiketlenmektedir. Doğruluk değerleri dizileri kümesi üzerinde tanımlanan bir indirgeme işlemi sayesinde, etiketlerin karmaşıklığı azaltılabilmekte ve her etiket sonlu adımda tek doğruluk değerinden oluşan bir atomik etikete indirgenebilmektedir. Çizelge kuralları etiketlerin kullanımını belirleyen bir yapısal kuralın yanı sıra önermelerin doğruluk değerleriyle etiketlendiği çizelgelerin yaygın sunumunun kurallarına benzer eleme kurallarından oluşmaktadır. Biçimsel nesne dilde değilleme operatör sembolüne başvurmayı gereksizleştirerek, söz konusu sistem değillemenin yanlışlık olduğu yorumuyla bağdaşmaktadır.

References

  • .

Analytic Tableaux and Negation-Free Propositional Logic-I

Year 2015, Issue: 43, 25 - 39, 17.04.2019

Abstract

In this paper, a negation-free propositional logic system with an analytic tableau method and some of its syntactic properties is put forth. In the formal object-language of the system all propositions are labeled by sequences of truth values. Through a reduction operation defined on the set of sequences of truth values, complexity of labels can be reduced and every label can be reduced to atomic labels (which consists of single truth values) after finite number of reduction steps. Tableau rules consists of a structural rule governing the labels in addition to those resembling the rules of common presentation of trees labeled with truth values. The system is compatible with the interpretation of negation as falsity by making any use of negation in the formal object language inessential. 

References

  • .
There are 1 citations in total.

Details

Primary Language Turkish
Journal Section Makaleler
Authors

İskender Taşdelen This is me

Publication Date April 17, 2019
Published in Issue Year 2015 Issue: 43

Cite

Chicago Taşdelen, İskender. “Çözümleyici Çizelgeler Ve Değillemesiz Önermeler Mantığı -I”. Felsefe Arkivi, no. 43 (April 2019): 25-39.