Frege's account of indirect proof has been thought to be problematic. This thought seems to rest on the supposition that some notion of logical consequence -- which Frege did not have -- is indispensable for a satisfactory account of indirect proof. It is not so. Frege's account is no less workable than the account predominant today. Indeed, Frege's account may be best understood as a restatement of the latter, although from a higher order point of view. I argue that this ascent is motivated by Frege's conception of logic.
...More
Article
Eder, Günther;
(2013)
Remarks on Independence Proofs and Indirect Reference
(/isis/citation/CBB001212142/)
Article
Centrone, Stefania;
(2012)
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre
(/isis/citation/CBB001210996/)
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/)
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
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/)
Article
Käufer, Stephan;
(2005)
Hegel to Frege: Concepts and Conceptual Content in Nineteenth-Century Logic
(/isis/citation/CBB000670376/)
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
Rachel Boddy;
(2019)
Frege’s Unification
(/isis/citation/CBB550734458/)
Book
Yrjönsuuri, Mikko;
(2001)
Medieval Formal Logic: Obligations, Insolubles and Consequences
(/isis/citation/CBB000102010/)
Chapter
Aberdein, Andrew;
Read, Stephen;
(2009)
The Philosophy of Alternative Logics
(/isis/citation/CBB001210355/)
Chapter
Korte, Tapio;
Maunu, Ari;
Aho, Tuomo;
(2009)
Modal Logic from Kant to Possible World Semantics
(/isis/citation/CBB001210352/)
Article
Textora, Mark;
(2013)
“Thereby We Have Broken with the Old Logical Dualism”---Reinach on Negative Judgement and Negation
(/isis/citation/CBB001211948/)
Article
Centrone, Stefania;
(2012)
Strenge Beweise und das Verbot der metábasis eis állo génos
(/isis/citation/CBB001210991/)
Article
Abeles, Francine F.;
(2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees
(/isis/citation/CBB001214122/)
Article
Reck, Erich H.;
(2013)
Frege, Dedekind, and the Origins of Logicism
(/isis/citation/CBB001212886/)
Be the first to comment!