更改

添加2,726字节 、 2021年4月25日 (日) 21:36
无编辑摘要
第1行: 第1行:  
'''形式逻辑'''是一门以思维形式及其规律为主要研究对象,同时也涉及一些简单的逻辑方法的科学。
 
'''形式逻辑'''是一门以思维形式及其规律为主要研究对象,同时也涉及一些简单的逻辑方法的科学。
    +
形式逻辑致力于将人类思维过程反应为语言。
 +
 +
形式逻辑在一定程度上以追求[[逻辑的必然性|必然]]结论为目的。
 +
 +
== '''“形式”'''的意义 ==
 +
 +
==形式逻辑的研究对象==
 
 任何具体思维都有它的内容,也有它的形式。任何具体思维,都涉及一些特定的对象。
 
 任何具体思维都有它的内容,也有它的形式。任何具体思维,都涉及一些特定的对象。
   第12行: 第19行:  
 例如:在各个不同领域的具体思维中,都要应用诸如下列这些思维因素:
 
 例如:在各个不同领域的具体思维中,都要应用诸如下列这些思维因素:
   −
* 如果······那么······
+
*如果······那么······
   −
* 所有······都是······
+
*所有······都是······
    
 各个领域共同要用到的思维因素,就是思维形式。
 
 各个领域共同要用到的思维因素,就是思维形式。
第20行: 第27行:  
 各个领域具体思维所涉及的特殊对象,就是思维内容。
 
 各个领域具体思维所涉及的特殊对象,就是思维内容。
   −
 ( 施工
+
  形式逻辑中逻辑一词指逻辑学<ref>一般认为,逻辑(logic)是一个外来词语音译,指的是思维的规律和规则。逻辑(英语:logic)的字根源起于希腊语逻各斯(希腊语:λόγος),最初的意思有词语、思想、概念、推理、论点之意。后译为 法语:logique),最后发展为英文 的逻辑(英语:logic)。</ref>。
    +
*逻:《說文》巡也。巡逻,按照既定框架,有目的性的行进过程。
 +
*辑:《說文》車和輯也。《六書故》合材爲車咸相得謂之輯。某一事物按特定方式形成另一事物。
   −
<br />
+
广义上的逻辑:在既定框架下,若干对象彼此的转化过程。
   −
== 说人话==
+
形式逻辑即逻辑形式,思维形式,其研究对象即这个“既定框架”和“转化过程”。
 +
 
 +
形式逻辑只研究思维形式而不研究思维内容,这不是要将思维形式和思维内容割裂。相反,形式逻辑研究思维形式,正是为了使人们自觉的掌握思维形式的规律。
 +
=== 举例===
    
*S—所有帝国主义政府的一切决策都是从人民出发。
 
*S—所有帝国主义政府的一切决策都是从人民出发。
第32行: 第44行:  
**形式逻辑研究的是 '''“S→A→P”'''的过程是否正确。
 
**形式逻辑研究的是 '''“S→A→P”'''的过程是否正确。
 
**形式逻辑不研究'''“S”''','''“A”''','''“P”'''本身是否正确。
 
**形式逻辑不研究'''“S”''','''“A”''','''“P”'''本身是否正确。
 +
 +
==形式逻辑的基本规律==
 +
形式逻辑的基本规律和其他规律,要求思想有确定性、明确性、无矛盾性与一贯性,
 +
 +
===[[同一律]]===
 +
“前后所说的是同一个”,即,在一个思维过程中,前后提及的内容应当是一致的、同一的。
 +
 +
===[[矛盾律]]===
 +
“互相矛盾的思想,其真假判断也一定互相矛盾”,即,在一个思维过程中,两个互相否定的思想不能同真,必有一假。
 +
 +
===[[排中律]]===
 +
“排除中立”,即,在一个思维过程中,一个思想要么是真的,要么是假的,不存在“薛定谔状态”。
 +
 +
==形式逻辑与数理逻辑、辩证逻辑区别==
 +
形式逻辑、[[数理逻辑]]、[[辩证逻辑]]使不同的,但又有一定联系的三门学科。
 +
 +
===数理逻辑===
 +
 +
*数理逻辑与形式逻辑的研究对象不是完全相同的
 +
 +
*数理逻辑与形式逻辑的研究方法是不同的
 +
 +
*数理逻辑与形式逻辑再人们认识中所起的作用是不同的
 +
 +
===辩证逻辑===
 +
 +
*形式逻辑只从思维形式而研究思想本身的准确性、明确性、无矛盾性与一贯性
 +
*形式逻辑只从真假的角度,研究各种思维之间的真假关系
 +
 +
==形式逻辑的作用==
 +
 +
*形式逻辑是认识客观世界的辅助工具
 +
 +
*形式逻辑是论证思想和表达思想的必要工具
 +
*形式逻辑可以帮助我们识破谣言、勘破[[诡辩]](但形式逻辑学习再好也无法战胜诡辩)
 +
 +
==注释==
 +
<references />
 +
 +
{{形式逻辑}}
    
[[分类:形式逻辑]]
 
[[分类:形式逻辑]]