Photo by rachitank from unsplash
Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued… Click to show full abstract
Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is proposed. This three valued logic differs from Kleene and Łukasiewicz’s three-valued logics. The logic FQ3 is decidable. A sound and complete Hilbert-style axiomatic system for the logic FQ3 is presented.
Keywords:
quantification logic;
fregean quantification;
three valued;
valued fregean
Journal Title: Journal of Philosophical Logic
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Journal of Philosophical Logic
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!