Encyclopedia > Foundation ontology

  Article Content

Foundation ontology

In computer science jargon, a foundation ontology or upper ontology is a hierarchy of entities and associated rules that attempts to describe those general entities that do not belong to a specific problem domain. See ontology (computer science) for a more detailed description and examples.


In philosophy of mathematics, a foundation ontology is an ontology in the formal philosophical sense that is deemed to play a role in the foundations of mathematics. Most notably, the role played by Plato's ontology in some theories of realism in mathematics. Hilary Putnam made the distinction in 1975, arguing that one could believe in a realist philosophy of mathematical foundations without also accepting Plato's ontology or his sacred geometry, thus the labels "Platonist" and "realist" were not to be held equivalent.

This is discussed further in the article on foundations of mathematics.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Reformed churches

... - (Dutch Reformed) Evangelical Reformed Church of Christ[?] - (Dutch Reformed) Nigeria Reformed Church[?] - (Dutch Reformed) The various Reformed churches of ...

 
 
 
This page was created in 41.3 ms