-
题名真理概念的起源
- 1
-
-
作者
M.达米特
陈健
-
出处
《世界哲学》
1994年第4期25-33,共9页
-
文摘
1976年,普特南在题为“意义与知识”的洛克讲座中开头就指出:“真理的本质是哲学中极为古老的问题。”该问题无疑引起了普特南的极大兴趣。在我看来,在极少数能抓住问题症结的哲学家中,他是出类拔萃的。然而本文要讨论的不是这个问题,而是一个前提性的问题,即我们究竟是如何获得真理概念的? 按照弗雷格以及随后维特根斯坦在《逻辑哲学论》中的看法,假如真理概念在某一思想的内容中具有中心地位,那么它的应用中的不确定性又是怎么回事呢?这种不确定性的最显著的例子,就是关于自然语言陈述条件式的真值这一悬而未决的问题。对弗雷格、《逻辑哲学论》,实际上还有戴维森来说,说明一个陈述应该为真的条件之间的差别,必须反映对该陈述的解释的一种差别;或者,反映以该陈述表达的思想的差异。然而,对陈述条件式有争议的哲学家无疑都以完全一致的方式理解这些陈述条件式。他们之间的分歧在于如何把真理概念应用到这些条件式中。如果弗雷格等人是正确的。如果实际上大家对陈述条件式的含义看法一致。为何在使用真理概念时曾出现不确定性呢?
-
关键词
真理概念
可辩护性
条件式
自然语言
真值条件
语句
将来时
直觉主义者
语言行为
量词限定
-
分类号
B02
[哲学宗教—哲学理论]
-
-
题名直言判断的量词与周延性问题
- 2
-
-
作者
王静
-
出处
《重庆师范大学学报(哲学社会科学版)》
1999年第4期107-110,共4页
-
-
关键词
直言判断
周延性
量词限定
形式逻辑
全称量词
“例外论”
“有些”
大一学生
普通逻辑
传统逻辑
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名一个约束逻辑的消解原理
- 3
-
-
作者
何翠红
-
机构
广东工业大学计算机科学与工程系
-
出处
《广东工学院学报》
1996年第4期64-70,共7页
-
文摘
为变量受约束理论约束的子句引入一种消解原理的约束逻辑方法。约束可看成量词限制,滤去那些约束理论的任何解释都可指定给带有这样的限定量词公式的变量值。本文提出了一种约束子句的消解原理,其中测试是否满足约束理论的约束取代了一致化。研究表明,如果约束子句集不满足约束理论当且仅当对约束理论的每一模型,能推出一约束空子句,而该空子句的约束在模型中是可满足的。
-
关键词
量词限定
约束逻辑
消解原理
推广规则
谓词逻辑
-
Keywords
resolution
constraint
quantifier restriction
-
分类号
O141.12
[理学—数学]
-
-
题名基于焦点信息量化讨论的存现句类型分析
被引量:2
- 4
-
-
作者
侯敏
李丽丽
-
机构
太原科技大学外国语学院
-
出处
《华北水利水电大学学报(社会科学版)》
2017年第5期127-130,共4页
-
基金
山西省科技厅软科学研究项目"旅游外宣翻译创新促进山西旅游业发展的研究"(2016041011-4)
-
文摘
作为自然语言逻辑重要组成部分的广义量词理论在国内还未引起广泛关注。将该理论与语言研究结合起来,根据强弱性质的不同,量词可分为比例量词限定词和基数量词限定词。通过焦点信息的量化分析将英语存现句分成四类:表示基本存在、表示描述、表示任务、表示清单。其中,在表示基本存在和表示描述的存现句中只能出现基数量词限定词,在表示清单存现句中只能出现比例量词限定词,而在表示任务存现句中量词类型则不受限制。
-
关键词
广义量词
存现句
比例量词限定词
基数量词限定词
-
Keywords
generalized quantifier
There BE sentences
proportional quantifiers
cardinal quantifiers
-
分类号
H030
[语言文字—语言学]
-