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

元哲学辩护的基本框架包含三条特征以及三个重要概念:首先,辩护者通过赋予一阶哲学理论一个“理论元性质”来辩护该理论;其次,在诸多理论元性质中,辩护者作出的选择往往体现辩护者的“理论美学”,对理论元性质的判断源自辩护者的美学判断;最后,理论元性质可以作为辩护一阶理论相关结果的“独立理由”。从辩护语境论的专...

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

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

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

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

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

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

离散数学自学笔记命题公式及其真值表

(1)命题常元和命题变元是命题公式,也称为原子公式或原子。(2)如果A,B是命题公式,那么(┐A),(A∧B),(A∨B),(A→B),(A?B)也是命题公式。(3)只有有限步引用条款(1),(2)所组成的符号串是命题公式。命题公式简称公式,常用大写拉丁字母A,B,C等表示。公式的上述定义方式称为归纳定义,第四章将对此...

数学方程有什么好解的

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

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

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

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

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