Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Derivation: how to deduce statements from other statements within a calculus._____________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. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
D. Hilbert on Derivation - Dictionary of Arguments
Berka I 113 Derivation/insertion/"evidence threads"/Hilbert: any derivation can be dissolved into evidence threads, that is, we start with the final formula by applying the schemes (α), (β), (...). I 114 N.B.: then by the dissolution of a derivative into evidence threads, one can put back the insertions into the initial formulas. >Proofs, >Provability, >Derivability. Inserting/insertion rules/variables/evidence threads/Hilbert: we can do without rules of insertion by putting back the insertions (by means of evidence threads). From the derivation of formulas which contain no formula variable, we can eliminate the formula variables altogether, so that the formally deductive treatment of axiomatic theories can take place without any formula variables. >Inserting. Hilbert: the rule that identical formulas of the propositional calculus are permitted as initial formulas is modified in such a way that each formula which results from an identical formula of the propositional calculus by insertion is permitted as the initial formula. Evidence(s): the rule of insertion is also superfluous by the fact that one can study the practical application in the course of time. That is, each case is documented, so you do not need a rule for non-current cases. Hilbert: Instead of the basic formula (x)A(x) > A(a) is now: (x)A(x) > A(t) And in place of (Ex) A (x) is now: A(t) > (Ex)A(x) t: term. Formulas are replaced by formula schemes. Axioms are replaced with axiom schemata. In the axiom schemata, the previously free individual variables are replaced by designations of arbitrary terms, and in the formula schemes, the preceding formula variables are replaced by arbitrary formulas(1). >Schemes, >Axioms, >Axiom systems. 1. D. Hilbert & P. Bernays: Grundlagen der Mathematik, I, II, Berlin 1934-1939 (2. Aufl. 1968-1970)._____________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. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
||
> Counter arguments against Hilbert
> Counter arguments in relation to Derivation
Ed. Martin Schulz, access date 2024-04-16