逻辑主义派(logicism school)数学基础中的学派之一逻辑主义派的主要宗旨是把数学化归为逻辑.即逻辑主义者从逻辑的概念出发，经由明显的定义得出数学概念，而任何数学定理，均可从逻辑的命题出发，由纯逻辑的演绎推理得到.总之，全部数学都可从基本的逻辑概念和逻辑规则推导出来.因此，逻辑与数学也就不能区分了.实际上，...
逻辑主义是一种哲学的、基础的和基础主义的(foundationalist)学说,可以在数学的任何分支方面得到推进。传统上,逻辑主义特别关注算术和实分析。它有强些和弱些的版本。 逻辑主义的强版本认为,所选诸分支中的所有数学真理都形成了一种逻辑真理。相较之下,逻辑主义的弱版本仅认为所有定理(theorems)才是如此。(我们所说的...
· 逻辑主义者认为数学可被归化为逻辑,数学的对象可以用逻辑词项来定义,而数学定理可以由逻辑原理推导出来。 1.弗雷格 弗雷格 · 弗雷格认为,一个命题是先天的,即它是一个不可证明的“普遍法则”,或者它有一个仅依赖于不可证明的“普遍法则”的证明; · 弗雷格认为,一个命题是分析的,即它是“普遍逻辑法则”,或...
因此，罗素和弗雷格似乎没有建立起一个完整的数学基础——或者，至少他们的工作是不完整的。由此形成了关于数学基础问题的三种主要立场：逻辑主义、形式主义和直觉主义。逻辑主义 根据论文《寻找数学根》：法语单词“Logistique（逻辑）”是由路易·库蒂拉（ Couturat ）等人在1904年的国际哲学大会上引入的，从那以后就...
逻辑实证主义又称“逻辑经验主义”。现代西方最有影响的哲学思潮之一。形成于20世纪20年代，包括以石里克、卡尔纳普为代表的维也纳学派，以莱欣巴赫为首的柏林学派，以塔斯基为代表的利沃夫—华沙学派以及艾耶尔等具有与维也纳学派相似理论的哲学家。其基本特征是把数理逻辑方法与传统的实证主义、经验主义结合起来，主要目标是...
罗素通常被认为是逻辑主义运动的奠基者，拥有很多拥护者，同时也引起了很多异议。逻辑主义者想说明：所有的纯粹数学都是从纯粹的逻辑前提得出来的，并只运用可以用逻辑术语定义的概念。逻辑主义似乎在做两方面的努力。首先，宣称所有的数学都可以用逻辑术语来诠释。因此，数学术语和符号就组成了一个逻辑术语和符号的有效...
在这场大辩论中,原来的不明显的意见分歧扩展成为学派的争论,以罗素为代表的逻辑主义,以布劳威尔为代表的直觉主义,以希尔伯特为代表的形式主义三大学派应运而生。他们在争论过程中尽管言语尖刻,好象势不两立,其实他们各自的观点在争论过程中都吸收了对立面的看法而有很多变化。1930年,哥德尔不完全性定理的证明暴露了各...
赫尔以达尔文的进化论思想为基础，从逻辑实证主义和操作主义方法论出发，建立了一种可靠的假设——演绎科学理论体系。这一科学体系主要包括以下三个方面：1、 有一套表述清晰的公设以及被予以具体明确的“操作性”定义的一组重要术语；2、 从以上的公设定义出发，以尽可能严格的逻辑演绎出一系列相互联结的，包括有关...
在一个有关AI发展历程的视频讲座中,听到了有逻辑主义和经验主义的路径,于是,昨晚与ChatGPT进行了这方面问题的对话。 问:人工智能的发展历程中,有两种不同的路径:逻辑主义和经验主义。能介绍一下这两种路径吗? 答:人工智能的发展历程中,的确存在着逻辑主义和经验主义两种不同的路径,它们代表了两种不同的思维方式和...