Abstract
Using Carnap’s concept explication, we propose a theory of concept formation in mathematics. This theory is then applied to the problem of how to understand the relation between the concepts formal proof (deduction) and informal, mathematical proof.
Similar content being viewed by others
Notes
See e.g. the example of Lakatos in section three below.
See Tymoczko (1979), reprinted with some comments in Tymoczko (1998), for an argument of the empirical character of the proof of the Four-Color Theorem. In Indispensability, the Testing of Mathematical Theories, and provisional Realism (submitted paper) I argue against Tymoczko on this issue. As examples of ‘experimental’ mathematics one could mention simulations in non-linear dynamics, and numerical support for e.g. Riemann’s hypothesis. See e.g. Horgan (1993) and the introduction of Chaitin (1974). There are also some comments on numerical experiments in mathematics in my paper mentioned above. See also Baker (2008) for an overview and a characterization of experimental mathematics.
Compare with the relation between Turing computable functions and functions, where the set of Turing computable functions is a proper subset of the set of functions, and the Turing machines are syntactical objects.
Carnap (1950), p. 3.
Carnap (1950), p. 3.
Carnap (1950), p. 7.
This process of explicating is, however, not uncontroversial. Giovanni Boniolo compares Kant’s and Carnap’s version of explications and comes out in favor of Kant’s; Carnap refers explicitly to Kant in his discussions (Boniolo 2003).
Quine (1960), §53.
This distinction comes close to what Joseph F. Hanna calls explication 2, and explication 1 in Hanna (1968). Hanna, however, seems to mean that with explications of type 2 one clarifies what an object really is, and we think this is a mistake.
A proof of the thesis appears in Dershowitz and Gurevich (2008). It is necessary for a proof that the explicandum is exact enough, and we regard the paper of Dershowitz and Gurevich as a clarification of the explicandum. The process of explicating a concept consists of two steps, where the first is to clarify the explicandum. This is what Carnap does, separating two concepts of probability, in Carnap (1945); the first paper in which he uses the term ‘explication’. See also Carnap’s reply to Strawson in the Schilpp volume on the philosophy of Rudolf Carnap (1963). The second step is the formulation of the explicatum. With a precise enough explicandum, a proof of the thesis may be possible, and this is what Dershowitz and Gurevich accomplish using some extra postulates on algorithmic computation, following Shoenfield’s idea in Shoenfield (1993).
Euler, Introductio in Analysin Infinitorum, 1748. The quotation is from Kleiner (1989).
See Pedersen (1974).
Euler, like other 18th-century mathematicians, did not distinguish between the concepts function, and continuous function (Kleiner 1989).
See Carnap (1950), pp. 5f., and Hanna (1968), who is not inclined to call this kind of introduction of terms or concepts into a scientific language explication at all. In chapter 1, §4 Carnap (1950), Carnap discusses explications of classificatory, comparative and quantitative concepts, which he all reckons as legitimate.
See Toulmin and Goodfield (1965), especially chapter VIII. Not even Darwin formulated any definition of species in On the Origin of Species (Darwin (1859), especially chapter two). In modern textbooks species is defined as
a group of actively or potentially interbreeding populations that is isolated reproductively from other such groups.(Ricklefs and Miller (2000), p. 384. This definition originates from Ernst W. Mayr in 1942.)
A species, in the modern view, is a genetically distinctive population, a group of natural demes that share a common gene pool and are reproductively isolated from all other such groups. A species is the largest unit of population within which effective gene flow occurs or can occur.(Gould and Keeton (1996), p. 488.)
This issue is further developed in Mathematical Concepts as Unique Explications, a paper jointly written with Christian Bennet (submitted paper).
See Edelstein-Keshet (1988), pp. 218f.
Obviously, explicatum is exact, and it is also simple enough for the intended purpose as is obvious from results in proof theory.
The concepts need not have the same meaning, i.e. coincide intensionally; the only demand is that explicatum is similar enough to replace explicandum in relevant contexts, and this is surely the case.
See e.g. Bridges (2009).
References
Alama, J. (2008). Euler’s polyhedron formula. Formalized Mathematics, 16(1), 9–13.
Avigad, J. (2006). Mathematical method and proof. Synthese, 153, 105–159.
Baker, A. (2008). Experimental mathematics. Erkenntnis, 68, 331–344.
Bassler, O. B. (2006). The surveyability of mathematical proof: A historical perspective. Synthese, 148, 99–133.
Beaney, M. (2004). Carnap’s conception of explication: From Frege to Husserl? In S. Awodey, & C. Klein (Eds.), Carnap brought home, the view from Jena. Chicago and La Salle, Ill: Open Court.
Black, R. (2000). Proving Church’s thesis. Philosophia Mathematica, 8, 244–258.
Boniolo, G. (2003). Kant’s explication and Carnap’s explication: The redde rationem. International Philosophical Quaterly, 43, 289–298.
Boolos, G. (1998). Logic, logic, and logic. Cambridge, Massachusetts, London, England: Harvard University Press.
Bridges, D. (2009). Constructive mathematics. Available at http://plato.stanford.edu/entries/mathematics-constructive/ (14 Oct).
Carnap, R. (1945). The two concepts of probability. Philosophy and Phenomenological Research, 5(4), 513–532.
Carnap, R. (1950). Logical foundations of probability. Chicago, Ill: University of Chicago Press.
Carnap, R. (1963). P. F. Strawson on linguistic naturalism. La Salle, Ill: Open Court. Answer to Strawson in P. A. Schilpp (Ed.), The Philosophy of Rudolf Carnap.
Chaitin, G. J. (1974). Information-theoretic limitations of formal systems. Journal of the ACM, 21, 403–424.
Darwin, C. (1859). On the origin of species. London: John Murray.
Dershowitz, N., & Gurevich, Y. (2008). A natural axiomatization of computability and proof of Church’s thesis. The Bulletin of Symbolic Logic, 14(3), 299–350.
Edelstein-Keshet, L. (1988). Mathematical models in biology. Boston, Mass: McGraw-Hill.
Ernest, P. (1998). Social constructivism as a philosophy of mathematics. Albany: State University of New York Press.
Folina, J. (1998). Church’s thesis: Prelude to a proof. Philosophia Mathematica, 6, 302–323.
Gould, J. L., & Keeton, W. T. (1996). Biological science (6th ed.). New York: W. W. Norton and Company.
Hanna, J. F. (1968). An explication of ‘explication’. Philosophy of Science, 35, 28–44.
Hersh, R. (1997a). What is mathematics, really? Oxford: Oxford University Press.
Hersh, R. (1997b). Prove - once more and again. Philosophia Mathematica, 5, 153–165.
Horgan, J. (1993). The death of proof. Scientific American, 269(10), 74–82.
Kleiner, I. (1989). Evolution of the function concept: A brief survey. College Mathematical Journal, 20, 282–300.
Kreisel, G. (1967a). Informal rigour and completeness proof. In I. Lakatos (Ed.), Problems in the philosophy of mathematics (pp. 138–171). Amsterdam: North Holland.
Kreisel, G. (1967b). Reply to Professor Bar-Hillel. In I. Lakatos (Ed.), Problems in the philosophy of mathematics (pp. 175–178). Amsterdam: North Holland.
Lakatos, I. (1978). Mathematics, science and epistemology, philosophical papers, volume 2. Cambridge: Cambridge University Press.
Maher, P. (2007). Explication defended. Studia Logica, 86, 331–341.
Mendelson, E. (1990). Second thoughts about church’s thesis and mathematical proofs. The Journal of Philosophy, 87, 225–233.
Mendelson, E. (1997). Introduction to mathematical logic (4th ed.). Boca Raton, Florida: Wadsworth, Chapman and Hall/CRC.
Pedersen, O. (1974). Logistics and the theory of functions. Archives Internationales d’histoire des Sciences, 24(94), 29–50.
Prawitz, D. (1965). Natural deduction, a proof-theoretical study. Stockholm: Almqvist & Wiksell.
Quine, W. V. O. (1960). Word and object. Cambridge, Mass: The M.I.T. Press.
Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7, 5–41.
Reck, E. H., & Price, M. P. (2000). Structures and structuralism in contemporary philosophy of mathematics. Synthese, 125, 341–383.
Richman, F. (1990). Intuitionism as generalization. Philosophia Mathematica, 5, 124–128.
Ricklefs, R. E., & Miller, G. L. (2000). Ecology (4th ed.). New York: W. H. Freeman and Company.
Shapiro, S. (1991). Foundations without foundationalism. Oxford: Oxford University Press.
Shapiro, S. (1993). Understanding Church’s thesis, again. Acta Analytica, 11, 59–77.
Shoenfield, J. R. (1993). Recursion theory. Berlin: Springer-Verlag.
Sjögren, J. (2006). Om begreppsbildning i matematik. Filosofisk tidskrift, 27(1), 49–57.
Sjögren, J. (2008). On explicating the concept the power of an arithmetical theory. Journal of Philosophical Logic, 37, 183–202.
Strawson, P. F. (1963). Carnap’s view on constructed systems versus natural languages in analytic philosophy. La Salle, Ill: Open Court. In P. A. Schilpp (Ed.), The philosophy of Rudolf Carnap.
Thurston, W. P. (1994). On proof and progress in mathematics. Bulletin of the American Mathematical Society, 30, 161–177.
Toulmin, S., & Goodfield, J. (1965). The discovery of time. New York: Harper and Row.
Troelstra, A. S., & Schwichtenberg, H. (2000). Basic proof theory (2nd ed.). Cambridge: Cambridge University Press.
Tymoczko, T. (1979). The four-color problem and its philosophical significance. The Journal of Philosophy, 76(2), 57–83.
Tymoczko, T. (Ed.) (1998). New directions in the philosophy of mathematics (revised and expanded edition). Princeton, N. J.: Princeton University Press.
Väänänen, J. (2001). Second-order logic and the foundations of mathematics. The Bulletin of Symbolic Logic, 7(4), 504–520.
Acknowledgements
I want to thank Christian Bennet and Dag Westerståhl for valuable comments on earlier versions of this paper, and Christian Bennet for fruitful discussions of the issues at stake. Finally, I want to thank an anonymous referee for suggestions that have clarified and improved the text.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sjögren, J. A Note on the Relation Between Formal and Informal Proof. Acta Anal 25, 447–458 (2010). https://doi.org/10.1007/s12136-009-0084-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12136-009-0084-y