Araştırma Makalesi
BibTex RIS Kaynak Göster

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

Yıl 2015, Sayı: 43, 25 - 39, 17.04.2019

Öz

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.

Kaynakça

  • .

Analytic Tableaux and Negation-Free Propositional Logic-I

Yıl 2015, Sayı: 43, 25 - 39, 17.04.2019

Öz

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. 

Kaynakça

  • .
Toplam 1 adet kaynakça vardır.

Ayrıntılar

Birincil Dil Türkçe
Bölüm Makaleler
Yazarlar

İskender Taşdelen Bu kişi benim

Yayımlanma Tarihi 17 Nisan 2019
Yayımlandığı Sayı Yıl 2015 Sayı: 43

Kaynak Göster

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