Term Logic
From AGIRI.org
Term logic is a very old form of logic, going back to Aristotle at least. The basic idea is that statements have two terms. So the basic statement in term logic looks like
A implies B
A modern treatment of term logic is given in Sommers and Engelbretsen's book An Invitation to Formal Reasoning:
http://www.amazon.com/Invitation-Formal-Reasoning-Frederic-Sommers/dp/0754613666
Pei Wang's NARS AGI System and the Probabilistic Logic Networks logic utilized in the Novamente Cognition Engine are based on different variants of term logic, which incorporate Uncertain Logic truth values.
[edit]
Mind Ontology Links
Mind Ontology
Supercategory: Logic
[edit]
Links
- Wikipedia on term logic: http://en.wikipedia.org/wiki/Term_logic
