The Epsilon-Reconstruction of Theories and Scientific Structuralism

Schiemer, Georg und Gratzl, Norbert (2016): The Epsilon-Reconstruction of Theories and Scientific Structuralism. In: Erkenntnis, Bd. 81, Nr. 2: S. 407-432

Abstract

Rudolf Carnap's mature work on the logical reconstruction of scientific theories consists of two components. The first is the elimination of the theoretical vocabulary of a theory in terms of its Ramsification. The second is the reintroduction of the theoretical terms through explicit definitions in a language containing an epsilon operator. This paper investigates Carnap's epsilon-reconstruction of theories in the context of pure mathematics. The main objective here is twofold: first, to specify the epsilon logic underlying his suggested definition of theoretical terms and a suitable choice semantics for it. Second, to analyze whether Carnap's approach is compatible with a structuralist conception of mathematics.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Philosophy of Science
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie ; 100 Philosophie und Psychologie > 160 Logik
• ISSN: 1572-8420
• Sprache: Englisch