您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

卡尔纳普的量化模态逻辑形式语义学

发布时间:2019-04-24 05:30 来源:未知 编辑:admin

  鲁道夫.卡尔纳普首次为模态逻辑提供了语义学理论。他也第一个为量化理论与模态逻辑(S4和S5类型)相组合的逻辑类型提供了公理系统。他将三个伟大哲学家的学术传统汇集于一身。弗雷格使他对语义学产生了兴趣,并帮助他掌握了对涵与外延相区别的方法;从莱布尼茨那里他吸取了把必然分析为在所有的可能世界为真这一重要思想;而维特根斯坦的某些思想则形成了卡尔纳普自身工作的某些部分的起点。卡尔纳普给出了状态描述的定义,指出状态描述代表莱布尼茨的可能世界或者维特根斯坦的事物的可能状态。为解释量词,卡尔纳普引入了个体概念的概念。

  冯立荣;刘叶涛;;可能世界是什么[J];燕山大学学报(哲学社会科学版);2007年04期

  陈素艳;从极端实在论和温和实在论之争看模态逻辑本体论问题[D];山西大学;2009年

  荣立武;李建华;;内涵与本质属性[J];湖南科技大学学报(社会科学版);2010年02期

  潘沁;;鲁道夫·卡尔纳普概率确证理论及其方法论意义[J];广西师范大学学报(哲学社会科学版);2007年02期

  曾庆福;;克里普克的历史的因果命名理论评析[J];河南社会科学;2006年02期

  周祯祥;;现代模态逻辑的多元视野[J];华南师范大学学报(社会科学版);2006年05期

  掩面疾走;我以我血荐檀君 [安重根传][J];电影评介;2005年08期

  张力锋;;当代西方模态哲学研究及其意义[J];哲学动态;2005年12期

  马亮;意义与分析性:争论与评价[J];广西大学学报(哲学社会科学版);2004年03期

  胡茑庆;胡雷;秦国军;;面向机电系统状态监控的新异类检测技术分析[A];2008年全国振动工程及应用学术会议暨第十一届全国设备故障诊断学术会议论文集[C];2008年

  陈志强;;P16基因甲基化与自身免疫性皮肤病[A];中华医学会第十二次全国皮肤性病学术会议论文集[C];2006年

  张珏;张玥;;智能控制在复杂经济大系统中的应用初探[A];科学发展观与系统工程——中国系统工程学会第十四届学术年会论文集[C];2006年

  赵春华;高虹亮;严新平;谭宗柒;;基于可拓模型的滑动磨损状态的定量描述研究[A];2006全国摩擦学学术会议论文集(一)[C];2006年

  史建港;陈艳艳;任福田;荣建;;无信号灯控路段人行横道行人过街交通特性分析[A];第四届亚太可持续发展交通与环境技术大会论文集[C];2005年

  郝希云;徐昕;;(HF)_4~-与(HF)_5~-负离子团簇异构体的成键性质及稳定性[A];中国化学会第九届全国量子化学学术会议暨庆祝徐光宪教授从教六十年论文摘要集[C];2005年

  杨炳儒;李龙星;李卫东;;专家系统中一类不确定因果归纳自动推理机制研究[A];2005中国控制与决策学术年会论文集(下)[C];2005年

  周荣官;陆鼎铭;;目前粉喷桩施工质量现状的一点分析[A];地基处理理论与实践——第七届全国地基处理学术讨论会论文集[C];2002年

  孔红;;逻辑真理与分析性、必然性[A];2001年逻辑研究专辑[C];2001年

  熊立文;;卡尔那普与简单枚举法[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

  朱宝琛;财政部银监会出台办法规范金融资产处置公告管理[N];证券日报;2008年

  记者 张宏川;“城管快车”:城市管理的“110”[N];昆明日报;2007年

  本报评论员 徐立凡;中国需要什么样的“思想市场”[N];华夏时报;2006年

  记者 宋焱;《报告》重心在于为公众提供充分信息[N];金融时报;2006年

  安跃军;深海机器人推进电机混沌现象研究[D];沈阳工业大学;2005年

  赵春华;基于摩擦学与动力学的摩擦学系统状态描述方法研究[D];武汉理工大学;2005年

  张秀斌;视情维修决策模型及应用研究[D];中国人民解放军国防科学技术大学;2003年

  冯升波;磁测残余应力法的基本理论和实验研究[D];清华大学;1997年

  程传宁;AHB-PC Card桥IP核数据通路设计与实现[D];电子科技大学;2007年

  高亚格;多传感器信息融合中态势估计方法研究[D];兰州理工大学;2006年

  吴庭涛;基于广义键合图法的机电一体化产品集成设计研究[D];南京理工大学;2005年

  郝春雨;新型带式烧结机设计理论研究及其参数化[D];燕山大学;2004年

http://39-5963.net/gongliyuyi/10.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有