Dynamical logic driven by classified inferences including abduction

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationComputing Anticipatory Systems - CASYS'09 - Ninth International Conference
Pages52-59
Number of pages8
DOIs
Publication statusPublished - 2010 Dec 1
Event9th International Conference on Computing Anticipatory Systems, CASYS'09 - Liege, Belgium
Duration: 2009 Aug 32009 Aug 8

Publication series

NameAIP Conference Proceedings
Volume1303
ISSN (Print)0094-243X
ISSN (Electronic)1551-7616

Conference

Conference9th International Conference on Computing Anticipatory Systems, CASYS'09
CountryBelgium
CityLiege
Period09/8/309/8/8

    Fingerprint

Keywords

  • Abduction
  • Directed graph
  • Formal logic
  • Implication
  • Inference

ASJC Scopus subject areas

  • Physics and Astronomy(all)

Cite this

Sawa, K., & Gunji, Y. P. (2010). Dynamical logic driven by classified inferences including abduction. In Computing Anticipatory Systems - CASYS'09 - Ninth International Conference (pp. 52-59). (AIP Conference Proceedings; Vol. 1303). https://doi.org/10.1063/1.3527185