核心句型 · 8
1. A can be traced back through … to …
“A great deal of the philosophy … can be traced back through intermediate developments to the work of two men”
追溯渊源的句式。through 引出中间环节,to 引出源头,适合写思想史、技术演变。仿写:Modern AI can be traced back through decades of neural-net research to McCulloch and Pitts.
2. not until … did …
“Not until after his death did his name become known at all widely”
否定词前置引发倒装,强调时间之晚。仿写:Not until the 1950s did Frege's work reach English readers.
3. It was through X that Y
“It was through Russell that the ideas actually became famous in philosophy”
强调句突出「渠道/媒介」。适合说明某事经由谁或什么才实现。仿写:It was through Peano that Russell first heard of Frege.
4. insofar as / in so far as …
“In so far as it could be completed freyr shared a method of doing it”
「就……范围而言」,用于限定断言的适用范围,学术写作高频。仿写:Insofar as the data are reliable, the conclusion holds.
5. X exaggerates in two ways: first of all …, and secondly …
“I think that Michael exaggerates in two ways first of all philosopher's always been concerned with meaning … and secondly …”
礼貌反驳的标准结构:先承认部分(there has been a different emphasis),再分点指出夸大之处。适合评审、辩论。
6. it remains true that … / it is also true that …
“It remains true I had ought to press this point that an enormous amount of the work … Fraga had already done”
在承认对方后重申自己要点,用于「让步—坚持」的推进。仿写:It remains true that the method, however elegant, has never been tested at scale.
7. the attempt to bring a wholly new rigor to bear in …
“The attempt to bring a wholly new rigor to bear in philosophy”
bring X to bear (on/in) 表示「把某种力量、方法施加于」。仿写:She brought her statistical training to bear on the problem.
8. X wouldn't be worth doing unless …
“Philosophy wouldn't be worth doing unless it posed questions to which we could find the answers”
用 unless 给出「值得做」的必要条件,语气坚定。适合表达工作准则。仿写:Research wouldn't be worth doing unless its results could in principle be checked.
生词精讲 · 113 · 按出现顺序
intermediate
/ˌɪntərˈmiːdiət/
adj.
0:00
中间的、居间的(此处指思想传承中的中间环节)
laid the foundations
phr.
0:00
奠定基础
implications
/ˌɪmplɪˈkeɪʃənz/
n.
0:00
含义、影响、推论
second to nobody's
phr.
0:00
不亚于任何人的(second to none 的变体)
comparative obscurity
phr.
0:58
相对默默无闻的状态
notation
/noʊˈteɪʃən/
n.
0:58
记号系统、符号体系
prominent
/ˈprɑːmɪnənt/
adj.
2:06
显要的、突出的
obscured
/əbˈskjʊrd/
v.
2:06
遮蔽、掩盖(obscure 的过去分词)
the great bulk of
phr.
2:06
绝大部分
deficiencies
/dɪˈfɪʃənsiz/
n.
3:12
缺陷、不足
rigorous
/ˈrɪɡərəs/
adj.
3:12
严格的、严密的
remedied
/ˈremədid/
v.
3:12
补救、纠正
made explicit
phr.
3:12
被明确表述出来
premises
/ˈpremɪsɪz/
n.
4:18
(逻辑)前提
deducible
/dɪˈduːsəbəl/
adj.
4:18
可推导出的
identical with
phr.
4:18
与…同一、等同于
cardinal number
n.
5:27
基数(表示数量的数)
prevailed
/prɪˈveɪld/
v.
5:27
盛行、占上风
validity
/vəˈlɪdəti/
n.
5:27
(论证的)有效性
idealists
/aɪˈdiːəlɪsts/
n.
6:39
唯心论者、观念论者
impersonally
/ɪmˈpɜːrsənəli/
adv.
6:39
不带个人因素地、客观地
validates
/ˈvælɪdeɪts/
v.
6:39
证成、使有效
sense and reference
n.
7:50
涵义与指称(弗雷格术语 Sinn/Bedeutung)
denotation
/ˌdiːnoʊˈteɪʃən/
n.
7:50
指谓、外延所指
stands for
phr.
9:07
代表、指代
statements of identity
n.
9:07
同一性陈述(如 a = b)
tautology
/tɔːˈtɑːlədʒi/
n.
9:07
同语反复、恒真式
nominal expressions
n.
10:19
名词性表达式
incomplete Expressions
n.
10:19
不完整表达式(弗雷格指谓词/函数词)
dominant
/ˈdɑːmɪnənt/
adj.
11:32
占主导地位的
given way to
phr.
11:32
让位于、被…取代
prominence
/ˈprɑːmɪnəns/
n.
11:32
显要地位、突出
successor
/səkˈsesər/
n.
11:32
继任者
dethroned
/dɪˈθroʊnd/
v.
12:36
废黜、赶下王座(比喻使失去中心地位)
exaggerates
/ɪɡˈzædʒəreɪts/
v.
12:36
夸大
bound up with
phr.
12:36
与…紧密相关
shift of emphasis
phr.
13:37
重点的转移
in isolation
phr.
13:37
孤立地、与世隔绝地
fatal deficiency
phr.
13:37
致命缺陷
paradox
/ˈpærədɑːks/
n.
14:41
悖论
self-defeating
/ˌselfdɪˈfiːtɪŋ/
adj.
14:41
自我挫败的、自相矛盾的
trivial
/ˈtrɪviəl/
adj.
14:41
琐碎的、无关紧要的
untenable
/ʌnˈtenəbəl/
adj.
14:41
站不住脚的
abolished
/əˈbɑːlɪʃt/
v.
15:50
废除、摧毁
theory of types
n.
15:50
类型论(罗素解决悖论的分层方案)
neglected
/nɪˈɡlektɪd/
adj.
15:50
被忽视的
insularity
/ˌɪnsəˈlærəti/
n.
16:59
岛国心态、狭隘(原文误拼为 instrumentality)
governesses
/ˈɡʌvərnəsɪz/
n.
16:59
家庭女教师
virtually static
phr.
16:59
几乎停滞不前
stupendous
/stuːˈpendəs/
adj.
18:02
惊人的、了不起的
logical rigor
n.
18:02
逻辑严格性
by Leaps and Bounds
phr.
18:02
突飞猛进地
intellectual Endeavor
n.
18:02
智识事业
subdue
/səbˈduː/
v.
19:05
征服、使隶属
disciple
/dɪˈsaɪpəl/
n.
19:05
信徒、追随者
elucidate
/ɪˈluːsɪdeɪt/
v.
19:05
阐明、澄清
theory of descriptions
n.
19:05
摹状词理论
subsistent entities
n.
20:12
潜存的实体(迈农术语)
covert
/ˈkoʊvərt/
adj.
20:12
隐蔽的、暗含的
existence claims
n.
20:12
存在性断言
perception
/pərˈsepʃən/
n.
21:21
知觉
wore him out
phr.
21:21
把他累垮、耗尽(wear out)
incapacitated
/ˌɪnkəˈpæsɪteɪtɪd/
v.
22:32
使丧失能力
dot the eyes and and cross the t's
phr.
22:32
(应为 dot the i's and cross the t's)把细节一一敲定
empiricist
/ɪmˈpɪrɪsɪst/
n.
22:32
经验论者
Corpus
/ˈkɔːrpəs/
n.
22:32
全集、整体
justification
/ˌdʒʌstɪfɪˈkeɪʃən/
n.
23:32
辩护、证成
axioms
/ˈæksiəmz/
n.
23:32
公理
provisionally
/prəˈvɪʒənəli/
adv.
23:32
暂时地、暂且
reduced to
phr.
24:38
被还原为
causal theory
n.
24:38
因果理论(知觉/知识的因果说)
hypothetical
/ˌhaɪpəˈθetɪkəl/
adj.
24:38
假设性的
phenomenalism
/fɪˈnɑːmɪnəlɪzəm/
n.
24:38
现象主义
pragmatist
/ˈpræɡmətɪst/
n.
25:53
实用主义者
neutral stuff
n.
25:53
中性材料(中性一元论术语)
scope and limits
phr.
27:08
范围与限度
adhered to
phr.
27:08
坚持、信奉
bring … to bear
phr.
27:08
施加、运用(某种力量/方法)于
reiterated
/riˈɪtəreɪtɪd/
v.
27:08
反复重申
sweeps aside
phr.
27:08
一扫而空、扫除
condemned
/kənˈdemd/
v.
28:18
谴责
metaphysics
/ˌmetəˈfɪzɪks/
n.
28:18
形而上学
nonsensical
/nɑːnˈsensɪkəl/
adj.
28:18
无意义的、荒谬的
problematic
/ˌprɑːbləˈmætɪk/
adj.
28:18
成问题的、有疑难的
taken on faith
phr.
29:30
凭信念接受(不加证明)
theory of induction
n.
29:30
归纳理论
collaborated
/kəˈlæbəreɪtɪd/
v.
30:32
合作
acknowledgment
/əkˈnɑːlɪdʒmənt/
n.
30:32
致谢、承认
non-natural
/ˌnɑːnˈnætʃərəl/
adj.
31:39
非自然的(摩尔论「善」的属性)
indefinable
/ˌɪndɪˈfaɪnəbəl/
adj.
31:39
不可定义的
Sovereign
/ˈsɑːvrən/
adj.
31:39
至高无上的、拥有最高权威的
hostile to
phr.
32:44
对…怀有敌意
for its own sake
phr.
32:44
为其本身之故
qualia
/ˈkwɑːliə/
n.
33:42
感受质(经验的质性特征)
particulars
/pərˈtɪkjələrz/
n.
33:42
殊相、个别事物
Primacy
/ˈpraɪməsi/
n.
33:42
首要地位
constant conjunction
n.
33:42
恒常联结(休谟因果观核心概念)
contingent
/kənˈtɪndʒənt/
adj.
34:55
偶然的、非必然的
Transcendent
/trænˈsendənt/
adj.
34:55
超验的、超越的
affiliation
/əˌfɪliˈeɪʃən/
n.
34:55
渊源、隶属关系
account for
phr.
35:57
解释、说明原因
excessive
/ɪkˈsesɪv/
adj.
35:57
过度的
savages
/ˈsævɪdʒɪz/
n.
37:05
野蛮人
downgrading
/ˈdaʊnɡreɪdɪŋ/
n.
37:05
贬低、降级
disparaged
/dɪˈspærɪdʒd/
v.
38:06
贬低、轻视
miffed
/mɪft/
adj.
38:06
恼火的、不快的(口语)
getting his due
phr.
38:06
得到应有的认可
obscure
/əbˈskjʊr/
adj.
39:15
晦涩难懂的
took it up
phr.
39:15
接受、开始研究
taken into consideration
phr.
40:30
被纳入考量
clarification
/ˌklærɪfɪˈkeɪʃən/
n.
41:37
澄清
straightforward
/ˌstreɪtˈfɔːrwərd/
adj.
41:37
平实的、直截了当的
理解自测 · 11 题 · 是真懂了,还是以为自己懂
1. 弗雷格最初想解决的是什么问题?他采用了什么手段?
他想弥补当时算术中的缺陷:数学命题表述不够精确,证明不够严格,连欧几里得的证明也依赖未明说的假设。为此他发明了一套记号系统,即1879年的《概念文字》,用来精确显示命题陈述了什么、证明由哪些步骤构成,使每一步如何承接上一步一目了然。这些内容出现在访谈开头「弗雷格的目标」一节,艾耶尔并指出这一工作随后扩展为「逻辑主义」纲领——用逻辑定义数学概念,再从逻辑前提推出算术。
2. 艾耶尔用「汤姆和杰瑞」的例子说明了什么?
他在说明如何用纯逻辑语汇定义数:把汤姆和杰瑞定义为「一对」,即两人都是某集合的成员,且该集合任何成员都等同于其中一人;然后把数字「二」定义为所有这类集合构成的集合。对每个数都可如此处理(无穷情形较复杂)。这是逻辑主义第一步「定义数学概念」的实例,艾耶尔认为这一步完成得相当顺利,困难在第二步——从逻辑前提推导算术,而哥德尔后来证明这无法彻底完成。
3. 「晨星就是昏星」为什么能说明涵义与指称的区分?
晨星和昏星都指金星,即指称相同。如果名称的意义只在于指称,那么「昏星=晨星」就等于「金星=金星」,是空洞的同语反复。但这句话事实上是一项(天文学)发现,有真实信息量。弗雷格由此推论:名称除了指称还有「涵义」,即呈现对象的方式;两个表达式涵义不同,所以同一性陈述有认知价值。这是访谈中「涵义与指称」一节的核心例子,艾耶尔把它称为弗雷格在历史上最有影响的区分。
4. 罗素悖论对弗雷格造成了什么后果?
罗素1903年写信指出弗雷格逻辑体系的一条根本假设导致矛盾(类似说谎者悖论)。弗雷格先是回复「整个数学已被证明毫无价值」,随后拼凑出一个补救方案,但该方案在他死后被一位波兰学者证明同样站不住脚。弗雷格从此再未恢复,《算术的基本法则》第三卷从未写出,1903年到1925年去世之间几乎无所作为,认为毕生工作已被摧毁。艾耶尔和麦基都称之为「令人难过而且悲剧性的故事」。罗素则以类型论应对该悖论。
5. 艾耶尔为什么不同意达米特「弗雷格把知识论赶下哲学中心」的说法?
艾耶尔承认重点确实转移了——从笛卡尔以来的知识论转向关注意义的「逻辑哲学」——但认为达米特在两方面夸大。第一,哲学一直关心意义:苏格拉底追问「什么是知识、什么是善」本身就是在问词的意义,所以这不是新时代的开启。第二,知识论并未消失,仍有人在研究;而且连达米特自己的意义理论也与真假问题捆绑,而真假归根结底涉及「我们有什么理由认为某命题为真」,这仍是知识论的关切。结论是「重点转移」而非「重大断裂」。
6. 为什么弗雷格做在前面、做得更好,出名的却是罗素?艾耶尔给出了哪些原因?
艾耶尔列出三方面原因。一是德国仍盛行心理主义的逻辑观,弗雷格的反心理主义在本国无人接受;二是英国人有岛国心态且外语能力差,读不了德文原著;三是对新逻辑的兴趣当时基本是英国的事,而罗素正好由德国保姆带大、懂德文,又经皮亚诺(1900年巴黎大会)间接得知弗雷格。此外罗素本人是知名公众人物、文笔出众,《数学原理》「让这门学科流行开来」。所以传播渠道与个人声望,而非原创性,决定了谁被记住。
7. 从摹状词理论看,罗素如何处理「当今法国国王是秃头」这类句子?其哲学动机是什么?
这类句子的主语不指称任何东西,问题是它如何还能有意义。迈农的方案是承认「潜存实体」,罗素斥之为胡说,转而把句子翻译成隐含存在断言的形式:「存在唯一一个现在统治法国的东西,且它是秃头」。这样句子不再需要一个不存在的对象来指称,表面悖论消除,句子只是为假而非无意义。动机与经验主义一致:不为语言的语法表象增添可疑的本体,用逻辑分析揭示句子的真实结构。艾耶尔说这是罗素逻辑工作与其哲学之间少数直接相连的地方。
8. 罗素在「感觉材料如何通向物理世界」上的立场经历了怎样的变化?为何艾耶尔仍称其为「贯穿一生」的关切?
1912年《哲学问题》持因果理论:假定物理世界存在,作为对感觉经验的最佳解释;1914年《我们对外部世界的知识》转向现象主义,认为一切常识与科学陈述可还原为实际与可能的感觉陈述;1921年《心的分析》采纳詹姆斯的中性一元论;1927年后逐渐回到因果理论,1948年《人类的知识》最终定为因果论。虽然「下一步怎么走」不断变化,但底层不变:知识的基础在感觉经验,科学必须相对于证据得到辩护。艾耶尔追溯到罗素十二岁拒绝接受几何公理的轶事,说明「要求辩护」是其一生的气质。
9. 艾耶尔说逻辑主义的实际效果「与初衷相反」,这是什么意思?
弗雷格和罗素的目标是让数学隶属于逻辑——证明数学只是逻辑的延伸。但历史结果是逻辑被数学吞并:数理逻辑越来越数学化,成为数学的一个分支,在每所大学都是重要领域,却与一般哲学关系越来越少。就连弗雷格的信徒达米特也更关心弗雷格的语义学(意义理论)而非纯数学部分。这一点反直觉之处在于:一项为哲学目的发起的事业,最终在技术上繁荣、在哲学上离场,而它留给哲学的反倒是原本的「副产品」——意义理论。
10. 若有人反驳「哲学问题本就无解,只是语言纠缠」,艾耶尔会如何回应?
艾耶尔会站在罗素一边反驳。他明确说自己「最重要地」同意罗素:哲学如果不提出能找到答案的问题就不值得做。答案也许他和罗素都找不到,但更聪明的人终会找到。他认为这正是罗素敌视战后牛津奥斯汀式语言哲学的原因——为语言本身探究英语用法是「琐碎的」;而「我们的信念有什么辩护」是实质性问题。他也不接受维特根斯坦「哲学是把苍蝇放出捕蝇瓶」的治疗观。所以他会说:语言分析是澄清的手段,不是终点;哲学的任务还包括对重要信念的论证与辩护。
11. 把弗雷格「逻辑不依赖心理」的立场放到今天的AI语境:一个语言模型能推理,是否意味着推理规律取决于它的「心理」?
按弗雷格的立场,答案是否定的,而且这一情境反而强化他的观点。弗雷格反对把逻辑规律看作「思维的规律」,因为证明的有效性不能取决于谁在想、怎么想;一个证明「不依赖任何个人、客观地证成结论」。若模型与人以完全不同的机制得出同一有效推论,恰说明有效性独立于任何具体认知过程——无论是神经元还是参数。反过来,如果模型出错,弗雷格会说那是它未能把握客观真理,而非逻辑规律本身有多种版本。视频中艾耶尔强调,正是这一去心理化立场促使弗雷格发展客观的意义理论,以说明数学何以客观有效。