应用逻辑学文档

《应用逻辑学文档》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、应用逻辑学山东大学副教授马士岭2011-9第一章绪论主要内容：第一节，逻辑的词义第二节，逻辑的发展第三节逻辑的研究对象笫四节，对彖语言和元语言第五节，逻辑的意义第一节逻辑的词义•汉语的“逻辑”一词来自英文“logic”的音译。•“逻辑”一词源于希腊文“入0Yoj（逻格斯），其语义十分丰富，既指“规律”、“思想J“理性"又有“言辞J“语句"等含义。•亚里士多德也使用“分析学叩勺概念，M.T西塞罗是最早使用“入oyixo’’指逻辑的，大约在中世纪，逻辑学家才用logica,到了近代西方才通用logic表示逻辑。（周云之著《名

2、辩学论》2・3页）•在《穆勒名学》这部著作中严复对“逻辑”一词有如下的解释：“逻辑此翻译名学，其名始于希腊，为逻格斯一根之转，逻格斯一名兼二义，在心之意，出口之词皆以此名。引而伸之，则为论为学，……，木学之逻格斯是学为一切法之法，一切学之学，可以知其学之精深广义矣，姑以名学译Zo……,名学，思议Z学、Z术也"（严复《穆勒名学》）。•中国的“逻辑覽主耍是以墨家和公孙龙为代表的“名学”、“辩学”思想。这些思想包括“名"、“辞"、“故”、“说"和俘肝的理论。如果做一个比较，它们分别对应于今天逻辑学屮的“概念"、“命题”、“推理

3、呀n“论证"的理论。•在古卬度的文化中也产生了他的逻辑思想，我们今天称之为“因明学二因明也是咅译，“因”的意思是原因、理由、依据，“明叩勺意思是知识、学术、智慧。“因明''就是关于推理、论证的学说。在唐朝时期，玄状把印度佛教经典小的逻辑理论翻译成《因明正理门论》和《因明入正理论》，因此这一个语词就成了指称卬度逻辑理论的专门语词。•除了“名学"一词外，还冇“辩学”、“名辩学J“理则学”、“论理学”、“名理学,，等，这些大都是用中国的逻辑思想去诠释西方的“逻辑,,含义。“逻辑汀一•词的主要涵义有四种：•在现代汉语中，“逻辑”

4、一词的主要涵义有四种：•①，指客观事物的发展规律。•②，指一种观点、思想方法和理论。•③，指人的思维的规则和规律。•④，指逻辑的科学即逻辑学。例如辛亥革命是太平天国z后合乎逻辑的必然结果把鸦片战争说成是推动中国生产力的解放是一种彻头彻尾的强盗逻辑这个人的话历來是颠三倒四不讲逻辑马克思尽管没有给我们留下逻辑著作，但是他留下了资木论第二节，西方逻辑学的发展•古希腊是逻辑学形成的吋期。在亚里士多德（公元前384■前322）之前，逻辑思想的发源可以追溯到毕达戈拉斯学派，智者学派，但是他们没有保留下可考的史料，我们只是在柏拉图和亚

5、里士多徳的著作里才知道他们的信息。在占希腊，有据可考的对逻辑学有巨大贡献的人或学派有四个：•首先是亚里士多德和逍遥学派。•其次是麦加拉一斯多葛学派，他们为传统逻辑贡献了复合命题的逻辑理论。•第三个重耍的派别是伊壁鸠鲁学派。据说他著有逻辑著作《准则学》，研究真命题的构成和真的标准问题O•还有一个对逻辑学有重大贡献的人是欧几里德。他的《几何原本》既是一部伟大的数学著作，也是一部伟大的逻辑著作。中世纪时期（公元5—15世纪），•这是从罗马帝国灭亡到文艺复兴的一段漫长的丿力史时期。众所周知，这是神学占领思想领域的统治地位的时期，

6、逻辑学，当然是亚里士多德的三段论成为证明上帝存在的工具，尽管这个吋代的创造性已经不复存在，但是逻辑学仍然得到一定的发展。其屮主要的人物有：彼得•阿们拉尔（1079-1142）,罗伯特•阿伯拉尔（1193-1280）,威廉•奥卡姆（？-1349）等。他们对于命题的范畴词、意义，实质指代（相当于语词的捉及）和形式指代（相当于语词的被使用），推理关系，命题逻辑推理及其规律的发现等等，都冇新的发现或发展。近代的逻辑•近代的逻辑丿力史是从文艺复兴开始的（16世纪・17世纪），其屮最重耍的贡献是占典归纳逻辑被弗兰西斯•培根、约翰•斯

7、图亚特•穆勒建立起來。莱布尼茨试图突破亚里士多德的逻辑限制，初步设想了现代逻辑的体系。•现代逻辑的历史是从布尔（18世纪）开始的并延续到今天，已经历经200多年。布尔的逻辑代数是第一个成熟的现代逻辑体系，但是它更像数学理论。弗雷格建立了真正的现代逻辑理论，罗素和怀特海的《数学原理》标志着现代逻辑地位的最终确立。到了1930年歌德尔的完全性定理标志着现代逻辑的基础理论系统即“一阶逻辑"的基本理论问题全部解决。第三节，逻辑学的研究对象一，思维的内容与形式1,思维有两个显著的特点：抽象性和间接性。2,思维与语言符号不可分。二，

8、逻辑形式1•逻辑形式是用逻辑变项和逻辑常项表示的思维结构。（1）,逻辑变项，它是思维内容的符号表示，在逻辑形式中代表可以变化的经验内容，也口J以看作一种“空位S对于一个逻辑形式而言，在空位上填入什么“内容"不会影响逻辑形式的特征。（2）,逻辑常项是逻辑形式中不变的部分，如果逻辑常项（个体常项除外）不同,逻辑形式的性质