Created on Feb. 23, 2013, 6:45 p.m. by Hevok & updated on Feb. 10, 2015, 7:01 a.m. by age
Simple Inference Rules can be built always by the same Patterns or Templates.
¶
¶
add up, Logical Conclusion
¶
Inference Rules, all built according to the same Pattern.
¶
¶
major premise All Humans
are mortal
¶
¶
minor premise All Greeks
are Humans
¶
¶
Conclusion All Greeks
are mortal
¶
¶
So this defines a Pattern. According to this Pattern one can do Logic, because between premises and the conclusion one can do an inference. This inference can be done by a simple Machine so it is always the same: one has a Subject, predicate as well as major, middle, and minor Terms. With this one comes up with a machine that is able to with Rules that are expressed with these Patterns to make mechanical Conclusions.
¶
Comment on This Data Unit