ｎｕｍｂｅｒ）
，并且用相应的小写字母作为变项以代替大写字母。
Ｉ前提换位的证明：设定为真而不用证明的断定命题：（１）ＣＩａｂｃＫＡｃｂＡｃａ^（２）ＣｃＫＡｃｂＡｃａＩａｂ。
^断定命题（１）和（２）能用作Ⅰ前提的定义。
（３）ＣＫｐｑＫｑｐ（合取的交换律）
（３）ｐＡｃｂ，ｑＡｃａ×（４）
＇（４）ＣＫＡｃｂＡｃａＫＡｃａＡｃｂ（４）２ｃ×（５）
^（５）ＣＫＡｃｂＡｃａｃＫＡｃａＡｃｂ^（５）１ｃ×（６）
^（６）ＣｃＫＡｃｂＡｃａｃＫＡｃａＡｃｂ^Ｔ１。
ＣｐｑＣｑｒＣｐｒ（假言三段论定律）
Ｔ１。
ｐＩａｂ，ｑｃＫＡｃｂＡｃａ，ｒｃＫＡｃａＡｃｂ×Ｃ＇ ^ ^（１）—Ｃ（６）—（７）
：（７）ＣＩａｂｃＫＡｃａＡｃｂ^（２）ｂａ，ａｂ×（８）
＇（８）ＣｃＫＡｃａＡｃｂＩｂａ^Ｔ１。
ｐＩａｂ，ｑｃＫＡｃａＡｃｂ，ｒＩｂａ×Ｃ（７）—Ｃ＇ ^（８）—（９）
…… 134
２１第四章 用符号形式表达的亚里士多德系统
（９）ＣＩａｂＩｂａ这些推导行表明，（４）与（８）仅用替换而从其它断定命题得到，而（７）与（９）乃用替换与两次分离而得到。
读者可按这种方式自己试作Ｄａｒａｐｔｉ式的证明，它是容易的。
Ｂｏｃａｒｄｏ式的证明（第１９节所用的变项Ｐ、Ｒ和Ｓ必须改换字母，因为相应的小写字母ｐ，ｒ和ｓ是用以表示命题变项的，把ｐ改写为ｄ，Ｒ改为ａ，Ｓ改为ｂ）
不加证明而设定的断定命题：（１５）ＣＯｂｄｃＫＡｃｂＥｃｄ^两个三段论取作前提：（１６）ＣＫＡｃｂＡｂａＡｃａ（Ｂａｒｂａｒａ）
（１７）ＣＫＡｃａＥｃｄＯａｄ（Ｆｅｌａｐｔｏｎ）
Ｔ６。
ＣＫｐｑｒＣＫｒｓｔＣＫｐｑｓｔ这就是人们认为由亚里士多德发现的“综合定理”。
Ｔ６。
ｐＡｃｂ，ｑＡｂａ，ｒＡｃａ，ｓＥｃｄ，ｔＯａｄ×Ｃ＇（１６）—Ｃ（１７）—（１８）
（１８）ＣＫＡｃｂＡｂａＥｃｄＯａｄＴ７。
ＣＫｐｑｒｓＣＫｐｒＣｑｓ（辅助断定命题）
Ｔ７。
ｐＡｃｄ，ｑＡｂａ，ｒＥｃｄ，ｓＯａｄ×Ｃ（１８）—＇（１９）
（１９）ＣＫＡｃｂＥｃｄＣＡｂａＯａｄ（１９）１ｃ×（２０）
^（２０）ＣｃＫＡｃｂＥｃｄＣＡｂａＯａｄ^
…… 135
２４。量 词A ３２１
Ｔ１。
ＣｐｑＣｑｒＣｐｒＴ１。
ｐＯｂｄ，ｑｃＫＡｃｂＥｃｄ，ｒＣＡｂａＯａｄ×Ｃ＇ ^（１５）—Ｃ（２０）—（２１）
（２１）ＣＯｂｄＣＡｂａＯａｄ这就是Ｂｏｃａｒｄｏ式的蕴涵形式。
如果我们希望有这个式的通常的合取形式，我们必须应用所谓输入律（ｌａｗ
ｏｆ
ｉｍｐｏｒCｔａｔｉｏｎ）
：Ｔ８。
ＣｐＣｑｒＣＫｐｑｒ于（２１）
，我们得到：
Ｔ８。
ｐＯｂｄ，ｑＡｂａ，ｒＯａｄ×Ｃ（２１）—（２）
＇（２）ＣＫＯｂｄＡｂａＯａｄ（Ｂｏｃａｒｄｏ）。
用所谓输出律（ｌａｗ
ｏｆ
ｅｘｐｏｒｔａｔｉｏｎ）
Ｔ９。
ＣＫｐｑｒＣｐＣｑｒ。
（它是输入律的转换）
，我们可以从Ｂｏｃａｒｄｏ式的合取形式倒退回去得到它的蕴涵形式。
全称量词的规则与第１９节陈述的特称量词的规则是相似的。
全称量词能够无条件地放在真蕴涵式的前件的前面，以约束出现于前件中的自由变项。
只有满足这样的条件，即在后件中被约束的变项不在前件中作为自由变项出现时，才可以在真蕴涵式的后件之前加上全称量词。
我用１，表示这个规则_的头一条，用２表示第二条。
_从以上全称量词的原始规则，得到两条导出规则：第一，（从规则２及简化定律）
一个真表达式，在约束出现于其中的_自由变项时，允许把全称量词置于它的前面；第二，（从规则１及命题的同一律）
，允许消掉位于真表达式之前的全称X
…… 136
４２１第四章 用符号形式表达的亚里士多德系统
量词。
这些规则怎样可以导出，我将用Ⅰ前提的换位律为例来加以说明。
从换位律：（９）ＣＩａｂＩｂａ就得到量化了的表达式（２６）ａｂＣＩａｂＩｂａ‘而从量化了的表达式（２６）又得到非量化的换位律（９）。
首先，从（９）到（２６）
Ｔ１０。
ＣｐＣｑｐ（简化定律）
Ｔ１０。
ｐＣＩａｂＩｂａ×Ｃ（９）—（２３）
＇（２３）ＣｑＣＩａｂＩｂａ应用规则２于这个断定命题以约束ｂ并随后约束ａ，因为ｂ_与ａ都不在前件中出现：（２３）２ｂ×（２４）
‘（２４）ＣｑｂＣＩａｂＩｂａ‘（２４）２ａ×（２５）
‘（２５）ＣｑａｂＣＩａｂＩｂａ‘（２５）ｑＣｐＣｑ×ＣＴ１０－（２６）
＇（２６）ａｂＣＩａｂＩｂａ‘其次：从（２６）到（９）。
Ｔ５Ｃｐｐ（同一律）
Ｔ５。
ｐＣＩａｂＩｂａ×（２７）
＇（２７）ＣＣＩａｂＩｂａＣＩａｂＩｂａ我们应用规则１于这个断定命题以约束ｂ并随后约束ａ：_（２７）１ｂ×（２８）
‘
…… 137
２５。三段论系统的基本要素A ５２１
（２８）ＣｂＣＩａｂＩｂａＣＩａｂＩｂａ‘（２８）１ａ×（２９）
‘（２９）ＣａｂＣＩａｂＩｂａＣＩａｂＩｂａ‘（２９）×Ｃ（２６）—（９）
（９）ＣＩａｂＩｂａ亚里士多德断定：“如果有些ａ是ｂ，那么，有些ｂ应是ａ就是必然的”
，依我看，“就是必然的”这表达词只能有这个意思：要找到变项ａ和ｂ的那样的值，它会确证前件而不能确证后件，那是不可能的。
换句话说，那就是指“对于所有ａ与所有ｂ而言，如果有些ａ是ｂ，则有些ｂ是ａ。”这就是我们的量化的断定命题（２６）。
这个断定命题与非量化的换位律“如果有些ａ是ｂ，则有些ｂ是ａ”
（它不包含必然性的记号）
是等值的，这是已经证明了的。
由于三段论的必然性是与全称量词等价的，所以它可以被省略，因为一个全称量词在真公式之前是可以省略的。
２５。三段论系统的基本要素A每一个公理化的演绎系统都以三项基本要素为基础：原始词项，公理，和推论规则。
我从对断定的表达式而言的基本要素开始，对排斥的表达式而言的基本要素将于以后给出。
我取常项Ａ和Ｉ为原始词项，用它们来定义其它两个常项Ｅ和Ｏ：
Ｄｆ１
Ｅａｂ＝ＮＩａｂ
ｆ２
Ｏａｂ＝ＮＡａｂ。
为了把证明缩短我将使用下面的两条推论规则来代替上述定
…… 138
６２１第四章 用符号形式表达的亚里士多德系统
义：规则ＲＥ：ＮＩ在任何地方均可用Ｅ去替换，反之亦然。
规则ＲＯ：ＮＡ在任何地方均可用Ｏ去替换，反之亦然。
当作公理来断定的这个系统的四条断定命题就是两条同一律和Ｂａｒｂａｒａ式及Ｄａｔｉｓｉ式：１。
Ａａ２。
Ｉａ３。
ＣＫＡｂｃＡａｂＡａｃ（Ｂａｒｂａｒａ）
４。
ＣＫＡｂｃＩｂａＩａｃ（Ｄａｔｉｓｉ）。
除了规则ＲＥ与ＲＯ之外，我采用以下两条对于断定的表达式的推论规则：（ａ）代入规则：如果ａ是这一系统的一个断定的表达式，那么，用正确的代入从α得出的任何表达式也是一个断定的表达式。
唯一正确的代入是对词项变项ａ，ｂ，ｃ，代以其它的词项变项，如以ｂ代ａ。
（ｂ）分离规则：如果Ｃαβ与α都是这系统的断定的表达式，那么β也是断定的表达式。
我采取带有被定义的函子Ｋ的演绎理论的Ｃ—Ｎ系统，作为辅助理论。
命题变项可以代之以三段论的命题表达式，如Ａａｂ，Ｉａｃ，ＫＥｂｃＡａｂ，等等。
在所有以后的证明中（并且也对排斥的表达式）我将只用下面十四条用罗马数字指明的断定命题：Ⅰ。
ＣｐＣｑｐ（简化定律）
Ⅱ。
ＣｑｒＣｐｑＣｐｒ（假言三段论定律、第二个形式）
Ⅲ。
ＣｐＣｑｒＣｑＣｐｒ（分配律）
…… 139
２５。三段论系统的基本要素A ７２１
Ⅳ。
ＣｐＣＮｐｑ（邓斯司各脱定律）
WⅤ。
ＣＮｐｐ（克拉维乌斯定律）
Ⅵ。
ＣｐｑＣＮｑＮｐ（易位律）
Ⅶ。
ＣＫｐｑｒＣｐＣｑｒ（输出律）＇奇＋书＋网＇
Ⅷ。
ＣｐＣＫｐｑｒＣｑｒⅨ。
ＣｓｐＣＫｐｑｒＣＫｓｑｒⅩ。
ＣＫｐｑｒＣｓｑＣＫｐｓｒⅪ。
ＣｒｓＣＫｐｑｒＣＫｑｐｓＸＩ。
ＣＫｐｑｒＣＫｐ
小提示：按 回车 [Enter] 键 返回书目，按 ← 键 返回上一页， 按 → 键 进入下一页。
赞一下
添加书签加入书架