胡扬: 论元哲学辩护——以语境论为例|美学|方法论|逻辑学|相对...

换言之,命题自带语句真值判定所需的语境参数,因此,命题在言说语境中一旦构成便获得判定,其真值是恒定的(eternal),不受评价环境的影响。在这个意义上,真之判定仅取决于言说语境。相对主义者不承认该句包含未言明的品评者变元,在言说语境下它表达的命题就是“陶陶居的点心真可口”,其中立于任何品评者。因此,在...

陈嘉映讲弗雷格|逻辑学|本体论|认识论|索绪尔|维特根斯坦_网易订阅

弗雷格说,这只是从表层语法着眼而已,按照正确的逻辑分析,这个命题是一个由量词来连接几个自变元的命题:对于x的一切值来说,如果x是母亲,则x爱孩子,这样一来,我们就能清楚地看到"是母亲"和"是爱孩子的"具有完全相同的逻辑地位,两者都是典型的谓词。这样,所谓全称命题也就合乎弗雷格的函式理论了,我们就不会错把...

刘新文 译 | [英] F. 拉姆齐:普遍对象和“分析方法”

我不能为《数学原理》中关于变元的所有观点辩护,但我相信关于变元的真相很简单,与约瑟夫先生的观点直接相反。所有的变元都是表面变元(apparentvariables)[2];因此,我们不必解释变元本身的含义,而只需解释变元与前缀联在一起时的意思;我们把解释为是对所有形如的命题的简洁断言。因此,x是一个符号,像“琼斯...

杨红玉:论金岳霖 《逻辑》 中的 “弗雷格-罗素论题”

肖尔兹认为,最根本的原因是亚里士多德在直言命题理论里开始使用“变项”(variables)(参见肖尔兹,第8-9页),在“所有人都是有死的”或“所有人都是白的”等命题的基础之上,亚里士多德抽取了“所有S是P”这样的命题形式。在这个命题形式中,“S”和“P”作为变项表示可代入的各种具体的思维内容;而“所有”和“...

与论证有关的几个概念 | 为了让孩子不抢盐逻辑论证系列

下面我们来讨论一下语句。在语言学上,语句是一个自然语言表达式,是一个或一个以上语词组成的语法单元或词汇单元。所有语句都包括语义要素和逻辑要素。在数理逻辑中,语句被看作是不带自由变元的合式公式。语句也被某些人看作是表达命题的。无论如何,命题是我们这里要关心的基本概念。什么是命题呢?命题是指必定有...

数学方程有什么好解的

多变元的多项式方程设有这样的方程我们可以看出来它有许多解∶如果固定x和y,就得到一个z的三次多项式方程,所有的三次多项式方程都有(至少一个)实解,所以对于每一个固定的x和y,都有某个z使得三元组(x,y,z)成为这个方程的解(www.e993.com)2024年11月16日。

解决中国“卡脖子”问题:研究求解器的少数者

如果命题简单，那么人脑可以很快判定逻辑推理关系是否成立。但随着布尔变元和约束的条件越来越多，SAT的求解就会越来越难，需要借助算法来进行推理与计算。比方说，在进行机场飞机调度时，研究人员要考虑的状态非常多，包括待起飞的飞机数量，飞机分布的跑道数量与位置，飞机的运行方向，风向等等。一个布尔变元表示单一...

“图像”即“模型”:对维特根斯坦图像论的解释

尽管在不少命题中,维特根斯坦确实在经验层面上使用“图像”一词,但在更多地方,图像对于维特根斯坦不过是模型的代名词。在一阶逻辑范围内,模型可以视为一个由论域内元素组成的论域和一个将变元映射到论域中的函数构成的有序二元组。虽然上文提及维特根斯坦未全然采用“模型”这一说法或许与论述的主题较为庞杂有...

刘新文 译 | 弗兰克·普伦普顿·拉姆齐:普遍对象

通过“苏格拉底”这个表达式,我们把它涉及的所有命题集合在一起,也就是说,我们通常所说的所有关于苏格拉底的命题,如“苏格拉底是聪明的”,“苏格拉底是公正的”,“苏格拉底既不聪明也不公正”。这些命题集合在一起作为“??苏格拉底”的值,其中??是一个变元。