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/)
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/)
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
Haaparanta, Leila;
(2009)
The Relations between Logic and Philosophy, 1874--1931
(/isis/citation/CBB001210347/)
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/)
Chapter
Weiner, Joan;
(2010)
Understanding Frege's Project
(/isis/citation/CBB001211648/)
Book
Heijenoort, Jean van;
(2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
(/isis/citation/CBB000201415/)
Book
Macbeth, Danielle;
(2005)
Frege's Logic
(/isis/citation/CBB001211035/)
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
Käufer, Stephan;
(2005)
Hegel to Frege: Concepts and Conceptual Content in Nineteenth-Century Logic
(/isis/citation/CBB000670376/)
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/)
Chapter
Sundholm, Göran;
(2009)
A Century of Judgment and Inference, 1837--1936: Some Strands in the Development of Logic
(/isis/citation/CBB001210348/)
Article
Mark Textor;
(2021)
Saying Something about a Concept: Frege on Statements of Number
(/isis/citation/CBB227044624/)
Article
van Heijenoort, Jean;
(2012)
Historical Development of Modern Logic
(/isis/citation/CBB001214117/)
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/)
Be the first to comment!