文档介绍：对逻辑学范围与性质的反思论文
【内容提要】逻辑学的发展是多层面的,逻辑的涵义也是分层次的,逻辑可以有广义与狭义之分。对现代逻辑背景下出现的关于逻辑的一元论、多元论与工具主义要作具体分析。事实上,每种观点都有一定的道理,但总体上来说,多元论更符合现代逻辑科学发展的实际。
【关键词】逻辑/广义与狭义/一元论/多元论/工具主义
【正文】
一、广义的逻辑与狭义的逻辑
什么是逻辑?要清楚明确地回答这一问题,要将各种各样冠以“逻辑”的学科都统一在一个明确清晰的“逻辑”的定义之下, University Press,1978,,.freelbridge University Press,1978,,221-231.)
多元论又可以分为总体多元论与局部多元论。局部多元论认为,不同的逻辑系统是由于应用于讨论的不同领域而形成的,因此,局部多元论把系统外的有效性和逻辑真理从而也把逻辑系统的正确性看作是讨论的一个特定领域,认为一个论证并不是无条件地有效的,而是在讨论中有效的,所以,逻辑可以是局部地正确的,即在某一特定的讨论区域内正确的。而总体多元论则持有与一元论相同的假定:逻辑原理可以应用于任何主题,因此,一个逻辑系统应该是总体应用的即可以应用于代表任何主题的推理的。
就经典逻辑与非经典逻辑特别是异常逻辑之间的关系而言,一元论者强迫人们在经典系统与异常系统中二者择一,而多元论者则认为经典逻辑与扩展的逻辑都是正确的。因此,一元论者断言经典逻辑与异常逻辑在是否正确地代表了系统外的有效论证或逻辑真理的形式上是相互对立的,而多元论者则认为经典逻辑与异常逻辑两者在某一或其他途径下的对立只是表面的。
就逻辑科学发展的现实而言,从传统逻辑到经典逻辑再到非经典逻辑的道路,也是逻辑科学特别是逻辑系统发展由比较单一走向丰富多样的过程。以传统逻辑来说,它来自于人们的日常思维和推理的实际,可以说是对人们的日常思维特别是推理活动的概括和总结,因此,传统逻辑的内容是比较直观的,与现实也是比较吻合的。而经典逻辑是传统逻辑的现代发展阶段,是以形式化的方法对传统逻辑理论特别是推理理论的新的研究,因此,与传统逻辑一样,经典逻辑的内容仍是具有直观基础的——经典逻辑的公理与定理大都可以在日常思维中找到相对应的思维与推理的实例予以佐证,人们对它们的理解与解释也不会感到与日常思维特别是推理的实际过于异常。所以,在传统逻辑与经典逻辑的层面,用
“系统内的有效性”与“系统外的有效性”的一致来说明一个逻辑系统的正确性是合适的,这种说明的实质就是要求逻辑系统这种“主观”的产物与思维的客观实际相一致。
相对而言,在经典逻辑基础上发展起来的各种非经典逻辑,它的直观性、与人们日常思维特别是推理的吻合性就大大不如经典逻辑,甚至与经典逻辑背道而驰。以模态命题系统为例(应该说,相对而言,模态命题逻辑在非经典逻辑中是较为直观的),如果说系统T满足对模态逻辑系统的直观要求,它所断定的是没有争论的一些结论的话,则系统S4、S5就难以说具有直观性以及与人们日常思维特别是推理的吻合性了:在系统S4和S5中都出现了模态算子的重叠,因而象□◇p→□◇□◇p、◇□◇p→◇p这样的公式大量出现,而这些公式几乎没有什么直观性。至于非经典逻辑中的直觉主义逻辑、多值逻辑,它们