Dynamical logic driven by classified inferences including abduction

Koji Sawa; Yukio Pegio Gunji

doi:10.1063/1.3527185

Dynamical logic driven by classified inferences including abduction

Koji Sawa, Yukio Pegio Gunji

School of Fundamental Science and Engineering

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 language	English
Title of host publication	Computing Anticipatory Systems - CASYS'09 - Ninth International Conference
Pages	52-59
Number of pages	8
DOIs	https://doi.org/10.1063/1.3527185
Publication status	Published - 2010 Dec 1
Event	9th International Conference on Computing Anticipatory Systems, CASYS'09 - Liege, Belgium Duration: 2009 Aug 3 → 2009 Aug 8

Publication series

Name	AIP Conference Proceedings
Volume	1303
ISSN (Print)	0094-243X
ISSN (Electronic)	1551-7616

Conference

Conference	9th International Conference on Computing Anticipatory Systems, CASYS'09
Country	Belgium
City	Liege
Period	09/8/3 → 09/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

@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 Gunji, {Yukio Pegio}",

year = "2010",

month = dec

day = "1",

doi = "10.1063/1.3527185",

language = "English",

isbn = "9780735408586",

series = "AIP Conference Proceedings",

pages = "52--59",

booktitle = "Computing Anticipatory Systems - CASYS'09 - Ninth International Conference",

note = "9th International Conference on Computing Anticipatory Systems, CASYS'09 ; Conference date: 03-08-2009 Through 08-08-2009",

}

TY - GEN

T1 - Dynamical logic driven by classified inferences including abduction

AU - Sawa, Koji

AU - Gunji, Yukio Pegio

PY - 2010/12/1

Y1 - 2010/12/1

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

T3 - AIP Conference Proceedings

SP - 52

EP - 59

BT - Computing Anticipatory Systems - CASYS'09 - Ninth International Conference

T2 - 9th International Conference on Computing Anticipatory Systems, CASYS'09

Y2 - 3 August 2009 through 8 August 2009

ER -

Access to Document

10.1063/1.3527185