Logic and information
| Hi-index | 0.00 |
In this article we set out to develop a mathematical model of real-life human reasoning. The most successful attempt to do this, classical formal logic, achieved its success by restricting attention on formal reasoning within pure mathematics; more precisely, the process of proving theorems in axiomatic systems. Within the framework of mathematical logic, a logical proof consists of a finite sequence *** 1 , *** 2 , ..., *** n of statements, such that for each i = 1,..., n , *** i is either an assumption for the argument (possibly an axiom), or else follows from one or more of *** 1 , ..., *** i *** 1 by a rule of logic.