逻辑学三段论

中国得有多少谎言啊。

直言三段论:

亚里士多德《前分析篇》中关于前3个格的14个三段论式。来自维基百科的直言三段论条目。

选言三段论http://zh.wikipedia.org/wiki/选言三段论

假言三段论:http://zh.wikipedia.org/wiki/假言三段论

第1格
AAA(Barbara)
所有M是P.
所有S是M.
∴所有S是P.

EAE(Celarent)
没有M是P.
所有S是M.
∴没有S是P.

AII(Darii)
所有M是P.
有些S是M.
∴有些S是P.

EIO(Ferio)
没有M是P.
有些S是M.
∴有些S不是P.

第2格
EAE(Cesare)
没有P是M.
所有S是M.
∴没有S是P.

AEE(Camestres)
所有P是M.
没有S是M.
∴没有S是P.

EIO(Festino)
没有P是M.
有些S是M.
∴某些S不是P.

AOO(Baroco)
所有P是M.
某些S不是M.
∴某些S不是P.

第3格[编辑]
AAI(Darapti)
所有M是P.
所有M是S.
∴有些S是P.
(这种形式需要假定某些M确实存在。)[1]

IAI(Disamis)
有些M是P.
所有M是S.
∴有些S是P.

AII(Datisi)
所有M是P.
有些M是S.
∴有些S是P.

EAO(Felapton)
没有M是P.
所有M是S.
∴有些S不是P.
(这种形式需要假定某些M确实存在。)[2]

OAO(Bocardo)
某些M不是P.
所有M是S.
∴某些S不是P.

EIO(Ferison)
没有M是P.
有些M是S.
∴某些S不是P.

增补的论式
第4格由亚里士多德的学生泰奥弗拉斯托斯补充[3]。
第4格[编辑]
AAI(Bramantip)
所有P是M.
所有M是S.
∴有些S是P.
(这种形式需要假定某些P确实存在)

AEE(Camenes)
所有P是M.
没有M是S.
∴没有S是P.

IAI(Dimaris)
有些P是M.
所有M是S.
∴有些S是P.

EAO(Fesapo)
没有P是M.
所有M是S.
∴有些S不是P.
(这种形式需要假定某些M确实存在)[5]

EIO(Fresison)
没有P是M.
有些M是S.
∴有些S不是P.

发表评论

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / 更改 )

Twitter picture

You are commenting using your Twitter account. Log Out / 更改 )

Facebook photo

You are commenting using your Facebook account. Log Out / 更改 )

Google+ photo

You are commenting using your Google+ account. Log Out / 更改 )

Connecting to %s