Fixing Frege

Fixing Frege

Volumn , Issue , 2018, Pages 1-257

  Burgess, John P ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85194527428     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (106)

1. Ajdukiewicz, Kasimierz. 1935. “Die syntaktische Konnexität.” Studia Philosophica 1:1-27.
2. Antonelli, Aldo, and Robert May. 2000 “Frege’s Other Program.” Notre Dame Journal of Formal Logic. Forthcoming.
3. Bar-Hillel, Yehoshua. 1950. “On Syntactical Categories.” Journal of Symbolic Logic 15:1-16.
4. Bays, T. 2000. “The Fruits of Logicism.” Notre Dame Journal of For¬mal Logic 41:415-21.
5. Behmann, Heinrich. 1922. “Beiträge zur Algebra der Logik, insbeson¬dere zum Entscheidungsproblem.” Mathematische Annalen 86:419-32.
6. Bell, J. L. 1999. “Frege’s Theorem in a Constructive Setting.” Journal of Symbol Logic 64:486-88.
7. Benacerraf, Paul. 1965. “What Number^ Could Not Be.” Philosophical Review 74:47-73. Reprinted in Benacerraf and Putnam (1983), 272-94.
8. Benacerraf, Paul.1973. “Mathematical Truth.” Journal of Philosophy, 70:661-80. Reprinted in Benacerraf and Putnam (1983), 403-20.
9. Benacerraf, Paul, and Hilary, Putnam. 1983. Philosophy of Mathematics: Selected Readings, 2nd ed. Cambridge: Cambridge University Press.
10. Bernays, Paul. 1961. “Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre.” In Essays on the Foundations of Mathematics, ed. Yehoshua Bar-Hillel et al., 3-49. Jerusalem: Magnes Press (. Trans. J. Bell and M. Planitz 1976) as “On the Problem of Schemata of Infinity in Axiomatic Set Theory.” In Sets and Classes: On the Work by Paul Bemays, ed. Gert Muller, 121-72. Amsterdam: North Holland.
11. Beth, E. W. and J. Piaget. 1966. Mathematical Epistemology and Psy¬chology. Dordrecht: Reidel.
12. Boolos, George S. 1984. “To Be Is to Be the Value of a Variable (or Some Values of Some Variables).” Journal of Philosophy 81:430-50. Reprinted in Boolos (1998), 54—72.
13. Boolos, George S. 1985a. “Nominalist Platonism.” Philosophical Review 94:327-44. Reprinted in Boolos (1998), 73-87.
14. Boolos, George S. 1985b. “Reading the Begrijfsschrift.” Mind 94:331-44. Reprinted in Demopoulos (1995), 163-81. Reprinted in Boo¬los (1999), 155-70.
15. Boolos, George S. 1987. “The Consistency of Frege’s Foundations of Arithmetic” In On Being and Saying: Essays for Richard Cartwright, ed. J. J. Thomson, 3-20. Cambridge, MA: MIT Press. Reprinted in Demopoulos (1995), 211-33. Reprinted in Boolos (1998), 182-201.
16. Boolos, George S. 1989. “Iteration Again.” Philosophical Topics 17:5-21. Reprinted in Boolos (1998), 88-204.
17. Boolos, George S. 1990. “The Standard of Equality of Numbers.” In Meaning and Method: Essays in Honor of Hilary Putnam, ed. George Boolos, 261-78. Cambridge: Cambridge University Press. Reprinted in Demopoulos (1995), 234—54. Reprinted in Boolos (1998), 202-19.
18. Boolos, George S. 1993. “Whence the Contradiction?” Aristotelian Society Supple¬ment 67:213-33. Reprinted in Boolos (1998), 220-36.
19. Boolos, George S. 1994a. “1879?” In Reading Putnam, ed. Peter Clark and Bob Hale, 31-48. Oxford: Blackwell. Reprinted in Boolos (1998), 237-54.
20. Boolos, George S. 1994b. “The Advantage of Honest Toil over Theft.” In Mathe¬matics and Mind, ed. Alexander George, 27-44. Oxford: Oxford University Press. Reprinted in Boolos (1998), 255-74.
21. Boolos, George S. 1996. “On the Proof of Frege’s Theorem.” In Benacerraf and His Critics, ed. Adam Morton, 143-59. Oxford: Blackwell. Reprinted in Boolos (1998), 275-90.
22. His Critics, ed. 1998. Logic, Logic, and Logic. Cambridge, MA: Harvard Univer¬sity Press.
23. Boolos, George S., John P. Burgess, and Richard C. Jeffrey. 2002. Computability and Logic, 4th edition. Cambridge: Cambridge University Press.
24. Boolos, George S., and Richard, Heck. 1998. “Die Grundlagen der Arithmetik §§82-3.” In Philosophy of Mathematics Today, ed. Matthias Schirn, 407-28. Oxford: Clarendon Press. Reprinted in Boolos (1998), 313-38.
25. Burali-Forti, Cesare. 1967 (originally published 1897). “A Question of Transfinite Numbers / On Well-Ordered Classes.” Trans. J. van Heijenoort. In van Heijenoort (1967), 105-12.
26. Burgess, John P. 1984. Review of Wright (1983). Philosophical Review 93:638-40.
27. Burgess, John P. 2004. “E Pluribus Unum.” Philosophia Mathematica 12: 193-221.
28. Burgess, John P, and A. P. Hazen, 1998. “Arithmetic and Predicative Logic.” Notre Dame Journal of Formal Logic 39:1-17.
29. Burgess, John P, and Gideon, Rosen. 1997. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. Oxford: Oxford University Press.
30. Cantor, Georg. 1885. Review of Frege (1884). Deutsche Liter¬aturzeitung 6:72 8-29.
31. Chihara, Charles. 1973. Ontology and the Vicious Circle Principle. Ithaca, NY: Cornell University Press.
32. Collins, George F., and J. D. Halpern. 1970. “On the Interpretability of Arithmetic in Set Theory.” Notre Dame Journal of Formal Logic 11:477-83.
33. Corcoran, John, andj. Herring. 1971. “Notes on a Semantic Analysis of Variable-Binding Term Operators.” Logique et Analyse 55: 664-57.
34. Corcoran, John, W. Hachter, and J. Herring, 1972. “Variable-Binding Term Operators.” Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18:177-82.
35. Craig, William. 1957. “Three Uses of the Herbrand-Gentzen Theo¬rem in Relating Model Theory and Proof Theory.” Journal of Symbolic Logic 2 2:2 69-85.
36. Dedekind, Richard. 1888. Was sind und was sollen die Zahlen? Braun¬schweig: Vieweg. Trans. Wooster Woodruff Beman (1901) as “The Nature and Meaning of Numbers.” In Essays on the Theory of Numbers, 29-115. Chicago: Open Court.
37. Demopoulos, William, ed. 1995. Frege's Philosophy of Mathematics. Cambridge, MA: Harvard University Press.
38. Dummett, Michael. 1991. Frege: Philosophy of Mathematics. Cambridge, MA: Harvard University Press.
39. Feferman, Solomon. 1999. “Logic, Logics, and Logicism.” Notre Dame Journal of Formal Logic 40:31-54.
40. Feferman, Solomon, and Geoffrey, Heilman. 1995. “Predicative Foun¬dations of Arithmetic.” Journal of Philosophical Logic 24:1-17.
41. Ferreira, Fernando. 2000 “Amending Frege’s Grundgesetze der Math¬ematik." Synthese. Forthcoming.
42. Ferreira, Fernando, and Kai Wehmeier. 2002. “On the Consistency of the A}-CA Fragment of Frege’s Grundgestze.” Journal of Philosophical Logic 31:301-11.
43. Fine, Kit. 2002. The Limits of Abstraction. Oxford: Oxford University Press.
44. Frege, Gottlob. 1879. Begriffsschrift: Eine der arithmetischen nachge¬bildete Formelsprache des reinen Denkens. Halle: Louis Nebert. Trans. Stefan Bauer-Mengelberg. In van Heijenoort (1967), 1-82.
45. Frege, Gottlob. 1884. Die Grundlagen der Arithmetik: Eine logisch-mathematische Untersuchung über den Begriff der Zahl. Breslau: Wilhelm Koebner. Trans. J. L. Austin. Foundations of Arithmetic. 1950. Oxford: Blackwell.
46. Frege, Gottlob. 1892. “Über Sinn und Bedeutung.” Zeitschrift für Philosophie und philosophische Kritik. 100:25-50. Trans. Max Black as “On Sense and Reference.” In Geach and Black (1960), 56-78.
47. Frege, Gottlob. 1893/1903. Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. 2 vols. Jena: Pohle. Reprinted 1962. Hildesheim: Olms. Partial trans. P.E.B. Jourdain and J. Stachelroth as Basic Laws of Arithmetic. In Geach and Black (1960), 137-244.
48. Geach, Peter. 1975. Review ofM. Dummett, Frege: Philosophy of Lan¬guage. Mind 84:436-99.
49. Geach, Peter, and Max Black, eds. 1960. Translations from the Writings of Gottlob Frege. Oxford: Blackwell.
50. Goldfarb, Warren. 2001. “First-Order Freagean Theory is Undecid-abl z.” Journal of Philosophical Logic 30:613-16.
51. Häjek, Petr, and Pavel Pudlak. 1998. Metamathematics of First-Order Arithmetic. Berlin: Springer.
52. Hale, Bob. 2000. “Reals by Abstraction.” Philosophia Mathematica 8:100-123.
53. Hallett, Michael. 1984. Cantorian Set Theory and Limitation of Size. Oxford: Oxford University Press.
54. Harrington, Leo, et al., eds. 1985. Harvey Friedman's Research on the Foundations of Mathematics. Amsterdam: North Holland.
55. Hazen, A. P. 1985. Review of Wright (1983). Australasian Journal of Philosophy 63:251-54.
56. Heck, Jr., Richard G. 1992. “On the Consistency of Second-Order Contextual Definitions.” Nous 26:491-95.
57. Heck, Jr., Richard G. 1993. “The Development of Arithmetic in Frege’s Grundgesetze der Arithmetik.” Journal of Symbolic Logic 58:579-601. Reprinted with a postscript in Demopoulos (1995), 257-94.
58. Heck, Jr., Richard G. 1996. “On the Consistency of Predicative Fragments of Frege’s Grundgesetze der Arithmetik.” History and Philosophy of Logic 17:209-20.
59. Grundgesetze der Arithmetik. 1997a. “The Finite and the Infinite in Frege.” In Philosophy of Mathematics Today, ed. M. Schirn, 429-66. Oxford: Oxford University Press.
60. Mathematics Today, ed. 1997b. “Finitude and Hume’s Principle.” Journal of Philosophical Logic 26:5 89-617.
61. Mathematics Today, ed. 1997c. “The Julius Caesar Objection.” In Language, Thought, and Logic: Essays in Honour of Michael Dummett, ed. R. Heck. 273-308. Oxford: Oxford University Press.
62. Mathematics Today, ed. 2000. “Cardinality, Counting, and Equinumerosity.” Notre Dame Journal of Formal Logic 41:87-109.
63. Hodes, Harold. 1984. “Logicism and the Ontological Commitments of Arithmetic.” Journal of Philosophy 81:12 3-49.
64. Hrbacek, Karel, and Thomas Jech. 1999. Introduction to Set Theory, 3rd ed. New York: Marcel Dekker.
65. Kanamori, Akihiro. 1997. The Higher Infinite, corrected printing. Berlin: Springer.
66. Linnebo, Oystein. 2004. “Predicative Fragments of Frege Arith¬metic.” Bulletin of Symbolic Logic 10:153-74.
67. Löwenheim, Leopold. 1915. “Uber Möglichkeiten im Relativkalkül.” Mathematische Annalen 16:^1-10. Trans. Stefan Bauer¬Mengelberg as “On Possibilities in the Calculus of Relatives.” In van Heijenoort (1967), 228-51.
68. Montagna, Franco, and Antonella, Mancini. 1994. “A Minimal Pred¬icative Set Theory.” Notre Dame Journal of Formal Logic 35:186-203.
69. Mostowski, Andrzej. 1950. “Some Impredicative Definitions in the Axiomatic Set Theory.” Fundamenta Mathematics 36:143-64.
70. Mostowski, Andrzej. 1957. “On a Generalization of Quantifiers.” Fundamenta Math¬ematics 44:12-36.
71. Nelson, Edward. 1986. Predicative Arithmetic. Princeton: Princeton University Press.
72. Novak Gal Ilse. 1951. “A Construction of Models of Consistent Sys¬tems.” Fundamenta Mathematics 37:87-110.
73. Parsons, Charles. 1965. “Frege’s Theory of Number.” In Philosophy in America, ed. Max Black, 180-203. Ithaca, NY: Cornell Univer¬sity Press. Reprinted in Demopoulos (1995), 182-207.
74. Parsons, Terence. 1987. “On the Consistency of the First-Order Por¬tion of Frege’s Logical System.” Notre Dame Journal of Formal Logic 28:61-68. Reprinted in Demopoulos (1995), 422-31.
75. Quine, W. V. 1951. Mathematical Logic, revised ed. Cambridge, MA: Harvard University Press.
76. Quine, W. V. 1955. “On Frege’s Way Out.” Mind 64:145-59. Reprinted in Selected Logic Papers. 1966. 146-58. New York: Random House.
77. Quine, W. V. 1961. “A Basis for Number Theory in Finite Classes.” Bulletin of the American Mathematical Society 67:391-92.
78. Ramsey, F. P. 1925. “The Foundations of Mathematics.” Proceedings of the London Mathematical Society 25:338-84. Reprinted in The Foundations of Mathematics (1931), ed. R. B. Braithwaite, 1-61. London: Paul, Trench, Tubner.
79. Rayo, Augustin, and Gabriel Uzquiano. 1999. “Toward a Theory of Second-Order Consequence.” Notre Dame Journal of Formal Logic 40:315-25.
80. Rosser, J. Barkley. 1942. “The Burali-Forti Paradox.” Journal of Sym¬bolic Logic 7:1-17.
81. Rosser, J. Barkley, and Hao Wang. 1950. “Non-Standard Models for Formal Logics.” Journal of Symbolic Logic 16:113-29.
82. Russell, Bertrand. 1902. Letter to Frege, 16 June. Trans. Beverly Woodward. In van Heijenoort (1967). 124-25.
83. Russell, Bertrand. 1903. The Principles of Mathematics I. Cambridge: Cambridge University Press.
84. Russell, Bertrand. 1906. “Some Difficulties in the Theory of Transfinite Numbers and Order Types,” Proceedings of the London Mathematical Soci¬ety 2:29-53.
85. Russell, Bertrand. 1908. “Mathematical Logic as Based on the Theory of Types.” American Journal of Mathematics 30:222-62. Reprinted in van Heijenoort (1967), 150-82.
86. Schroeder-Heister, Peter. 1987. “A Model-Theoretic Reconstruction of Frege’s Permutation Argument.” Notre Dame Journal of For¬mal Logic 28:69-79.
87. Shapiro, Stewart. 1987. “Principles of Reflection and Second-Order Logic. ” Journal of Philosophical Logic 16:3 09-3 3.
88. Shapiro, Stewart. 2000. “Frege meets Dedekind: A Neo-Logicist Treatment of Real Analysis.” Notre Dame Journal of Formal Logic 41:335-64.
89. Shapiro, Stewart. 2003. “Prolegomena to any Future Neo-Logicist Set Theory: Abstraction and Indefinite Extensibility.” British Journal for the Philosophy of Science 54:59-91.
90. Shapiro, Stewart, and Alan Weir. 1999. “New V, ZF, and Abstrac¬tion.” Philosophia Mathematica 7:293-321.
91. Shapiro, Stewart. 2000. “Neo-Logicist Logic Is Not Epistemically Innocent.” Philosophia Mathematica 8:160-89.
92. Shoenfield, J. R. 1954. “A Relative Consistency Proof.” Journal of Symbolic Logic 19:21-28.
93. Simpson, Stephen G. 1999. Subsystems of Second Order Arithmetic. Berlin: Springer.
94. Steiner, Mark. 1975. Mathematical Knowledge. Ithaca, NY: Cornell University Press.
95. Tarski, Alfred. 1986. “What Are Logical Notions?” History and Philos¬ophy of Logic 7:143-54.
96. Tarski, Alfred, and Andrzej Mostowski, and Raphael M. Robinson. 1953. Undecidable Theories. Amsterdam: North Holland.
97. Tennant, Neil. 1987. Anti-Realism and Logic: Truth as Eternal. Oxford: Oxford University Press.
98. Urquhart, Alasdair. 1994. Editorial introductions to Collected Papers of Bertrand Russell, 4: Foundations of Logic 1903-05. London: Routledge.
99. Van Heijenoort, Jean, ed. 1967. From Frege to Godel: A Sourcebook in Mathematical Logic, 1879-1931. Cambridge, MA: Harvard University Press.
100. Wang, Hao. 1952. “Truth Definitions and Consistency Proofs.” Transactions of the American Mathematical Society 73:243-75.
101. Wehmeier, Kai. 1999. “Consistent Fragments of the Grundgesetze and the Existence of Non-Logical Objects.” Synthese 121:309-28.
102. Whitehead, Alfred North, and Bertrand Russell. 1910-13. Principia Mathematical 3 vols. Cambridge: Cambridge University Press. 2nd ed. 1925-27.
103. Wright, Crispin. 1983. Frege's Conception of Numbers as Objects. Aberdeen: Scots Philosophical Monographs.
104. Wright, Crispin. 1999. “Why Frege Does Not Deserve His Grain of Salt: A Note on the Paradox of ‘The Concept Horse’ and the Ascription of Bedeutungen to Predicates.” In New Essays on the Philosophy of Michael Dummett (Gratzer Philosophische Studien 55), eds. J. Brandi and P. Sullivan, 239-63. Vienna: Rodopi.
105. Wright, Crispin. 2000. “Neo-Fregean Foundations for Real Analysis: Some Reflections of Frege’s Constraint.” Notre Dame Journal of For¬mal Logic 41:317-34.
106. Wright, Crispin, and Bob Hale. 2001. The Reason's Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics. Oxford: Oxford University Press.