From IAOA Wiki
- 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)
- Depending on assumptions, 'Instance' may not be synonymous with 'Individual' or 'Particular'. As example, categories may be instances of other categories.