Frege on Indirect Proof

DOI10.1080/01445340.2011.558178zbMath1270.03017OpenAlexW2062617499WikidataQ58528863 ScholiaQ58528863MaRDI QIDQ4914183

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

indirect proofFrege's conception of logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Grundgesetze der Arithmetik I \S\S 29-32
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Logic in the twenties: the nature of the quantifier

This page was built for publication: Frege on Indirect Proof