Change - Logical Inference

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. Wit
h this one comes up with a machine that is able to with Rules that are expressed with these Patterns to make mechanical Conclusions. ¶


Comment: Updated entry

Comment on This Data Unit