按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
παιVω～ Ｂ。“
〕）。
短语H F H U F Hò
Ａ ιιVω～ Ｂ （Ａ〔属于〕有些Ｂ）在换位定律中出现；其它地方，如H F H F在Ｄｉｓａｍｉｓ式中，我们看到ò
Ａ ιιVω～ Ｂ （Ａ〔属于〕有些Ｂ）
（见第１７H F页注④〔《前分析篇》ｉｉ７〕，５９α１７ψγàρò
παιVω～ Ｂ，ò
δW D M H U F H H H∈V）
Ａ ιιVω～ Ｂ áγηò
Ａ ιιVω～ πáρι。
］）。
逻辑上H F H F G H F H U L M F重要的字παιV（所有的）在Ｂａｒｂａｒａ式的一个公式中完全省去了（见第１０页注①F H〔“《后分析篇》ｉ。
１６，９８Ｂ５１０‘Dσω
γàρòρρι～ ‘ Ａ，C R M H F Q J M Jò
δVπαD ‘ Ｂ，α’Dμπｓ
δV ‘ 。
∈R R R H M Q H F Q J F J M Q J M J Uι‘
δηD Vω～ Ｂ πáριò（πγàρ
πα ρρι～）
，R H H L M H I F Q H F F Q J F F Q J J Mω～〕）
δV πáρι ò
Ｂ（πγàρ
παｓ）
，ω～ πáριR U L M U L M F H F Q H F Q J H Mò
Ａ，αι
πσα‘Dμπｓρρι～。
］）
，连接词“并且”大部分都是由R H G M Q J F Q J Mμ∈D …
δD 〔且〕来表示的（例如，见第１６页注①〔《前分析篇》ｉ６，２８ｂ７
W F M∈ι‘
γàρò
μ∈DＰ
παιVω～ ò∈D ιιD，áγηò
H Y H F G H Y H F F H XιιDω～ Ｐ πáρι。
〕或第１９页注②〔《前分析篇》ｉ４２６ａ２５∈ι‘ò
μ∈D W H F H L M F
ＡμηδιVω～ πáρι，ò
δ∈DＢιιDω～ ，áγηò
ＡH U F G H F M F H L M H FιιDω～ Ａ ιιDω～ μηDπáρι。
〕）
，有时由αιD表示（见第１页注①L M F G H F H F H U〔同前〕，第２０页注①〔同前〕）。
三段论的必然性通常是由áγηπáρι〔必F G L M F定属于〕来表达的（见第１６页注①〔同前〕，或第１７页注④〔同前〕）
，在Ｆｅｌａｐｔｏｎ式中它是由πáρξι
∈‘ξγáγηｓ〔必定不属于〕来表示的（见第１８页注③M G〔《前分析篇》ｉ６，２８ａ２６α’V Dò
μDＰ
παιVω～ ò
δπηδW H M Y M F H M F H Xι‘’Vπαρη，Dδαιδγιδμòｓ，ιòＰ πáρξι∈‘ξ L M H F Q J H J F L Máγηｓ。
〕）。
有一次它被省去了（见第２０页注①〔同前〕）。
F G
…… 45
７。什么是形式化A ３３
些不严格之处对于这系统没有坏的后果，但无论如何它们不会对这个系统的明晰与简洁有所帮助。
亚里士多德的这种处理大概不是偶然的，而像是从某些先入之见引出的。
亚里士多德有时说我们应当交换等值的词项：词换词，短语换短语。
①亚历山大在注释这一段时宣称三段论的本质不依赖于某些词而依赖于这些词的意义。
②这个明明是反对斯多亚派的断定，可以了解成这样：如果三段论的某些表达词由与之等值的其他表达词所替换，如表达词“表述所有的”代之以等值的表达词“属于所有的”
，那么这个三段论并不改变它的本质，也就是说，它仍旧是一个三段论。
斯多亚派持有直接相反的见解。
他们会说三段论的本质依赖于词，而不依赖于这些词的意义。
因为如果词改变了，这个三段论就不复存在了。
亚历山大用一个从斯多亚派的逻辑中挑来的例子来解说这一点。
称为“肯定前件的假言推理”
（ｍｏｄｕｓ
ｐｏｎｅｎｓ）的推论规则：如果α，那么β；然而α；因此β，是斯多亚派的第一个“不可证明的”
三段论。
斯多亚派与逍遥学派两派人似乎都错误地把短语“如果α，那么β”与“α推出β”当作具有相同的意义。
但在上述三段论中，如果你把前
①《前分析篇》ｉ。
３９，４９ｂ３，“我们也应当交换有相同的值的词项：词换词，短语换短语”。
②亚历山大３７２。
２９，“三段论不在于词而在于词的意义。”
…… 46
４３第一章 亚里士多德三段论系统的要素
提“如果α，那么β”代之以“α推出β”而说：
α推出β；然而α；因此β，根据斯多亚派的看法你得到的是一个正确的推论规则，但不是三段论。（奇*书*网。整*理*提*供）
斯多亚派的逻辑是形式化的。
①
① 亚历山大３７３。
２８“亚里士多德这样断定，而且一些词可以由另一些代替（见第２９页注①）。
最新的一派人（即斯多亚派）
从词引出结论，而不是从它们的意义来引出结论。
他们说，当词项改变时，即使所使用的词项具有同一的意义，所得结论也将不复是它自身。
例如，‘如果Ａ，那么Ｂ’有着与‘Ａ推出Ｂ’同样的意义，他们说，如果我们使用表达式‘如果Ａ那么Ｂ，然而Ａ；因此Ｂ’，那么我们就有一个三段论；如果我们使用表达式‘Ａ推出Ｂ，然而Ａ，因此Ｂ’，那么它就不再是三段论，而是一个推论规则。“
…… 47
第二章 亚里士多德三段论系统的断定命题
８。
断定命题与推论规则A亚里士多德的三段论理论是关于Ａ、Ｅ、Ｉ、Ｏ诸常项的一个真命题系统。
一个演绎系统的真命题，我称之为断定命题。
几乎亚里士多德的所有断定命题都是蕴涵式，也就是“如果α，那么β”
形式的命题。
已经知道这个逻辑系统仅有两个断定命题不是用“如果”
开头，亦即所谓同一律：“Ａ属于所有的Ａ，”
或“所有Ａ是Ａ”
，以及“Ａ属于有些Ａ”
或“有些Ａ是Ａ”。
这些定律都不是由亚里士多德明白地陈述的，但它们都是逍遥派学者所知道的。
①
属于这个系统的蕴涵式或者是换位定律（逻辑方阵的对当定律在《前分析篇》中未曾提到）
，或者是三段论。
换位定律是简单的蕴涵式，象“如果Ａ属于所有的Ｂ，那么Ｂ属于有些Ａ”。
②这个蕴涵式的前件是前提“Ａ属于所有的Ｂ”
，后件是“Ｂ属于有些Ａ”。
对于变项Ａ和Ｂ的所有值而言，这个蕴涵式都
①参见第１８页注④，第１９页注①，在后面这个注中所引证的那一段中，亚历山大说命题“Ａ不属于有些Ａ”
是荒谬的，这就意味着矛盾命题“Ａ属于所有Ａ”
是真的。
②《前分析篇》ｉ。
２，２５ａ１７，“如果每个Ｂ都是Ａ，那么有些Ａ是Ｂ。”
…… 48
６３第二章 亚里士多德三段论系统的断定命题
被看作是真的。
所有亚里士多德式三段论都是“如果α并且β，那么γ”
这种类型蕴涵式，其中α和β是两个前提，γ是结论�