From IAOA Wiki
Revision as of 19:23, 8 January 2020 by Tsch (talk | contribs) (Added commentary based on proposals.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


1. In a standard sense, an individual is something that can be individuated, that is, counted or picked out in language and thus be distinguished from other things. In logic, individuals are things that can be subjects of sentences in the first-order predicate calculus, in contrast with predicates or functions. (p.339, 'individual' in The Blackwell Dictionary of Western Philosophy 2004)

Synonymous with Particular and Instance


  • Depending on assumptions, 'Instance' may not be synonymous with 'Individual' or 'Particular'. As example, categories may be instances of other categories.