## Philosophy Lexicon of Arguments | |||

Addition: elementary arithmetic, which is usually characterized by associativity and commutativity and a neutral zero element. | |||

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

Hilbert, D. Books on Amazon |
Addition | Berka I 122 Addition/disjunction/union/Hilbert: the addition of the numbers can be traced back to the disjunction of predicates. - Are F and G incompatible predicates, and is the the number m assigned to the predicate F, and number n to the G, so the predicate F v G corresponds to the number m + n ((s)> Association). I 122 Extended function calculus: with these, numerical equations such as 1 + 1 = 2 become purely logical, provable sentences. E.g. 1 + 1 = 2, logical form: (F)(G)([Unv (F,G) & 1(F) & 1(G)] > 2(F v G)) |
Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

> Counter arguments against **Hilbert**

back to list view | > Suggest your own contribution | > Suggest a correction

Ed. Martin Schulz, access date 2017-03-28