Das Problem der apagogischen Beweise in BolzanosBeyträgenund seinerWissenschaftslehre
From MaRDI portal
Publication:4983314
DOI10.1080/01445340.2011.607490zbMath1312.01008WikidataQ58351464 ScholiaQ58351464MaRDI QIDQ4983314
Publication date: 25 March 2015
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445340.2011.607490
03B05: Classical propositional logic
03-03: History of mathematical logic and foundations
01A55: History of mathematics in the 19th century
Related Items
Hegel and the Consequentia Mirabilis, EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS, BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS
Cites Work
- On the status of proofs by contradiction in the seventeenth century
- Bolzano's criticism of indirect proofs /La critique de Bolzano des preuves indirectes
- Bolzano and Cournot on mathematical explanation / Bolzano et Cournot à propos de l'explication mathématique
- Gentzen's Proof of Normalization for Natural Deduction
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item