Dynamical Logic Driven by Classified Inferences Including Abduction
Koji Sawa, Yukio-Pegio Gunji, Daniel M. Dubois · AIP conference proceedings · 2010
We propose a dynamical model of formal logic which realizes a representation of logical inferences, deduction and induction. In addition, it also represents abduction which is classified by Peirce as the third inference following deduction and induction. The three types of inference are represented as transformations of a directed graph. The state of a relation between objects of the model fluctuates between the collective and the distinctive. In addition, the location of the relation in the sequence of the relation influences its state.