网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
| 标题 | 形式逻辑 |
| 类别 | 哲学 |
| 释义 | 形式逻辑 formal logic 研究思维的形式结构及其规律的科学。有广义和狭义之分。狭义的形式逻辑专指演绎逻辑。广义的形式逻辑除以演绎逻辑作为主要内容外，还包括某些归纳逻辑的内容，如简单枚举归纳法和排除归纳法、类比法、假说等，即泛指非辩证的逻辑。 形式逻辑在撇开思维的个别的具体内容的条件下研究各种不同种类的命题、推理的形式结构及其正确联系的规律。它从许多个别的、具体的思维形式中抽取和概括出一般的逻辑形式和规律、规则。这些逻辑形式、规律、规则都是客观事物在人的主观意识中的反映，是通过人的实践的千百万次的重复而在人的意识中固定下来的。形式逻辑的基本规律有同一律、矛盾律和排中律(关于充足理由律是不是形式逻辑的基本规律，逻辑学界尚有不同意见)。这些规律对人的思维具有客观的强制作用，是一切人所必须遵守的;如果违反了它们的逻辑要求，就会破坏思维的确定性、一贯性和论证性，引起思维的混乱。所以形式逻辑是人们正确地认识客观事物和表述论证思想的必要的辅助工具。 形式逻辑是一门古老的科学，迄今已有两千多年的历史，中国古代以《墨经》和《荀子·正名》为代表而形成的“名辩之学”和古印度的因明(五支作法与三支作法)都是形式逻辑类型的古典逻辑科学。古希腊的亚里士多德在其《工具论》和《形而上学》中，系统论述了形式逻辑的基本原理，建立了西方逻辑史上第一个逻辑系统(即三段论系统，这个系统构成了词项逻辑的一个初等的、但是重要的部分)，被公认为形式逻辑的奠基人。随后，斯多亚派提出了假言推理和选言推理的理论和形式，对亚里士多德逻辑中所欠缺的命题逻辑第一次进行了系统的探讨，极大地丰富和发展了亚里士多德的演绎逻辑。在欧洲的中世纪时期，形式逻辑作为一门独立科学也得到了发展：进一步研究了词项属性的理论，创立了推论的学说，发展了斯多亚派的命题逻辑，探讨了语义悖论及其解决方法等等。在近代，适应实证科学发展的需要，英国哲学家培根研究了作为科学方法的归纳法，奠定了归纳逻辑的基础。19世纪的英国逻辑学家J.S.穆勒将其加以系统化，提出了著名的“归纳五法”(判明现象因果联系的五种方法)，进一步丰富了归纳逻辑的内容。在逻辑史上，18世纪的德国哲学家康德在《纯粹理性批判》一书中，最先使用“形式逻辑”来指称由亚里士多德奠定基础的那种类型的逻辑学。从此以后，“形式逻辑”这一名称被广泛采用。 随着形式逻辑和数学的发展，迫切需要在形式逻辑中运用数学方法，又需要对数学基础进行逻辑分析。适应这种需要，17世纪德国莱布尼茨提出了把逻辑数学化的思想，数理逻辑也就随之产生并逐步发展起来。这种发展极大地丰富、充实和改进了形式逻辑科学的内容，使之进一步适应现代科学思维发展的水平及需要。数理逻辑作为形式逻辑，主要是传统演绎逻辑发展的必然结果，也就是现代的形式逻辑。它用形式化的方法研究思维的形式结构及其规律，即用一套特制的表意符号(其意义是可以解释的)，去表示概念、命题和推理，表示它们的逻辑形式及结构，从而把对概念、命题和推理的研究转化为对形式的符号表达式系统的研究。这样来研究的概念、命题、推理的形式即概念形式(包括个体表达式、谓词表达式、量词符号等)、命题形式、推理、论证形式。与传统形式逻辑相比，数理逻辑在考察形式的范围方面，在其所采用的研究方法的严密性方面，有了很大的进展。它不单是形式的，而且是形式化的，它的基础分支可以看成是一个形式系统。由于它的研究范围包括传统形式逻辑的一系列基本问题，因此，现代数理逻辑乃是亚里士多德所创立的传统形式逻辑发展到最新阶段的成果和产物。对于数理逻辑和形式逻辑的关系，目前人们还有各种不同的看法。如有人认为现代形式逻辑并不等于数理逻辑，但包括数理逻辑，有的人则认为数理逻辑与形式逻辑是并列的两门逻辑科学等等。 20世纪中叶以来，现代形式逻辑的触角正向多方面延伸，与数学、其他自然科学、哲学、语言学相互渗透，产生了许多综合成果，出现了四个方面的发展趋势。首先，现代形式逻辑的主流仍是沿着数学及其应用的方向前进的，特别是电子计算机的发明及广泛使用，包括算法理论、递归函数、可计算性和一般能行过程在内的逻辑学的“算术部分”仍被看作高于其他部分，处于现代形式逻辑发展的中心。其次是哲学方面的发展。这是一个正在崛起的具有重要意义的新趋势，它预示着逻辑科学和数学潮流的分离。对哲学中诸如存在、认识、本体、真理等基本范畴，使用现代形式逻辑作仔细、精确的分析，无疑具有重要的意义。这些研究已导致义务逻辑、选择逻辑、行为逻辑的产生。再次，现代形式逻辑的又一个趋势是向语言学方面的发展。逻辑语形学、语义学、语用学等分支的建立是其重要标志。这方面的深入研究还导致了一些内涵逻辑系统的产生。最后是纯逻辑方面的发展趋势。主要表现在两个方面：一方面是力图使逻辑的形式系统简化、直观，逐渐接近日常的推理;另一方面是采用古典的演算方法去处理新的问题，发展非标准的逻辑系统，从而促使一系列非标准逻辑的新分支的建立。 |
| 随便看 |
|
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。