翟老师讲分析哲学:单独词项(之三,完)
不难看出,那个长长的量化句的价值仅仅是理论或概念上的,一旦进入实际的运算,谁都愿意直接使用单独词项,简单的单独词项(在这里是数字“3”、“5”和“8”),以及复杂的单独词项(在这里是“3+5”),而不愿意穿上抠门的谓词逻辑的紧身衣,那简直是作茧自缚。你们看,奎因把抽象的谓词逻辑用形象的紧身衣来形容,是多么...
访谈| 逻辑问题——与叶峰老师的逻辑十四问
同样,人脑对概念的表达与处理,包括对常识概念,对比如道义逻辑概念及“如果……,那么……”这种较复杂的逻辑联结词的理解,也不是在于对语言表达式的记忆以及组合变换。另一方面,目前逻辑学中表达词项及语句的语义的数学模型,基本上都是从所谓可能世界语义模型演化而来,这种语义模型也似乎与人脑实际记录信息、表达与处理各...
实在的谓词与综合的谓述
客观综合“就主词和谓词的关系而言,它要求扩大主词概念”,主观综合则“表现在主体超出主词概念,将它的对象的存有状态断定下来”。(参见胡好,第73页)胡好认为存在命题是主观综合命题。存在两种不同的综合命题,它们在康德的论证中扮演着不同的角色,关于这一点,已有国外学者论及(seeWood,p.106;Abaci,p.593),胡好...
柯匹:??存在含义与直言命题的解释
这是因为,不同于“所有”这个语词,一个特称命题中的语词“某些”做出了明确的承诺:该语词所表示的类不可能是空类。语词“某些”的解释是:意味着“至少有一个对象”——不是“无”,正由于这一具体含义,才把这类命题称为特称命题,如果特称命题为真,则其主项类的对象不是空的。最后,在科学界及其他理论界,...
弗雷格的本体论的研究方法及难题
不同的语言可以相互翻译,当形式语言翻译为自然语言后,所对应的单称词项就明确了。比如,“2小于3”翻译为形式语言是“Rst”,其中R是一个二元关系,s和t是两个个体常量,而个体常量就是单称词项,所以“2”和“3”就是单称词项。这样的回答仍不能令人满意。翻译固然没有问题,但是翻译后还会有同样的问题:为什么...
实验语言哲学研究二十年:回顾与展望
前者认为语言使用者心理的内在状态唯一地确定了自然种类词项的指称对象,而后者则强调该类语词之指称对象的获得依赖于外部世界的客观事实(www.e993.com)2024年9月7日。如同专名指称的情形,长久以来,有关自然种类名称的外在论观点更受欢迎。然而,该理论的主导地位近年来亦受到了实验语言哲学研究的强烈冲击,甚至指称一元论——有且只有一个正确的指称...
评述讨论 | 荣立武 苏庆辉 梁飞 马明辉
,其中L代表形式语言,而后者代表L中陈述集与单一陈述之间的逻辑后承关系。我们以命题逻辑系统PL、限制在一元谓词的一阶逻辑系统FOL,以及不限制在一元谓词的带等词一阶逻辑系统FOL'为例,来比较不同逻辑系统之间的差异。PL的语言是由代表命题的大写希腊字母以及逻辑词项的集合...
高中政治选择性必修3《逻辑与思维》全册知识点
(1)含义:事物总有许许多多的性质和关系。事物的性质和关系统称为属性。(2)分类:事物的属性可分为本质属性和非本质属性。本质属性是一事物成为自身并使该事物同其他事物区别开来的内部规定性。2、概念的含义(P22)概念就是通过揭示事物的本质属性而反映事物的思维形式。3、概念的表达(概念与语词的关系)(P23...
论莱布尼茨的关系实在论
莱布尼茨延续了这样的传统,通过符号表示未知量,在方程关系中获得未知量的这种理性分析方法正是莱布尼茨通用语言的发现功能。(二)符号演算表示思维运算莱布尼茨认为通用语言的本质是一种理性工具[instrumentumrationis],它更重要的价值在于表明概念之间的逻辑关系。不同于数值之间的演算,通用语言要进行概念的演算。概念...
刘新文:逻辑常项问题——从金岳霖的观点看
逻辑常项是全部可以使用下列概念定义出来的概念:蕴涵,一个词项跟它所属的一个类的关系,“使得(suchthat)”的概念,关系的概念以及那些可能在以上形式的命题的一般概念当中涉及到的更进一步的概念。在这些概念之外,数学还使用一个不是它所考虑的那些命题的一个成分的概念,也就是真这个概念。(Russell,p.3)...