Studies on Bolzano
From MaRDI portal
Publication:2965531
groundingdeducibilityconsequentia mirabilisindirect proofsclear and distinctextension of conceptsintension of conceptsnotion of proof
Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) Biographies, obituaries, personalia, bibliographies (01A70) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Logic in the philosophy of science (03A10)
Recommendations
- EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS
- Strong proofs and the prohibition of \textit{metábasis eis állo génos}. An investigation into Bernard Bolzano's \textit{Beyträge zu einer begründeten Darstellung der Mathematik}
- Bolzano's philosophy and the emergence of modern mathematics
- The problem of apagogic proof in Bolzano's \textit{Contributions} and his \textit{Theory of science}
- Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs
Cited in
(22)- Bolzano's criticism of indirect proofs
- Bolzano and Cournot on mathematical explanation
- Form, variation and deducibility in the logic of Bolzano
- An argument for the existence of god by Bolzano. A formalization with a distinction between \textit{Menge} and \textit{Inbegriff}
- Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg ``Proof theory as mathesis universalis, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24--28, 2017
- scientific article; zbMATH DE number 4031607 (Why is no real title available?)
- Logic and ontology in the thought of Bolzano
- scientific article; zbMATH DE number 6843343 (Why is no real title available?)
- scientific article; zbMATH DE number 6791647 (Why is no real title available?)
- The concepts of proof and ground
- B. Bolzano as a forerunner of constructivism. I
- Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs
- Hegel and the consequentia mirabilis
- Frege’s Silence About Bolzano
- scientific article; zbMATH DE number 2221580 (Why is no real title available?)
- The problem of apagogic proof in Bolzano's \textit{Contributions} and his \textit{Theory of science}
- Philosophical diaries 1803--1810. First part. Edited by Jan Berg
- Rigor, re-proof and Bolzano's critical program
- On Bolzano's alleged explicativism
- scientific article; zbMATH DE number 1870426 (Why is no real title available?)
- Strong proofs and the prohibition of \textit{metábasis eis állo génos}. An investigation into Bernard Bolzano's \textit{Beyträge zu einer begründeten Darstellung der Mathematik}
- Bernard Bolzano's theory of ground and consequence. An axiomatic reconstruction
This page was built for publication: Studies on Bolzano
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2965531)