慕千王者荣耀大局观 全位置通用课程 课程分享，网盘分享
逻辑的类型不是单一的，逻辑的理论不是一成不变的。和其 他任何科学一样，逻辑是历史发展的科学，在发展途程中，逻辑 不断地改变着形态，生长出不同的种类和分支。
按照传统观念，逻辑都是形式的， “逻辑”与“形式逻辑” 是同义语。例如英国逻辑学家凯恩斯说： “逻辑一定是形式的，或者至少是非实质的”。美国逻辑学家丘奇说，“我们研究的对 象是逻辑”, “它也可以称为形式逻辑”。
一般认为，形式逻辑是由古希腊的亚里士多德始创的。但 是，亚里士多德本人并没有以“形式逻辑”命名他的逻辑。把亚里 士多德所创立的逻辑类型称为形式逻辑，始出康德的《纯粹理性 批判》一书。在该书中，康德也用(而且是更多使用)“普通逻辑” 指称亚里士多德的逻辑。他认为，普通逻辑所揭示的只是思维的 形式，而不是素材。它撇开了认识的一切内容。大概就是基于这 种认识，他称亚里士多德的逻辑是形式逻辑。可是，康德没有说 明什么是“形式”,也没有说明亚里士多德怎样研究了形式。对 此，德国逻辑史家亨利希·肖尔兹解释得比较清楚。他说： “我 们先应说明， 一般的形式是什么,特殊的完善的形式又是什么。
按照亚里士多德的办法，我们可以把任何一个能断定为真或假的 命题的成分，分为两类。第一类成分被看作是固定的和不变的；
第二类成分被看作是可变的。我们根据亚里士多德的办法，把后
类成分用字母表示，我们把这些字母解释为变项，即作为可以 填进一些什么东西的空位的符号来对待的，但暂时不用管填进了 什么。 一般的形式可看作是至少含有一个变项的表达式，当事实 上我们用某种东西代替这个变项时，它就变成或真或假的命题。 完善的形式可看作是当我们用一些合适的变项来代替了所有我们 看作是可变的成分时，从一个命题得出的表达式。”④那么,亚 里士多德研究了什么样的形式，他又是怎样研究那些形式的?按 照亚里士多德的做法，对于下列命题：
“所有葡萄树都是阔叶植物。”
“每个人都是有智慧的。”
“任何鸟都是有翼的。”
可以确认它们有相同的形式，即；
“所有……都是…… ”
可以看出，命题含有两种成分， 一种成分是固定不变的，如“所 有”、“都是”;另一种成分是可变的，这是指“空位”部分，亚 里士多德通过在空位上填写字母的办法表示命题的可变成分。这 样，上述命题形式就成为：
“所有S都是P”
现在我们把命题的不变成分称为逻辑常项，把代表命题可变成分 的字母称为变项。按照肖尔兹的说明， “所有S 都是 P” 属于完 善的形式，因为它的所有可变部分都用字母变项填充了。可见， 亚里士多德研究的是完善的形式。但是，亚里士多德并没有研究这类形式的全部，他研究命题形式是为了解决推论的有效性问题， 因而他只是研究了与此有关的、可以从中定出推理规则的完善形 式。他研究这类形式时，关心的是“以某种形式的命题为前提， 可以有效地推出何种形式的命题为结论”。例如，如果断定了“所 有M是P” 并且“所有S是M”, 就能必然得出“所有S是P” 的结 论。亚里士多德就是这样研究形式的。据此，肖尔兹说：“亚里 士多德的逻辑，或者确切地说，由亚里士多德奠定基础的逻辑， 就其仅仅涉及形式，或更严格地说，仅仅涉及完善的形式来说， 是一种形式逻辑。”①肖尔兹的这一解释，得到了大多数逻辑学 家的首肯。
版权声明：内容来源于互联网和用户投稿 如有侵权请联系删除