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

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

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

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

Article Rachel Boddy; (2019)
Frege’s Unification (/isis/citation/CBB550734458/)

Chapter Aberdein, Andrew; Read, Stephen; (2009)
The Philosophy of Alternative Logics (/isis/citation/CBB001210355/)

Book Yrjönsuuri, Mikko; (2001)
Medieval Formal Logic: Obligations, Insolubles and Consequences (/isis/citation/CBB000102010/)

Article Abeles, Francine F.; (2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees (/isis/citation/CBB001214122/)

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

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

Authors & Contributors
Macbeth, Danielle
Centrone, Stefania
Boddy, Rachel
Dunning, David E.
Yrjönsuuri, Mikko
Weiner, Joan
Journals
History and Philosophy of Logic
Synthese
Logica Universalis
History of Philosophy Quarterly
British Journal for the History of Philosophy
Publishers
Harvard University Press
Vittorio Klostermann
Kluwer Academic
Cambridge University Press
Princeton University
Concepts
Logic
Philosophy
Proof
Philosophy of mathematics
Mathematics
Psychology
People
Frege, Gottlob
Peirce, Charles Sanders
Bolzano, Bernard
Wolff, Christian von
Reinach, Adolf
Peano, Giuseppe
Time Periods
19th century
20th century, early
20th century
Medieval
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