Philosophy of science
Semantics
Artificial intelligence
Decision theory
Expert system
Consequent
Predicate
Causality
Cyc
Logic
Science
Mathematical logic