-
题名人类思维的逻辑工具:雅科·亨迪卡的学术贡献
- 1
-
-
作者
伊尔卡·尼尼罗托
徐召清
-
机构
四川大学哲学系
-
出处
《河南社会科学》
CSSCI
北大核心
2019年第7期94-100,共7页
-
基金
国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”(17ZDA024)
国家留学基金委公派访问学者项目(201806245025)
-
文摘
亨迪卡的众多研究项目之一名为“人类思维的逻辑工具及其历史”,这实际上是对这位逻辑学大师一生工作的恰当总结。他开创了数理逻辑和哲学逻辑中的几种新方法和新系统,其中包括分配范式、模型集、可能世界语义学、认知逻辑、信念逻辑、归纳逻辑、语义信息、博弈语义学、探究的询问方法和独立友好逻辑。他将其用于研究语言哲学、形式认识论和科学哲学的问题。他将系统性的工作与对亚里士多德、莱布尼茨、康德、皮尔士和维特根斯坦等重要历史人物的全新解释相结合。亨迪卡是被引用次数最多的分析哲学家之一,他对逻辑和哲学的影响,还在于他是一位成功的教师和期刊《综合》(Synthese)的长期主编。
-
关键词
认知逻辑
博弈语义学
独立友好逻辑
归纳逻辑
探究的询问模型
可能世界语义学
-
Keywords
SEpistemic logic
Game-theoretical Semantics
independence-friendly logic
Inductive logic
Interrogative Model of Inquiry
Possible-worlds Semantics
-
分类号
C9
[经济管理]
-
-
题名论亨迪卡的博弈逻辑观
- 2
-
-
作者
颜中军
-
机构
湖南科技大学人文学院
-
出处
《贵州工程应用技术学院学报》
2018年第4期64-69,共6页
-
基金
湖南省教育厅资助项目"面向自然语言信息处理的博弈论语义学研究"
项目编号:16A077
-
文摘
如何准确把握逻辑的本质、范围及目标,是逻辑哲学至关重要且亟待解决的问题。当代著名逻辑学家、认知逻辑与博弈论语义学的创始人雅各·亨迪卡从历史维度揭示了逻辑的起源,认为逻辑教学和研究的目标应该是获得最佳推理,而不是推论形式的有效性,逻辑本质上是以规则为导向的游戏活动,不仅包括限定规则,还包括策略规则。现代逻辑过分强调限定规则,忽视了策略规则,从而缩小了逻辑的范围,降低了逻辑的目标。受到亚里斯多德、康德以及维特根斯坦等先哲影响,在吸收现代逻辑技术和数学博弈论的基础之上,亨迪卡发展出了IF逻辑及其博弈论语义学,旨在改变目前逻辑教学和研究的窘境,力图恢复古典逻辑观念,使之成为真正有用的探究工具。
-
关键词
雅各·亨迪卡
策略规则
IF逻辑
问答逻辑
博弈论语义学
-
Keywords
J.Hintikka
Strategic Rules
independence-friendly logic
interrogative logic
Game-theoretical Semantics
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名IF逻辑与IF模态逻辑
- 3
-
-
作者
满海霞
-
机构
北京科技大学外国语学院
-
出处
《毕节学院学报（综合版）》
2013年第9期53-57,共5页
-
基金
国家社科基金重大项目"自然语言信息处理的逻辑语义学"成果之一
项目编号:10&ZD073
+3 种基金
北京科技大学青年科研项目"组合范畴语法基础理论研究"成果之一
项目编号:06112021
教育部人文社会科学基金项目"面向自然语言信息处理的组合范畴语法研究"成果之一
项目编号:12YJCZH153
-
文摘
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出。欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词。为了刻画这种现象,他向一阶量词逻辑引入一个独立指针"/",表示指针上面的量词与指针下面的量词不存在依赖关系。IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑。之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑。IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题。
-
关键词
IF逻辑
独立友好
IF模态逻辑
-
Keywords
IF logic
independence friendly
IF Modal logic
-
分类号
B81
[哲学宗教—逻辑学]
-
