Hostname: page-component-78c5997874-mlc7c Total loading time: 0 Render date: 2024-11-10T11:12:07.716Z Has data issue: false hasContentIssue false
  • English
  • Français

Substance and first-order quantification over individual-concepts

Published online by Cambridge University Press:  12 March 2014

John Bacon
John Bacon*
Affiliation:
The University of Sydney, New South Wales, Australia2006
Get access Rights & Permissions [Opens in a new window]

Extract

An individual-concept, hereinafter “individuation”, is a function from possible worlds to individuals. Constant individuations I will call “subsistents” (the notion will presently be generalized). A “substance”, after Thomason [35], is a subsistent whose value exists for the world at hand. In the systems of quantified modal logic developed over the past twenty years, the tendency has been to restrict the range of quantifiers to substances (often represented technically by the simple individuals that would be the values of the constant individuations), while allowing constant terms (particularly descriptions) to express arbitrary individuations. One result is to invalidate unrestricted universal instantiation (and existential generalization), rather as in free logic. Such systems approximate some features of ordinary usage rather nicely, e.g. the behavior of quantifiers and definite descriptions in tensed discourse. Stalnaker and Thomason's Q3r [34], based on the latter's Q3 [35], [36], is exemplary of this approach.

The suggestion has repeatedly been considered to quantify over individuations in general (Kanger [14], Kaplan [17], Hughes and Cresswell [12, p. 196], Thomason [35, p. 136], Pollock [30]).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 45 , Issue 2 , June 1980 , pp. 193 - 203
Copyright
Copyright © Association for Symbolic Logic 1980

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bacon, John, Substance and first-order quantification over individual-concepts (abstract), this Journal, vol. 40 (1975), p. 299.Google Scholar
[2]Belnap, Nuel D. Jr., Foreword to Bressan [4, xiii-xxv].Google Scholar
[3]Belnap, Nuel D. Jr., Letter to Zane Parks (Pittsburgh, 02 1975) quoted in Parks [29, pp. 114–115].Google Scholar
[4]Bressan, Aldo, A general interpreted modal calculus, Yale University Press, New Haven, 1972.Google Scholar
[5]Church, Alonzo, A formulation of the logic of sense and denotation, Structure method and meaning: essays in honor of Henry M. Sheffer (Henle, P., Kallen, H.M. and Langer, S.K., Editors), Liberal Arts Press, New York, 1951, pp. 3–24.Google Scholar
[6]Church, Alonzo, The need for abstract entities in semantic analysis, Contemporary readings in logical theory (Copi, I.M. and Gould, J.A., Editors), Macmillan, New York, 1967, pp. 194–203.Google Scholar
[7]Church, Alonzo, Outline of a revised formulation of the logic of sense and denotation, Part I, Noûs, vol. 7 (1973), pp. 24–33.CrossRefGoogle Scholar
[8]Church, Alonzo, Outline of a revised formulation of the logic of sense and denotation, Part II, Noûs, vol. 8 (1974), pp. 135–156.CrossRefGoogle Scholar
[9]Gallin, Daniel, Systems of intensional logic (abstract), this Journal, vol. 36 (1971), p. 585.Google Scholar
[10]Gallin, Daniel, Intensional and higher-order modal logic, dissertation, University of California at Berkeley, 1972, North-Holland, Amsterdam, 1975.Google Scholar
[11]Jaakko, K.Hintikka, J., Semantics for propositional attitudes, Models for modalities: selected essays, Reidel, Dordrecht, 1969, pp. 87–111.Google Scholar
[12]Hughes, G. E. and Cresswell, M. J., An introduction to modal logic, Methuen, London, 1968.Google Scholar
[13]Kamp, J. A. W., Two related theorems by D. Scott and S. Kripke, xeroxed, London, 1976 or 1977.Google Scholar
[14]Kanger, Stig, The morning star paradox, Theoria, vol. 23 (1957), pp. 1–11.CrossRefGoogle Scholar
[15]Kanger, Stig, A note on quantification and modalities, Theoria, vol. 23 (1957), pp. 133–134.Google Scholar
[16]Kanger, Stig, Provability in logic, Stockholm Studies in Philosophy, vol. 1, Acta Universitatis Stockholmiensis, Almqvist & Wiksell, Stockholm, 1957.Google Scholar
[17]Kaplan, David, Foundations of intensional logic, dissertation, University of California at Los Angeles, 1964.Google Scholar
[18]Kaplan, David, Letter to John Bacon, University of California at Los Angeles, 05 25, 1977.Google Scholar
[19]Kripke, Saul A., Semantical considerations on modal logic, Acta Philosophica Fennica, vol. 16 (1963), pp. 83–94.Google Scholar
[20]Kripke, Saul A., Letter to David Kaplan and Richmond Thomason, Rockefeller University, New York, 03 12, 1976.Google Scholar
[21]Lambert, Karel (Editor), Philosophical problems in logic: some recent developments, Reidel, Dordrecht, 1970.CrossRefGoogle Scholar
[22]Lambert, Karel (Editor), Notes on free description theory: some philosophical issues and consequences, Journal of Philosophical Logic, vol. 1 (1972), pp. 184–191.CrossRefGoogle Scholar
[23]Lewis, David K., Counterpart theory and quantified modal logic, Journal of Philosophy, vol. 65 (1968), pp. 113–126.CrossRefGoogle Scholar
[24]Meyer, Robert K. and Lambert, Karel, Universally free logic and standard quantification theory, this Journal, vol. 33 (1968), pp. 8–20.Google Scholar
[25]Montague, Richard M., Pragmatics, Formal philosophy: selected papers (Thomason, R. H., Editor), Yale University Press, New Haven, 1974, pp. 95–118.Google Scholar
[26]Montague, Richard M., Pragmatics and intensional logic, Formal philosophy: selected papers (Thomason, R. H., Editor), Yale University Press, New Haven, 1974, pp. 119–147.Google Scholar
[27]Montague, Richard M., The proper treatment of quantification in ordinary English, Formal philosophy: selected papers (Thomason, R. H., Editor), Yale University Press, New Haven, 1974, pp. 247–270.Google Scholar
[28]Parks, R. Zane, Classes and change, Journal of Philosophical Logic, vol. 1 (1972), pp. 162–169.CrossRefGoogle Scholar
[29]Parks, R. Zane, Investigations into quantified modal logic. I, Stadia Logica, vol. 35 (1976), pp. 109–125.CrossRefGoogle Scholar
[30]Pollock, John L., Opening remarks to a workshop on modal logic, Conference on the Nature of Logic, State University of New York College at Buffalo, April 20, 1973.Google Scholar
[31]Quine, W. V., Two letters to Rudolf Carnap (October 23,1945 and January 1,1946) quoted in Carnap, Meaning and necessity: a study in semantics and modal logic, Chicago University Press, Chicago, 1947, pp. 196–197.Google Scholar
[32]Scott, Dana S., Advice on modal logic, Lambert [21, pp. 143–173].Google Scholar
[33]Shelah, Saharon, The monadic theory of order, Annals of Mathematics, vol. 102 (1975), pp. 379–419.CrossRefGoogle Scholar
[34]Stalnaker, Robert C. and Thomason, Richmond H., Abstraction in first-order modal logic, Theoria, vol. 34 (1968), pp. 203–207.CrossRefGoogle Scholar
[35]Thomason, Richmond H., Modal logic and metaphysics, The logical way of doing things (Lambert, K., Editor), Yale University Press, New Haven, 1969, pp. 119–146.Google Scholar
[36]Thomason, Richmond H., Some completeness results for modal predicate calculi, Lambert [21, pp. 56–76].Google Scholar
[37]Thomason, Richmond H., Perception and individuation, Logic and ontology (Munitz, M., Editor), New York University, Washington Square, 1973, pp. 261–285.Google Scholar
[38]Thomason, Richmond H. and Stalnaker, Robert C., Modality and reference, Noûs, vol. 2 (1968), pp. 359–372.CrossRefGoogle Scholar