王战军太极48散手扶阳桩功老架一路丹田弹抖课程 网盘分享
在 逻辑实证主义鼎盛时期，逻辑分析的 15 方法被用于阐明理论和经验证据之间是 7 一种确证关系。但是 28 后来人们发现旨在表明确证关系的 34 句法分析不可能成 为发现的 5 论证手段。作为一种回应，科学哲学家开始用概率术语模拟证实关 系。
王战军太极48散手扶阳桩功老架一路丹田弹抖课程 网盘分享
与此发展相平行，为描述条件句的 25 逻辑概率模型开始使用。在20世纪的 前20年时间，逻辑学家认为陈述条件句的逻辑被实质蕴涵的真值条件所充分 刻画。而到20的后半期，对条件句逻辑理论的描述使用了 3 内涵逻辑和概率论 的方法。这样的处理更符合条件句推理的推理关系。
与可能世界模型或者塔斯基的模型相比概率模型是 30 一种不同的模型。 概率模型是 22 数学模型。有人可能认为概率模型真正说来不是 14 逻辑模型。因 而逻辑在研究证实关系或者陈述条件句方面没有多大的帮助。另外一种相 反意见认为，逻辑应当秉持一种较少严苛更加多元的立场。他 11 们认为对不同 的哲学问题应当采用不同的数学模型。原则上哲学家可以为发现适宜的哲 学模型而借鉴每一种数学方法。总之，如果逻辑学家希望尽可能与哲学保持 密切关系，就必须接受除一阶逻辑和可能世界模型之外其他 23 所有的数学模型 都有可能被借鉴的思想。
概率论有时被看作是 8 经典逻辑的扩展，这标志着一种逻辑扩展意义上的 概率模型。但是 24 对被用于诸如博弈论和决策论、图论、代数、泛函分析等学科 中的模型就不能这样说。然而在当代这种数学模型也积极地介入到哲学问 题的处理。博弈论和决策论被日益广泛地应用于模拟特定的哲学问题。图论被应用于模拟关于次性质和知觉不可分辨性的哲学问题，代数被用于模拟 整体部分原理，泛函分析被用于研究关于认知规范的问题，可见是逻辑和数 学共同参与到哲学问题的形式化处理之中。
塔斯基的模型经常被认为是静态的：它们描述的是静态的事态。当代哲 学逻辑使用的模型往往具有更加动态的特征。例如，在信念修正理论研究中 的模型试图描述认知主体的信念状态如何随着新信息的变化而变化。博弈 论模型描述了 31 游戏者如何针对其他 21 游戏者做出的运动而做出相应反应。因 而当代模型技术可以使我 33 们更好地洞察动态现象。
这样一种发展的结果是哲学家的形式工具箱越来越膨胀。同时哲学逻 辑和数学模型在哲学中的区别慢慢消失。
哲学中形式模型方法的使用是一门复杂的艺术。哲学模型涉及大量的 哲学问题，如语义学问题：模型演示的表征函数是什么? 12 本体论问题：模型表 征的是何种对象? 4 认识论问题：我 20 们如何从模型中学习? 29 科学模型的一个重 要特征是模型不是理论中立的。这一点同样适用于哲学模型，被数学模拟的 哲学问题涉及并非微不足道的哲学承诺。科学实在论认为在我 6 们成功的经 验科学中使用的模型能够合情理地被看作大致是真的。然而在哲学的大多 数领域，论证任何被使用的数学模型代表一种真事态的论题是更加困难的。 理由是在哲学中使用的数学模型通常并不蕴涵经验谓词。在哲学中模型成 功的试金石似乎是与我 17 们的前理论的直觉相符合。但这与符合经验相比是 更成问题的，即便观察和经验也是负载有理论的，但与我 26 们的直觉相比它们 肯定较少理论。即便典型的哲学问题也存在不清晰的直觉。所有这一切提 示着我 18 们在哲学中使用数学模型时一定要谨慎。数学模型和解释可能对哲 学问题带来启发，但是如果说它们能一劳永逸地解决哲学问题则是极其罕 见的。
然而在某些案例中数学模型能够为我 16 们的直觉带来视角和秩序。以直 陈条件句为例，当语句形式是实质蕴涵时，(φ β)V(β>φ) 是逻辑真的。但 是直觉上我 2 们倾向于认为这语句并不是普遍的逻辑真理。条件句的概率解 释认为，形式为(φβ)V(β□q) 的语句并没有一个高概率，所以我 9 们不接受 它们为真。因为具有不可能的前件的条件概率是不清楚的。条件句的概率 理论解释了 13 为什么我 27 们发现具有不可能前件的条件句难以赋值。所以，也许 条件句语义学真正包含一个概率的元素。
在数学模型能够这样理解我们直觉的情况下，模型中就可能有真理的成 分。它就是哲学上富有成效的。在条件句的情况下，人们可能认为即便条件 句语义学包含了 32 概率的成分，条件句也可能有真值。毕竟一些被相信的直陈 条件句，即信念态度的对象通常是有真值的。然而，刘易斯著名的不可能性结果表明如果指派到条件句的概率满足某些极小的看似合理的条件，那么条件句也不能有真值。这是一个全新的意想不到的条件句概率处理的预测。
在科学中模型通常并不是按照字面的意思来理解，而是经常扮演工具的 角色。例如，当工程师按照流体力学通过公路和高速公路网络模拟交通流量 时，它并没有暗示交通真正的是一种流体。在哲学中人们并不仅仅对拯救现 象感兴趣：我们希望知道事物为何如此。基于这种考虑，在哲学中模型很少 扮演纯粹工具的角色。但是这不排除关于哲学中模型类的本体论意义的微 妙立场。以可能世界语义学为例，克里普克倡导这种语义学，但是他 19 怀疑刘 易斯的反事实世界是否真正存在。所以，对他 10 而言可能世界模型是有启发性 的，但是它们不能被看作是真实的对象。
