×
迪德里克·巴滕斯;克里斯托夫·德·克莱尔克;彼得·弗代尔;Meheus，笑话

是的，伙计们，大多数人类的推理都很复杂。 （英语） 兹比尔1169.03307

合成 166，第1期，113-131（2009）.
摘要：本文回答了L.霍斯顿和P.韦尔奇[合成158，No.1，41-60（2007；Zbl 1126.03034号)]. 它包含了对自适应逻辑标准格式的描述，分析了这些逻辑所需的动态证明的概念，讨论了将这些证明转化为证明的方法，并认为，尽管它们的形式复杂，自适应逻辑很重要，因为它们解释了在科学环境和常识环境中经常出现的大量推理形式。

引用于8文件

理学硕士：

03A05号 逻辑和基础的哲学和批判性方面
03B53型 准一致逻辑

关键词：

自适应逻辑;次协调逻辑;动态证明;决策方法

引文：

Zbl 1126.03034号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}等人，Synthese 166，No.1，113--131（2009；Zbl 1169.03307）
全文： 内政部

参考文献：

[1] Batens D.（1989）。动态辩证逻辑。摘自：普里斯特·G、劳特利·R、诺曼·J。（编辑）准一致逻辑。论文内容不一致。慕尼黑，《弗拉格哲学》，第187-217页·Zbl 0695.03011号
[2] Batens，D.（1995）。阻碍。逻辑动态方面的线索。逻辑与分析，150–152，285–328。出现于1997年·Zbl 0974.03008号
[3] Batens，D.（1999）。不一致自适应逻辑。在Orłowska（1999），第445–472页·Zbl 0923.03036号
[4] Batens D.（2000）。统一不一致处理机制。逻辑与逻辑哲学8:5-31。出现于2002年·Zbl 1005.03508号
[5] Batens，D.（2001）。自适应逻辑的一般特征。逻辑与分析，173-175，45-68。出现于2003年·Zbl 1047.03017号
[6] Batens D.（2002）。为处理不一致的程序辩护。摘自：Meheus J.（ed）科学中的不一致。多德雷赫特，克鲁沃，第129-150页
[7] Batens D.（2005）。不一致自适应逻辑中最终可导性的过程标准。应用逻辑杂志3:221-250·Zbl 1063.03010号 ·doi:10.1016/j.jal.2004.07.018
[8] Batens D.（2007）。自适应逻辑的通用逻辑方法。Logica Universalis 1:221–242号·Zbl 1116.03019号 ·doi:10.1007/s11787-006-0012-5
[9] 贝茨，D.（200倍）。走向动态证明的对话解释。出现在沙希德·拉赫曼的节日里·Zbl 1244.03154号
[10] Batens，D.和Meheus，J.（2000）。不一致自适应逻辑的表方法。在R.Dyckhoff（Ed.）中，使用分析表和相关方法进行自动推理。人工智能课堂讲稿（第1847卷，第127-142页）。斯普林格·Zbl 0963.03007号
[11] Batens，D.和Provijn，D.（2001）。推动校样中的搜索路径。关于证明启发式的研究。逻辑与分析，173–175，113–134。出现于2003年·Zbl 1054.03008号
[12] Batens D.、Meheus J.、Provijn D.、Verhoeven L.（2003）。一些用于诊断的自适应逻辑。逻辑与逻辑哲学11/12:39–65·Zbl 1117.03327号
[13] Benferhat S.、Dubois D.、Prade H.（1997）。处理不一致知识库的一些句法方法：比较研究部分。1：扁平的箱子。逻辑研究58：17–45·Zbl 0867.68100号 ·doi:10.1023/A:1004987830832
[14] Benferhat，S.、Dubois，D.和Prade，H.（1999）。处理不一致知识库的一些句法方法：比较研究。第2部分：优先案例。在Orłowska（1999）中，第473–511页·Zbl 0930.68149号
[15] Boolos，G.S.、Burgess，J.P.和Jeffrey，R.J.（2002）。可计算性和逻辑。剑桥大学出版社（第四版）·Zbl 1014.03001号
[16] Halonen I.，Hintikka J.（2005）。走向解释过程的理论。合成143:5–61·Zbl 1076.03506号 ·doi:10.1007/s11229-005-3113-4
[17] Horsten L.，Welch P.（2007年）。命题自适应逻辑的不可判定性。合成158:41–60·Zbl 1126.03034号 ·doi:10.1007/s11229-006-9049-5
[18] Martin E.，Osherson D.N.（1998年）。科学探究的要素。马萨诸塞州剑桥市，麻省理工学院出版社·Zbl 0957.03021号
[19] Meheus，J.（2001）。问题唤起的自适应逻辑。逻辑与分析，173–175，135–164。出现于2003年·Zbl 1047.03019号
[20] 或łowska E.（ed）（1999年）。工作中的逻辑——纪念海伦娜·拉西奥瓦的散文。纽约海德堡，Physica Verlag（Springer）·兹比尔0910.00016
[21] Rescher N.（1964）。假设推理。荷兰北部阿姆斯特丹·Zbl 0166.25204号
[22] Rescher N.（1973年）。真理的连贯理论。牛津，克拉伦登
[23] Rescher N.，Manor R.（1970年）。根据不一致的前提进行推断。理论与决策1：179–217·兹伯利0212.31103 ·doi:10.1007/BF00154005
[24] Verdée，P.（200x）。使用最小异常策略的自适应逻辑是{\（\Pi\）}1 1-complex（即将推出）·Zbl 1172.03018号
[25] Verhoeven，L.（2001）。所有前提都是平等的，但有些前提比其他前提更平等。逻辑与分析，173-175165-188。出现于2003年·Zbl 1051.03017号
[26] Wiśniewski A.（1995年）。提出问题。情色推理的逻辑基础。克卢韦尔·多德雷赫特
[27] Wi sh niewski A.（1996年）。作为性爱论证理论的问题逻辑。合成109:1–25·Zbl 0934.03010号 ·doi:10.1007/BF00413820
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。