现代逻辑导引(全).doc

绪 论 现代逻辑是以数理逻辑为基础的，其内容的主要部分也是数理逻辑。而它们又都是逻辑学的组成部分，所以，在了解现代逻辑之前，要对逻辑学有一个大致的了解。本章中的内容属于逻辑学的基础，第一章是对经典逻辑学（也称传统逻辑学）的内容做一简略的介绍，第二至四章的内容属于数理逻辑的内容，第五、六两章是模态逻辑的简略介绍，第七章是对逻辑学在现代的新发展做一基本的介绍。本章的目的是对逻辑学这门学科的研究内容做一简略的介绍。 第一节 逻辑学的对象和性质 1.1 “逻辑”一词的缘起 “逻辑”一词来自对英文Logic的音译，在拉丁文和德文中分别表示为：Logica, Logik。西文中的这些词都源于希腊文(((((（逻各斯），其涵义是语言、说明、尺度、比例等。古希腊的亚里士多德用该词来表示事物的定义、公式等。公元1世纪时，该词被学者们用来表示同论证、辩论等问题相关的学问，其间，亚里士多德的三段论则是其核心内容。 在日文中，“逻辑学”被写作“論理學”。我国留日学者胡茂如最早于1906年将“Logic”意译为“论理学”、“理则学”，也有人将其称为“形名之学”、“名学”、“名理”、“辩学”、“名辩学”等。第一个将“Logic”译为“逻辑”的人是严复。20世纪30年代起逐渐通用“逻辑”这一译名。 “逻辑”虽是外来词，但在中国古代的思想中还是有相关的内容存在的。墨子的“墨经”、春秋战国时期公孙策的