Abstract
Intensional logic is that part of logic which treats inferences involving meanings or identities of meanings in some strict sense. The contrast is with extensional logic which requires for the statement and justification of its general principles only such concepts as truth and falsity, identity and difference of truth-values (of sentences or propositions), sets or classes, and co- extensiveness or divergence (of predicates or properties). Intensional logic requires in addition some such notions as synonymy, identity and difference of intension, proposition, property, or concept. Which of these ideas is to be taken as basic, or whether they are all reducible to some other, e.g. possible world, is at present quite uncertain.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, C. A.: 1977, ‘Some models for the logic of sense and denotation with an application to alternative (0)’, PhD dissertation, UCLA.
Anderson, C. A.: 1980, ‘Some new axioms for the logic of sense and denotation: Alternative (0)’ Noûs 14, 217–234.
Church, A.: 1951, ‘A formulation of the logic of sense and denotation’, in Structure, Method, and Meaning, The Liberal Arts Press.
Church, A.: 1954, ‘Intensional isomorphism and identity of belief’, Philosophical Studies 5, 65–73.
Church, A.: 1973, ‘Outline of a revised formulation of the logic of sense and denotation (part I)’, Noûs 7, 24–33.
Church, A.: 1974, ‘Outline of a revised formulation of the logic of sense and denotation (part II)’,Noûs 8, 135–156.
Gallin, D.: 1975, Intentional and Higher-Order Modal Logic, North-Holland.
Henkin, L.: 1950, ‘Completeness in the theory of types’, J. Symbolic Logic 15, 81–91.
Kripke, S.: 1959, ‘A completeness theorem in modal logic’, J. Symbolic Logic 24, 1–14.
Kripke, S.: 1971, ‘Identity and necessity’, in M. Munitz (ed.),Identity and lndividuation, New York Univ. Press.
Lewis, C. I. and Langford, C. H.: 1932, Symbolic Logic, Century.
Parsons, C.: 1982, ‘Intensional logic in extensional language’, J. Symbolic Logic 47, 289–328.
Smullyan, A.: 1948, ‘Modality and description’, J. Symbolic Logic 13, 31–37.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 D. Reidel Publishing Company
About this chapter
Cite this chapter
Anderson, C.A. (1984). General Intensional Logic. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic. Synthese Library, vol 165. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-6259-0_7
Download citation
DOI: https://doi.org/10.1007/978-94-009-6259-0_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-6261-3
Online ISBN: 978-94-009-6259-0
eBook Packages: Springer Book Archive