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

名辞逻辑系统MC

张清宇  
【摘要】:正在萨默斯的专著The Logic of Natural Language中,麦金托希以形式化的形式建立了传统逻辑的一个扩充并证明了它的可靠性和完全性。这里所谓的传统逻辑是指关于词项(包括普遍名词和单称名词,我称之为类名和私名)的逻辑。他的系统包容了萨默斯在一系列论文中所阐述的思想的一个基本框架。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期
2 蔡曙山;白晨;衣新发;韩旭;;推理在学习与认知中的作用[J];重庆理工大学学报(社会科学);2011年08期
3 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期
4 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期
5 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期
6 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期
7 张世亮;;颜师古《玄言新记明老部》的诠释体例与思想特色[J];社科纵横;2011年05期
8 吴新民;;时态逻辑与时间思想的语言哲学维度[J];湖南社会科学;2011年04期
9 陈满铭;;文本解析的专业化[J];湘南学院学报;2011年04期
10 谭智奇;;探析逻辑哲学“不是什么”和“是什么”[J];传承;2011年21期
11 杨熙媛;刘芳;;逻辑实证主义科学观[J];安徽文学(下半月);2011年08期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 张清宇;;名辞逻辑系统MC[A];科学发展:文化软实力与民族复兴——纪念中华人民共和国成立60周年论文集(下卷)[C];2009年
2 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年
3 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
4 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年
5 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年
6 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
7 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年
8 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
9 李学勇;弓娟;廖智锋;;结肠黑变病(MC)[A];中医肛肠理论与实践——中华中医药学会肛肠分会成立三十周年纪念大会暨二零一零年中医肛肠学术交流大会论文汇编[C];2010年
10 杜国平;;金岳霖逻辑观述评[A];2000年逻辑研究专辑[C];2000年
中国博士学位论文全文数据库 前10条
1 冯彦波;合并逻辑方法研究[D];南开大学;2010年
2 罗建强;面向MC的供应链延迟生产系统研究[D];南京理工大学;2009年
3 赵启兰;大规模定制(MC)物流服务能力研究[D];北京交通大学;2010年
4 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
5 李婷;光在三维结构组织中传输的MC模拟及脑功能成像研究[D];华中科技大学;2010年
6 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
7 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
8 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
9 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
10 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年
中国硕士学位论文全文数据库 前10条
1 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年
2 陈启;东莞MC律师事务所营销策略研究[D];兰州大学;2011年
3 陈坤;基于有限元法的MC尼龙斜齿轮性能分析[D];湘潭大学;2011年
4 邓向阳;MC公司供应商质量管理模式与应用研究[D];电子科技大学;2011年
5 张庚秋;MC公司薪酬体系研究与设计[D];西南财经大学;2010年
6 吴坤;MC尼龙管材离心成型机的绿色设计研究[D];合肥工业大学;2012年
7 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年
8 贾魏玮;纳米MC颗粒在溶剂中分散稳定性的研究[D];南京理工大学;2012年
9 王立群;益气活血清热法对萎缩性胃炎癌前病变及MC细胞增殖与凋亡的影响[D];南京中医药大学;2011年
10 成建兵;面向大规模定制MC的产品族研发平台研究与实现[D];南京理工大学;2011年
中国重要报纸全文数据库 前10条
1 正奇编译;McNealy能否坚持到底?[N];网络世界;2002年
2 欧飒;未能独霸“Mc”使用权,麦当劳输给“麦咖喱”[N];新华每日电讯;2009年
3 本报记者 汪洪华;“信息爆炸”要SAN处理[N];中国计算机报;2000年
4 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
5 本报记者 马文方;微软泡在协同里[N];计算机世界;2002年
6 小M;对E-mail病毒说不[N];中国电脑教育报;2002年
7 ;Lucent缘何风光不再[N];计算机世界;2000年
8 本报记者 龚杰;电子商务从需求开始[N];计算机世界;2001年
9 ;软件业的未来[N];计算机世界;2000年
10 ;Lucent的复兴[N];计算机世界;2000年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978