Weyl on Fregean Implicit Definitions: Between Phenomenology and Symbolic Construction

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.ion 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 object
Categories (categorize this paper)
DOI 10.1007/s10838-014-9239-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,938
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Abstract Objects.Bob Hale - 1988 - Blackwell.
Introduction to Phenomenology.Robert Sokolowski - 1999 - Cambridge University Press.
Grundlagen der Arithmetik.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Synthetic Content of Implicit Definitions.Demetra Christopoulou - 2013 - Logic and Logical Philosophy 22 (1):75-88.
A Strengthening of the Caesar Problem.Joongol Kim - 2011 - Erkenntnis 75 (1):123-136.
Hermann Weyl on Intuition and the Continuum.John L. Bell - 2000 - Philosophia Mathematica 8 (3):259-273.
Implicit Definition and the Application of Logic.Thomas Kroedel - 2012 - Philosophical Studies 158 (1):131-148.
Simultaneity as an Invariant Equivalence Relation.Marco Mamone-Capria - 2012 - Foundations of Physics 42 (11):1365-1383.
Realist Foundations of Measurement.Henry C. Byerly & Vincent A. Lazara - 1973 - Philosophy of Science 40 (1):10-28.
On Two Mathematical Definitions of Observational Equivalence: Manifest Isomorphism and Epsilon-Congruence Reconsidered.Christopher Belanger - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (2):69-76.


Added to PP index

Total views
17 ( #418,139 of 2,319,364 )

Recent downloads (6 months)
4 ( #335,223 of 2,319,364 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature