Logical Inference

Created on Feb. 23, 2013, 6:45 p.m. by Hevok & updated by age on Feb. 10, 2015, 7:01 a.m. Hevok on Feb. 10, 2015, 7:01 a.m.

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.


Tags: rules, deduction
Categories: Concept
Parent: Logic

Update entry (Admin) | See changes

Comment on This Data Unit