Article ID: CBB001210988

Frege on Indirect Proof (2011)

unapi

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
Citation URI
https://data.isiscb.org/isis/citation/CBB001210988/

Similar Citations

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/)

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 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/)

Authors & Contributors
Macbeth, Danielle
Centrone, Stefania
Boddy, Rachel
Yrjönsuuri, Mikko
Weiner, Joan
Thiel, Christian
Concepts
Logic
Philosophy
Proof
Philosophy of mathematics
Mathematics
Psychology
Time Periods
19th century
20th century, early
20th century
Medieval
Comments

Be the first to comment!

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

Log in or register to comment