来看高产
清下库存
P1 之前和朋友的互绘,左逻辑学右语言学,画的时候本来想藏一些卡尔纳普在The Logical Syntax of Language里所试图证明的逻辑的句法性质和Bergmann 论ideal language时"The proper way of exhibiting the structure of our world is to construct an ideal language in which to talk about it; for the structure of such a language is, in some sense, a picture of the structure of the world." (Two Criteria for an Ideal Language, The Linguistic Turn, 132)"的观点的梗,不过目前完全看不出来,,,卡尔纳普虽然没直说自己在搞ideal language,不过他确实认为只有一套逻辑严谨的新语言才能把我们从自然语言所强加给我们的失真世界观中解放出来(SEP, Rudolf Carnap)
此后LP被鞭尸几十年
P2 分哲与他的4个序列号狗狗(狗狗从左往右:Belief (Y), Argument (S), Syntax (Z), Truth (G))
P3 P4 新逻辑主义双子,不是很正式的设定就不写文案了直接看图说话吧
补充几个图片上没讲清楚的地方:
①双子的划分严格来说是有问题的,因为按照Zalta & Linsky 2006,除了上述两种解决方案外,还可以通过扩大逻辑的概念以达成逻辑主义的目标,比如最一般的视二阶逻辑为逻辑,或像Tennant那样视introduction and elimination rules [governing abstracts for mathematical objects] 为逻辑的一部分
②在p3中被画出来的耳坠是Hume's Principle(耳坠上的图案是相叠的HP),但耳坠作为抽象主义在它身上留下的标志并不仅限于Hume's Principle,相反象征着任何一种抽象原则,因为除了Wright和Hale外还有很多别的通过添加新的抽象原则进而接受那些非逻辑性资源(主要为analytic truth)的方案,比如Cook (2003) 选择的就是SOAP+Newer V+New V+InfNonSets而非传统的HP
③p4 modal neo眼睛里受数学结构主义影响的圆弧主要是因为modal neo比前者更加系统化,是一个更大的形而上框架(OT+axiomatic metaphysics)的一部分,而⒈relation是这个大框架中的primitive,而在这个框架下的relation theory令我们分析和表达抽象物的方式都是relation based的,例如属性与命题分别对应着1-place relation和0-place relation,⒉ Zalta演示过如何利用(A) OT分析数学且把这种分析视作数学结构主义的一个版本 (见Edward N. Zalta, A Logically Coherent Ante Rem Structuralism)
④与抽象主义/数学结构主义通过在它们身上留下token以对这个理论进行标记的方式不同,白乌鸦不只是柏拉图主义的标记,每只白色的乌鸦都是它的一部分。象征柏拉图主义的白乌鸦与作为柏拉图主义者的理论共生,当该理论的强度与正当性欠缺至不再适合乌鸦生存时,它不与宿主同甘共苦而是速速跑路并寻找下一个
P5到P10 全是概念壬与我产品 私货浓度过高我也不知道该怎么介绍了 吾日三省吾身之我真的好意思把这些概念壬视作哲拟oc吗
分别是:我产品,条子们,万金油们,神棍们,剩下两张是分哲的万能秘书S酱(什么称呼