Linked bibliography for the SEP article "Formalism in the Philosophy of Mathematics" by Alan Weir
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Azzouni, Jody, 2005, ‘How to Nominalize Formalism’, Philosophia Mathematica (III), 13: 135–159. (Scholar)
- Azzouni, Jody, 2009, ‘Why do Informal Proofs Conform to Formal Norms’, Foundations of Science, 14: 9–26. (Scholar)
- Boolos, George, 1987, ‘A curious inference’, Journal of Philosophical Logic, 16: 1–12.
- Carnap, Rudolf, 1934/37, Logische Syntax der Sprache, Vienna: Springer. Translated by A. Smeaton as The Logical Syntax of Language, London: Kegan, Paul, Trench, Trubner & Co. 1937. (Scholar)
- –––, 1950/56, ‘Empiricism, Semantics and Ontology’, Revue Internationale de Philosophie, 4: 20–40. Reprinted in Meaning and Necessity, Chicago: University of Chicago Press, 2nd edition, 1956, pp. 205–221. (Scholar)
- Cohen, Paul, 1971, ‘Comments on the foundations of set theory’, in Dana Scott (ed.), Axiomatic Set Theory: Proceedings of Symposia in Pure Mathematics (Volume 13), Providence: American Mathematical Society, pp. 9–15. (Scholar)
- Curry, Haskell, 1951, Outlines of Formalist Philosophy of Mathematics, Amsterdam: North Holland. (Scholar)
- Dummett, Michael, 1991, Frege, Philosophy of Mathematics, London: Duckworth. (Scholar)
- Floyd, Juliet and Putnam, Hilary, 2000, “A Note on Wittgenstein's ‘Notorious Paragraph’ about the Gödel Theorem”, Journal of Philosophy, 97: 624–632. (Scholar)
- Frege, Gottlob, 1903, Grundgesetze der Arithmetik, Begriffsschriftlich Abgeleitet, vol 2, Jena: Pohle. Reprinted 1962, Hildesheim: George Olms. (Scholar)
- –––, 1903/1980, ‘Frege Against the Formalists: Vol II of Frege 1903, §§86–137) in Black and Geach (1980) pp. 162–213. (Scholar)
- Gabbay, Michael, 2010, ‘A Formalist Philosophy of Mathematics, Part I: Arithmetic’, Studia Logica, 96: 219–238. (Scholar)
- Giaquinto, Marcus, 2002, The Search for Certainty, Oxford: Clarendon. (See especially pp. 210ff). (Scholar)
- Gödel, Kurt, 1953–9/95, ‘Is Mathematics Syntax of Language’, in S. Feferman et al. (eds.), Kurt Gödel Collected Works Vol. III, New York: Oxford University Press, 1995, pp. 334–362, (Scholar)
- Goldfarb, Warren, 1995, “Introduction to Gödel's ‘Is Mathematics Syntax of Language’” in S. Feferman et al. (eds.), Kurt Gödel Collected Works Vol. III, New York: Oxford University Press, 1995, pp. 324–34. (Scholar)
- Goodman, Nelson and Quine, W. V., 1947, ‘Steps towards a Constructive Nominalism’, Journal of Symbolic Logic, 12: 97–122. (Scholar)
- Hintikka, Jaakko, 1956, “Identity, variables, and impredicative definitions,” Journal of Symbolic Logic, 21: 225–45. (Scholar)
- Landini, Gregory, 2007, Wittgenstein's Apprenticeship with Russell, Cambridge: Cambridge University Press. (Scholar)
- Lewy, Casimir, 1967, ‘A note on the text of the Tractatus’ Mind, 76: 416–423. (Scholar)
- Potter, Michael, 2000, Reason's Nearest Kin, Oxford: Oxford University Press. (See eespecially pp.10–17 and Chapter 6.) (Scholar)
- Resnik, Michael, 1980, Frege and the Philosophy of Mathematics, Ithaca: Cornell University Press, 1980. (Scholar)
- Robinson, Abraham, 1965, ‘Formalism’ in Bar-Hillel et al. (eds.) Logic, Methodology and Philosophy of Science, Amsterdam: North Holland, 1965. (Scholar)
- –––, 1969, ‘From a Formalist's point of view’, Dialectica, 23: 45–9. (Scholar)
- Shapiro, Stewart, 2000, Thinking about Mathematics, Oxford: Oxford University Press. (Scholar)
- Simons, Peter, 2009, ‘Formalism’ in Andrew D. Irvine (ed.), Philosophy of Mathematics, Amsterdam: North Holland, 2009, pp. 291–310. (Scholar)
- Tennant, Neil, 1997, The Taming of the True, Oxford: Clarendon Press. (Scholar)
- –––, 2008, ‘Carnap, Gödel, and the Analyticity of Arithmetic’, Philosophia Mathematica, 16: 110–12. (Scholar)
- Wehmeier, Kai, 2004, ‘Wittgensteinian Predicate Logic’, Notre Dame Journal of Formal Logic, 45: 1–11. (Scholar)
- Wittgenstein, Ludwig, 1921/1960, Tractatus Logico-Philosophicus, D. Pears and B. McGuinness (trans.), London: Routledge and Kegan Paul. (Scholar)
- –––, 1956/1978, Remarks on the Foundations of Mathematics, revised edition, G. E. M. Anscombe (trans.), G. E. M. Anscombe, R. Rhees, and G. H. von Wright, (eds.), Oxford: Blackwell. (Scholar)
- –––, 1975, Philosophical Grammar, A. Kenny (trans.), Rush Rees (ed.), Oxford: Blackwell. (Scholar)
- Weir, Alan, 1991, ‘An Instructive Nominalism’: Critical Review of H. Field: Realism, Mathematics and Modality, Philosophical Books, 32: 17–26. (Scholar)
- –––, 1993, ‘Putnam, Gödel and Mathematical Realism’, International Journal of Philosophical Studies, 1: 255–285. (Scholar)
- –––, 2010, Truth through Proof: A Formalist Foundation for Mathematics, Oxford: Oxford University Press. (Scholar)
