Równoważnościowa sprowadzalność formuł logiki niefregowskiej do kwantyfikatorowej postaci normalnej

• Autorzy: Janusz Wesserling

Warianty tytułu

EN

Equivalence reduction of formulas of non-Fregean logic to prenex normal forms

• Języki publikacji: PL

Abstrakty

EN

This paper concerns the Sentential Calculus with Identity and Quantifiers – a formal system developed by Polish logician R. Suszko. The article deals with the study of one of the metalogical properties of this system which is the possibility of a reduction of formulas to their prenex normal forms. The final and most important result of this work is the proof of the theorem stating that every formula is equivalent on the basis of each WBQ-theory to its prenex normal form.

PL

Artykuł dotyczy niefregowskiej logiki zdaniowej z kwantyfikatorami - systemu formalnego stworzonego przez polskiego logika, R. Suszko. W artykule bada się jedną z metalogicznych własności tego systemu – sprowadzalność formuł języka logiki niefregowskiej do kwantyfikatorowej postaci normalnej. Końcowym i najważniejszym wynikiem jest dowód twierdzenia mówiącego, że każda formuła danego SCIQ–języka J, jest równoważna, na gruncie każdej WBQ–teorii, z pewną formułą o kwantyfikatorowej postaci normalnej.

Słowa kluczowe

PL

Niefregowska logika zdaniowa; WBQ-teoria; spójnik identyczności; kwantyfikatorowa postać normalna; reguła zastępowania; reguła zastępowania dla identyczności; reguła ekstensjonalności; reguła ekstensjonalności dla identyczności

EN

Non-Fregean sentential calculus; WBQ-theory; identity connective; prenex normal form; substitution rule; substitution rule for identity; extensionality rule; extensionality rule for identity

• Wydawca: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
• Czasopismo: Studia Philosophiae Christianae
• Rocznik: 2012
• Tom: 48
• Numer: 3
• Strony: 185-208

Twórcy

autor

Janusz Wesserling

• Uniwersytet Kardynała Stefana Wyszyńskiego, Wydział Prawa i Administracji, ul. Wóycickiego 1/3, 01-938 Warszawa, Poland,