Classical logic assumes that names are univocal: every name refers to exactly one existing individual. This Principle of Univocality has two parts: an existence assumption and a uniqueness assumption. The existence assumption holds that every name refers to at least oneindividual, and the uniqueness assumption states that every name refers to at most one individual. The various systems of free logic which have been developed and studied since the 1960s relax the existence assumption, but retain the uniqueness assumption. The present work investigates violations of both halves of the Principle of Univocality. That is, whereas the free logics developed from the 1960s are called 'free' because they are free of existential assumptions, the current Element generalizes this idea, to study logics that are free of uniqueness assumptions. We explore several versions of free logic, comparing their advantages and disadvantages. Applications of free logic to other areas of philosophy are explored.
By:
Greg Frost-Arnold (Hobart and William Smith Colleges) Imprint: Cambridge University Press Country of Publication: United Kingdom Weight: 299g ISBN:9781009517874 ISBN 10: 1009517872 Series:Elements in Philosophy and Logic Pages: 110 Publication Date:30 January 2025 Audience:
General/trade
,
ELT Advanced
Format:Hardback Publisher's Status: Active
1. Introduction; 2. Why free logic?; 3. Truth and models; 4. Proofs and logical consequence; 5. Costs and benefits of each system; 6. Conclusion: revisiting the motivations; References.