逻辑经验主义的后实证主义

的状态正式的和先验

这个词的意图逻辑是坚持的独特性质逻辑和数学真理。反对密尔的观点,甚至逻辑和纯数学是经验(即。,是justifiable or refutable by observation), the logical positivists—essentially following Frege and Russell—had already declared mathematics to be true only by virtue of postulates and definitions. Expressed in the traditional terms used by Kant, logic and mathematics were recognized by logical positivists as “先天的”学科(独立有效的经验),正是因为他们否认会自相矛盾,在这些学科和语句的形式”分析命题”即:,命题s that are true or false only by virtue of the meanings of the terms they contain. In his own way, Leibniz had adopted the same view in the 17th century, long before Kant. The truth of such a simple算术命题,例如,“2 + 3 = 5”必要的、普遍、先验和分析因为意义的“2”,“+”,“5”和“3 =。”Experience could not possibly refute such truths because their有效性仅仅建立(如休谟说)”关系的想法。”Even if—“miraculously”—putting two and three objects together should on some occasion yield six objects, this would be a fascinating feature of those objects, but it would not in the least tend to refute the purely definitional truths of arithmetic.

的情况下几何是完全不同的。几何可以实证科学的自然空间或一个抽象的系统未解释基本概念和粗略的假设。后者是概念介绍了以严格的方式大卫希尔伯特后来被一个美国尺蠖,奥斯瓦尔德维布伦。公理化的发达,基本的概念,叫做原语,是隐式定义的假设:因此,等概念点,直线,十字路口,中间状态,飞机只是正式的方式是相互关联的。的证明定理假设,明确定义的衍生概念(如三角形、多边形,圆,或圆锥曲线),是通过严格演绎推理。然而,截然不同的是几何所理解在实际生活中,和自然科学和技术,在这构成科学的空间。自从上半年非欧几里得的几何学的发展的19世纪,它已经不再是理所当然的了欧几里德几何是唯一的几何特别适用于空间物理对象或事件的顺序。在爱因斯坦的广义相对论和引力,事实上,一个四维黎曼几何成功采用可变曲率,一个事件,达到最后一个康德的驳斥争用几何的真理是“合成先验”。对假设的关系定理,因此几何分析,像任何其他严格演绎纪律。假设本身,当interpreted-i.e。,when construed as statements about the structure of physical space—are indeed合成但也后验;即。,their adequacy depends upon the results of observation and measurement.

的发展语言分析和他们的分支

重要的贡献,在1930年代早期开始,是由Carnap, Austrian-American数学逻辑学家库尔特·哥德尔,其他语言的逻辑分析。查尔斯·莫里斯一个实用主义者关心的是语言分析,概述了三维的符号学(一般含义的符号和研究):语法,语义,语用学(符号的关系他们的用户和使用)的条件。语法研究中,形成和关心转换(即规则语言。,its purely structural features), soon required supplementation by semantical studies, concerned with rules of designation and of truth. Semantics, in the strictly formalized sense, owed its origin to阿尔弗雷德好,波兰逻辑学家学院的领导成员,然后是由Carnap和应用问题的意义和必要性。正如维特根斯坦已经展示的,必要的真理重言式仅仅相当于他们是真正的在所有可能的情况下。因此,所谓的永恒真理的原则身份(p相当于本身),没有矛盾的(不能断言和否认相同的命题),和被排除在外中间(任何给定的命题是真或假;没有进一步的可能性)是一个明显的结果的规则根据哲学家使用(或决定使用)的单词命题,否定,等价,结合,析取等等。很一般,文字或符号的含义是回答问题最富启发性的声明语法和语义规则根据它们使用。

两个不同的学派源于这个基本的洞察力:(1)的哲学“普通语言”分析为原型的维特根斯坦后,特别是在他的后期作品中,(他)在不同的方向发展Ryle,奥斯丁。约翰,智慧,和其他人,和(2)技术,基本上Carnap,通常指定为逻辑重建,建立一个人工语言。在日常语言分析的过程,试图跟踪人们通常的方式表达自己。在这种方式,许多传统的无理纠缠的哲学难题和困惑所示出现在理论驱使下的语言的误用或扭曲。(刘易斯·卡罗尔已经在他的预期有些古怪古怪的方式吗《爱丽丝梦游仙境》(1865;1871])。更严格程序的第二个学校好,Carnap,和许多其他logicians-rest上明显区别的语言(和它的所有各种符号)分析的对象,称为目标语言分析是制定的,叫做元语言。如果需要和富有成果,分析可以重复昔日的元语言可以成为对象metametalanguage和等等恶性的危险无限回归。

在语义概念的帮助下,一个老的困惑理论的知识可以解决。实在法学派常常倾向于混淆声明的事实条件确认证据,导致某些荒谬犯下phenomenalists operationalists,如对过去事件的声明语句的意义在于他们(即将到来的未来)的证据。显然,对象目标或过去事件的指示物这样的语句。因此,历史的意义conditions-i.e声明它的真相。,situation that would have to obtain if the historical statement is to be true. The confirmatory evidence, however, may be discovered either in the present or in the future. Similarly, the evidence for an存在主义假设在科学可能包括,例如,在云室,谱线,或类似,而事实可能与亚原子流程或条件天体物理学事实。或者举个例子精神分析,无意识的愿望或冲突的事件真相的条件可观察到的症状(弗洛伊德的失误,清单梦想内容等)仅充当指标或clues-i.e。,如项目确认的证据。

语言的第三个维度(莫里斯符号学的观点)即:,务实的方面深入研究了奥斯丁和他的学生,尤其是约翰塞尔广泛,由哲学家和语言学家从1960年代开发的,包括塞尔,惠普格赖斯,罗伯特•斯托纳克肯特巴赫,杰拉尔德·莱文森和大卫•卡普兰丹Sperber和Wilson迪尔德丽。(另请参阅语言、哲学:日常语言哲学,实用和富有表现力的语言。)

其中一个最令人惊讶的和革命的元语言的分支(正式)分析是哥德尔发现,1931年,不可判定性的确切证据的某些类型的数学问题,发现严重打击的期望形式主义的数学学院倡导的希耳伯特和他的合作者,保罗·伯奈斯。之前哥德尔的发现,似乎似是而非的一个数学系统完整的在某种意义上,任何系统的格式良好的公式可以证明或推翻的基础上给定的一组假设。但哥德尔表明严格(曾经只是一个猜想的荷兰人直觉主义的L.E.J.这和他的追随者),对于一大类重要的数学系统,这种完整性无法实现。

Carnap和赖兴巴赫,在非常不同的方式,做出了大量贡献的理论概率和感应。对需要解释的概率的概念彻底经验主义,赖兴巴赫阐述了认为怀孕的概率相对频率的限制,支持一个务实的归纳推理的合理性。Carnap授予这一概念的重要性(尤其是在现代物理理论)但未遂,在越来越精致和经常修订后的形式,来定义一个概念的degree-of-confirmation纯粹的逻辑。语句将归纳概率一个假设是,在Carnap看来,分析,因为他们只是制定支持的力量赋予一个假设的证据。