|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._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
|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.
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".
S › 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._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
K. Berka/L. Kreiser
Logik Texte Berlin 1983