英国艺术与人文研究理事会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
乔恩·威廉姆森:归纳逻辑,理性的人6(11): 176 - 2012。 迈克尔·王尔德和乔恩·威廉姆森:贝叶斯主义和信息, L. Floridi主编,劳特利奇信息哲学手册.在出版社。
尤尔根•兰德斯:概率,熵和严格适当的评分规则,国际近似推理杂志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
乔恩·威廉姆森:审议、判断与证据的性质,经济学与哲学31(1): 27-65, 2015。doi:10.1017 / S026626711400039X
乔恩·威廉姆森:我们需要多不确定?Erkenntnis79(6): 1249 - 1271年,2014年。发布版本:.本地版本:.视频:doi 10.1007 / s10670 - 013 - 9516 - 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
|
活动及讲座泰迪·格罗夫斯回顾拉卡托斯对卡纳比归纳逻辑的批判,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日,伦敦。
泰迪园:卡纳皮归纳逻辑在什么意义上是客观的?逻辑学博士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日,英国坎特伯雷肯特大学。
|
确认:
我们非常感谢英国艺术和人文研究委员会资助这项研究。