@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}
}