形式逻辑PPT

形式逻辑是一门研究思维规律的学科，它以语言符号、概念、命题、推理等为研究对象，旨在探索人类思维中逻辑推理的规律和形式。形式逻辑关注的是推理的正确性和有效性...

形式逻辑是一门研究思维规律的学科，它以语言符号、概念、命题、推理等为研究对象，旨在探索人类思维中逻辑推理的规律和形式。形式逻辑关注的是推理的正确性和有效性，它通过一套规则和符号系统来表达和评价推理过程，保证推理的可靠性。形式逻辑的基本概念概念与语词在形式逻辑中，概念是思维的基本单位，是指思维所反映的事物的共性和本质特征。概念是通过对语词、符号等语言表达形式的抽象化而形成的。例如，“猫”、“狗”、“人”等都是概念，它们都由相应的语词表达。判断与命题判断是对概念的肯定或否定，它表达了概念之间的关系。例如，“猫是哺乳动物”是一个判断，表达了“猫”和“哺乳动物”两个概念之间的关系。命题是判断的表达方式，它可以用文字、语言、符号等多种形式表示。例如，“猫是哺乳动物”可以用文字和符号表示为“p→q”，其中“p”表示“猫”，“q”表示“哺乳动物”。推理与论证推理是根据已知的判断或命题，推导出新的判断或命题的过程。例如，“猫是哺乳动物，兔子是哺乳动物，所以兔子是猫”是一个错误的推理。论证是通过推理来证明或反驳某一命题或观点的过程。例如，“所有偶数都是整数（p→r），2是偶数（p），所以2是整数（r）”是一个有效的论证。形式逻辑的规律和基本原则形式逻辑的规律形式逻辑有一些基本的规律，包括：同一律一个概念与其自身是等同的，即如果A是A，则A与A是等同的矛盾律一个概念不能既肯定又否定同一事物，即如果A是B且B不是A，则A不是B排中律对于任何一个概念，它要么是真要么是假，没有第三种可能充足理由律任何判断必须有充分的根据形式逻辑的基本原则形式逻辑有一些基本的原则，包括：不矛盾原则在同一语境下，同一事物不能既具有又不具有某一属性确定性原则任何命题或判断必须有明确的真值，即真或假可推导性原则如果一个命题是真，那么通过有效的推理可以得到另一个真命题可逆性原则如果一个命题是真的，那么它的逆命题也是真的完备性原则所有真命题的总和应该是完备的，即任何两个真命题的总和应该产生另一个真命题形式逻辑的符号系统形式逻辑使用一套符号系统来表达和评价推理过程。常用的符号系统包括希尔伯特式（Hilbert-style）和斯波内式（Feysian）等。下面是一个希尔伯特式符号系统的简单例子：命题符号P, Q, R, S, A, B, C, D,……；大写字母表示普遍命题，小写字母表示个别命题；用“→”表示“如果……那么……”的意思；用“↔”表示“当且仅当”的意思；用“!”表示“并非”的意思；用“∧”表示“并且”的意思；用“∨”表示“或者”的意思；用“∴”（读作“所以”）表示推论的意思；用“∵”（读作“因为”）表示推论的原因；用括号（……）来表示命题的组合；用大括号（｛｝）来表示全称量词；用尖括号（＜＞）来表示存在量词；用方括号（［］）来表示逻辑联结词“并且”、“或者”的意思；用双箭头（↔）来表示等价关系；用单箭头（→）来表示蕴含关系；用三个点（∴）来表示推论关系；用省略号（……）来表示省略的意思；用圆点（·）来表示分隔号；用短横线（-）来表示否定符号；用等号（=）来表示等价符号；用大于号（>）和小于号（<）来表示比较符号；用加号（+）、减号（-）来表示加法和减法符号；用乘号（×）、除号（÷）来表示乘法和除法符号；其他符号依次类推……公式符号“〈１２１〉”、“〈２3２〉”、“〈１２1１〉”、……表示公式的序号。“P”（大写字母）“q”（小写字母）“r”（大写字母）“s”（