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

试论“基数量词”

张维真  
【摘要】:正“基数量词”通过量词的基数函项来定义,是一种广义量词。它的出现,是因为现代逻辑的发展表明了全称量词和存在量词不足以表达我们要论述的东西。例如,模型论的一些定理说明有限、可数、良序等概念不能用一阶逻辑表示出来;应用逻辑分支的发展也需要借助新的逻辑量词。因而,莫斯坦斯基于1957年提出了一种新的语言算子,他称之为“基数量

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 马明辉;;走向模型论的模态逻辑[J];逻辑学研究;2009年01期
2 栾静闻;关于一阶逻辑形式系统中概括规则的注记[J];江汉大学学报;1996年06期
3 熊立文;;冯·赖特与排除归纳法[J];北京师范大学学报(社会科学版);2006年02期
4 夏素敏;;无变元的一阶片段:Fluted逻辑[J];哲学动态;2009年04期
5 刘新文;;函数完备性问题[J];重庆理工大学学报(社会科学);2011年08期
6 J.亨迪卡,G.桑朵,陈波;逻辑学中的一场革命?[J];哲学译丛;1999年04期
7 张维真;“多数”的逻辑解析[J];思维与智慧;1994年01期
8 张维真;广义量词理论述评[J];中州学刊;1994年06期
9 孤鹤;;哥德尔的一阶逻辑完全性证明的原始版本(英文)[J];逻辑学研究;2011年01期
10 张维真;论莱舍尔的“较大数”量词理论[J];河北大学学报(哲学社会科学版);1994年03期
11 陈波;意义理论在逻辑学中的重要地位[J];求索;1989年03期
12 孙明湘,李建华;关系命题的语形和语义——一个逻辑分析的实例[J];湖南科技大学学报(社会科学版);2004年02期
13 冯艳;;自由逻辑中的存在问题[J];哲学动态;2010年08期
14 张清宇;不用联结词和量词的一阶逻辑系统[J];哲学研究;1996年05期
15 邱文;;一阶逻辑推理有效性的探析[J];海南大学学报(自然科学版);2006年02期
16 熊明;;一阶逻辑的内涵语义[J];湖南科技大学学报(社会科学版);2006年06期
17 R.蒙太格,周祯祥;逻辑必然,物理必然,伦理学和量词[J];哲学译丛;1999年04期
18 孙英;论前期维特根斯坦的逻辑真理观[J];学海;2001年02期
19 周平;姜明;徐扬;;LF(X)中带广义量词的可靠性定理[J];模糊系统与数学;2008年02期
20 王路;;函数结构——纪念弗雷格的《概念文字》发表130周年[J];哲学研究;2009年11期
中国重要会议论文全文数据库 前10条
1 张维真;;试论“基数量词”[A];1993年逻辑研究专辑[C];1993年
2 陈图云;刘新友;;模糊基数量词初论[A];1994年逻辑研究专辑[C];1994年
3 张尚水;;沈有鼎的数理逻辑工作[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
4 张维真;;论“蒯因的教条”——关于逻辑常项与逻辑真[A];1995年逻辑研究专辑[C];1995年
5 刘壮虎;;复合谓词的逻辑系统[A];2000年逻辑研究专辑[C];2000年
6 刘新文;;一阶逻辑函数完备性和逻辑常项问题[A];科学发展:社会管理与社会和谐——2011学术前沿论丛(上)[C];2011年
7 黄华新;胡龙彪;;逻辑的内在机制与研究对象——兼评《逻辑的观念》[A];2001年逻辑研究专辑[C];2001年
8 张力锋;;一阶量词的逻辑哲学考察[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
9 刘壮虎;;几类性质词的逻辑特征[A];第二届中国南北哲学论坛暨“哲学的当代意义”学术研讨会论文集[C];2005年
10 王学刚;;量词与字母[A];1993年逻辑研究专辑[C];1993年
中国博士学位论文全文数据库 前2条
1 张立娜;个体词的逻辑语义[D];清华大学;2007年
2 戴细华;多值逻辑语义博弈[D];中山大学;2006年
中国硕士学位论文全文数据库 前10条
1 谢颖;归纳逻辑程序设计初探[D];北京师范大学;2008年
2 史经霞;动态语境下的确证悖论研究[D];河南大学;2008年
3 史璟;试论逻辑语言的发展[D];河南大学;2006年
4 倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年
5 范微微;动态蒙太格语法对经典驴子句处理的发展[D];西南大学;2008年
6 闫小宇;塔尔斯基真之语义论研究[D];河南大学;2008年
7 薛彩霞;试论话语表现理论与动态谓词逻辑[D];河南大学;2008年
8 张保垒;表列演算探究[D];华东师范大学;2011年
9 孙华程;言说的逻辑与沉默之域[D];西南师范大学;2002年
10 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年
中国重要报纸全文数据库 前1条
1 江怡 中国社会科学院哲学研究所;维也纳学派的分析概念[N];中国社会科学报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978