A Mathematical Model of Deductive and Non-Deductive Inferences.
Induction and abduction are well known non-deductive inferences. We shall propose a view that design is also another form of non-deductive inference, and give a mathematical model of deductive and non-deductive inferences based on Barwise and Seligman's mathematical theory of information flow. In ou...
| Published in: | Annals of the Japan Association for the Philosophy of Science Vol. 17; no. 1; pp. 1 - 12 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Sasaki Printing & Publishing Co., Ltd.
2008
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=37299391&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 37299391 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 04530691 GE5 jtl: Annals of the Japan Association for the Philosophy of Science issn: 04530691 maglogo: N pubinfo: dt: 2008 vid: 17 iid: 1 pid: 12372 pub: Sasaki Printing & Publishing Co., Ltd. artinfo: ui: 37299391 ppf: 1 ppct: 11 formats: fmt: @attributes: type: P size: 513KB tig: atl: A Mathematical Model of Deductive and Non-Deductive Inferences. aug: au: Kikuchi, Makoto affil: Department of Computer Science and Systems Engineering, Kobe University su: Mathematical models Completeness theorem Mathematical logic Model theory Numerical analysis Equations Inference (Logic) Induction (Logic) Information theory sug: subj: Mathematical models Completeness theorem Mathematical logic Model theory Numerical analysis Equations Inference (Logic) Induction (Logic) Information theory keyword: Abduction Channel Theory Deduction Induction ab: Induction and abduction are well known non-deductive inferences. We shall propose a view that design is also another form of non-deductive inference, and give a mathematical model of deductive and non-deductive inferences based on Barwise and Seligman's mathematical theory of information flow. In our model, inferences are classified into three categories, and we can show that deduction and abduction are in the same category, although induction is different. Furthermore, we shall show also that non-deductive inferences are interpretable mutually, and investigate also mathematical properties of the model. In particular, we shall prove a generalized version of the Abstract Completeness Theorem by Barwise and Seligman. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Annals of the Japan Association for the Philosophy of Science is the property of Sasaki Printing & Publishing Co., Ltd. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Annals of the Japan Association for the Philosophy of Science holder: Sasaki Printing & Publishing Co., Ltd. dt: @attributes: year: 2008 holdings: @attributes: islocal: N |
|---|