Abstract
The paper presents an argument against a “metaphysical” conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. (More generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its a priori analyzable structure without paying due attention to the question of whether it really is the structure of the thing in question.) It is proposed to elucidate the situation by distinguishing two essentially different realms with which our reason must deal: “the realm of the natural”, constituted by the things of our empirical world, and “the realm of the formal”, constituted by the structures that we use as “prisms” to view, to make sense of, and to reconstruct the world. It is suggested that this vantage point may throw light on many foundational problems of logic.
Similar content being viewed by others
REFERENCES
Boolos, G. S. and Jeffrey, R. C. (1974): Computability and Logic, Cambridge University Press, Cambridge.
Brandom, R. (1994): Making it Explicit, Harvard University Press, Cambridge, MA.
Brouwer, L. E. J. (1907): Over de grondslagen der wiskunde, Thesis, Amsterdam; reprinted in A. Heyting (ed.), Brouwer: Collected Works I: Philosophy and Foundations of Mathematics, North-Holland, Amsterdam, 1975.
Davidson, D. (1989): What is present to the mind?, in J. Brandl and W. L. Gombocz (eds), The Mind of Donald Davidson, Rodopi, Amsterdam, pp. 3–18.
Davidson, D. (1990): The structure and contents of truth, J. Philos. 87: 279–328.
Einstein, A. (1983): Geometry and Experience, Sidelights on Relativity, Dover, New York (translation of the German original ‘Geometrie und Erfahrung’ from 1921).
Etchemendy, J. (1988): Tarski on truth and logical consequence, J. Symbolic Logic 53: 51–79.
Frege, G. (1879): Begriffsschrift, Nebert, Halle; English translation in van Heijenoort (1971), pp. 1–82.
Frege, G. (1976): Wissenschaftlicher Briefwechsel (ed. by G. Gabriel et al.), Meiner, Hamburg; English translations in Frege: Philosophical and Mathematical Correspondence, Blackwell, Oxford, 1980.
García-Carpintero, M. (1999): The explanatory value of truth theories embodying the semantic conception, in Peregrin (1999b), pp. 185–212.
Gödel, K. (1931): Ñber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsh. Math. Phys. 38: 173–198.
van Heijenoort, J. (ed.) (1971): From Frege to Gödel: A Source Book in Mathematical Logic, Harvard University Press, Cambridge, MA.
Hilbert, D. (1899): Grundlagen der Geometrie, Teubner, Leipzig.
Hintikka, J. and Mutanen, A. (1998): An alternative concept of computability, in J. Hintikka (ed.), Language, Truth and Logic in Mathematics (Selected Papers 3), Kluwer Acad. Publ., Dordrecht.
Hofman, A. (1995): On the nature of meaning and its indeterminacy: Davidson's view in perspective, Erkenntnis 42: 15–40.
Katz, J. J. and Postal, P. M. (1991): Realism vs. conceptualism in linguistics', Linguistics and Philosophy 14: 515–554.
Kreisel, G. (1967): Informal rigour and completeness proofs, in I. Lakatos (ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam; reprinted in J. Hintikka (ed.), The Philosophy of Mathematics, Oxford University Press, Oxford, 1969, pp. 78–94.
Malcolm, N. (1940): Are necessary propositions really verbal?, Mind 49: 189–203.
Montague, R. (1974): Formal Philosophy: Selected Papers of R. Montague (ed. R. Thomason), Yale University Press, New Haven.
Penrose, R. (1990): The Emperor's New Mind, Vintage, London.
Peregrin, J. (1995): Doing Worlds with Words, Kluwer Acad. Publ., Dordrecht.
Peregrin, J. (1997): Language and its models, Nordic J. Philos. Logic 2: 1–23.
Peregrin, J. (1998): Linguistics and philosophy, Theoretical Linguistics 24: 245–264.
Peregrin, J. (1999a): The pragmatization of semantics, in K. Turner (ed.), The Semantics/ Pragmatics Interface from Different Points of View, Elsevier, Amsterdam, pp. 419–442.
Peregrin, J. (ed.) (1999b): Truth and its Nature (if Any), Kluwer Acad. Publ., Dordrecht.
Poincaré, H. (1908): Science and method (English translation), in Foundations of Science, Science Press, New York, 1921, pp. 359–546.
Putnam, H. (1985): A comparison of something with something else, New Literary History 17: 61–79.
Putnam, H. (1994): Rethinking mathematical necessity, in J. Conant (ed.), Words and Life, Harvard University Press, Cambridge, MA.
Quine, W. V. O. (1960): Word and Object, MIT Press, Cambridge, MA.
Reichenbach, H. (1920): Relativitätstheorie und Erkenntnis Apriori, Springer, Berlin.
Russell, B. (1905): On denoting, Mind 14: 479–493.
Sellars, W. (1963): Science, Perception and Reality, Routledge, New York.
Shapiro, S. (1996): Space, number and structure: A tale of two debates, Philos. Math. 4: 148–173.
Stekeler-Weithofer, P. (1986): Grundprobleme der Logik, de Gruyter, Berlin.
Stekeler-Weithofer, P. (1992): Hegels Analytische Philosophie, Schöningh, Paderborn.
Stekeler-Weithofer, P. (1994): Ideation und Projektion, Deutsche Zeitschrift für Philosophie 42: 783–798.
Tarski, A. (1932): Der Wahrheitsbegriff in den Sprachen der deduktiven Disziplinen, in Akademischer Anzeiger der Akademie der Wissenschaften in Wien 69; English translation ‘The Concept of Truth in Formalized Languages’ in Tarski (1956), pp. 152–278.
Tarski, A. (1944): The semantic conception of truth, Philosophy and Phenomenological Research 4: 341–375.
Tarski, A. (1956): Logic, Semantics, Metamathematics, Clarendon Press, Oxford.
Wittgenstein, L. (1953): Philosophische Untersuchungen, Blackwell, Oxford; English translation Philosophical Investigations, Blackwell, Oxford, 1953.
Wittgenstein, L. (1956): Bemerkungen über die Grundlagen der Mathematik, Blackwell, Oxford; English translation Remarks on the Foundations of Mathematics, Blackwell, Oxford, 1956.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Peregrin, J. The "Natural" and the "Formal". Journal of Philosophical Logic 29, 75–101 (2000). https://doi.org/10.1023/A:1004781713292
Issue Date:
DOI: https://doi.org/10.1023/A:1004781713292