Abstract
The trouble with modal logic, according to its critics, is quantification into modal contexts — i.e. de re modality. For on the basis of such quantification, it is claimed, essentialism ensues, and perhaps a bloated universe of possibilia as well. The essentialism is avoidable, these critics will agree, but only by turning to a Platonic realm of individual concepts whose existence is no less dubious or problematic than mere possibilia. Moreover, basing one’s semantics on individual concepts, it is claimed, would in effect render all identity statements containing only proper names either necessarily true or necessarily false — i.e. there would then be no contingent identity statements containing only proper names.
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
Bacon, J.: 1980, ‘Substance and first-order quantification over individual concepts’, J. Symbolic Logic 45, 193–203.
Beth, E. W.: 1960, Extension and Intension’, Synthese 12, 375–379.
Broido, J.: 1976, ‘On the eliminability of de re modalities in some systems’, Notre Dame J. Formal Logic 17, 79–88.
Carnap, R.: 1938, ‘Foundations of logic and mathematics’, in International Encyclo pedia of Unified Science, Vol. 1, Univ. of Chicago Press.
Carnap, R.: 1946, ‘Modalities and quantification’, J. Symbolic Logic 11, 33–64.
Carnap, R.: 1947, Meaning and Necessity, Univ. of Chicago Press.
Carnap, R.: 1955 ‘Notes on Semantics’, published posthumously in Philosophia Phil Quant Israel) 2, 1–54 (1972).
Carnap, R.: 1958, Intro. to Symbolic Logic and its Applications, Dover Press.
Cocchiarella, N. B.: 1975a, ‘Logical atomism, nominalism, and modal logic’, Synthese 3, 23–62.
Cocchiarella, N. B.: 1975b, ‘On the primary and secondary semantics of logical necessity’, J.Philosophical Logic 4, 13–27.
Fine, K.: 1979, ‘Failures of the interpolation lemma in quantified modal logic’, J. Symbolic Logic 44, 201–206.
Geach, P.: 1962, Reference and Generality, Cornell Univ. Press, Ithaca.
Gibbard, A.: 1975, ‘Contingent identity’, J. Philosophical Logic 4, 187–221.
Hintikka, J.: 1956, ‘Identity, variables and impredicative definitions’, J. Symbolic Logic 21, 225–245.
Hintikka, J.: 1969, Models for Modalities, Reidel, Dordrecht.
Hintikka, J.: 1973, Time and Necessity, Oxford Univ. Press, London.
Hintikka, J.: 1982, ‘Is alethic modal logic possible?’, Acta Phil Fennica 35, 89–105.
Kamp, J. A. W.: 1971, ‘Formal properties of “Now”’, Theoria 37, 227–273.
Kamp, J. A. W.: 1977, ‘Two related theorems by D.Scott and S. Kripke’, Xeroxed, London.
Kanger, S.: 1957, Provability in Logic, Univ. of Stockholm.
Kripke, S.: 1959, ‘A completeness theorem in modal logic’, J. Symbolic Logic 24, 1–14.
Kripke, S.: 1962, ‘The undecidability of monadic modal quantification theory’, Zeitsch f. Math. Logik und Grundlagen d. Math. 8, 113–116.
Kripke, S.: 1963, ‘Semantical Considerations on modal logic’, Acta Philosophica Fennica 16, 83–94.
Kripke, S.: 1971, ‘Identity and necessity’, in M. Munitz (ed.), Identity and lndividuation, New York Univ. Press.
Kripke, S.: 1976, ‘Letter to David Kaplan and Richmond Thomason’, March 12, 1976.
Lyons, J.: 1977, Semantics, Cambridge Univ. Press.
McKay, T. J.: 1975, ‘Essentialism in quantified modal logic’, J. Philosophical Logic 4, 423–438.
Montague, R. M.: 1960, ‘Logical necessity, physical necessity, ethics, and quantifiers’, Inquiry 4, 259–269. Reprinted in R. Thomason (ed.), Formal Philosophy, Yale Univ. Press, 1974.
Parks, Z.: 1976, ‘Investigations into quantified modal logic — I’, Studia Logica 35, 109–125.
Parsons, T.: 1969, ‘Essentialism and quantified modal logic’, Philosophical Review 78, 35–52.
Prior, A. N.: 1967, Past, Present, and Future, Oxford Univ. Press.
Putman, H.: 1967, ‘Time and physical geometry’, J. Philosophy 64, 240–247. Reprinted in Mathematics, Matter and Method, Phil papers vol. 1, Cambridge Univ. Press, 1975.
Ramsey, F. P.: 1960, in R. B. Braithwaite (ed.), The Foundations of Mathematics, Littlefield, Adams, Paterson.
Saarinen, E.: 1976, ‘Backwards-looking operators in tense logic and in natural language’, in J. Hintikka et al (eds.), Essays on Mathematical Logic, Reidel, Dordrecht.
Sellars, W.: 1963, ‘Grammar’and existence: a preface to ontology’, in Science, Perception, and Reality, Routledge and Kegan Paul, London.
Smullyan, A.: 1948, ‘Modality and description’, J. Symbolic Logic 13, 31–37.
Thomason, R.: 1969, ‘Modal logic and metaphysics’, in K. Lambert (ed.), The Logical Way of Doing Things, Yale Univ. Press.
Vlach, F.: 1973, ‘Now’ and ‘then’: a formal study in the logic of tense anaphora, PhD dissertation, UCLA.
Von Wright, G. H.: 1951, An Essay in Modal Logic, North-Holland, Amsterdam.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 D. Reidel Publishing Company
About this chapter
Cite this chapter
Cocchiarella, N.B. (1984). Philosophical Perspectives on Quantification in Tense and Modal 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_6
Download citation
DOI: https://doi.org/10.1007/978-94-009-6259-0_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-6261-3
Online ISBN: 978-94-009-6259-0
eBook Packages: Springer Book Archive