Dynamical logic driven by classified inferences including abduction

Koji Sawa, Yukio Pegio Gunji

Research output: Chapter in Book/Report/Conference proceeding › Conference 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
Externally publishedYes
Event9th International Conference on Computing Anticipatory Systems, CASYS'09 - Liege, Belgium
Duration: 2009 Aug 3 → 2009 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/3 → 09/8/8

Keywords

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

ASJC Scopus subject areas

  • Physics and Astronomy(all)

Access to Document

Fingerprint Dive into the research topics of 'Dynamical logic driven by classified inferences including abduction'. Together they form a unique fingerprint.

    • 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