Inception of Quine's ontology

History and Philosophy of Logic

Volumn 25, Issue 2, 2004, Pages 111-129

  Decock, Lieven ^a  

^a TILBURG UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 66849114537     PISSN: 01445340     EISSN: 14645149     Source Type: Journal    
DOI: 10.1080/01445340310001613833     Document Type: Article

References (76)

1. Barrett R, Gibson R, (eds) 1990 Perspectives on Quine Cambridge MA:Blackwell
2. Bernays, P. 1937. A System of Axiomatic Set Theory. Journal of Symbolic Logic, 2:65–77.
3. Boffa, M. 1984. On Self-membered Sets in Quine's Set Theory NF. Logique & Analyse, 141–142:59–60.
4. 3’. Journal of Symbolic Logic, 50:407–411.
5. Burgess, J. 1997. Quinus Ab Omni Naevo Vindicatus. Canadian Journal of Philosophy Suppl, 23:25–65.
6. Carnap R, 1988 Meaning and Necessity Chicago:University of Chicago Press
7. Decock, L. 1999. Quine on Names. Logique et Analyse, 167–168:373–379.
8. Decock L, 2002 Trading Ontology for Ideology. The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy Dordrecht:Kluwer
9. Forster T, 1992 Set Theory with a Universal Set Oxford:Clarendon
10. Forster, T. 1997. Quine's NF—60 years on. American Mathematical Monthly, 104:838–843.
11. Goldfarb, W. 1979. Logic in the Twenties:The Nature of the Quantifier. Journal of Symbolic Logic, 44:351–368.
12. Hahn L, Schilpp P, 1986 The Philosophy of W.V. Quine La Salle:Open Court
13. Holmes, M. 1991. Systems of Combinatory Logic Related to Quine's “New Foundations”. Annals of Pure and Applied Logic, 57:103–133.
14. Holmes, M. 1993. Systems of Combinatory Logic Related to Predicative and Mildly Impredicative Fragments of Quine's “New Foundations”. Annals of Pure and Applied Logic, 59:45–53.
15. Neale S, 2000 On a Milestone of Empiricism in A. Orenstein and P. Kotatko, eds, Knowledge, Language and Logic:Questions for Quine, Dordrecht:Kluwer pp. 237–346
16. Quine WVO, 1934a A System of Logistic Cambridge MA:Harvard University Press
17. Quine, WVO. 1934b. Ontological Remarks on the Propositional Calculus. Mind, 43:472–476.
18. Quine, WVO. 1936a. A Reinterpretation of Schönfinkel's Logical Operators. Bulletin of the American Mathematical Society, 42:87–89.
19. Quine, WVO. 1936b. Toward a Calculus of Concepts. Journal of Symbolic Logic, 1:2–25.
20. Quine, WVO. 1936c. Concepts of Negative Degree. Proceedings of the National Academy of Sciences, 40:753–761.
21. Quine WVO, 1936d Set-theoretic Foundations for Logic reprinted in Quine 1966b pp. 83–99
22. Quine, WVO. 1936e. A Theory of Classes Presupposing No Canons of Type. Proceedings of the National Academy of Sciences, 40:320–326.
23. Quine, WVO. 1936f. Definition of Substitution. Bulletin of the American Mathematical Society, 42:561–569.
24. Quine, WVO. 1936g. On the Axiom of Reducibility. Mind, 45:561–569.
25. Quine WVO, 1937a New Foundations for Mathematical Logic reprinted in Quine 1953 pp. 80–101
26. Quine, WVO. 1937b. On Derivability. Journal of Symbolic Logic, 2:113–119.
27. Quine, WVO. 1937c. On Cantor's Theorem. Journal of Symbolic Logic, 2:120–124.
28. Quine, WVO. 1937d. Logic Based on Inclusion and Abstraction. Journal of Symbolic Logic, 2:145–152.
29. Quine, WVO. 1938. On the Theory of Types. Journal of Symbolic Logic, 3:125–139.
30. Quine WVO, 1939a A Logistical Approach to the Ontological Problem reprinted in Quine 1966a pp. 197–202
31. Quine, WVO. 1939b. Designation and Existence. Journal of Philosophy, 36:701–709.
32. Quine WVO, 1940 Mathematical Logic Cambridge MA:Harvard University Press
33. Quine, WVO. 1941a. Element and Number. Journal of Symbolic Logic, 6:135–149.
34. Quine WVO, 1941b Whitehead and the Rise of Modern Logic reprinted in Quine 1966b pp. 3–36
35. Quine, WVO. 1942. On Existence Conditions for Sets and Classes. Journal of Symbolic Logic, 7:157–159.
36. Quine, WVO. 1943. Notes on Existence and Necessity. Journal of Philosophy, 40:113–127.
37. Quine, WVO. 1946. Concatenation as a Basis for Arithmetic. Journal of Symbolic Logic, 11:105–114.
38. Quine, WVO. 1947a. The Problem of Interpreting Modal Logic. Journal of Symbolic Logic, 12:43–48.
39. Quine, WVO. 1947b. On Universals. Journal of Symbolic Logic, 12:74–84.
40. Quine WVO, 1948 On What There Is reprinted in Quine 1953 pp. 1–19
41. Quine WVO, 1953 From a Logical Point of View Cambridge MA:Harvard University Press
42. Quine WVO, 1954 Logic, Symbolic reprinted in Quine 1966b pp. 37–51
43. Quine WVO, 1955 On Frege's Way Out reprinted in Quine 1966b pp. 146–158
44. Quine, WVO. 1956. Unification of Universes in Set Theory. Journal of Symbolic Logic, 21:267–279.
45. Quine WVO, 1960a Word and Object Cambridge MA:MIT Press
46. Quine WVO, 1960b Variables Explained Away reprinted in Quine 1966b pp. 227–235
47. Quine WVO, 1963 Set Theory and its Logic Cambridge MA:Harvard University Press
48. Quine WVO, 1966a The Ways of Paradox Cambridge MA:Harvard University Press
49. Quine WVO, 1966b Selected Logic Papers Cambridge MA:Harvard University Press
50. Quine WVO, 1966c Russell's Ontological Development reprinted in Quine 1980, pp 73 85
51. Quine WVO, 1969a Ontological Relativity and Other Essays New York:Columbia University Press
52. Quine WVO, 1969b Ontological Relativity in Quine 1969a pp. 26–68
53. Quine WVO, 1971 Algebraic Logic and Predicate Functors reprinted in Quine 1966a pp. 283–307
54. Quine WVO, 1973 The Roots of Reference La Salle:Open Court
55. Quine WVO, 1976 Wither Physical Objects? in R. Cohen, P. Feyerabend and M. Wartofsky, eds, Essays in Memory of Imre Lakatos, Dordrecht:Reidel pp. 497–504
56. Quine WVO, 1980 Theories and Things Cambridge MA:Belknap
57. Quine WVO, 1984 Sticks and Stones; or, the Ins and Outs of Existence in L. Rouner, ed., On Nature, Notre Dame Indiana:University of Notre Dame Press pp. 13–26
58. Quine WVO, 1985 The Time of My Life Cambridge MA:Bradford Books
59. Quine WVO, 1986 Philosophy of Logic Cambridge MA:Harvard University Press
60. Quine WVO, 1987 The Inception of “New Foundations” in Quine 1966b pp. 286–289
61. Quine WVO, 1990a Pursuit of Truth Cambridge MA:Harvard University Press
62. Quine WVO, 1990b The Logic of Sequences. A Generalization of Principia Mathematica New York/London:Garland
63. Quine WVO, 1990c Three Indeterminacies in R. Barrett and R. Gibson, eds, Perspectives on Quine, Cambridge MA:Blackwell
64. Quine, WVO. 1994. Assuming Objects. Theoria, 60:171–183.
65. Quine WVO, 1995a From Stimulus to Science Cambridge MA:Harvard University Press
66. Quine, WVO. 1995b. Naturalism; or, Living within One's Means. Dialectica, 49:251–261.
67. Quine, WVO, Geach, P, and Ayer, A. 1951. Symposium:On What There Is. Aristotelian Soc. Supp, Vol 25:125–160.
68. Quine WVO, Fara R, 1994 In Conversation:W. V. O. Quine. Fara Interview (7 videos) Philosophy International London
69. Rosser, B. 1942. The Burali-Forti paradox. Journal of Symbolic Logic, 7:1–17.
70. Rosser, B. 1954. Review of Specker. Journal of Symbolic Logic, 19:127–128.
71. Schönfinkel, M. 1928. Über die Bausteine der mathematischen Logik. Annals of Mathematics, 92:305–316.
72. Smullyan, A. 1948. Modality and Description. Journal of Symbolic Logic, 13:31–37.
73. Specker, E. 1953. The Axiom of Choice in Quine's New Foundations for Mathematical Logic. Proceedings of the National Academy of Sciences, 39:972–975.
74. Vayl, V. 1990. On Models of Quine's NF. Logique & Analyse, 33:287–293.
75. von Neumann, J. 1925. Eine Axiomatisierung der Mengenlehre. Journal für reine und angewandte Mathematik, 154, 155:219, 128–240.
76. Whitehead AN, Russell B, 1962 Principia Mathematica to *56 Cambridge:Cambridge University Press