| 行 1: |
行 1: |
| | '''形式逻辑'''是一门以思维形式及其规律为主要研究对象,同时也涉及一些简单的逻辑方法的科学。 | | '''形式逻辑'''是一门以思维形式及其规律为主要研究对象,同时也涉及一些简单的逻辑方法的科学。 |
| | + | |
| | + | 形式逻辑致力于将人类思维过程反应为语言。 |
| | + | |
| | + | 形式逻辑在一定程度上以追求[[逻辑的必然性|必然]]结论为目的。 |
| | + | |
| | + | == '''“形式”'''的意义 == |
| | | | |
| | ==形式逻辑的研究对象== | | ==形式逻辑的研究对象== |
| 行 20: |
行 26: |
| | | | |
| | 各个领域具体思维所涉及的特殊对象,就是思维内容。 | | 各个领域具体思维所涉及的特殊对象,就是思维内容。 |
| | + | |
| | + | 形式逻辑中逻辑一词指逻辑学<ref>一般认为,逻辑(logic)是一个外来词语音译,指的是思维的规律和规则。逻辑(英语:logic)的字根源起于希腊语逻各斯(希腊语:λόγος),最初的意思有词语、思想、概念、推理、论点之意。后译为(法语:logique),最后发展为英文中的逻辑(英语:logic)。</ref>。 |
| | + | |
| | + | *逻:《說文》巡也。巡逻,按照既定框架,有目的性的行进过程。 |
| | + | *辑:《說文》車和輯也。《六書故》合材爲車咸相得謂之輯。某一事物按特定方式形成另一事物。 |
| | + | |
| | + | 广义上的逻辑:在既定框架下,若干对象彼此的转化过程。 |
| | + | |
| | + | 形式逻辑即逻辑形式,思维形式,其研究对象即这个“既定框架”和“转化过程”。 |
| | | | |
| | 形式逻辑只研究思维形式而不研究思维内容,这不是要将思维形式和思维内容割裂。相反,形式逻辑研究思维形式,正是为了使人们自觉的掌握思维形式的规律。 | | 形式逻辑只研究思维形式而不研究思维内容,这不是要将思维形式和思维内容割裂。相反,形式逻辑研究思维形式,正是为了使人们自觉的掌握思维形式的规律。 |
| 行 30: |
行 45: |
| | **形式逻辑不研究'''“S”''','''“A”''','''“P”'''本身是否正确。 | | **形式逻辑不研究'''“S”''','''“A”''','''“P”'''本身是否正确。 |
| | | | |
| − | == 形式逻辑的基本规律 == | + | ==形式逻辑的基本规律== |
| | + | 形式逻辑的基本规律和其他规律,要求思想有确定性、明确性、无矛盾性与一贯性, |
| | | | |
| − | * 同一律 :如果 一个 思想反映某客观对象 , 那么它就反应这个客观对象;如果 一个思 想是真的 , 那么它就是真 的 ;如果它是假的,那么它就 是 假的。
| + | ===[[ 同一律]]=== |
| − | * 矛盾律:一个思想不能即反映某客观对象而又不反映这个客观对象; 一 个思想或者是真 的 ,或者是假的。
| + | “前后所说的是同 一个 ”,即 , 在 一个思 维过程中 , 前后提及 的 内容应当 是一 致 的 、同 一的。 |
| − | * 排中律:一个思想或者或者反映某客观对象,或者不反映这个客观对象; 一 个思想或者是真的,或者是假 的。
| |
| | | | |
| − | 形式逻辑 的 基本规律和 其 他规 律, 要求 思想 有确 定 性、明确性、无矛盾性与一贯性 | + | ===[[矛盾律]]=== |
| | + | “互相矛盾 的 思想, 其 真假判断也一定互相矛盾”,即,在一个思维过程中,两个互相否定的思想不能同真,必有一假。 |
| | + | |
| | + | ===[[排中 律]]=== |
| | + | “排除中立”,即 , 在一个思维过程中,一个 思想 要么是真的,要么是假的,不存在“薛 定 谔状态”。 |
| | | | |
| | ==形式逻辑与数理逻辑、辩证逻辑区别== | | ==形式逻辑与数理逻辑、辩证逻辑区别== |
| − | 形式逻辑、数理逻辑、辩证逻辑使不同的,但又有一定联系的三门学科。 | + | 形式逻辑、[[ 数理逻辑]] 、[[ 辩证逻辑]] 使不同的,但又有一定联系的三门学科。 |
| | | | |
| | ===数理逻辑=== | | ===数理逻辑=== |
| 行 60: |
行 79: |
| | *形式逻辑是论证思想和表达思想的必要工具 | | *形式逻辑是论证思想和表达思想的必要工具 |
| | *形式逻辑可以帮助我们识破谣言、勘破[[诡辩]](但形式逻辑学习再好也无法战胜诡辩) | | *形式逻辑可以帮助我们识破谣言、勘破[[诡辩]](但形式逻辑学习再好也无法战胜诡辩) |
| | + | |
| | + | ==注释== |
| | + | <references /> |
| | + | |
| | + | {{形式逻辑}} |
| | | | |
| | [[分类:形式逻辑]] | | [[分类:形式逻辑]] |