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

相对主义者不承认该句包含未言明的品评者变元,在言说语境下它表达的命题就是“陶陶居的点心真可口”,其中立于任何品评者。因此,在这一步无法判定该句。我们需要第二步:品评者作为评价环境来完成对该命题的判定,它起到一种命题算子的作用。对该算子的不同解释意味着不同的品评者,品评者的变化即评价环境的变化。

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

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

刘新文 译 | [英] 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问题特指“布尔可满足性问题”，又称“命题逻辑可满足性问题”。命题逻辑是形式逻辑最基本的类别，基本元素是布尔变元。每个布尔变元代表一个基本命题。SAT问题的本质，是探求一大堆布尔变元之间的逻辑推理关系是否成立。听起来很高深，但描述十分简单。举个例子：甲乙丙想参会，甲说：乙参会我就参会，乙说：丙...

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

表面上看,引述维特根斯坦在此之前的一个命题便能“蒙混过关”。在命题2.0211和2.0212中维特根斯坦做出这样的推理假设:命题有无意义取决于在世界中的相应实体,如果缺乏实体,那么这种关系就不存在,因而要判断命题的意义就只能通过寻找它与其他命题之间的联系了。而这在维特根斯坦看来是不可思议的,因为如此一来,勾画世界...

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

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