奎因与量化模态逻辑的发展

发布时间：2018-06-03 08:00

  本文选题：量化 + 模态逻辑　； 参考：《湖南科技大学学报(社会科学版)》2010年05期

【摘要】：奎因在20世纪40年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态逻辑系统,并给出相应语义解释和完全性,使特定的模态系统具有正确的句法和语义,因此部分回答了奎因提出的挑战。另一方面,人们从哲学上提出各种不同的对"模态个体"的说明。我们详细讨论奎因提出的问题,简要说明量化模态逻辑的发展。最后的结论是,虽然关于量化和模态的关系的技术处理取得了大量有意思的结果,但从哲学上看,我们仍然需要一种对模态个体、内涵、同一等概念的恰当解释。
[Abstract]:Quinn put forward the problem of explaining quantized modal logic in 1940s, and considered that the standard quantization and modal can not be combined. The logician tried various solutions. Because of the wide application of Kripke semantics, logicians have found out some quantitative modal logic systems, and given the corresponding semantic interpretation and completeness, so that the specific modal system has the correct syntax and semantics. So part of the answer to Quinn's challenge. On the other hand, people put forward a variety of philosophical explanations of "modal individuals". We discuss the problem posed by Quinn in detail and briefly explain the development of quantitative modal logic. The final conclusion is that although the technical treatment of the relationship between quantization and mode has achieved a lot of interesting results, we still need a proper explanation of the concepts of modal individual, connotation and identity from a philosophical point of view.
【作者单位】： 中央财经大学现代逻辑研究所;
【分类号】：B815.1

【相似文献】

相关期刊论文 前10条

1 周佳;;王国维文艺美学观管窥[J];襄樊职业技术学院学报;2010年01期

2 小习;;职业习惯[J];人才资源开发;2010年01期

3 刘再复;;《红楼梦》与中国哲学——论《红楼梦》的哲学内涵[J];渤海大学学报(哲学社会科学版);2010年02期

4 张云丽;;试论山水画题诗的内容及审美特征[J];艺术与设计(理论);2010年03期

5 徐艳;;寓奇险于古朴的语言追求——“吴均体”内涵考辨[J];中国文学研究;2010年01期

6 张瑞;;从汉语传统中两种“文学”观念看第三次“重写文学史”的趋势[J];中华女子学院学报;2010年01期

7 李晓鲁;杨艳红;;浅析品味艺术的格调[J];艺术与设计(理论);2010年03期

8 顾冉;;对于人生的艺术化的一点感想[J];知识经济;2010年03期

9 余平;;老板好书[J];中外企业文化;2010年03期

10 王溱;;年轻的内涵[J];商周刊;2010年06期

相关会议论文 前10条

1 胡四莲;;构建和谐校园的内涵初探[A];国家教师科研基金十一五阶段性成果集（湖南卷）[C];2010年

2 向宏茂;;浅谈构建和谐政治课堂的策略[A];国家教师科研基金十一五阶段性成果集（湖北卷）[C];2010年

3 方晓东;;我国确立实施人才强国战略的过程及意义[A];教育的传统与变革——纪念《教育史研究》创刊二十周年论文集（三）[C];2009年

4 曲铁华;梁清;;略论蔡元培的科学教育思想[A];教育的传统与变革——纪念《教育史研究》创刊二十周年论文集（一）[C];2009年

5 陈建业;崔惠珊;;资源节约、环境友好型公路内涵与建设理念研究[A];中国环境科学学会2009年学术年会论文集（第四卷）[C];2009年

6 张艳;;绿色包装与标准化[A];天津市电视技术研究会2009年年会论文集（2）[C];2009年

7 张华;张笑波;赵宏杰;林宇春;;证的量化与临床数据的定性的方法学理论基础[A];中国中西医结合学会诊断专业委员会2009’年会论文集[C];2009年

8 姜智浩;陆一竹;;中医辨证治疗对冠心病患者舌象影响的观察[A];中国中西医结合学会诊断专业委员会2009’年会论文集[C];2009年

9 张华;张笑波;赵宏杰;林宇春;;证的量化与临床数据的定性的方法学理论基础[A];2009全国时间生物医学学术会议论文集[C];2009年

10 谭坚;屈婉霞;庞征斌;徐炜遐;;基于SMT求解器的谓词抽象[A];中国电子学会第十六届信息论学术年会论文集[C];2009年

相关重要报纸文章 前10条

1 本报记者 瑞萍;自信的小鱼 缤纷的大海[N];中国教育资讯报;2002年

2 记者 张可春 王金法 通讯员 鞠迅;干得好不好看价值分多少[N];中国石化报;2002年

3 杨健 车晓蕙 李晓岗;看顺德推进农村城市化[N];发展导报;2002年

4 金贸;我国境外投资管理走向量化[N];国际商报;2002年

5 iCan SP公司首席执行官 Nancy Li;服务管理：量化IT服务[N];计算机世界;2002年

6 中国管理科学院特邀研究员 孟宪炬;成长型企业 跳出羊群思维[N];中国经营报;2002年

7 本报记者 刘幼萍;细化、量化、规范化[N];证券时报;2002年

8 赵宗雄;职位评估的目的方法与运用[N];组织人事报;2002年

9 颜秋许;职工不该是风险承担者[N];组织人事报;2002年

10 福建上杭县人事局局长 范志喜;抓住关键 推行量化考核[N];中国人事报;2001年

相关博士学位论文 前10条

1 胡永红;有效体育教学的理论与实证研究[D];福建师范大学;2009年

2 周勇;中国政府绩效审计问题研究[D];东北师范大学;2008年

3 韩永胜;中国现代教育小说概论[D];东北师范大学;2008年

4 仲秀英;学生数学活动经验研究[D];西南大学;2008年

5 崔裴;中美房地产业内涵、属性及其经济与社会功能的比较研究[D];华东师范大学;2008年

6 武长海;论知识产权滥用的法律规制[D];对外经济贸易大学;2007年

7 文卫平;英汉驴子句研究[D];北京语言大学;2006年

8 薛晓琳;“疲劳”症状的规范化研究[D];北京中医药大学;2006年

9 张恒柱;远外侧锁孔入路的显微解剖学研究[D];苏州大学;2006年

10 晏怡;脑胶质瘤与颅内非胶质来源肿瘤侵袭性比较研究[D];重庆医科大学;2006年

相关硕士学位论文 前10条

1 闫生;中国特色社会主义核心价值观内涵研究[D];江西理工大学;2010年

2 朱媛媛;感兴趣区域图像压缩与可见水印技术[D];江西理工大学;2010年

3 赵卫斌;唐代园记和园林散文研究[D];西北大学;2009年

4 唐满文;困惑与争执[D];中国美术学院;2009年

5 宋静;社会主义核心价值体系建设研究[D];西南政法大学;2009年

6 王芸;论政党外交[D];中国青年政治学院;2009年

7 董芳;浅谈在演唱中对改编民歌《孟姜女》艺术特征的把握[D];首都师范大学;2009年

8 陈韬;中国私募股权基金的现状与出路探析[D];苏州大学;2009年

9 吕学红;多元文化视野下的社会主义核心价值体系建设研究[D];长安大学;2009年

10 王玮;汉英色彩词内涵差异比较研究[D];长春理工大学;2009年

，

本文编号：1972068