Free Logic

Texte du rabat

The Principle of Univocality has two parts: an existence assumption and a uniqueness assumption. The existence assumption holds that every name refers to at least one individual, and the uniqueness assumption states that every name refers to at most one individual. This Element investigates violations of the Principle of Univocality.

Contenu

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.