03987oam 2200661I 450 991080740160332120230617010002.01-135-94935-21-135-94936-01-280-23964-697866102396410-203-33729-810.4324/9780203337295 (CKB)1000000000253172(EBL)199614(SSID)ssj0000234506(PQKBManifestationID)11209642(PQKBTitleCode)TC0000234506(PQKBWorkID)10236788(PQKB)11617258(MiAaPQ)EBC199614(Au-PeEL)EBL199614(CaPaEBR)ebr10858089(CaONFJC)MIL23964(OCoLC)876507328(OCoLC)252735553(EXLCZ)99100000000025317220180331d2004 uy 0engur|n|---|||||txtccrReferential opacity and modal logic /Dagfinn FollesdalNew York :Routledge,2004.1 online resource (194 p.)Studies in philosophyFirst published 2004 by Routledge.0-415-99844-1 0-415-93851-1 Includes bibliographical references and index.Cover; Half Title; Title Page; Copyright Page; Table of Contents; Introduction; Acknowledgments; Chapter One: Referential and Extensional Opacity; 1. Introduction; 2. Criteria for Referential and Extensional Opacity; 3. Alternative Criteria for Referential Opacity; 4. Examples and Further Characteristics of Referential and Extensional Opacity; 5. Interrelations between Referential Opacity and Extensional Opacity; Chapter Two: The Logical Modalities; 6. Different Kinds of Modalities; 7. Unquantified Modal Logic; 8. Quantified Modal Logic; 9. Systems of Quantified Modal Logic10. Difficulties Relating to Quantification into Modal Contexts11. Interpreting Quantified Modal Logic; Chapter Three: Identity of Individuals; 12. The Identity of Individuals in Quantified Modal Logic; 13. The Identity of Individuals in the Proposed Systems of Quantified Modal Logic; Chapter Four: Distinctness of Individuals; 14. The Distinctness of Individuals, and Mixtures of Quantifiers and Modal Operators in Quantified Modal Logic; 15. The Distinctness of Individuals, and Mixtures of Quantifiers and Modal Operators in the Proposed Systems of Quantified Modal LogicChapter Five: Singular Terms and Singular Inference16. Definite Descriptions in Modal Logic; 17. Singular Terms and the Individuation of Our Objects; 18. Substitutivity of Identity and Other Types of Inference Turning on Singular Terms; Chapter Six: Examination of the Difficulties; 19. Examination of the Difficulties Surveyed in Section 10; 20. Other Difficulties in Quantified Modal Logic; Chapter Seven: Other Types of Opaque Contexts; 21. Causal Modalities. Counterfactuals; 22. Deontic Modalities; 23. Epistemic Modalities; 24. Belief Contexts; 25. Other ContextsAppendix I: Postulate Sets for the Systems of Truth-Functional Modal Logic Mentioned in the ThesisAppendix II: The System of Church; Addendum; Bibliography; IndexThis landmark dissertation (1961) 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'.Studies in philosophy (New York, N.Y.)Modality (Logic)Modality (Logic)160Follesdal Dagfinn.403147MiAaPQMiAaPQMiAaPQBOOK9910807401603321Referential opacity and modal logic4092079UNINA