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
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/)
Book
Künne, Wolfgang;
(2010)
Die Philosophische Logik Gottlob Freges: ein Kommentar; mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I--IV
(/isis/citation/CBB001210615/)
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/)
Article
Textora, Mark;
(2013)
“Thereby We Have Broken with the Old Logical Dualism”---Reinach on Negative Judgement and Negation
(/isis/citation/CBB001211948/)
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
Roy, Jean-Michel;
(2014)
“ There is no such thing as philosophic logic ”: Le problème de l'exception wittgensteinienne
(/isis/citation/CBB001551990/)
Article
Korhonen, Anssi;
(2012)
Logic as a Science and Logic as a Theory: Remarks on Frege, Russell and the Logocentric Predicament
(/isis/citation/CBB001214125/)
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/)
Be the first to comment!