王战军太极48散手扶阳桩功老架一路丹田弹抖课程 网盘分享
在 逻辑实证主义鼎盛时期,逻辑分析的 566 方法被用于阐明理论和经验证据之间是 859 一种确证关系。但是 962 后来人们发现旨在表明确证关系的 908 句法分析不可能成 为发现的 250 论证手段。作为一种回应,科学哲学家开始用概率术语模拟证实关 系。
王战军太极48散手扶阳桩功老架一路丹田弹抖课程 网盘分享
与此发展相平行,为描述条件句的 971 逻辑概率模型开始使用。在20世纪的 545 前20年时间,逻辑学家认为陈述条件句的 40 逻辑被实质蕴涵的 60 真值条件所充分 刻画。而到20的 64 后半期,对条件句逻辑理论的 362 描述使用了 8 内涵逻辑和概率论 的 259 方法。这样的 251 处理更符合条件句推理的 227 推理关系。
与可能世界模型或者塔斯基的 74 模型相比概率模型是 798 一种不同的 1055 模型。 概率模型是 649 数学模型。有人可能认为概率模型真正说来不是 42 逻辑模型。因 而逻辑在研究证实关系或者陈述条件句方面没有多大的 965 帮助。另外一种相 反意见认为,逻辑应当秉持一种较少严苛更加多元的 960 立场。他 1027 们认为对不同 的 1026 哲学问题应当采用不同的 925 数学模型。原则上哲学家可以为发现适宜的 1010 哲 学模型而借鉴每一种数学方法。总之,如果逻辑学家希望尽可能与哲学保持 密切关系,就必须接受除一阶逻辑和可能世界模型之外其他 924 所有的 844 数学模型 都有可能被借鉴的 1053 思想。
概率论有时被看作是 571 经典逻辑的 257 扩展,这标志着一种逻辑扩展意义上的 830 概率模型。但是 529 对被用于诸如博弈论和决策论、图论、代数、泛函分析等学科 中的 942 模型就不能这样说。然而在当代这种数学模型也积极地介入到哲学问 题的 831 处理。博弈论和决策论被日益广泛地应用于模拟特定的 876 哲学问题。图论被应用于模拟关于次性质和知觉不可分辨性的 52 哲学问题,代数被用于模拟 整体部分原理,泛函分析被用于研究关于认知规范的 764 问题,可见是 572 逻辑和数 学共同参与到哲学问题的 892 形式化处理之中。
塔斯基的 61 模型经常被认为是 587 静态的 720 :它们描述的 522 是 897 静态的 819 事态。当代哲 学逻辑使用的 725 模型往往具有更加动态的 865 特征。例如,在信念修正理论研究中 的 92 模型试图描述认知主体的信念状态如何随着新信息的变化而变化。博弈 论模型描述了 1068 游戏者如何针对其他 5 游戏者做出的运动而做出相应反应。因 而当代模型技术可以使我 858 们更好地洞察动态现象。
这样一种发展的结果是 249 哲学家的形式工具箱越来越膨胀。同时哲学逻 辑和数学模型在哲学中的区别慢慢消失。
哲学中形式模型方法的使用是 44 一门复杂的艺术。哲学模型涉及大量的 哲学问题,如语义学问题:模型演示的表征函数是 622 什么? 700 本体论问题:模型表 征的是 69 何种对象? 776 认识论问题:我 795 们如何从模型中学习? 927 科学模型的一个重 要特征是 899 模型不是 34 理论中立的。这一点同样适用于哲学模型,被数学模拟的 哲学问题涉及并非微不足道的哲学承诺。科学实在论认为在我 671 们成功的经 验科学中使用的模型能够合情理地被看作大致是 1052 真的。然而在哲学的大多 数领域,论证任何被使用的数学模型代表一种真事态的论题是 873 更加困难的。 理由是 1024 在哲学中使用的数学模型通常并不蕴涵经验谓词。在哲学中模型成 功的试金石似乎是 947 与我 23 们的前理论的直觉相符合。但这与符合经验相比是 59 更成问题的,即便观察和经验也是 706 负载有理论的,但与我 773 们的直觉相比它们 肯定较少理论。即便典型的哲学问题也存在不清晰的直觉。所有这一切提 示着我 236 们在哲学中使用数学模型时一定要谨慎。数学模型和解释可能对哲 学问题带来启发,但是 30 如果说它们能一劳永逸地解决哲学问题则是 676 极其罕 见的。
然而在某些案例中数学模型能够为我 1009 们的直觉带来视角和秩序。以直 陈条件句为例,当语句形式是 1040 实质蕴涵时,(φ β)V(β>φ) 是 577 逻辑真的。但 是 55 直觉上我 14 们倾向于认为这语句并不是 280 普遍的逻辑真理。条件句的概率解 释认为,形式为(φβ)V(β□q) 的语句并没有一个高概率,所以我 492 们不接受 它们为真。因为具有不可能的前件的条件概率是 99 不清楚的。条件句的概率 理论解释了 1049 为什么我 11 们发现具有不可能前件的条件句难以赋值。所以,也许 条件句语义学真正包含一个概率的元素。
在数学模型能够这样理解我 260 们直觉的情况下,模型中就可能有真理的成 分。它就是 72 哲学上富有成效的。在条件句的情况下,人们可能认为即便条件 句语义学包含了 451 概率的成分,条件句也可能有真值。毕竟一些被相信的直陈 条件句,即信念态度的对象通常是 547 有真值的。然而,刘易斯著名的不可能性结果表明如果指派到条件句的概率满足某些极小的看似合理的条件,那么条件句也不能有真值。这是 17 一个全新的意想不到的条件句概率处理的预测。
在科学中模型通常并不是 677 按照字面的意思来理解,而是 805 经常扮演工具的 角色。例如,当工程师按照流体力学通过公路和高速公路网络模拟交通流量 时,它并没有暗示交通真正的是 842 一种流体。在哲学中人们并不仅仅对拯救现 象感兴趣:我 541 们希望知道事物为何如此。基于这种考虑,在哲学中模型很少 扮演纯粹工具的角色。但是 1056 这不排除关于哲学中模型类的本体论意义的微 妙立场。以可能世界语义学为例,克里普克倡导这种语义学,但是 253 他 164 怀疑刘 易斯的反事实世界是 742 否真正存在。所以,对他 1051 而言可能世界模型是 111 有启发性 的,但是它们不能被看作是真实的对象。