A Demonstration of the Incompleteness of Calculi of Inductive Inference
A complete calculus of inductive inference captures the totality of facts about inductive support within some domain of propositions as relations or theorems within the calculus. It is demonstrated that there can be no complete, non-trivial calculus of inductive inference. 1 Introduction 2 The Deduc...
Main Author: | Norton, J.D (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
Oxford University Press
2019
|
Online Access: | View Fulltext in Publisher |
Similar Items
-
Computational Issues in Calculi of Partial Inductive Definitions
by: Kreuger, Per
Published: (1995) -
Unique fixpoint induction for message-passing process calculi
by: Hennessy, Matthew, et al.
Published: (2001) -
Phylogenomics with incomplete taxon coverage: the limits to inference
by: McMahon Michelle M, et al.
Published: (2010-05-01) -
Exercising Psi-calculi : A Psi-calculi workbench
by: Gutkovas, Ramunas
Published: (2011) -
Probabilistic learning by demonstration from complete and incomplete data
by: Korkinof, Dimitrios
Published: (2015)