more from this thinker | more from this text
Full Idea
A 'supposition' axiomatic theory is as concerned with truth as a 'realist' one (with undefined terms), but the truths are conditional. Satisfying the axioms is satisfying the theorem. This is if-thenism, or implicationism, or eliminative structuralism.
Gist of Idea
Supposing axioms (rather than accepting them) give truths, but they are conditional
Source
Michael Potter (Set Theory and Its Philosophy [2004], 01.1)
Book Ref
Potter,Michael: 'Set Theory and Its Philosophy' [OUP 2004], p.8
A Reaction
Aha! I had failed to make the connection between if-thenism and eliminative structuralism (of which I am rather fond). I think I am an if-thenist (not about all truth, but about provable truth).
13616 | The Deduction Theorem greatly simplifies the search for proof [Bostock] |
13615 | 'Conditonalised' inferences point to the Deduction Theorem: If Γ,φ|-ψ then Γ|-φ→ψ [Bostock] |
13620 | Proof by Assumptions can always be reduced to Proof by Axioms, using the Deduction Theorem [Bostock] |
13621 | The Deduction Theorem and Reductio can 'discharge' assumptions - they aren't needed for the new truth [Bostock] |
13690 | Proof by induction 'on the length of the formula' deconstructs a formula into its accepted atoms [Sider] |
13691 | Induction has a 'base case', then an 'inductive hypothesis', and then the 'inductive step' [Sider] |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |