Równoważnościowa sprowadzalność formuł logiki niefregowskiej do kwantyfikatorowej postaci normalnej
Equivalence reduction of formulas of non-Fregean logic to prenex normal forms
Author(s): Janusz WesserlingSubject(s): Philosophy
Published by: Wydawnictwo Naukowe Uniwersytetu Kardynała Stefana Wyszyńskiego w Warszawie
Keywords: Non-Fregean sentential calculus; WBQ-theory; identity connective; prenex normal form; substitution rule; substitution rule for identity; extensionality rule; extensionality rule for identity
Summary/Abstract: 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.
Journal: Studia Philosophiae Christianae
- Issue Year: 48/2012
- Issue No: 3
- Page Range: 185-208
- Page Count: 24
- Language: Polish