网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
| 标题 | 现代逻辑 |
| 类别 | 哲学 |
| 释义 | 现代逻辑 modern logic 用形式化方法研究思维的形式结构及其规律的学科。是传统逻辑发展的最新阶段。形式化指用一套意义可以解释的特制表意符号去表示概念、判断、推理，获得它们的形式结构(概念形式、命题形式、推理形式)，从而把对概念、判断、推理的研究，转化为对形式系统中符号的研究。其特点是具有高度的抽象性，严格的精确性和广泛的应用性。 17世纪德国莱布尼茨最早提出要把逻辑处理成演算，成为现代逻辑的最早开拓者。19世纪中叶英国布尔创建了逻辑代数，初步实现了莱布尼茨的思想。稍后德国弗雷格引进了量词和约束变元，最早建立了谓词逻辑公理系统。本世纪初英国罗素总结了符号逻辑的发展，与怀特海合作撰写了《数学原理》，建立了两个完整的演算系统。20世纪20年代，哥德尔一阶谓词演算完备性定理的建立，标志着现代逻辑基础部分的完成。近几十年来，现代逻辑发展迅速，至今已成为门类众多的一门学科：从两个演算(命题演算、谓词演算)到四论(公理集合论、证明论、递归论、模型论);从标准的逻辑到非标准的逻辑;从对象逻辑到元逻辑;从数学的、科学的发展到哲学的、语言的发展等等。 20世纪30年代以来，由于逻辑学进一步与数学、自然科学、哲学、语言学等相互渗透，产生了许多综合成果，主要表现为四个方面：(1)在数学方面。19世纪以来，数学及其应用一直是现代逻辑发展的主流。近年来，由于电子计算机的发明及其广泛使用，包括算法理论、递归函数、λ-换位演算、可计算性和一般能行过程在内的逻辑学的“算术部分”，仍被看成是高于其他部分的主流，推动着现代逻辑的前进。但由于近年来获得的一系列逻辑科学的新成果，这个长期存在着的数学潮流已遭到阻隔。这预示着逻辑学和数学潮流将分裂。(2)在哲学方面。当前逻辑科学具有在哲学方面的发展的新趋势。如对哲学中的基本范畴存在、认识、本体、真理等，使用逻辑工具进行了仔细、精确的分析。并已伸展到伦理和规范的领域，形成了义务逻辑、选择逻辑、行为逻辑以及相关逻辑、模态逻辑、时态逻辑、评价逻辑等。但在对哲学诸领域作成功的逻辑分析的可能性的存在同时，可能引开人们对具有本质意义的但非逻辑分析能解答的重要问题的关注，可能把对某些哲学领域的探索，转移为对某些本质上是平凡的问题去展现使用精湛的逻辑分析的纯技巧。(3)在语言学方面。近年来形成了一些新的逻辑学和语言学的交叉分支。如逻辑语形学、逻辑语义学、逻辑语用学等。语形学是研究语言表达式之间的形式关系。如主要研究形式推理的命题演算谓词演算，就属语形学范围。语义学研究语言表达式及其意义之间的关系。语用学研究语言表达式及其意义、使用者、语境之间的关系。(有些逻辑学家则把对语言表达式及其意义[外延和内涵]之间关系的形式研究称为语用学)(4)在纯逻辑方面。这一领域中的发展主要表现在两方面：一方面力图使逻辑形式系统简化、直观，逐渐接近日常的推理;另一方面是采用经典的演算方法去处理新问题，发展非标准逻辑系统。前者不仅能满足科学技术方面的大量实际需要，而且在认识、教育方面也有重要作用;后者则促使一批逻辑学新分支的建立。 现代逻辑也包括了归纳逻辑的现代发展。归纳逻辑的一个重要的现代形态是概率逻辑。这是一类形式化、数量化的归纳逻辑，它主要以两个演算和概率理论作工具，对归纳逻辑、归纳方法作形式化的处理。概率逻辑开端于本世纪20年代，兴旺于50、60年代，以卡尔纳普等人为代表。由于问题和处理方法的复杂，至今完善程度还较差。尽管这一领域发表的论文、专著不少，但对这一问题的见解，分歧仍颇大。 |
| 随便看 |
|
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。