Weyl on Fregean Implicit Definitions: Between Phenomenology and Symbolic Construction
- 175 Downloads
Abstract
This paper aims to investigate certain aspects of Weyl’s account of implicit definitions. The paper takes under consideration Weyl’s approach to a certain kind of implicit definitions i.e. abstraction principles introduced by Frege. Abstraction principles are bi-conditionals that transform certain equivalence relations into identity statements, defining thereby mathematical terms in an implicit way. The paper compares the analytic reading of implicit definitions offered by the Neo-Fregean program with Weyl’s account which has phenomenological leanings. The paper suggests that Weyl’s account should be construed as putting emphasis on intentionality of human mind towards certain invariant features of the elements of initial domains of discourse that are involved in equivalence relations. Definition of terms like direction, shape, number etc. is achieved by a kind of transformation of those invariants into ideal objects that is involved in intuition. Then the paper argues that at the period of 1926 Weyl’s writings on implicit definitions, he is inclined to endorse symbolic construction as a way to explicate the objectivity of certain processes as those that are carried out in case of implicit definitions.
Keywords
Definition Equivalence relation Intentionality Invariant Intuition Ideal objectNotes
Acknowledgments
This research has been co-financed by the European Union (European Social Fund – ESF) and Greek national funds through the Operational Program “Education and Lifelong Learning” of the National Strategic Reference Framework (NSRF) – Research Funding Program: THALIS-UOA-Aspects and Prospects of Realism in the Philosophy of Science and Mathematics (APRePoSMa). I thank three anonymous reviewers too for their comments that were very helpful for improvement of this paper.
References
- Eklund, M. (2009). Bad company and the Neo-Fregean philosophy. Synthese, 170(3), 393–414.CrossRefGoogle Scholar
- Frege, G. (1884). Die Grundlagen der Arithmetik. Breslau: W. Koebner. The foundations of arithmetic (trans: Austin, J. L.). Oxford: Blackwell, 1953.Google Scholar
- Hale, B. (1987). Abstract objects. Oxford: Blackwell.Google Scholar
- Hale, B. (2001). A response to Potter and Smiley: Abstraction by recarving. Proceedings of the Aristotelian Society, 101(3), 339–358.CrossRefGoogle Scholar
- Hale, B., & Wright, C. (2001a). The reason’s proper study. Oxford: Clarendon Press.CrossRefGoogle Scholar
- Hale, B., & Wright, C. (2001b). Implicit definition and the a priori. In Bob Hale & Crispin Wright (Eds.), The reason’s proper study (pp. 117–153). Oxford: Clarendon Press.CrossRefGoogle Scholar
- Husserl, E. (1900/1) [2nd, Revised Edition 1913]. Logical Investigations. (trans: Findlay J. N.). London: Routledge, 1973.Google Scholar
- Linnebo, Ø. (2009). Bad company tamed. Synthese, 170(3), 371–391.CrossRefGoogle Scholar
- MacΒride, F. (2003). Speaking with shadows: A study of neo-logicism. British Journal of Philosophy of Science, 54, 103–163.CrossRefGoogle Scholar
- Mancosu, P., & Ryckman, T. (2002). Mathematics and phenomenology: The correspondence between O Becker and H. Weyl. Philosophia Mathematica, 10, 130–202.CrossRefGoogle Scholar
- Psillos, S., & Christopoulou, D. (2009). The a priori: Between conventions and implicit definitions. In Nikola Kompa, Christian Nimtz, & Christian Suhm (Eds.), The a priori and its role in philosophy (pp. 205–220). Paderborn: Mentis.Google Scholar
- Resnik, M. D. (1974). The Frege–Hilbert controversy. Philosophy and Phenomenological Research, 34(3), 386–403.CrossRefGoogle Scholar
- Sokolowski, R. (2000). Introduction to phenomenology. Cambridge: Cambridge University Press.Google Scholar
- Tieszen, R. (2005). Phenomenology, logic, and the philosophy of mathematics. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
- Weyl, H. (1926). [Revised Edition 2009]. Philosophie der Mathematik und Naturwissenschaft, transl. as Philosophy of Mathematics and Natural Science, Princeton University Press, 1949.Google Scholar
- Wright, C. (1983). Frege’s conception of numbers as objects. Aberdeen: Aberdeen University Press.Google Scholar