BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS
| Autor: | Antje Rumberg |
|---|---|
| Rok vydání: | 2013 |
| Předmět: |
Natural deduction
Logic Semantics (computer science) 010102 general mathematics Sequent calculus 06 humanities and the arts 16. Peace & justice 0603 philosophy ethics and religion Mathematical proof Scientific theory 01 natural sciences Epistemology Philosophy Mathematics (miscellaneous) Wijsbegeerte 060302 philosophy Ideal (order theory) 0101 mathematics Relation (history of concept) Parallels Mathematics |
| Zdroj: | Logic Group Preprint Series, 311, 1 |
| ISSN: | 1755-0211 1755-0203 0929-0710 |
| DOI: | 10.1017/s1755020313000154 |
| Popis: | In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|