State-of-affairs Semantics for Positive Free Logic

Journal of Philosophical Logic 35 (2):183-208 (2006)
Download Edit this record How to cite View on PhilPapers
In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails
PhilPapers/Archive ID
Upload history
Archival date: 2021-04-06
View other versions
Added to PP index

Total views
52 ( #50,054 of 58,377 )

Recent downloads (6 months)
7 ( #53,142 of 58,377 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.