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

模态逻辑·形式语义·文本符号

王阳  
【摘要】:正本文企图通过简单例子,讨论建立一种形式化的文本理论的可能性和存在的问题。 (1)p:一个男人举起了一根棍子,棍子中间有一根骨头。 (2)q:一个男人举起了弓箭。在外延逻辑中(1)(2)两句的意义由两个不相干的客观事件决定,p,q为真的条件是在句子外确实客观地存在着比如说手里举着棍子和骨头的驯狗师

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期
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];2003年逻辑研究专辑[C];2003年
2 熊立文;;用认知逻辑刻画简单枚举法[A];2001年逻辑研究专辑[C];2001年
3 唐晓嘉;陈树文;;认知逻辑的几个语义问题分析[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
4 陈晓华;;逻辑全能问题研究述评[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
5 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
6 郭泽深;胡浩;;真正的可能性和必然性[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
7 周北海;毛翊;;一个关于常识推理的基础逻辑[A];2003年逻辑研究专辑[C];2003年
8 张立英;周北海;;基于主谓项涵义联系的概称句推理的几个逻辑[A];2004年逻辑研究专辑[C];2004年
9 陈晓平;;谈谈虚拟蕴涵问题[A];1996年逻辑研究专辑[C];1996年
10 张建军;;逻辑全能问题与动态认知逻辑[A];2000年逻辑研究专辑[C];2000年
中国博士学位论文全文数据库 前10条
1 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年
2 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
3 张君;知道逻辑中的知识可传递性问题研究[D];清华大学;2008年
4 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年
5 周允程;第一人称信念的哲学研究[D];清华大学;2008年
6 张力锋;模态逻辑和本质主义[D];北京大学;2004年
7 荣立武;内涵逻辑的哲学基础[D];中山大学;2006年
8 张立娜;个体词的逻辑语义[D];清华大学;2007年
9 聂大海;语言指称的同一性与必然性[D];吉林大学;2011年
10 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年
中国硕士学位论文全文数据库 前10条
1 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年
2 麻鹤腾;可能世界的几个基本理论问题[D];河南大学;2011年
3 刘珂;动态认知逻辑发展初探[D];河南大学;2008年
4 徐晔翀;论可能世界语义学中的个体跨界的同一性问题[D];华东师范大学;2010年
5 萧瑶;信念修正逻辑初探[D];西南大学;2008年
6 张丽;时态公开宣告逻辑初探[D];西南大学;2009年
7 彭展;S6 系统的语义解释[D];西南师范大学;2002年
8 刘国锋;D·刘易斯的可能世界理论——模态实在论研究[D];华南师范大学;2003年
9 吕进;同一性与指称理论评析[D];西南师范大学;2005年
10 周步晟;模态逻辑中事物模态引起的相关问题研究[D];苏州大学;2008年
中国重要报纸全文数据库 前4条
1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
2 陈慕泽;多主体系统中的互知[N];光明日报;2000年
3 华东师范大学 冯棉;逻辑科学,将充满活力[N];社会科学报;2004年
4 韩林合;探寻维特根斯坦的永恒价值[N];中华读书报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978