A free logic with simple and complex predicates

DOI10.1305/NDJFL/1093636615MaRDI QIDQ1820146zbMATH OpenOpenAlexFDO

Authors Karel Lambert, Ermanno Bencivenga

Publication date 1986

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093636615

zbMATH Keywords

existential implications of atomic sentencesfree logicsemantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60) Logic of natural languages (03B65)

Review text

Free logicians have conflicting intuitions concerning the existential implications of atomic sentences. The present paper offers a way of accommodating such conflicting intuitions within a single language, allowing for both simple and complex predicates. The semantics of this language is a variation on Bencivenga's semantics for free quantification and identity theory.

Recommendations

• scientific article; zbMATH DE number 1749197
• Free logic and the concept of existence
• Objects and existence: Reflections on free logic
• Free logics: a survey
• Subject-predicate calculus free from existential import

Cited in

(6)

• A basic free logic
• Complex predicates and logics for properties and relations
• Actualism, serious actualism, and quantified modal logic
• Definite descriptions in intuitionist positive free logic
• Two treatments of definite descriptions in intuitionist negative free logic
• Incomplete assertions

This page was built for publication: A free logic with simple and complex predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820146)