从客观贝叶斯认识论到归纳逻辑

英国艺术与人文研究理事会2012-15年度项目。

调查人员:Teddy Groves(博士生),于尔根·兰德斯(RA),乔恩·威廉姆森(π)

这个项目的主要目的是通过建立在认识论(知识和信念理论)的最新发展来复兴归纳逻辑(不确定性下的推理逻辑)。

图片归纳逻辑在任何需要对结构进行推理,但证据有限且不确定性普遍存在的领域都有潜在的应用。例如,生物信息学在只有部分遗传功能和生化过程知识的情况下,需要形式化的方法来推理生物结构;自然语言处理需要在之前处理过的句子的统计证据的存在下,对句子结构和意义进行推理的形式化方法。开云体育网址

然而,经过20世纪50 -70年代的深入研究,归纳逻辑程序面临着重要的哲学批评,它从未完全恢复过来。因此,尽管有一小部分研究人员仍在研究不确定性下的逻辑推理,但归纳逻辑程序被广泛认为是失败的。

在20世纪80 -90年代,出现了处理不确定性的新方法——概率网络方法——这是一种计算技术,而不是逻辑技术。这些新方法填补了对计算上可行的工具的需求,用于操纵和推理概率,而对归纳逻辑的研究仍然处于次要地位。然而,尽管概率网络可以以一种优雅的方式处理不确定性,但它们并不是同时用于对结构进行推理的。有人试图扩展概率网络形式主义来处理更丰富的结构,但这些方法都是复杂和不同的,没有明确的竞争者出现。

现在是复兴归纳逻辑程序的时候了。这有三个原因。首先,归纳逻辑的需要仍然存在:在整个科学中仍然需要对不确定性下的结构进行推理,归纳逻辑是满足这种需要的自然形式主义。其次,认识论方面最近的工作提供了发展一种新的归纳逻辑方法的可能性,这种方法可能在对归纳逻辑的传统批评中幸存下来。特别是,从概率认识论中产生的思想可能为归纳逻辑提供一种连贯的方法(参见,例如,“为客观贝叶斯主义辩护”,牛津大学出版社2010年)。开云体育主頁(欢迎您)第三,最近在建立概率逻辑和概率网络之间的联系方面的工作已经导致了开发计算上易于处理的方法来执行归纳逻辑的计算的可能性(参见,例如,“概率逻辑和概率网络”,施普林格2011)。

游客:

我们热忱欢迎想要在肯特大学从事归纳逻辑工作的访客。开云体育主頁(欢迎您)开云体育app客服

  • 2014年2月10日- 2014年4月30日:基督教Wallmann
  • 2013年3月29日至3月31日:凯文考伯
  • 2012年11月15日- 2013年2月28日:Soroush Rad
  • 2012年9月15日至2012年11月16日:马丁Adamcik
  • 2012年9月12日至14日:杰夫·帕里斯,阿莱娜·文科夫斯卡,乔治·威尔默斯。

出版物

乔恩·威廉姆森:归纳逻辑讲座,牛津大学出版社,开云体育主頁(欢迎您)2017年。

泰迪园:让我们重新评价卡纳比归纳逻辑!博士论文,肯特大学,20开云体育主頁(欢迎您)15年。开云体育app客服

期刊特刊:概率与逻辑的结合应用逻辑杂志14.2016年3月。编辑:

期刊特刊:最大熵在归纳逻辑和推理中的应用日报》。

吉姆·霍桑、于尔根·兰德斯、克里斯蒂安·沃尔曼和乔恩·威廉姆森:主要原则隐含着无所谓原则英国科学哲学杂志.68:123 - 131, 2017。doi:10.1093 /人民党/ axv030

于尔根·兰德斯和乔恩·威廉姆森:目的利用一致数据集建立贝叶斯网络,在Adom Giffin和Kevin H. Knuth(编),第35届贝叶斯推断国际研讨会论文集科学与工程中的最大熵方法纽约波茨坦。美国物理学会会议论文集1757,2016。doi:10.1063/1.4959048

泰迪园:拉卡托斯对卡尔纳普归纳逻辑的批评是错误的《应用逻辑学报》,2016,14:3-21。doi: 10.1016 / j.jal.2015.09.014

泰迪园:卡尔那式归纳逻辑在统计哲学中的一种应用应用逻辑杂志12(3): 302-318, 2014。doi: 10.1016 / j.jal.2014.05.002

于尔根·兰德斯和乔恩·威廉姆森:在谓词语言上证明客观贝叶斯主义17: 2459-2543, 2015;doi:10.3390 / e17042459

客观贝叶斯主义认为,一个人的信念的力量应该是概率,只要他有证据,就应该校准为物理概率,否则就足够模棱两可。这些信念规范通常用最大熵原理来解释。在本文中,我们研究了在背景语言是一阶谓词语言的情况下,人们可以在多大程度上提供客观贝叶斯规范的统一证明,以期将所得到的形式主义应用于归纳逻辑。我们表明,最大熵原理可以在最大限度地最小化最坏情况的预期损失方面得到激励。

Jürgen兰德斯和乔恩·威廉姆森:客观贝叶斯理论与最大熵原理15(9): 3528-3591, 2013。.doi: 10.3390 / e15093528

客观贝叶斯认识论调用了三个规范:我们信念的力量应该是概率,它们应该与我们的物理概率证据校准,并且它们应该在我们可以表达的基本命题之间足够含糊。这三种规范有时通过诉诸最大熵原理来解释,该原理说,一个信念函数应该是一个概率函数,从所有经过校准的证据中,具有最大熵。然而,客观贝叶斯主义的三个规范通常以不同的方式得到证明。在本文中,我们表明,在最小化最坏情况预期损失方面,这三种规范都可以归为单一的理由。反过来,这相当于使熵的广义概念最大化。我们建议,除了最小化最坏情况的预期损失外,要求语言不变性还能激励标准熵的最大化,而不是广义熵的其他实例的最大化。
我们的论点也为贝叶斯条件化的信念更新程度提供了一个有资格的理由。然而,在客观贝叶斯理论中,条件概率所扮演的中心角色比在贝叶斯理论的主观观点中要少,这导致贝叶斯定理的作用降低。

乔恩·威廉姆森:从贝叶斯认识论到归纳逻辑应用逻辑杂志11: 468- 468, 2013。杂技演员doi: 10.1016 / j.jal.2013.03.006

归纳逻辑承认多种语义(Haenni等人,2011,第1部分)。本文基于贝叶斯认识论的规范发展语义(Williamson, 2010,第7章)。§1介绍了语义,然后在§2中,本文探讨了在产生的逻辑中进行推理的方法,并将本文的方法与Barnett和Paris(2008)的方法进行了比较。§3接着根据对归纳逻辑的四个传统批评来评价这个贝叶斯归纳逻辑,认为(i)它在关键意义上是独立于语言的,(ii)它承认与无差异原则的联系,但这些联系并不导致悖论,(iii)它可以捕捉到从经验中学习的现象,(iv)虽然这个逻辑对一些普遍假设主张怀疑,从科学理论的观点来看,这种怀疑是没有问题的。

乔恩·威廉姆森:归纳逻辑理性的人6(11): 176 - 2012。P杂技演员

迈克尔·王尔德和乔恩·威廉姆森:贝叶斯主义和信息, L. Floridi主编,劳特利奇信息哲学手册.在出版社。杂技演员

贝叶斯理论是一种利用概率数学理论进行归纳推理的理论。贝叶斯主义者通常认为,相关的概率应该用理性的信念程度来解释。这仍然留下了很大的分歧空间,因为对于什么样的规范管理理性的信仰程度还没有达成共识。在本章中,我们首先介绍了三种贝叶斯理论,它们采用了对概率的一定程度的信念解释:(i)严格的主观贝叶斯主义,(ii)基于经验的主观贝叶斯主义,以及(iii)客观贝叶斯主义。然后,我们讨论如何诉诸信息理论,以证明客观贝叶斯主义的规范。

尤尔根•兰德斯:概率,熵和严格适当的评分规则国际近似推理杂志63:1-21, 2015年。doi: 10.1016 / j.ijar.2015.05.007

精确性论证是问题的认识证明的流行路线能力主义和进一步规范理性信仰。这些争论经常这取决于所采用的不准确测量方法是严格适当的。我有争议地认为,假定受雇者是不明智的不准确的测量是严格正确的,而且是严格正确的统计开云体育网址评分规则是衡量不准确性的一种更自然的方法。基础上在信念诱导工作中,我展示了如何严格适当的统计评分规则开云体育网址可以用来给概率的一个认识上的理由。代理人的证据在这些问题的辩护中不起任何作用abilism。要求广义熵最大化的原理要看探员的证据。在本文的第二部分中,我将说明如何做到这一点证明:同时证明概率和这样一个原则我还调查了评分规则传统上与熵联系在一起。

尤尔根•兰德斯:完全不确定性下选择的最小-最大决策规则:效用区间偏好的公理刻画国际近似推理杂志55: 1301-1317, 2014。.doi 10.1016 / j.ijar.2013.10.008

在完全不确定性条件下,我们引入了两个新的选择框架。这些框架使用间隔来表示与结果相关的不确定效用。在第一个框架中,由具有多个可能结果的一个行为产生的效用区间通过基于集的方法进行聚合。在第二个框架中,效用区间的聚合使用多集。在聚合效用区间上,引入最小-最大决策规则及其字典法修正。主要的技术成果是这些最小-最大决策规则的公理化描述和这些修正。我们还简要地讨论了所介绍的公理的独立性。此外,我们还证明了在完全不确定条件下的经典选择框架中,这些特征给出了著名的最小-最大决策规则>mnx的新的公理化特征。

乔恩·威廉姆森:审议、判断与证据的性质经济学与哲学31(1): 27-65, 2015。doi:10.1017 / S026626711400039X

一种深思熟虑是指一个人根据新的证据重新评估自己信念的力量。贝叶斯认识论通过相对于所有可用证据的概率来衡量人们应该相信一个命题的强度,从而提供了个人思考的规范性说明。这可以扩展到个人账户判断通过将判断行为视为一个决策问题,服从决策理论的工具。一种关于公共审议和判断可以通过合并相关个体的证据并计算适当的贝叶斯概率和相对于合并的证据的判断阈值来提供。
但是,这种用于审议和判断的形式认识论缺乏实质内容,没有说明如何合并证据。而为了提供这样的解释,我们反过来需要解释什么证据这是贝叶斯概率的基础。本文试图解决这两个问题。在对关于证据性质的几种观点(认为证据是知识的观点;证据就是人们完全相信的东西;这一证据是通过观察得到的;证据就是信息),有人认为证据就是理性上认为理所当然的东西。这种观点对合并的解释产生了影响,并且表明合并的标准公理需要有所改变。

乔恩·威廉姆森:我们需要多不确定?Erkenntnis79(6): 1249 - 1271年,2014年。发布版本:.本地版本:.视频:doi 10.1007 / s10670 - 013 - 9516 - 6。

专家概率预测对决策是有用的(§1)。但是,不确定性的水平不断上升:无论预测者如何表达与预测相关的不确定性,她都有充分的理由以不精确或更高阶不确定性的形式表达进一步的不确定性水平(§2)。贝叶斯认识论通过将不确定性的表达与智能体语言中可表达的命题联系起来(§3),提供了停止这种自动扶梯的手段。但是贝叶斯认识论主要有三个变种。严格的主观贝叶斯主义和基于经验的主观贝叶斯主义很难证明使用预测者的概率进行决策(§4)。另一方面,客观贝叶斯主义可以证明这些概率的使用是合理的,至少当概率与主体的证据一致时(§5)。因此,客观贝叶斯理论在解释不确定性证词如何对决策有用方面提供了最有希望的整体解释。
有趣的是,在§5中提供的客观贝叶斯分析也可以用来证明反思原则的一个版本(§6)。

尤尔根•兰德斯:迈克尔·斯特莱文斯Tychomancy:从因果结构推断概率科学哲学的国际研究28(4): 446-448, 2014。.doi:10.1080 / 02698595.2014.979675

乔恩·威廉姆森:回顾可靠的推理作者:吉尔伯特·哈曼和桑吉夫·库尔卡尼121:1073-1076, doi 10.1093/mind/fzt006, 2013。

尤尔根•兰德斯:回顾进化与理性:决策、合作与战略行为萨米尔·奥卡沙和肯·宾莫尔哲学的季度2014;doi: 10.1093 / pq / pqt040。

尤尔根•兰德斯:归纳逻辑,9月12日至13日理性的人6(11): 172, 2012。

乔治·达比& Jürgen兰德斯:悖论不仅仅是可信的认为3(2): 99-109, 2014。doi: 10.1002 / tht3.117

除了通常的解决悖论的工作之外,最近还出现了关于悖论本质的哲学著作。狼人将悖论描述为“一组不一致的命题,每一个命题都非常合理。”在这个定义的基础上,帕索提供了一套原则的矛盾性的数值度量:主体相信单独考虑的原则的程度(通常都是高的)和主体相信一起考虑的原则的程度(通常是低的)的函数。我们认为(a)帕索的测量方法未能正确地对某些悖论进行评分,(b)这种失败不是由于特定的测量方法,而是由于任何这样的可信度函数都未能充分捕捉悖论。我们的分析使我们得出结论,狼人的定义也未能抓住悖论的概念。

活动及讲座

泰迪·格罗夫斯回顾拉卡托斯对卡纳比归纳逻辑的批判CLMPS赫尔开云体育主頁(欢迎您)辛基大学,2015年8月3-8日。

尤尔根•兰德斯:目的利用一致数据集建立贝叶斯网络第35届贝叶斯推理国际研讨会科学与工程中的最大熵方法克拉克森大学,2015开云体育主頁(欢迎您)年7月19日至24日。

尤尔根•兰德斯:目标贝叶斯网-来自一致的数据集.英国科学哲学学会。2015年7月2日至3日,英国曼彻斯特。

尤尔根•兰德斯:目标贝叶斯网-来自一致的数据集.欧洲的可计算性。罗马尼亚布加勒斯特,2015年6月29日至7月3日。

——乔恩·威廉姆森认知结果论与冷漠原则认知结果主义:问题与展望20开云体育app客服15年6月25-26日,肯特。

泰迪·格罗夫斯回复Jon威廉姆森认知结果主义:问题与展望20开云体育app客服15年6月25-26日,肯特。

泰迪·格罗夫斯概率的准确性参数《形式认识论》,布里斯托尔,2015年6月15日。

——乔恩·威廉姆森客观贝叶斯论和主观贝叶斯论贝叶斯主义的概率2015年5月28日至30日,维也纳。

泰迪·格罗夫斯精确性问题,关于概率的论证贝叶斯主义的概率2015年5月28日至30日,维也纳。

尤尔根•兰德斯:贝叶斯认识论课程.隆德,2015年5月18日至22日。

会议:progic 2015:第七次结合概率和逻辑研讨会特别关注:形式认识论和归纳逻辑。后,关于概率与逻辑结合的春季课程.开云体育主頁(欢迎您)201开云体育app客服5年4月20日至24日,英国坎特伯雷肯特大学。

泰迪园:一个关于客观贝叶斯归纳逻辑的问题.Progic 2015。开云体育主頁(欢迎您)201开云体育app客服5年4月22日至24日,英国坎特伯雷肯特大学。

尤尔根•兰德斯:最大熵和归纳逻辑.关于概率与逻辑结合的春季课程。开云体育主頁(欢迎您)201开云体育app客服5年4月20-21日,英国坎特伯雷肯特大学。

乔恩·威廉姆森:经典、卡纳比和客观贝叶斯归纳逻辑.关于概率与逻辑结合的春季课程。开云体育主頁(欢迎您)201开云体育app客服5年4月20-21日,英国坎特伯雷肯特大学。

泰迪·格罗夫斯客观贝叶斯认识论与归纳逻辑3月30日至31日,曼彻斯特,推理俱乐部2015.

乔恩·威廉姆森:经典归纳逻辑,卡尔纳普程序和客观贝叶斯方法归纳逻辑透视2015年3月19-20日,欧文。

尤尔根•兰德斯:证据聚合,决策,层级,CHiP.理论推理研讨会,肯特,2015年1月28日。开云体育app客服

乔恩·威廉姆森:主要原则隐含着无所谓原则客观概率和条件推理研讨会,伦敦哲学研究所,2014年11月18日。

尤尔根•兰德斯:客观贝叶斯如何整合数据科学中的归纳逻辑与确证22014年10月24日至25日,犹他州。

乔恩·威廉姆森:主要原则隐含着无所谓原则.数字世界的知识,坎特伯雷,2014年10月16-17日。

尤尔根•兰德斯:客观贝叶斯如何整合数据.数字世界的知识,坎特伯雷,2014年10月16-17日。

泰迪园:卡纳皮归纳逻辑退化了吗?理论推理研讨会,肯特,2014年10月8日。开云体育app客服

乔恩·威廉姆森:主要原则隐含着无所谓原则慕尼黑数学哲学中心2014年10月8日。

尤尔根•兰德斯:哲学:理性信念的形成.伊拉斯谟在慕尼黑数学哲学中心2014年7月14-18日。

尤尔根•兰德斯:严格的评分规则和概率范数英国科学哲学学会2014年7月10-11日。

泰迪园:在卡纳比归纳逻辑的背景下的准确性论点英国科学哲学学会2014年7月10-11日。

尤尔根•兰德斯:评分规则,熵和冷漠推理俱乐部会议2014年6月23日至24日。

泰迪园:在卡纳比归纳逻辑的背景下,概率的准确性论证第四届伦敦政治经济学院概率哲学研究生会议2014年6月6日至7日。

乔恩·威廉姆森:感应.伊拉斯谟在Boğaziçi大开云体育主頁(欢迎您)学哲学系2014年5月26日至30日。取消了。

乔恩·威廉姆森:自动化决策的归纳逻辑意大利逻辑学协会2014年4月14日至17日,比萨。

杰夫·帕里斯和乔恩·威廉姆森:纯粹归纳逻辑工作坊第五届印度逻辑学派及其应用2014年1月6日开云体育主頁(欢迎您)至17日,泰兹普尔大学。

乔恩·威廉姆森:自动化决策的归纳逻辑.认知科学研究所,Osnabrück, 2013年12月4日。

乔恩·威廉姆森:信念的聚合程度.理论推理研讨会,肯特,2013年11月7日。开云体育app客服

尤尔根•兰德斯:比较认知评分规则和统计评分规则开云体育网址.理论推理研讨会,肯特,2013年10月24日。开云体育app客服

车间:科学中的归纳逻辑和确认.开云体育主頁(欢迎您)201开云体育app客服3年10月17-18日,法国肯特大学巴黎校区。

泰迪园:卡纳比归纳逻辑在统计哲学中的应用progic 2013,第六届概率与逻辑结合研讨会:结合概率与逻辑解决哲学问题2013年9月17日至18日,慕尼黑。

于尔根·兰德斯和乔恩·威廉姆森:谓词语言归纳逻辑的贝叶斯认识论progic 2013,第六届概率与逻辑结合研讨会:结合概率与逻辑解决哲学问题2013年9月17日至18日,慕尼黑。

乔恩·威廉姆森:自动化决策的归纳逻辑英国逻辑讨论会2013年9月5日至7日。

泰迪园:卡纳比归纳逻辑在统计哲学中的应用第二届推理俱乐部会议,比萨高等师范学院,2013年6月17日至19日。

尤尔根•兰德斯:客观贝叶斯理论和最大熵原理第二届推理俱乐部会议,比萨高等师范学院,2013年6月17日至19日。

泰迪园:卡纳比归纳逻辑在统计哲学中的应用.理论推理研讨会,肯特,2013年6月13日。开云体育app客服

车间:布里斯托-肯特评开云体育app客服分规则研讨会.2013年6月10日,伦敦。

10:00-11:00客观贝叶斯主义和最大熵原理
11:00-12:00Jason Konek -先验问题的反运气解决方案
13:00-14:00理查德·佩蒂格鲁:准确、冒险和冷漠原则
14:00-15:00一般讨论

泰迪园:卡纳皮归纳逻辑在什么意义上是客观的?逻辑学博士V2013年4月8日至10日,慕尼黑。

泰迪园:卡纳皮归纳逻辑在什么意义上是客观的?理论推理研讨会,肯特,2013年4月4日。开云体育app客服

乔恩·威廉姆森:自动化决策的归纳逻辑人工智能与行为模拟“,2013年4月3-5日。

泰迪园:卡纳皮归纳逻辑在什么意义上是客观的?《推理高级话题》,肯特,2013年3月26日。开云体育app客服

尤尔根•兰德斯:OBEIL项目和你.《推理高级话题》,肯特,2013年3月26日。开云体育app客服

尤尔根•兰德斯:协调问题和你.理论推理研讨会,肯特,2013年3月21日。开云体育app客服

尤尔根•兰德斯:一个客观贝叶斯的睡前故事.曼彻斯特数学系,2013年3月13日。

尤尔根•兰德斯:正确的评分规则.哲学系研讨会,肯特,2013年1月22日。开云体育app客服

尤尔根•兰德斯:机制设计和你.哲学系硕士研讨会,肯特,2012年12月5日。开云体育app客服

Soroush Rad:更新.理论推理研讨会,肯特,2012年11月15日。开云体育app客服

马丁Adamcik:聚合证据基础.理论推理研讨会,肯特,2012年10月4日。开云体育app客服

乔恩·威廉姆森:经典归纳逻辑推理俱乐部会议,比利时VUB, 2012年9月17日至19日。

泰迪园:关于伯特兰悖论,沙克尔展示了什么?推理俱乐部会议,比利时VUB, 2012年9月17日至19日。

车间:归纳逻辑.开云体育主頁(欢迎您)201开云体育app客服2年9月12日至13日,英国坎特伯雷肯特大学。

9月12日- - - - - -凯恩斯六号会议室
下午12.30点在Gulbenkian咖啡馆吃午餐
1.30 - -2.00Jon Williamson -欢迎和介绍
2.00 - -3.00杰夫·帕里斯——《猜世界》
3.00 - -3.30咖啡
3.30 - -4.30于尔根·兰德斯:客观贝叶斯主义如何遇到粪式论证
4.30 - -5.30乔治·威尔默斯:《社会熵过程:它能被公理地证明为最大熵推断过程的自然推广吗?》
9月13日- - - - - -康沃利斯12号会议室
9.30 - -10.30Jon Williamson:我们需要多不确定?
10.30 - -11.30泰迪·格罗夫斯——沙克尔展示了伯特兰悖论的什么?
11.30 - -12.00咖啡
12.00下午1点Alena Vencovska -在归纳逻辑中关于信息结构的概率函数(当考虑非一元谓词时出现)

Jürgen兰德斯:归纳逻辑,9月12日至13日,理性的人6(11): 172、2012。

确认:

我们非常感谢英国艺术和人文研究委员会资助这项研究。

AHRC reasoning-logo-pics