@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024},
author = {Hilbert,David},
subject = {One (Number 1)},
note = {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"(1).
>Numbers, >Equality, >Identity, >Equations.
1. D. Hilbert & W. Ackermann: Grundzüge der Theoretischen Logik, Berlin, 6. Aufl. Berlin/Göttingen/Heidelberg 1972, §§ 1, 2.},
note = {
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 },
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=410239}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=410239}
}