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

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

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

对我们来说,最重要的是弗雷格在这本书中比照数学里的函数提出了命题的函式理论:概念相当于一个尚未代入自变元的函式,指称单个对象的名称则是不同的自变元,命题由函式和自变元构成,并因而为真或为假。传统逻辑在很大程度上依赖于主词和谓词的区分,弗雷格用专名和概念词取代了这一区分,使命题分析具有了崭新的面...

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

所有的变元都是表面变元(apparentvariables)[2];因此,我们不必解释变元本身的含义,而只需解释变元与前缀联在一起时的意思;我们把解释为是对所有形如的命题的简洁断言。因此,x是一个符号,像“琼斯”一样,它不是在不同的场合意味着许多不同的东西,而是同时意味着许多不同的东西;也就是说,所有那些其名称...

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

在这个命题形式中,“S”和“P”作为变项表示可代入的各种具体的思维内容;而“所有”和“是”则是不变的,它们代表着命题的形式和结构。肖尔兹认为正是变项的使用使得亚里士多德可以专注于直言命题的形式而不是命题所表达的内容,从而使他获得了关于推理的普遍性知识。王路也认为,四谓词理论和范畴学说之所以不是成功...

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

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

《中国人工智能简史》:数学家翻开了中国人工智能研究的第一页

所有的问题都可以转变成数学问题,所有的数学问题都可以转变成代数问题,所有的代数问题都可以转变成解方程组的问题,所有解方程组的问题都可以转变成解单变元的代数方程问题(www.e993.com)2024年11月16日。中国古代数学与西方的现代数学是两套不同的体系。吴文俊在不借助现代数学中的三角函数、微积分、因式分解法、高次方程解法等“现代工具”的情况...

数学方程有什么好解的

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

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

这就是一个SAT问题，而求解的答案是：他们的需求是不可（同时）满足的。如果命题简单，那么人脑可以很快判定逻辑推理关系是否成立。但随着布尔变元和约束的条件越来越多，SAT的求解就会越来越难，需要借助算法来进行推理与计算。比方说，在进行机场飞机调度时，研究人员要考虑的状态非常多，包括待起飞的飞机数量...

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

图像论与命题之所以必须借助命题来理解图像,归根结底是因为人必须通过语言来认识世界。如上文已证明的,维特根斯坦希望借助图像在语言与世界之间架起桥梁,那么命题就是图像理论不可分割的一部分。实际上,维特根斯坦早已指出他所谓的图像指的就是命题与命题之间的形式构造物。(命题3.315)...

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

所以,困难完全是想像出来的。可以看到,这同样也适用于任何其他表面变元的情况,其中一些变元的值是不完整的符号,可能就解释了为什么有人倾向于断定罗素先生的一些不完整的符号实际上并不是不完整的,而是属性或谓词的名称。所以,我的结论是,复合普遍对象需要被拒绝;而像“或者苏格拉底是聪明的或者柏拉图是愚蠢的”...