## Philosophy Lexicon of Arguments | |||

One, number 1: in modern logic it is not possible to introduce the number one directly. It must be introduced indirectly, via existential quantification ("for at least one x ...") and universal quantification ("for all x ..."). In addition, identity is needed. See also definition, identity, logic, elementary logic, number theory, numbers. | |||

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

Books on Amazon |
Berka I 121 Definition 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) exists 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". |
Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

> Counter arguments against **Hilbert**

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

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