Definition:Object

From ProofWiki
Jump to: navigation, search

An object is a thing. Everything that can be talked about in mathematics and logic can be referred to as an object.


‎Lewis Carroll[1] was one of the first to consider such a basic abstraction, although he actually used the very word thing.


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

  1. Lewis Carroll (Charles Lutwidge Dodgson): see William Warren Bartley, III (ed.): Lewis Carroll's Symbolic Logic (1977)


Sources

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense