数学哲学中的形式主义（三）

前书在1937年被翻译成英文作为语言的逻辑语法。在其中，卡尔纳普（Carnap）认为，哲学中正确的方法是从事被认为是“逻辑语法”的概念分析，大概是说话的语法和证明理论。为了解决哲学上的差异，有人提出在形式语言或“框架”中的有争议立场，其中包括公理制度和证明规则；鉴于这些，有些句子是“确定的”，可证明或可驳斥。这些是相对于该框架的分析性和矛盾的句子。我们如何选择采用哪种系统？ Carnap的宽容原则（1934/1937），52）允许我们采用我们希望的任何系统：

在逻辑上，没有道德。每个人都可以自由建立自己的逻辑，即他的愿望。 [原始斜体]

Carnap将这种无限制的宽容扩展到数学上，并实际上将其赋予了数学家：

就特殊的数学计算而言，这里提出的宽容态度是大多数数学家默认共享的态度。 [同上。]

任何这样的微积分都可以算作一块数学，即使是不一致的数学。通过淡化或完全丢弃语义概念，我们简单地绕过了有关实体性质数学性质的传统本体论争议是“关于”的。唯一的问题是任何给定数学计算的实用效用或其他问题。

这里出现了许多担忧。 Carnap如何区分经验，科学理论和数学理论？其次，如果务实的效用主要是经验应用的问题，那么carnapian正式主义者如何知道给定的微积分将保守地扩展经验理论，如何在没有有意义的数学结果的情况下知道这一点？ Carnap写道：

形式主义观点是正确的，认为系统的构建可以正式地进行，也就是说，无需参考符号的含义。 …但是，仅仅仅通过逻辑数学演算的构建就无法完成因此所概述的任务。因为这个演算不包含……那些与数学应用有关的句子……例如，“现在有两个人在场的句子中”，不能从句子中得出“查尔斯和彼得现在在这个房间里，没有其他人”仅在逻辑数学演算的帮助下，因为它通常是由形式主义者建造的；但是，它可以借助逻辑系统的帮助，即基于弗雷格的“ 2”定义。 （Carnap 1934/1937，326）

添加（斜体是Carnap的）“这种结构同时满足了形式主义和逻辑主义的要求。”

但是，根据宽容原则，可以阻止我们自由规定的操作员的“桥梁原​​理”，这些操作员在理论上表现像数字操作员 - ‘

φ

ϕ’s's - via它们在算术公理的配方中的定义性出现，桥梁原理包括以下方式：

的数量

φ

s

=

0

↔

∃

x

（

φ

x

&

～

∃

y

（

φ

y

&

y

≠

x

）

）

的数量

φ

s

=

1

↔

～

∃

x

φ

x

？

ϕs =0↔∃X（ϕx＆〜∃Y（ϕy＆y≠x））的数量ϕs = 1↔〜xϕx？

也就是说，我们将数字的零链接起来，并说明有一个适当类型的实体，其中一个句子的数字表示没有这样的实体。如果我们这样做，请添加标准小数算术的规则，然后尝试应用这种演算，将随后发生灾难；但是，我们是否不需要满足的保守扩展结果来表明对于我们使用的计算，不会发生任何灾难？

在此和其他方面，戈德尔的不完整定理对Carnap构成了非常困难的问题。第一个不完整定理告诉我们，

（

ω

（ω-）一致的形式理论，其定理是递归列举的，并且需要一定的（相当有限）的算术量，将会有一个算术句子，以至于它都不可证明其和其否定。在Carnap的术语中，这似乎产生了不确定性的句子，如果我们确信其中一些句子是真实的，这对他来说是一个问题。实际上，如果这些句子以适当的方式构造（有不同的方式）在该模型中本身是正确的。

戈德尔本人写道，但没有出版，这是对卡纳普立场的批评（戈德尔，1953 - 9年）。戈德尔专注于他的第一个不完整定理，而是在他的第二个定理中绘制的推论：在某种自然表征一致性的特征下，可以通过他的语法算术来给出数学上的特征，没有对他的语法化的算术，没有任何形式的理论的理论考虑到哥德尔类型可以证明自己的一致性。他认为，为了使他的实证主义论点很好，即数学定理没有内容，需要为数学计算的一致性证明，以证明它们没有经验内容，确实有很多内容，确实有很多内容，这确实是通过其丰富的。需要所有经验句子。但是，沃伦·戈德法布（Warren Goldfarb）指出，（1995：328），这一点未能欣赏卡纳普（Carnap）1937年位置的深层整体，其中分析和合成之间的区别与所讨论的系统相对于“语言框架”。 （当然，这种深厚的抛弃性具有违反直觉的结果，即数学和经验科学之间没有框架 - 转变的区别。）

实际上，Carnap了解了Gödel定理的进口（Tennant，2008年）；他直接知道Gödel的结果，Gödel确实阅读了逻辑语法的草稿。尽管如此，他表现出了对其对自己的立场的影响而显着的不满。他承认有必要表明一致性，以一种更强大的语言（§60c），并自由地帮助自己采用了数学技术，这绝不可以被归类为限制（例如，在§14中，他使用的是无限的规则前提是，尤其是后来被称为

ω

ω-rule）。这样至少，这样他就可以否认有任何不确定的句子，因为每个真实的算术句子都可以使用

ω

ω-rule（相对于相当弱的逻辑，比经典逻辑和弱的公理系统（例如Q- Robinson算术）弱得多）。

卡尔纳普（Carnap）放松的态度源于他放弃寻找认识论基础。如果一个人希望通过呼吁对形式主义的解释来确保我们对数学的了解，那么寻找希尔伯特寻求类型的一致性证明是有意义的，并且人们会从有限的片段中寻求整个数学的辩护我们的知识似乎很难削弱。但是，卡纳普（Carnap）也许是戈德尔（Gödel）的深度定理的结果，似乎放弃了这个目标，并认为宽容原则使他免除了任何这种需求。可以规定人们喜欢的东西，包括更强大的公理系统，从中可以证明弱理论的一致性。这并不能为相信或接受较弱的理论提供任何更坚定的理由，但是无论如何都不需要这样的理由。

如今，很少有在数学上寻找笛卡尔确定的确定性，因此Carnap在这里的位置似乎是合理的。但是，并不清楚他已经回答了适用性的问题。即使只能在更强大的系统中给出保守的扩展结果，我们也需要结果是一个满足的事实，而不仅仅是我们可以从某些系统中得出的一串符号，如果我们要放心，我们即将在设计桥梁或计算机时使用务实有用。而且，如果carnapian赋予结果是一个满足的真理，我们可以根据形式主义的立场询问是什么构成了这一真理。可以肯定的是，卡尔纳普的动机是卷入形而上学争论的恐怖。但是，如果他的观点不仅被认识论雄心勃勃，而且是如此的屈曲，以至于说的是，只能将其远远超过地质学技术，可以应用于数学和科学理论的形式上数学哲学的辩论。

并不是说Carnap确实放弃了形而上学：这种形而上学的对手确实是一个兄弟的形而上学家，他本人的竞争理论，正如F. H. Bradley可能所说的那样。因此，后来的“经验主义，语义和本体论”的主要进口是将本体论的担忧视为伪造问题，这是通过“内部”问题之间（高度争议的）区别在于伪造问题，这是由框架的规则（框架的规则）解决的。数学，普通的“事物”谈话或其他问题以及“外部”问题，例如“采用哪个框架？”。卡纳普声称，对于这些外部问题，没有真相价值的命题。例如，没有这样的问题对形式有真实的答案：“是的，存在无限的抽象数字”。相反，他们应根据有关该框架的效率，富有成果和实用性在相关论述的目的方面的务实标准，富有成果和实用性来回答他们。但是这些目标是什么？预测“感官数据”的流动，被认为是形成世界上最终家具的理所当然的？如果是这样，我们会发现自负的本体论中立性是一种假，我们具有一种激进的经验主义反现实主义形而上学的形式。

形式主义的痕迹在于：Carnap采用“正确性”，由管理系统的规则决定，而不是与与规则制度无关的事实统治，例如与事实相关。他认为这种方法消除了本体论的烦恼，并使我们免于任何义务解释有限的，肉体和血液的生物，像我们自己一样，可以详细了解这个独立的事实领域，非毒物对象和特性，这是Carnap作为形而上学幻觉的领域。与形式主义的一种有力的否认是，卡纳普（Carnap）与所有话语领域相同，而不仅仅是数学领域。

5。名义主义形式主义

W. V. Quine凭借意义和准论主义的数学概念，将数学的概念拒绝了实证主义者的真理学说（因此，数学的概念是分析真理的主体（部分原因，部分原因也拒绝了他的导师Carnap的内部/外部区别）。与纳尔逊·古德曼（Nelson Goodman）一起，他制作了构成形式主义宣言的内容。他的形式主义阶段似乎并没有持续很长时间：后来他以一种数学柏拉图主义的形式定居，轻描淡写，即使不是很大程度上忽略了他相对年轻的“名义主义”的调情。但是，尽管他和古德曼持续了，但通过正面解决其他形式主义者避免或忽略的问题，从而大大推进了形式主义的讨论。

古德曼（Goodman）和奎因（Quine）的“迈向建设性名义主义的步骤”（1947年）提出了一个毫不妥协的游戏形式主义：

通过使用数学公式从使用数学公式而获得自然科学的收益并不意味着这些公式是真实的陈述。没有人，甚至不是最艰难的实用主义者，都可能将算盘的珠子视为真实。我们的立场是，柏拉图数学的公式就像算盘的珠子一样，需要便利的计算辅助工具，这些辅助工具需要毫无疑问。 （122）。

他们看着

数学的句子仅是无意义的标记字符串

以便

数学具有的清晰度源于控制这些标记的句法或metaragical式规则。 (111)

值得称赞的是，古德曼和奎因并没有回避元心态问题，语法和metAmathematics本身似乎在本体论富裕并致力于抽象对象是算术的困难。相反，他们直接面对它，并试图完全使用具体物体的本体论，实际上有限许多此类对象。 （但是，他们确实假定相当有力的神学原理，特别是普遍的组成：他们假设任何一组对象（无论分散或分散）也是一个神学的对象 - “融合”或“总和” - 以良好的信誉。）

他们巧妙地试图开发一种语法，该语法“将数学表达视为具体对象”（同上），作为实际的物理标记，并为诸如'formula'，'axiom'和``axiom'''和'coolive诸如柏拉图式上的概念提供具体的替代物。定义的。但是，它们并没有解决以这种具体的形式主义方式解释的数学应用问题。

除了适用性问题外，古德曼和奎因（Goodman and Quine）开发的形式主义还有两个关键问题。首先，尚不清楚他们有权获得有关语法的一般主张，这被认为是关于某些具体标记和商标融合的理论。因此，当他们在“准形式”方面对公式的定义给我们带来了我们想要的结果时，他们说：

还需要下一个更复杂的替代拒绝

x

x是准形式的替代否认，该定义保证了这些定义在直观的意义上也将是公式。等等，

x

x本身。 (116)

（“替代拒绝”是谢弗·卒中行动

磷

|

问

p | q是正确的，并且仅当一个组件是false时。）问题在于“等等”。古德曼（Goodman）和奎因（Quine）试图通过一个任意公式向上努力，表明他们的定义将确保每个较大的组件都是公式。目前尚不清楚我们如何保证任意

x

x，没有归纳对公式复杂性的诱因；但这是无法使用的，因为公式不是以通常的归纳固定理论方式产生的。类似的评论适用于以下证明，即在p上名义上定义的证明。 120，在直接地期望的即时次级主体和结论之间具有内部优先级。演示进行了对所有数字的概括

k

k在混凝土证明中的公理数字，然后在其上吸引一系列选择。这似乎是对所有数字的概括的真实性，而且确实是可数的选择，这对于严格的名义主义者而言无法获得的资源。

其次，Goodman和Quine对诸如句子的说法可以说什么

2

2

2

2

2

2

+

1

是素数

？

222222+1是主要的？

（也就是说 - 2^

n

n’代表“ 2

n

n’ - [2^（2^（2^（2^（2^（2^2）））））]]

+

1

+1是Prime';参见Tennant，1997,152。）他们不能否认该句子的存在，因为在我们眼前有象征。但是，有强烈的理由认为，不存在任何具体的证明或调谐性，因为唯一可用的方法可能会用比任何人可以使用的时间，空间和材料更多的时间，空间和材料，也许比实际存在的时间要多。这个属性有无数的句子：它们的具体令牌存在，但实际上没有具体的证据或反驳，无论如何，没有人可以操纵人类作为有意义的话语。 （参见Boolos，1987年。）古德曼和奎因的说服力的形式主义者似乎被迫得出这样的结论：上述句子，从通常的正式意义上可以决定的句子既不是真实也不是错误的，因为既不是具体证明也不是可以证明的，也不是可以否认的。但是，要接受这种观点，将是目前实践的屠夫数学；这种后果应该被视为其位置的还原荒谬。

6。术语形式主义：咖喱

非希尔伯特式形式主义数学哲学的最实质性尝试是哈斯克尔·库里（Haskell Curry）的《形式主义数学哲学》的书概述（Curry，1951）。库里不是游戏形式主义者，他的立场更接近我们从我们发起的两种观点中的术语形式主义。然而，库里的数学哲学是或试图成为一种高度反文档的哲学，至少在他认为自己可以在数学本体论承诺问题上保持中立的程度。

数学可以被认为是一门科学，以独立于除最基本的哲学假设以外的任何人。 (3)

因此，他并不是出于抽象物体的反铂主义恐怖激励。的确，他的中立性在某种程度上被咖喱完全乐于致力于无限抽象表达类型的无限本体的事实所遭到的损害。正式地，他表明他的正式系统的原始人（误导性地称其为“令牌”）是：

我们可以为那些我们想要的任何对象拿走这些对象，同样，我们可以为操作员采用任何结合具有必要正式属性的对象的方法。 (28)

但是，由于对于许多系统，有许多原始的“令牌”，因此不能全部用数学家实际产生的具体标记来识别它们。

像《形式主义者》一词一样，库里（Curry）采用数学，在哲学反思后正确重建，具有本质上是句法主题，即正式的系统。不过，与弗雷格的对手不同，咖喱是在建立《 metamaterics纪律》之后写作的，能够对形式系统是什么是更严格的（尽管在他的情况下有点古怪）。

对正式系统的公理，规则和理论的形式没有任何限制。正式系统的基本命题的真实性仅仅是其在系统中的可预订性。他的形式系统之一（示例7：23）只有一个谓词“戈德尔用“ ist beweisbar”一词表达的一元谓词”（23），即可证明性谓词。该系统的基本真理可以解释为基础系统中可易待性的主张。任何常规形式的形式系统都可以“简化”到一个基本命题的还原系统中只有一个可证明性谓词和真相（= provability）的系统

φ

ϕ仅在

φ

ϕ在还原系统中可证明：

⊢

⟨

φ

⟩

⊢⟨ϕ⟩（34–35）。库里允许人们通过通常的逻辑操作员从基本命题中形成化合物，以表达证明理论语言的复杂命题（第IX章）。

结果是，数学一般变成了metaramatics，一种满足的理论 - 库里的句子表达了带有真实价值观的命题 - 从基本的正式系统中，其解释或更确切地说是在数学上重要的重要性，从而阐明了关于什么是可证明的事实。 。然而，这个角度有可能陷入结构主义，将数学话语视为模式隐含地对满足架构的一系列（通常）抽象结构的范围进行概括。至于元心理的问题，库里不寻求回答这一点。没有真正的尝试来避免对物体丰富的本体论的承诺，除了仅考虑标准的形式系统，可以使用可数的本体来做到可以发挥语言表达的作用。但是，仅以严重扭曲数学实践为代价。设定理论家，拓扑师，分析师等。进行猜想，并试图证明“关于”集合，拓扑空间，在复数上的功能等的事物。在他们的哲学时刻，他们可能会想知道他们与之搏斗的概念是“关于”的，但他们并不是一般娱乐的猜想或试图证明“关于”表达字符串的事物，除非在证明他们的情况下具有工具价值关于集合，空间，复杂平面等的事情（参见Resnik：70-71）。

数学联邦政治世界观提示您：看后求收藏（笔尖小说网http://www.bjxsw.cc），接着再看更方便。