Hostname: page-component-76fb5796d-skm99 Total loading time: 0 Render date: 2024-04-28T04:18:52.833Z Has data issue: false hasContentIssue false

On the Reality of Existence and Identity

Published online by Cambridge University Press:  01 January 2020

Allen Hazen*
Affiliation:
University of Melbourne, Parkville, VictoriaAustralia3052

Extract

Ian Hacking's [6] is a spirited romp though a broad field of metaphysics, touching on a variety of important questions, and appealing to deep results in mathematical logic while remaining free of logical pedantry. Philosophical journals might be more fun to read if others could write in his style. It is an essay in applying the theory of logic expounded in more detail in his very interesting [7]. (Goran Sundholm, in [15], has raised grave difficulties for Hacking's notion of a ‘do-it-yourself’ semantics, but the overall project remains attractive. In particular, I find Hacking's contention that he has captured the notion of logic that Whitehead and Russell were working with both convincing and intriguing.) Unfortunately, despite my sympathy for his project, I have a number of criticisms to make of his argument. Some of them are picky logical points, but the major conclusions of [6] are affected.

Type
Research Article
Copyright
Copyright © The Authors 1985

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

[1]Boolos, GeorgeThe Iterative Conception of Sets,’ Journal of Philosophy 68 (1971) 215–3110.2307/2025204CrossRefGoogle Scholar
[2]Church, Alonzo Introduction to Mathematical Logic (Princeton: Princeton University Press 1956)Google Scholar
[3]Church, AlonzoComparison of Russell's Resolution of the Semantical Antinomies with that of Tarski,’ Journal of Symbolic Logic, 41 (1976) 747–60CrossRefGoogle Scholar
[4]Gentzen, Gerhardt The Collected Papers of Gerhardt Gentzen, tr. and ed. Szabo, M.E. (Amsterdam: North Holland 1969)Google Scholar
[5]Gödel, KurtWhat is Cantor's Continuum Problem?American Mathematical Monthly, 54 (1947) 515-25; revised and expanded version in P. Benacerraf and H. Putnam, Philosophy of Mathematics (Englewood Cliffs: Prentice Hall 1964) 258–73Google Scholar
[6]Hacking, IanOn the Reality of Existence and Identity,’ Canadian Journal of Philosophy 8 (1978) 613–32CrossRefGoogle Scholar
[7]Hacking, Ian What is Logic?, Journal Of Philosophy, 76 (1979) 285319CrossRefGoogle Scholar
[8]Hazen, AllenCounterpart-theoretic Semantics for Modal Logic,’ Journal of Philosophy, 76 (1979) 319–38CrossRefGoogle Scholar
[9]Lewis, David Counterfactuals (Cambridge MA: Harvard University Press 1973) 72–7Google Scholar
[10]Montague, RichardDeterministic Theories,’ in Montague, Richard Formal Philosophy, Thomason, R. ed. (New Haven: Yale University Press 1974) 303–59Google Scholar
[11]Myhill, JohnThe Undefinability of the Set of Natural Numbers in the Ramified Prin cipia,’ in Nakhnikian, G. ed., Bertrand Russell's Philosophy (New York: Harper and Row 1973) 1927Google Scholar
[12]Parsons, CharlesWhat is the Iterative Conception of Set?’ in Butts, R.E. and Hintikka, K.J.J. eds., Logic, Foundations of Mathematics, and Computability Theory (Dordrecht: Reidel 1977) 335–67; reprinted in Charles Parsons, Mathematics in Philosophy (Ithaca: Cornell University Press 1983)CrossRefGoogle Scholar
[13]Quine, WillardExistence and Quantification,’ in Margolis, J. ed., Fact and Existence (Oxford 1969); reprinted in Quine, Ontological Relativity and Other Essays (New York: Columbia University Press 1969)Google Scholar
[14]Sato, MasahikoA Cut-free Gentzen-stype System for the Modal Logic S5,’ Journal of Symbolic Logic, 45 (1980) 6784CrossRefGoogle Scholar
[15]Sundholm, GöranHacking's Logic,’ Journal of Philosophy, 78 (1981) 160–8CrossRefGoogle Scholar
[16]Wang, Hao From Mathematics to Philosophy (New York: Humanities Press 1974)Google Scholar