Definition:Object
From ProofWiki
An object is a thing. Everything that can be talked about in mathematics and logic can be referred to as an object.
Lewis Carroll
Another word used in this context is entity.
A general object may be referred to by an object variable which is a symbol used as a variable.
Particular objects can be identified either by means of their proper names or by means of a property.
As an example, $3$ is the proper name for a particular number, while this particular number can also be identified by using, for example, the property: having the state of being the smallest positive odd prime number.
References
- ↑ Lewis Carroll (Charles Lutwidge Dodgson): see William Warren Bartley, III (ed.): Lewis Carroll's Symbolic Logic (1977)