浅谈数理逻辑.pdfVIP

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