## Philosophy Lexicon of Arguments | |||

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

Hilbert, D. Books on Amazon |
Numbers | Berka I 121 Definition Zero/O/Number/Logical Form/Hilbert: 0(F) : ~(Ex)F(x) "There is no x for which F applies." Defintion 1/One/Number/Logical form/Hilbert: 1(F) : (Ex)[F(x) & (y)(F(y) > ≡ (x,y)]. Hilbert: "There is an x for which F(x) exists, and every y for which F(y) consists is identical with this x" Definition 2/Two/number/logical form/Hilbert: 2(F) :(Ex)(Ey) {~≡(x,y) & F(x) & F(y) & (z)[F(z) > ≡ (x,z) v ≡ (y,z)]}. --- I 122 "There are two different x and y to which F applies, and every z for which F(z) exists is identical with x or y". Definition number equality/logical form/Hilbert: equal numbers of two predicates F and G can be regarded as an individual predicate-predicates Glz (F, G). It means nothing else than that the objects to which F and the objects to which G apply are reversibly relatable to each other. Therefore the logical form can be represented as follows: (ER){(x)[F(x) > (Ey) (R(x,y) & G(y))] & (y)[G(y) > > (Ex) (R(x,y) & F(x)] & (x)(y)(z) [(Rx,y) & R(x,z) > > = (y,z) & (R(x,z) & R(y,z) > = (x,y)]}. Definiton number/logical form/extendend function calculus/Hilbert: also the general number term can be formulated logically: If a predicate-predicate φ (F) should represent a number, then φ must satisfy the following conditions: 1. For two equal predicates F and G, φ must be true for both or neither. 2. If two predicates F and G are not equal in numbers, φ can only be true for one of the two predicates F and G. Logical form: (F)(G){(φ(F) & φ(G) > Glz (F,G) & [φ(F) & Glz (F,G) > φ(G)]}. The entire expression represents a property of φ. If we denote this number with Z (φ), then we can say: A number is a predicate-predicate φ that has the property Z (φ). Problem/> Infinity axiom/Hilbert: a problem occurs when we ask for the conditions under which two predicate-predicates φ and ψ define the same number with the properties Z (φ) and Z (ψ). --- Berka I 295 Real numbers/Hilbert: the epitome of real numbers is not the totality of all possible decimal-fraction developments, nor is it the totality of all possible laws according to which the elements of a fundamental series can proceed, but a system of things whose mutually interrelated relations are defined by the Axioms, and for which all and only the facts are true, which can be inferred from the axioms by a finite number of logical inferences. Existence/real numbers/Hilbert: the concept of the continuum, or the concept of the system of all functions, exists in the same sense as the system of the whole rational numbers, or even the higher Cantor numerical classes and magnitudes. |
Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

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

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