Abstract:The task of inductive logic is to develop a formal framework to analyze inductive reasoning. Historically this was accomplished by assigning probabilities to sentences of a logical language. Two natural criteria for such a system are: (i) the underlying language should be rich enough to express scientific hypotheses, and (ii) the probabilities should be, in some sense, accessible. The first criterion suggests that the language should at least contain the language of arithmetic, while the second suggests that probabilities should be computable. We show that these two criteria are in tension with one another. Various natural proposals for an inductive logic result in probabilities that are not arithmetically definable, much less computable. We isolate the assumptions responsible for this result, and search for a weaker inductive logic with more accessible probabilities. The most natural weakening results in probabilities that are arithmetically definable but still are not computable.
From: Josiah Lopez-Wild [view email]
[v1]
Fri, 29 May 2026 21:05:58 UTC (25 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。