Frege on indirect proof

DOI10.1080/01445340.2011.558178MaRDI QIDQ4914183zbMATH OpenOpenAlexWikidataFDO

Authors Ivan Welty

Publication date 18 April 2013

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445340.2011.558178

zbMATH Keywords

Frege's conception of logicindirect proof

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Remarks on independence proofs and indirect reference
• Frege on Consistency and Conceptual Analysis
• scientific article; zbMATH DE number 1324396
• Frege on formality and the 1906 independence-test
• Frege's conception of logic

Cites work

• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Grundgesetze der Arithmetik I \S\S 29-32
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3790395 (Why is no real title available?)
• scientific article; zbMATH DE number 107483 (Why is no real title available?)
• scientific article; zbMATH DE number 3249761 (Why is no real title available?)
• scientific article; zbMATH DE number 3362561 (Why is no real title available?)
• Logic in the twenties: the nature of the quantifier

Cited in

(2)

• Plato: Parmenides 149a7-c3. A proof by complete induction?
• Remarks on independence proofs and indirect reference

This page was built for publication: Frege on indirect proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4914183)