Proto-semantics for positive free logic
Journal of Philosophical Logic 29 (3):277-294 (2000)
| Abstract | This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of non-existing objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non unlike the notion of truth at world found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNicholas Asher & Daniel Bonevac (2005). Free Choice Permission is Strong Permission. Synthese 145 (3):303 - 323.
Beihai Zhou (1999). Grafted Frames and S1-Completeness. Journal of Symbolic Logic 64 (3):1324-1338.
Raymond D. Gumb (2001). An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. Studia Logica 69 (2):279-292.
Samson Abramsky & Radha Jagadeesan (1994). Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 (2):543-574.
Newton C. A. da Costa & Otavio Bueno (1999). Quasi-Truth, Supervaluations and Free Logic. History and Philosophy of Logic 20 (3-4):215-226.
Newton C. A. da Costa & Otavio Bueno (1999). Quasi-Truth, Supervaluations and Free Logic. History and Philosophy of Logic 20 (3-4):215-226.
Karel Lambert (2001). From Predication to Programming. Minds and Machines 11 (2):257-265.
Raymond D. Gumb (2002). The Lazy Logic of Partial Terms. Journal of Symbolic Logic 67 (3):1065-1077.
Ross Thomas Brady (forthcoming). Free Semantics. Journal of Philosophical Logic.
Hans-Peter Leeb (2006). State-of-Affairs Semantics for Positive Free Logic. Journal of Philosophical Logic 35 (2):183 - 208.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #106,196 of 549,013 )Recent downloads (6 months)1 ( #63,261 of 549,013 )How can I increase my downloads? |
My notes
Discussion
