The epsilon-reconstruction of theories and scientific structuralism
From MaRDI portal
Publication:334861
DOI10.1007/s10670-015-9747-9zbMath1348.03011OpenAlexW1186828216MaRDI QIDQ334861
Norbert Gratzl, Georg Schiemer
Publication date: 1 November 2016
Published in: Erkenntnis (Search for Journal in Brave)
Full work available at URL: https://epub.ub.uni-muenchen.de/29336/
Foundations of classical theories (including reverse mathematics) (03B30) Logic in the philosophy of science (03A10)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Incomplete symbols -- definite descriptions revisited
- The epsilon calculus and Herbrand complexity
- A modal view of the semantics of theoretical sentences
- Wissenschaftslogik: the role of logic in the philosophy of science
- Natural deduction and arbitrary objects
- The structuralist view of mathematical objects
- Completeness of indexed \(\varepsilon\)-calculus
- Carnap, the Ramsey-sentence and realistic empiricism
- Structures and structuralism in contemporary philosophy of mathematics
- BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE
- Theorie der Logischen Auswahlfunktionen
- Identity, Indiscernibility, and ante rem Structuralism: The Tale of i and -i
- Platonism and Aristotelianism in Mathematics
- Hilbert's ϵ‐operator in intuitionistic type theories
- On the Rational Reconstruction of our Theoretical Knowledge
- Logicism and its Philosophical Legacy
- Interactions and the Consistency of Black Hole Complementarity
- Arbitrary reference in mathematical reasoning