陈嘉映讲弗雷格|逻辑学|本体论|认识论|索绪尔|维特根斯坦_网易订阅
弗雷格说,这只是从表层语法着眼而已,按照正确的逻辑分析,这个命题是一个由量词来连接几个自变元的命题:对于x的一切值来说,如果x是母亲,则x爱孩子,这样一来,我们就能清楚地看到"是母亲"和"是爱孩子的"具有完全相同的逻辑地位,两者都是典型的谓词。这样,所谓全称命题也就合乎弗雷格的函式理论了,我们就不会错把...
杨红玉:论金岳霖 《逻辑》 中的 “弗雷格-罗素论题”
肖尔兹认为,最根本的原因是亚里士多德在直言命题理论里开始使用“变项”(variables)(参见肖尔兹,第8-9页),在“所有人都是有死的”或“所有人都是白的”等命题的基础之上,亚里士多德抽取了“所有S是P”这样的命题形式。在这个命题形式中,“S”和“P”作为变项表示可代入的各种具体的思维内容;而“所有”和“...
“如果太阳从西边出,那么公鸡就会下蛋”,这居然为真!怎么回事呢?
首先,“蕴涵”是指两个命题之间的一种“保真”关系,其关系者项必须是“命题”(或蒯因所谓不含索引元素的“恒久语句”),而“形式蕴涵”则是“命题函数”Φx与Ψx之间的“恒蕴涵”关系,严格地说它并不是“一种蕴涵”,也不能说它就是“一种实质蕴涵”。严格的说法应当是:若形式蕴涵式"x(Φx→Ψx)成立,则...
数学很难的原因之一是,很多简单的概念被推广到了难以理解的程度
更高的维数和多个变元我们已经看到,当不是只考虑单变元的一个方程,而是考虑许多变元的方程组时、多项式方程的研究会变得复杂得多。例如偏微分方程,它们可以看作是涉及多个变量的微分方程,典型地,分析它们会比分析常微分方程困难得多。多变元的多项式方程组以及偏微分方程是一种过程的两个值得注意的例子,这个过程...
刘新文 译 | 弗兰克·普伦普顿·拉姆齐:普遍对象
集合;正如我们用“苏格拉底”来收集所有那些它在其中出现的命题一样,我们也可以用“聪明的”来收集所有那些它在其中出现的命题,不仅包括像“苏格拉底是聪明的”这样的命题,也包括像“既非苏格拉底也非柏拉图是聪明的”这样的命题,后者不是“x是聪明的”的值,而是不同的函项“??聪明的”的值,其中??是一个变元。
解决中国“卡脖子”问题:研究求解器的少数者
SAT问题特指“布尔可满足性问题”,又称“命题逻辑可满足性问题”(www.e993.com)2024年9月28日。命题逻辑是形式逻辑最基本的类别,基本元素是布尔变元。每个布尔变元代表一个基本命题。SAT问题的本质,是探求一大堆布尔变元之间的逻辑推理关系是否成立。听起来很高深,但描述十分简单。举个例子:甲乙丙想参会,甲说:乙参会我就参会,乙说:丙...
没有哲学深度就不能真正理解智能
一阶命题的本质在于命题的变元(项)只能是对象(可数的个体),而不能以函数(或谓词结构或命题)作为变元(项)。从中我们可以得出:一阶处理的是事物属性,二阶解算的是事实关系~即世界的真实存在。而高阶应对的则是更复杂的关系~数据的表征和逻辑的推理都既有一阶性,也有二阶性,更有高阶性,所以世界会不时表现出...
09年自考语言学概论笔记第五章
答:一个述谓结构可以有多少变元以及可以有何种性质的变元,都是由谓词的语义决定的。因为谓词语义规定了述谓结构的内容,从而也就规定了句子的语义框架,有了这个语义框架,在用符合谓词语义要求的变元把这个框架填满,就产生了句子的命题。因此,在述谓结构中,谓词是处于支配地位的核心成分。