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

logical-inference.jpeg

Tags: rules, deduction
Categories: Concept
Parent: Logic

Comment: Updated entry

See entry | Admin

Comment on This Data Unit