## Philosophy Lexicon of Arguments | |||

Proof Theory: mathematics, logic is about the existence or nonexistence of finite strings of symbols allowing to derive a statement. Therefore, proof theory is a part of the syntax, as opposed to the model theory, which belongs to the semantics. See also model theory, syntax, semantics. | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Hilbert, D. Books on Amazon |
Proof Theory | Berka I 384 Proof Theory/Hilbert: First, the concepts and propositions of the theory to be examined are represented by a formal system, and treated without reference to their meaning only formally. --- I 385 Proof Theory: this (subsequent) investigation is dependent on the logical meaning of its concepts and conclusions. Thus formal theory is compared with a meaningful meta theory (proof theory). (Schütte, 1960, p. 2f). --- Berka I 395 Proof Theory/Hilbert: Basic thought, Thesis: Everything that makes up existing mathematics is strictly formalized, so the actual mathematics becomes a set of formulas. New: the logical signs "follow" (>) and "not". Final scheme: S S › T T Where each time the premises, i.e. (S and S > T) are either each an axiom, or are created by inserting an axiom or coincide with the final formula. Definition provable/Hilbert: is a formula if it is either axiom or axiom by insertion from it, or is the final formula of a proof. Meta mathematics/proof theory/Hilbert: meta mathematics is now added to the actual mathematics: in contrast to the purely formal conclusions of the actual mathematics, the substantive conclusion is applied here. However, only to prove the consistency of axioms. In this meta mathematics, the proofs of the actual mathematics are operated upon, and these themselves form the subject of the substantive investigation. Thus the development of the mathematical totality of knowledge takes place in two ways: A) by obtaining new provable formulas from the axioms by formal concluding and B) by adding new axioms together with proof of the consistency by substantive concluding. --- Berka I 395 Truth/Absolute Truth/Hilbert: Axioms and provable propositions are images of the thoughts which make up the method of the previous mathematics, but they are not themselves the absolute truths. Definition absolute truth/Hilbert: absolute truths are the insights provided by my > proof theory with regard to the provability and consistency of the formula systems. Through this program, the truth of the axioms is already shown for our theory of proof. |
Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

> Counter arguments against **Hilbert**

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file

Ed. Martin Schulz, access date 2017-04-27