Decidability of Fluted Logic with Identity

Notre Dame Journal of Formal Logic 37 (1):84-104 (1996)

Fluted logic is the restriction of pure predicate logic to formulas in which variables play no essential role. Although fluted logic is significantly weaker than pure predicate logic, it is of interest because it seems closely to parallel natural logic, the logic that is conducted in natural language. It has been known since 1969 that if conjunction in fluted formulas is restricted to subformulas of equal arity, satisfiability is decidable. However, the decidability of sublogics lying between this restricted (homogeneous) fluted logic and full predicate logic remained unknown. In 1994 it was shown that the satisfiability of fluted formulas without restriction is decidable, thus reducing the unknown region significantly. This paper further reduces the unknown region. It shows that fluted logic with the logical identity is decidable. Since the reflection functor can be defined in fluted logic with identity, it follows that fluted logic with the reflection functor also lies within the region of decidability. Relevance to natural logic is increased since the identity permits definition of singular predicates, which can represent anaphoric pronouns
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1040067318
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,238
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Quine's 'Limits of Decision'.William C. Purdy - 1999 - Journal of Symbolic Logic 64 (4):1439-1466.

Add more citations

Similar books and articles

Complexity and Nicety of Fluted Logic.William C. Purdy - 2002 - Studia Logica 71 (2):177 - 198.
Fluted Formulas and the Limits of Decidability.William C. Purdy - 1996 - Journal of Symbolic Logic 61 (2):608-620.
Issues of Decidability and Tractability.Witold Marciszewski (ed.) - 2006 - University of Białystok.
Axiomatisation and Decidability Off Andp in Cyclical Time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Identity, Structure and Logic.Jean-Yves Beziau - 1996 - Bulletin of the Section of Logic 25:89-9.
Decidability of Independence-Friendly Modal Logic.Merlijn Sevenster - 2010 - Review of Symbolic Logic 3 (3):415-441.
Predicate-Functors and the Limits of Decidability in Logic.Aris Noah - 1980 - Notre Dame Journal of Formal Logic 21 (4):701-707.
The Strong Decidability of Cut Logics. II. Generalizations.E. William Chapin - 1971 - Notre Dame Journal of Formal Logic 12 (4):429-434.
Relevant Identity.Philip Kremer - 1999 - Journal of Philosophical Logic 28 (2):199-222.


Added to PP index

Total views
7 ( #933,217 of 2,285,873 )

Recent downloads (6 months)
1 ( #834,432 of 2,285,873 )

How can I increase my downloads?


My notes

Sign in to use this feature