
Free Logic
A Generalization
Greg Frost-Arnold(Author)
Cambridge University Press
Published on 30. January 2025
Book
Hardback
110 pages
978-1-009-51787-4 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Illustrations
Worked examples or Exercises
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 11 mm
Weight
322 gr
ISBN-13
978-1-009-51787-4 (9781009517874)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Book
01/2025
Cambridge University Press
€27.20
Shipment within 15-20 days
Person
Content
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.