Philosophy Lexicon of Arguments

Search  
 
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



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
 
Ed. Martin Schulz, access date 2017-04-27