Philosophy Lexicon of Arguments

One, number 1: in modern logic it is not possible to introduce the number one directly. It must be introduced indirectly, via existential quantification ("for at least one x ...") and universal quantification ("for all x ..."). In addition, identity is needed. See also definition, identity, logic, elementary logic, number theory, numbers.
Author Item Excerpt Meta data
Prior, Arthur
Books on Amazon
One (Number 1) I 61
Def "exactly one" / logical form / Prior: to say that precisely an individual fs is to say that as for some x, x fs and for every x and y, if x fs and y fs, then x is the same individual as y - only with "f-ing" instead of "F" (predicate) -
Property / predicate / Prior: this uses "f-ing" (digit verbs) instead of "F" (property) - but also
"Property to f- ’- but" the property of the ()-ing forms not a noun of a verb - but is part of the whole functor " The same as .. "or the functor:" whatever () s, () s "- this is not aproperty, otherwise false equivalence: "property that is applied to anything" could then falsely equate mermaids and Pegasi.

Pri I
A. Prior
Objects of thought Oxford 1971

Pri II
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003

> Counter arguments against Prior

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