浅谈数理逻辑

大学研究生学位课程论文论文题目:浅析数理逻辑 浅析数理逻辑 摘要:数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科,它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。数

大学研究生学位课程论文论文题目:浅析数理逻辑 浅析数理逻辑 摘要:数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科, 它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。数 理逻辑是一门工具性很强的学科.有着丰富的内容在实际运用中极其重要的作用。 关键词:数理逻辑;逻辑;马克思主义哲学 数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究 逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以 后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻 辑两字,但并不属于单纯逻辑学范畴。数理逻辑是一门工具性很强的学科。狭义的 数理逻辑是指用数学方法来研究数学中演绎思维和数学基础的学科;广义的数理逻 辑包括一切用特制符号和数学方法来研究处理演绎方法的理论。由此可见,数理逻 辑不仅是数学的一个分支,而且也是研究哲学问题的工具。 一传统逻辑与数理逻辑的关系 逻辑一词源于希腊文,意思指:词、思想、理性、规律等。逻辑学研究的是:判 别一个推理过程是否正确的标准。是研究思维形式及其规律的科学。传统意义上, 思维形式就是思维的共有因素的联系形式,如概念、判断和推理。这些思维形式的 具体结构就是思维的逻辑结构。数理逻辑也叫符号逻辑,即用人工符号来书写逻辑 法则,它是一门涉及数学、逻辑学、哲学等几门学科的横向交叉学科。传统逻辑用 以表示命题形式和推理形式的是自然语言的某些词语,而自然语言是多义的,不适于 用以精确地表示各种命题形式和推理形式。数理逻辑克服了这方面的局限性,以其 特有的人工符号来书写逻辑法则,突出体现了方便、精确的优势。 数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科,它与数 学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑