Article ID: CBB001212142

Remarks on Independence Proofs and Indirect Reference (2013)

unapi

In the last two decades, there has been increasing interest in a re-evaluation of Frege's stance towards consistency- and independence proofs. Papers by several authors deal with Frege's views on these topics. In this note, I want to discuss one particular problem, which seems to be a main reason for Frege's reluctant attitude towards his own proposed method of proving the independence of axioms, namely his view that thoughts, that is, intensional entities are the objects of metatheoretical investigations. This stands in contrast to more straightforward interpretations, which claim that Frege's hesitancy is mainly due to worries concerning the logical constants or what counts as a logical inference.[ABSTRACT FROM PUBLISHER]

...More
Citation URI
https://data.isiscb.org/isis/citation/CBB001212142/

Similar Citations

Article Weltya, Ivan; (2011)
Frege on Indirect Proof (/isis/citation/CBB001210988/)

Chapter Haaparanta, Leila; (2009)
The Relations between Logic and Philosophy, 1874--1931 (/isis/citation/CBB001210347/)

Book Ricketts, Tom; Potter, Michael D.; (2010)
The Cambridge Companion to Frege (/isis/citation/CBB001211647/)

Chapter Goldfarb, Warren; (2010)
Frege's Conception of Logic (/isis/citation/CBB001211649/)

Article Centrone, Stefania; (2012)
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre (/isis/citation/CBB001210996/)

Book Macbeth, Danielle; (2005)
Frege's Logic (/isis/citation/CBB001211035/)

Book Heijenoort, Jean van; (2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (/isis/citation/CBB000201415/)

Chapter Weiner, Joan; (2010)
Understanding Frege's Project (/isis/citation/CBB001211648/)

Chapter Thiel, Christian; (2009)
Gottlob Frege and the Interplay between Logic and Mathematics (/isis/citation/CBB001210345/)

Article Macbeth, Danielle; (2012)
Diagrammatic Reasoning in Frege's Begriffsschrift (/isis/citation/CBB001211482/)

Article Käufer, Stephan; (2005)
Hegel to Frege: Concepts and Conceptual Content in Nineteenth-Century Logic (/isis/citation/CBB000670376/)

Thesis David E. Dunning; (2020)
Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937 (/isis/citation/CBB517005733/)

Article Centrone, Stefania; (2010)
Functions in Frege, Bolzano and Husserl (/isis/citation/CBB001210980/)

Article van Heijenoort, Jean; (2012)
Historical Development of Modern Logic (/isis/citation/CBB001214117/)

Article Mark Textor; (2021)
Saying Something about a Concept: Frege on Statements of Number (/isis/citation/CBB227044624/)

Chapter Sundholm, Göran; (2009)
A Century of Judgment and Inference, 1837--1936: Some Strands in the Development of Logic (/isis/citation/CBB001210348/)

Authors & Contributors
Textor, Mark
Macbeth, Danielle
Centrone, Stefania
Dunning, David E.
Roy, Jean-Michel
Van Heijenoort, Jean
Concepts
Logic
Philosophy
Philosophy of mathematics
Mathematics
Proof
Linguistics; philology
Time Periods
19th century
20th century, early
20th century
Places
North America
Europe
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment