收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

古典命题演算的直觉主义语义分析

熊明  
【摘要】:正本文相对于直觉主义命题逻辑的克里普克关系语义给出古典命题演算的内涵特征。节1把通常的直觉主义命题逻辑的克里普克关系语义推广为T- 框架语义,为建立直觉主义命题演算的扩充系统的内涵特征提供一个一般性的构架。节2具体处理直觉主义命题演算和古典命题演算的内涵特征,从而得到古典命题演算相对于直觉主义命题逻辑的克里普克关系语义的内涵特征。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 段碧花;;试论冯特心理学中的几种对立倾向[J];社会心理科学;2011年Z1期
2 袁倩;;《沧浪诗话》英文翻译初探[J];剑南文学(经典教苑);2011年08期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 熊明;;古典命题演算的直觉主义语义分析[A];2000年逻辑研究专辑[C];2000年
2 陈自立;;直觉主义逻辑的新公理系统RH[A];1995年逻辑研究专辑[C];1995年
3 李立锋;;K-SEQ语义下经典定理的真值与“真”概念[A];1998年逻辑研究专辑[C];1998年
4 沈有鼎;张清宇;;个体和真值的演算[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年
5 张尚水;;沈有鼎的数理逻辑工作[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
6 景海峰;;汤一介先生与中国解释学的探索[A];诠释与建构——汤一介先生75周年华诞暨从教50周年纪念文集[C];2001年
7 王靖华;;华沙学派主要逻辑思想概述[A];1996年逻辑研究专辑[C];1996年
8 杨子京;;从开放的角度看悖论问题[A];1996年逻辑研究专辑[C];1996年
9 莫绍揆;;金岳霖教授对数理逻辑的贡献[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
10 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
中国博士学位论文全文数据库 前3条
1 何松旭;为什么需要道德?[D];浙江大学;2011年
2 郑树梅;C.L斯蒂文森情感主义伦理二元方法的研究[D];复旦大学;2006年
3 南文化;施沃伦企业社会责任的哲学研究[D];苏州大学;2008年
中国硕士学位论文全文数据库 前10条
1 王小刚;彭加勒的科学哲学思想[D];武汉大学;2005年
2 胡丹;现代西方元伦理学的开端[D];厦门大学;2007年
3 陈洁;G.E.摩尔元伦理直觉主义研究[D];大连理工大学;2007年
4 刘旭峰;直觉的位置[D];湖南师范大学;2004年
5 张晓华;直觉主义价值论[D];西南大学;2007年
6 李爱国;罗斯义务论直觉主义伦理思想研究[D];西南大学;2008年
7 张立林;西季威克直觉功利主义伦理思想研究[D];西南大学;2009年
8 孙勇军;论彭加勒的科学哲学思想[D];武汉科技大学;2009年
9 纪珊珊;生命意识的彰显与高扬[D];贵州大学;2008年
10 蒙博涵;管窥意象派诗歌衰败的原因[D];黑龙江大学;2006年
中国重要报纸全文数据库 前10条
1 杨国荣 陈赟;独到的解读[N];中华读书报;2001年
2 张源侠;医困惑[N];中国经营报;2007年
3 肖四新;后现代主义在中国的折射与变形[N];中华读书报;2002年
4 中央党校 侯才;中国传统哲学思维方式的特质和地位[N];中国社会科学院院报;2004年
5 本版辑文 晓慧;莱布尼茨及其哲学思想[N];中国城乡金融报;2006年
6 许涤非 中国人民大学哲学院;数学的直谓基础[N];中国社会科学报;2009年
7 宁莉娜;从非日常思维的价值维度看逻辑方法的走向[N];光明日报;2004年
8 叶秀山;哲学与科学的历史互动[N];人民日报;2003年
9 庄孔韶;我写《文化与性灵——新知片语》[N];中华读书报;2001年
10 高秀昌;中国哲学研究应充分运用逻辑分析方法[N];光明日报;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978