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 | AIP Conference Proceedings |
| Pages | 52-59 |
| Number of pages | 8 |
| Volume | 1303 |
| DOIs | |
| Publication status | Published - 2010 |
| Externally published | Yes |
| Event | 9th International Conference on Computing Anticipatory Systems, CASYS'09 - Liege Duration: 2009 Aug 3 → 2009 Aug 8 |
Other
| Other | 9th International Conference on Computing Anticipatory Systems, CASYS'09 |
|---|---|
| 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
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 proceeding › Conference contribution
}
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 -