## 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 " ..is 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