导读:本文包含了辛提卡论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:语义学,语言,逻辑,模型,理论,博弈论,图像。
辛提卡论文文献综述
董淑亮[1]（2018）在《辛提卡“博弈理论语义学”探析》一文中研究指出本文首先讨论维特根斯坦的图像论和塔斯基的逻辑语义学,进而探讨塔斯基逻辑语义学和图像论之间的关系,把两者做一个比较:它们的相似性在于真值函项思想和递归方法,不同之处在于前者处理形式语言的意义问题而后者处理自然语言的真假问题。正是其相似性把图像论和塔斯基的逻辑语义学联系起来,不同点把塔斯基的逻辑语义学与辛提卡的博弈理论语义学明确区分开。其次,本文探讨命名关系。命名关系是理解辛提卡博弈理论语义学的关键部分,根据辛提卡本人的文献,从命名关系的角度,不仅可以理解维特根斯坦的图像论与语言游戏论之间的关系,而且可以帮助理解辛提卡本人如何从逻辑哲学角度建立博弈理论语义学。再次,本文探讨辛提卡对日常语言中量词的处理。塔斯基的逻辑语义学是在处理形式语言意义问题上建立起来的。这种逻辑观剔除现实世界的因素,所以,其语义学在处理日常语言中量词的时候就会遇到麻烦。因此,辛提卡基于语言游戏论处理量词。最后,本文讨论辛提卡博弈理论语义学与应用。辛提卡博弈理论语义学所包含的内容比较复杂。第一,其语义学沿用塔斯基逻辑语义学的真值定义;第二,放弃对形式语言意义处理的方法,把维特根斯坦语言游戏论中对日常语言的处理办法引入到博弈理论语义学;第叁,把日常语言中对量词游戏理论的处理方式扩展到对命题联结词的处理。根据以上梳理,本论文设定章节如下。在第一章中,第一节探讨国内外相关研究现状;第二节探讨研究思路。在第二章中,第一节按照“语言与现实之间的关系”这一脉络探讨维特根斯坦的图像论,对重要概念进行解析;第二节探讨塔斯基的逻辑语义学;第叁节从两个路径探讨塔斯基的逻辑语义学和图像论之间的关系:一个是相似性,另一个是不相似性,以及对辛提卡的影响。在第叁章中,第一节按照“语言与现实之间的关系”这一脉络探讨命名关系以及图像论与语言游戏论之间的关系;第二节讨论辛提卡的量词博弈。在第四章中,第一节讨论博弈理论语义学的基本概念与语义模型;第二节讨论博弈理论语义学的应用价值。(本文来源于《西南大学》期刊2018-09-29）
孙思[2]（2009）在《辩护和扩展科学说明的演绎-定律模型的新方案——评哈洛宁和辛提卡的科学说明过程理论》一文中研究指出Halonen and Hitikka's theory of the process of explanation is a resent research approach to extend the covering law model of explanation.They claim that strict explanations are varieties of the deductive-nomological model.They propose to expound the function of covering law in explanation by introducing the covering law theorem.They describe the semantic,logical and pragmatic features in the process of explanation by means of the interrogative-nomological model,and defend some important parts of covering law.This paper comments and analyses Halonen and Hitikka's theory,explores its new conclusion of epistemology,and puts forward the author's rational opinions.(本文来源于《哲学研究》期刊2009年10期）
郭美云[3]（2003）在《辛提卡IF一阶逻辑研究》一文中研究指出雅各·辛提卡(Jaakko Hintikka 1929—)是当今国际逻辑学界和哲学舞台上极为活跃和富有影响的着名逻辑学家和哲学家。上世纪90年代他在博弈论语义学(game-theoretical semantics) 的基础上提出并建立了IF-阶逻辑(Independence-Friendly first-order logic)，并宣称它是真正基本的一阶逻辑，由此将导致逻辑和数学基础研究中的一场杰佛逊意义上的革命。本文在古有第一手资料的基础之上，运用现代逻辑的方法，主要从语形和语义两方面对IF一阶逻辑进行研究。 全文共四部分。 第一部分：从对量词的讨论入手，分析了IF一阶逻辑与经典一阶逻辑在形式上的区别和联系。 第二部分：介绍了博弈论语义学的哲学背景，并探导了博弈论语义学是如何用于解释经典一阶逻辑和IF一阶逻辑的，最后证明了IF一阶逻辑的不完全性。 第叁部分：在前面研究的基础之上，对IF一阶逻辑展开一些讨论和评价。指出IF一阶逻辑的真定义依然是二阶定义；IF一阶逻辑上的有效式只是特定模型上的有效；IF一阶逻辑无法建构起一个真正的逻辑系统；IF一阶逻辑不是真正基本的一阶逻辑。但博弈论语义学可以作为真之条件的语义分析工具，IF一阶逻辑表达能力大大得到了增强，并为一阶逻辑和二阶逻辑之间架起了一座桥梁。 第四部分：介绍了IF一阶逻辑在认知逻辑和数学基础方面的一些作用。IF一阶逻辑可用于分析认知逻辑中的Wh一结构和证明选择公理是一有效的逻辑原则。(本文来源于《西南师范大学》期刊2003-04-01）
唐晓嘉[4]（2001）在《辛提卡语言博弈理论分析》一文中研究指出辛提卡提出的语言博奕论旨在提供一种能用于系统分析语言与世界联系的理论工具。本文重点分析了辛提卡为一阶理论建立的"寻找且找到博奕"。它的理论渊源是维持维根斯坦的"语言活动"论。它仍以可能世界论为基础,与形式逻辑的理论模型集合论密切联系,以致辛提卡称后者为"室内博奕"。文章最后讨论了语言博奕论给我们的理论启示。(本文来源于《逻辑研究专辑》期刊2001年00期）
唐晓嘉[5]（2001）在《辛提卡语言博弈理论分析》一文中研究指出辛提卡提出的语言博奕论旨在提供一种能用于系统分析语言与世界联系的理论工具。本文重点分析了辛提卡为一阶理论建立的“寻找且找到博奕”。它的理论渊源是维持维根斯坦的“语言活动”论。它仍以可能世界论为基础,与形式逻辑的理论模型集合论密切联系,以致辛提卡称后者为“室内博奕”。文章最后讨论了语言博奕论给我们的理论启示。(本文来源于《2001年逻辑研究专辑》期刊2001-06-30）
唐晓嘉[6]（2000）在《试析辛提卡的语言博弈论》一文中研究指出辛提卡提出语言博弈理论旨在建立一种能用于系统分析或摹拟人的认识活动的过程及其结果的理论。这一理论以可能世界理论为基础 ,它把形式逻辑的模型集合建构看做一种特殊的博弈活动 ,用“寻找且找到博弈”描述以现实为对象的语言活动 ,并刻画了两种博弈之间的联系。“寻找且找到博弈”不同于运算 ,它的结局不是预先可断定的 ;而这一博弈规则是制约着语句F的整个证实过程的规则。(本文来源于《西南师范大学学报(人文社会科学版)》期刊2000年04期）
辛提卡论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Halonen and Hitikka's theory of the process of explanation is a resent research approach to extend the covering law model of explanation.They claim that strict explanations are varieties of the deductive-nomological model.They propose to expound the function of covering law in explanation by introducing the covering law theorem.They describe the semantic,logical and pragmatic features in the process of explanation by means of the interrogative-nomological model,and defend some important parts of covering law.This paper comments and analyses Halonen and Hitikka's theory,explores its new conclusion of epistemology,and puts forward the author's rational opinions.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
辛提卡论文参考文献
[1].董淑亮.辛提卡“博弈理论语义学”探析[D].西南大学.2018
[2].孙思.辩护和扩展科学说明的演绎-定律模型的新方案——评哈洛宁和辛提卡的科学说明过程理论[J].哲学研究.2009
[3].郭美云.辛提卡IF一阶逻辑研究[D].西南师范大学.2003
[4].唐晓嘉.辛提卡语言博弈理论分析[J].逻辑研究专辑.2001
[5].唐晓嘉.辛提卡语言博弈理论分析[C].2001年逻辑研究专辑.2001
[6].唐晓嘉.试析辛提卡的语言博弈论[J].西南师范大学学报(人文社会科学版).2000
论文知识图
