Referential Opacity and Modal Logic

by Follesdal; Dagfinn

• ISBN13: 9780415938518
• ISBN10: 0415938511
• Edition: 1st
• Format: Hardcover
• Copyright: 2004-02-25
• Publisher: Routledge

Summary

This landmark work provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the "new theory of reference" and non-linguistic necessity and essentialism to "Kripke semantics."

Table of Contents

Introduction	ix
Acknowledgments	xxxv
Chapter One: Referential and Extensional Opacity	1	(10)
1. Introduction	1	(2)
2. Criteria for Referential and Extensional Opacity	3	(3)
3. Alternative Criteria for Referential Opacity	6	(1)
4. Examples and Further Characteristics of Referential and Extensional Opacity	7	(1)
5. Interrelations between Referential Opacity and Extensional Opacity	8	(3)
Chapter Two: The Logical Modalities	11	(24)
6. Different Kinds of Modalities	11	(3)
7. Unquantified Modal Logic	14	(3)
8. Quantified Modal Logic	17	(2)
9. Systems of Quantified Modal Logic	19	(4)
10. Difficulties Relating to Quantification into Modal Contexts	23	(6)
11. Interpreting Quantified Modal Logic	29	(6)
Chapter Three: Identity of Individuals	35	(18)
12. The Identity of Individuals in Quantified Modal Logic	35	(5)
13. The Identity of Individuals in the Proposed Systems of Quantified Modal Logic	40	(13)
Chapter Four: Distinctness of Individuals	53	(14)
14. The Distinctness of Individuals, and Mixtures of Quantifiers and Modal Operators in Quantified Modal Logic	53	(8)
15. The Distinctness of Individuals, and Mixtures of Quantifiers and Modal Operators in the Proposed Systems of Quantified Modal Logic	61	(6)
Chapter Five: Singular Terms and Singular Inference	67	(20)
16. Definite Descriptions in Modal Logic	67	(7)
17. Singular Terms and the Individuation of Our Objects	74	(6)
18. Substitutivity of Identity and Other Types of Inference Turning on Singular Terms	80	(7)
Chapter Six: Examination of the Difficulties	87	(10)
19. Examination of the Difficulties Surveyed in Section 10	87	(8)
20. Other Difficulties in Quantified Modal Logic	95	(2)
Chapter Seven: Other Types of Opaque Contexts	97	(12)
21. Causal Modalities. Counterfactuals	97	(3)
22. Deontic Modalities	100	(4)
23. Epistemic Modalities	104	(1)
24. Belief Contexts	105	(1)
25. Other Contexts	106	(3)
Appendix I: Postulate Sets for the Systems of Truth-Functional Modal Logic Mentioned in the Thesis	109	(6)
Appendix II: The System of Church	115	(4)
Addendum	119	(26)
Bibliography	145	(6)
Index	151