×

从一元到二元归纳逻辑。 (英语) 兹比尔1317.03026

van Benthem,Johan(编辑)等人,《游戏、规范和理由》。十字路口的逻辑。多德雷赫特:施普林格(ISBN 978-94-007-0713-9/hbk;978-94.007-0920-1/套;978-94-007-0714-6/电子书)。Synthese Library 353,199-213(2011)。
文本:假设你生活在一个由个体(a_1,a_2,a_3,dots\)(耗尽了整个宇宙)和一组有限的谓词(P(x),P_1(x)、P_2(x)和R(x,y),dots/)组成的世界中,但没有其他常量或函数符号。你观察到,(P(a_1)和(P(a_2)保持不变,其他什么都没有。在这种情况下,就下注意愿而言,(w(P(a_3))的概率是多少?
作为一个类比,假设你站在孟买的一条路上,前面两辆车从右向左行驶(即P(a_1),P(a_2))。在这种情况下,你应该给同样在这个方向上通过的下一辆车分配什么概率(即\(P(a_3)\))?还是说这是一条单行道(即所有xP(x))?当然,在这样一个现实世界的例子中,人们观察到并且已经知道,不仅仅是两辆车的超车。然而,人们可以想象一种情况,例如,“你”是一个人工智能体,而(P(a_1)\wedget P(a_2))是真正可用的所有知识。这就是归纳法的一般问题:
\[\假设你只知道}j\text{你应该给}q\text}分配什么概率?}\]其中,(q)和(j)是我们语言中的句子,我们有兴趣进行研究。我们在这里寻求的是一种基于明确的理性原则的逻辑方法,以限制(如果没有明确规定)允许的概率分配。
关于整个系列,请参见[Zbl 1260.03003号].

MSC公司:

03B48号 概率和归纳逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部