LEADER 03987oam 2200661I 450 001 9910807401603321 005 20230617010002.0 010 $a1-135-94935-2 010 $a1-135-94936-0 010 $a1-280-23964-6 010 $a9786610239641 010 $a0-203-33729-8 024 7 $a10.4324/9780203337295 035 $a(CKB)1000000000253172 035 $a(EBL)199614 035 $a(SSID)ssj0000234506 035 $a(PQKBManifestationID)11209642 035 $a(PQKBTitleCode)TC0000234506 035 $a(PQKBWorkID)10236788 035 $a(PQKB)11617258 035 $a(MiAaPQ)EBC199614 035 $a(Au-PeEL)EBL199614 035 $a(CaPaEBR)ebr10858089 035 $a(CaONFJC)MIL23964 035 $a(OCoLC)876507328 035 $a(OCoLC)252735553 035 $a(EXLCZ)991000000000253172 100 $a20180331d2004 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReferential opacity and modal logic /$fDagfinn Follesdal 210 1$aNew York :$cRoutledge,$d2004. 215 $a1 online resource (194 p.) 225 1 $aStudies in philosophy 300 $aFirst published 2004 by Routledge. 311 $a0-415-99844-1 311 $a0-415-93851-1 320 $aIncludes bibliographical references and index. 327 $aCover; 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 Logic 327 $a10. 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 Logic 327 $aChapter 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 Contexts 327 $aAppendix I: Postulate Sets for the Systems of Truth-Functional Modal Logic Mentioned in the ThesisAppendix II: The System of Church; Addendum; Bibliography; Index 330 $aThis 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'. 410 0$aStudies in philosophy (New York, N.Y.) 606 $aModality (Logic) 615 0$aModality (Logic) 676 $a160 700 $aFollesdal$b Dagfinn.$0403147 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910807401603321 996 $aReferential opacity and modal logic$94092079 997 $aUNINA