Submitted by zenno on Fri, 01/04/2013 - 10:25
Submitted by zenno on Fri, 01/04/2013 - 10:22
In logic, a tautology is a formula which is true in every possible interpretation. A formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable. Unsatisfiable statements, both through negation and affirmation, are known formally as contradictions. A formula that is neither a tautology nor a contradiction is said to be logically contingent. Such a formula can be made either true or false based on the values assigned to its propositional variables.
Submitted by zenno on Fri, 01/04/2013 - 10:15
Ontology is the philosophical study of the nature of being, existence, or reality, as well as the basic categories of being and their relations. Traditionally listed as a part of the major branch of philosophy known as metaphysics, ontology deals with questions concerning what entities exist or can be said to exist, and how such entities can be grouped, related within a hierarchy, and subdivided according to similarities and differences.
-- cf Wikipedia: http://en.wikipedia.org/wiki/Ontology