Dynamical logic driven by classified inferences including abduction

Koji Sawa, Yukio Gunji

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 publicationAIP Conference Proceedings
Pages52-59
Number of pages8
Volume1303
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event9th International Conference on Computing Anticipatory Systems, CASYS'09 - Liege
Duration: 2009 Aug 32009 Aug 8

Other

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

Fingerprint

inference
logic
deduction
induction

Keywords

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

ASJC Scopus subject areas

  • Physics and Astronomy(all)

Cite this

Dynamical logic driven by classified inferences including abduction. / Sawa, Koji; Gunji, Yukio.

AIP Conference Proceedings. Vol. 1303 2010. p. 52-59.

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

Sawa, K & Gunji, Y 2010, Dynamical logic driven by classified inferences including abduction. in AIP Conference Proceedings. vol. 1303, pp. 52-59, 9th International Conference on Computing Anticipatory Systems, CASYS'09, Liege, 09/8/3. https://doi.org/10.1063/1.3527185
Sawa, Koji ; Gunji, Yukio. / Dynamical logic driven by classified inferences including abduction. AIP Conference Proceedings. Vol. 1303 2010. pp. 52-59
@inproceedings{e7d0daa059334d91b485639046400a22,
title = "Dynamical logic driven by classified inferences including abduction",
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.",
keywords = "Abduction, Directed graph, Formal logic, Implication, Inference",
author = "Koji Sawa and Yukio Gunji",
year = "2010",
doi = "10.1063/1.3527185",
language = "English",
isbn = "9780735408586",
volume = "1303",
pages = "52--59",
booktitle = "AIP Conference Proceedings",

}

TY - GEN

T1 - Dynamical logic driven by classified inferences including abduction

AU - Sawa, Koji

AU - Gunji, Yukio

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - Abduction

KW - Directed graph

KW - Formal logic

KW - Implication

KW - Inference

UR - http://www.scopus.com/inward/record.url?scp=79251577354&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79251577354&partnerID=8YFLogxK

U2 - 10.1063/1.3527185

DO - 10.1063/1.3527185

M3 - Conference contribution

AN - SCOPUS:79251577354

SN - 9780735408586

VL - 1303

SP - 52

EP - 59

BT - AIP Conference Proceedings

ER -