@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Hilbert,David}, subject = {Number of (Amount)}, note = {Berka I 121 Def Number of/amount/(German: "Anzahl")/extendend function calculus/Hilbert: extendend function calculus: here also formulas are possible, which do not depend on any variables, which represent thus certain statements, for these one has to determine their correctness or falsehood. >Truth values, >Truth. Def number of: a number is not an object, but a property. The individuals to whom a number belongs to as a property cannot be the counted things themselves, since each of the things is only one, so that a number that is different from one could not occur at all. >Properties, >Predicates, >Objects. Correct: for example, it is a property of the predicate "being continent of the earth", which is true for exactly five individuals. Numbers/Hilbert: numbers also appear as qualities of predicates. Definition of a definite number/Hilbert: individual predicate function. In the extendend function calculus: here it will be possible to include the number theory into the logic. The numbers 0, 1, 2 are the functions 0 (F), 1 (F), 2 (F), etc.(1) >Numbers, cf. >"Exactly One". 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=410117} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=410117} }