通道地址:
频道的描述
https://t.me/Chatclassical 交流群
Ratings & Reviews
Reviews can be left only by registered users. All reviews are moderated by admins.
5 stars
0
4 stars
1
3 stars
0
2 stars
0
1 stars
1
最新信息 5
2021-12-13 03:09:21
这样,直言陈述的四种形式用谓词逻辑表达如下:
A, 所有S是P:SaP
(全称肯定陈述)
∀x(S(x)→P(x))
E,没有S是P:SeP
(全称否定陈述)
∀x(S(x)→~P(x))
I, 有些S是P:SiP
(特称肯定陈述)∃x(S(x)•(S(x)→P(x)))
O,有些S不是P:SoP
(特称否定陈述)
∃x(S(x)•(S(x)→~P(x)))
注:S(x)<=>x∈S
(x是S当且仅当x是S的内容时)
18 viewsedited 00:09
2021-12-13 02:11:29
∃x:
存在量词,来自Existence,表示至少有一个x。
(∃x)P(x)表示:
至少有一个x是P
19 viewsedited 23:11
2021-12-13 02:07:26
∀x:
全称量词,来自all,表示所有x.
(∀x)P(x) 表示:
对于所有x而言,x是P
19 viewsedited 23:07
2021-12-13 01:44:09
第二个谓词逻辑的核心是量词。
命题逻辑并不能表达有关量的论证。
(比如经典三段论无法用命题逻辑来论证。)
18 views22:44
2021-12-12 11:15:25
P(x)只表示命题的形式,
(x)是主词变量,
P是谓词变量。
因此,单独P(x)并不能表达命题的真假值。
3 views08:15
2021-12-11 08:02:47
谓词逻辑的中心概念是谓词,谓词就是跟随主语的那个部分。
比如:
“x是一个学过逻辑学的人”
x是主词,“是一个学过逻辑学的人”就是谓词。
x本身就是自变量,它的指代决定了命题的真假。
若把“...是一个学过逻辑学的人”标记为f,则此命题的函数表达式为:
f(x)
8 viewsedited 05:02
2021-12-11 07:49:22
谓词逻辑又称为量词逻辑,是从命题逻辑发展出来的。
命题逻辑是研究复合命题的逻辑,比如:
如果彼得上过基督教古典教育学校(p)那么他就学过逻辑(q)。
其中,p和q各自都是完整命题,在复合命题里,属于要素陈述(原子命题)。
谓词逻辑的主要任务就是把要素陈述符号化(函数化)。
8 viewsedited 04:49
2021-12-11 07:36:25
亚里士多德之后,逻辑学从词项逻辑发展到命题逻辑,由命题逻辑发展到谓词逻辑(量词逻辑),数理逻辑等。整个逻辑学在不断的细化,符号化。
为了更轻松的了解维特根斯坦的《逻辑哲学论》,我们可以再简单了解下谓词逻辑。
10 viewsedited 04:36
2021-12-10 10:45:41
第5个命题:
Der Satz ist eine Wahrheitsfunktion der Elementarsätze. (Der Elementarsatz ist eine Wahrheitsfunktion seiner selbst.)
陈述是一个要素陈述的真值函项。
(要素陈述其实就是一个它自身的那个真值函项)
12 viewsedited 07:45
2021-12-10 09:53:26
非意义的陈述就是除了有意义的陈述和意义缺失的陈述之外的一种陈述,维特根斯坦在命题5和6中做的详细的论述。
16 viewsedited 06:53