Pre-U Edexcel Philosophy: Formula & Theorem Quick-Reference Handbook | Pre-U Edexcel 哲学：公式定理速查手册

📚 Pre-U Edexcel Philosophy: Formula & Theorem Quick-Reference Handbook | Pre-U Edexcel 哲学：公式定理速查手册

Philosophy, unlike mathematics or physics, does not operate with equations in the conventional sense. Yet beneath its discursive surface lies a rigorous architecture of logical forms, argument schemas, and conceptual diagrams that function precisely as ‘formulas’ — compact, reusable templates for reasoning that every Pre-U Edexcel candidate must master. This handbook distils the essential logical notation, canonical argument structures, and formal definitions that recur across epistemology, metaphysics, ethics, and philosophy of mind, providing you with a systematic reference that mirrors the precision expected in Paper 1 and Paper 2 responses.

哲学不同于数学或物理，并不以传统意义上的方程式运作。然而，在其推论的表象之下，隐藏着逻辑形式、论证图式和概念图示的严格架构，它们的功能恰好等同于’公式’——紧凑、可重复使用的推理模板，是每位 Pre-U Edexcel 考生必须掌握的。本手册提炼了在认识论、形而上学、伦理学与心灵哲学中反复出现的核心逻辑符号、经典论证结构与形式定义，为你提供一份系统性的参考，其精确性与试卷一和试卷二答题中所要求的严谨性相匹配。

---

1. Propositional Logic Fundamentals | 命题逻辑基础

Master the five classical logical connectives that underpin all formal analysis in the Pre-U syllabus. A proposition is a declarative sentence with a determinate truth-value (true or false). The truth-functional behaviour of each connective is exhaustively defined by its characteristic truth table, enabling you to assess validity without recourse to intuition.

掌握支撑 Pre-U 大纲中所有形式分析的五种经典逻辑联结词。命题是具有确定真值（真或假）的陈述句。每个联结词的真值函项行为由其特有的真值表详尽定义，使你能够在不依赖直觉的情况下评估有效性。

The conjunction (P ∧ Q) is true only when both conjuncts are true. The disjunction (P ∨ Q) is true when at least one disjunct is true — note this is inclusive ‘or’, not exclusive. The conditional (P → Q) is false only when the antecedent P is true and the consequent Q is false; this truth-functional definition underlies the paradoxes of material implication. The biconditional (P ↔ Q) asserts mutual entailment, true when P and Q share the same truth-value. Negation (¬P) simply reverses the truth-value of P.

合取式 (P ∧ Q) 仅当两个合取支皆为真时为真。析取式 (P ∨ Q) 当至少一个析取支为真时为真——注意这是相容性’或’，而非不相容性。条件式 (P → Q) 仅当前件 P 为真而后件 Q 为假时为假；这一真值函项定义是实质蕴含悖论的基础。双条件式 (P ↔ Q) 断言相互蕴含，当 P 与 Q 真值相同时为真。否定式 (¬P) 简单地翻转 P 的真值。

Modus Ponens: P → Q, P ⊢ Q
Modus Tollens: P → Q, ¬Q ⊢ ¬P
Hypothetical Syllogism: P → Q, Q → R ⊢ P → R
Disjunctive Syllogism: P ∨ Q, ¬P ⊢ Q

These four inference rules constitute the deductive engine of philosophical argumentation. Modus ponens is the most intuitively compelling; modus tollens drives falsificationist reasoning in philosophy of science; hypothetical syllogism chains conditionals; disjunctive syllogism eliminates alternatives. You must be able to identify each pattern when reconstructing arguments from textual sources.

这四条推理规则构成了哲学论证的演绎引擎。肯定前件式 (Modus Ponens) 最具直觉说服力；否定后件式 (Modus Tollens) 驱动科学哲学中的证伪主义推理；假言三段论 (Hypothetical Syllogism) 链接条件句；析取三段论 (Disjunctive Syllogism) 排除选项。你必须能够在从文本来源重构论证时识别每一种模式。

---

2. The JTB Formula and Gettier’s Disruption | JTB 公式与盖蒂尔的颠覆

The classical tripartite analysis of knowledge — inherited from Plato’s Theaetetus and codified by A.J. Ayer — states that S knows that P if and only if: (i) P is true; (ii) S believes that P; (iii) S is justified in believing that P. Express this as the JTB formula: K(s,p) ↔ T(p) ∧ B(s,p) ∧ J(s,p). Each component is individually necessary and jointly sufficient.

经典的知识三元分析——继承自柏拉图的《泰阿泰德篇》并由 A.J. 艾耶尔编纂——陈述如下：S 知道 P，当且仅当：(i) P 为真；(ii) S 相信 P；(iii) S 有正当理由相信 P。将此表达为 JTB 公式：K(s,p) ↔ T(p) ∧ B(s,p) ∧ J(s,p)。每个组成部分单独是必要的，联合起来是充分的。

Edmund Gettier’s 1963 paper demolished the sufficiency claim with counterexamples exhibiting the schematic structure: justified true belief + epistemic luck = non-knowledge. In Gettier Case I, Smith has strong evidence for ‘Jones owns a Ford’ (J), validly deduces ‘Jones owns a Ford or Brown is in Barcelona’ (J ∨ B), yet unbeknownst to Smith, Jones has sold his Ford and Brown coincidentally is in Barcelona. The deduced proposition is true and justified, yet intuitively not knowledge. Gettier’s formal challenge shows that the JTB formula lacks a fourth condition — an anti-luck or causal connection clause.

埃德蒙·盖蒂尔 1963 年的论文以反例摧毁了充分性主张，这些反例展示了如下图式结构：得到辩护的真信念 + 认知运气 = 非知识。在盖蒂尔案例 I 中，史密斯有充分证据相信’琼斯拥有一辆福特车'(J)，有效推论出’琼斯拥有一辆福特车或布朗在巴塞罗那'(J ∨ B)，然而史密斯不知道的是，琼斯已卖掉他的福特车，而布朗碰巧正在巴塞罗那。推论出的命题为真且有辩护，但直觉上并非知识。盖蒂尔的形式挑战表明 JTB 公式缺少第四个条件——一个反运气或因果联系条款。

---

3. The Problem of Induction: Hume’s Fork | 归纳问题：休谟的叉子

David Hume’s fork divides all propositions into two exhaustive categories: Relations of Ideas and Matters of Fact. Relations of Ideas are a priori, necessary, and known by demonstrative reasoning — their denial entails a contradiction (e.g., ‘All bachelors are unmarried’). Matters of Fact are a posteriori, contingent, and known by causal inference — their denial is always logically possible. The formula for Hume’s challenge reads: Inductive inference presupposes the Uniformity Principle (UP), but UP is neither a Relation of Ideas nor demonstrable from Matters of Fact without circularity. Therefore, induction lacks rational justification.

大卫·休谟的叉子将所有命题分为两个穷尽的类别：观念关系与事实。观念关系是先天的、必然的，并通过证明性推理而得知——对其否定蕴含矛盾（例如，’所有单身汉皆未婚’）。事实是后天的、偶然的，并通过因果推理而得知——对其否定在逻辑上总是可能的。休谟挑战的公式读作：归纳推理预设了齐一性原则 (UP)，但 UP 既非观念关系，也无法在不陷入循环的情况下从事实中证明。因此，归纳缺乏理性辩护。

The Uniformity Principle states that the future will resemble the past. Any attempt to justify UP empirically — ‘induction has worked before, so it will work again’ — employs the very inductive reasoning whose legitimacy is in question. Any attempt to justify UP deductively fails because nature’s uniformity is not a necessary truth: a chaotic universe is logically conceivable. Hume’s fork thus frames induction as a psychologically explicable but rationally ungrounded habit of mind, a conclusion that reverberates through Popper’s falsificationism and Goodman’s new riddle.

齐一性原则陈述未来将类似于过去。任何试图经验性地为 UP 辩护的尝试——’归纳过去有效，因此将来也会有效’——都使用了其合法性正受到质疑的归纳推理本身。任何试图演绎地辩护 UP 的尝试都会失败，因为自然的齐一性并非必然真理：一个混沌宇宙在逻辑上是可以设想的。休谟的叉子因此将归纳框定为一种心理上可解释但在理性上无根基的心灵习惯，这一结论在波普尔的证伪主义和古德曼的新归纳之谜中产生了回响。

---

4. The Cogito and the Method of Doubt | 我思与怀疑方法

Descartes’ methodological formula proceeds in two phases: the destructive phase (hyperbolic doubt) and the constructive phase (the Archimedean point). The principle of hyperbolic doubt states: If there is any possible ground for doubting a belief — no matter how slight or far-fetched — that belief must be treated as false for the purposes of foundational inquiry. This is not psychological doubt but a methodological scalpel. The three waves of doubt — sensory illusion, dreaming, and the evil demon — systematically dismantle empirical and rational knowledge alike.

笛卡尔的方法论公式分两个阶段进行：解构阶段（夸张怀疑）与建构阶段（阿基米德点）。夸张怀疑原则陈述如下：如果存在任何可能的理由来怀疑一个信念——无论多么微小或牵强——出于奠基性探究的目的，该信念必须被视为错误。这不是心理上的怀疑，而是一把方法论手术刀。三波怀疑浪潮——感官幻觉、梦境与恶灵——系统地拆解了经验知识与理性知识。

The constructive phase yields the famous Cogito: ‘I think, therefore I am’ (Cogito ergo sum). Even if an evil demon deceives me about everything, I must exist to be deceived. The logical structure is performative: the very act of doubting one’s existence confirms it. Descartes thus establishes a first indubitable truth, which serves as the foundation for the clear and distinct perception criterion: Whatever I perceive very clearly and distinctly is true. This criterion then requires validation via the trademark argument for God’s existence, generating the notorious Cartesian Circle — the accusation that Descartes assumes God’s veracity to validate clear and distinct perception, yet employs clear and distinct perception to prove God’s existence.

建构阶段产生了著名的我思：‘我思，故我在’ (Cogito ergo sum)。即使一个恶灵在一切事情上欺骗我，我必须存在以便被欺骗。其逻辑结构是施为性的：怀疑自身存在的行动本身就证实了它。笛卡尔由此确立了第一个不可怀疑的真理，它作为清晰分明感知标准的基础：凡我极其清晰分明地感知到的，即为真。该标准随后需要通过上帝存在的商标论证来获得验证，从而产生了臭名昭著的笛卡尔循环——其指控为：笛卡尔预设了上帝的真实性来验证清晰分明感知，却又运用清晰分明感知来证明上帝的存在。

---

5. The Identity Theory of Mind: Type vs Token | 心脑同一论：类型与个例

The mind-brain identity theory asserts that mental states are numerically identical to brain states. The formula distinguishes two versions: Type Identity: For every mental state type M, there exists a brain state type B such that M = B (e.g., pain = C-fibre firing). Token Identity: For every particular instance (token) of a mental state, that token is identical to some physical token, without requiring cross-species uniformity. Type identity entails token identity, but not vice versa.

心脑同一论断言心理状态在数值上等同于大脑状态。该公式区分两个版本：类型同一论：对于每一种心理状态类型 M，存在一种大脑状态类型 B，使得 M = B（例如，疼痛 = C-纤维放电）。个例同一论：对于心理状态的每一个特定实例（个例），该个例等同于某个物理个例，而不要求跨物种的一致性。类型同一论蕴涵个例同一论，但反之不然。

Hilary Putnam’s multiple realizability objection targets type identity with devastating precision. The argument structure: (P1) If mental state M is type-identical to brain state B, then any organism lacking B cannot be in M. (P2) Organisms with radically different neurophysiology (octopi, Martians, silicon-based AI) can experience M (e.g., pain). (C) Therefore, M is not type-identical to B. The functionalist alternative — that mental states are defined by their causal roles, not their physical realisers — emerges directly from this refutation. The formula: M = the state that occupies causal role R (mediating sensory inputs, other mental states, and behavioural outputs).

希拉里·普特南的多重可实现性反对意见以毁灭性的精确度瞄准类型同一论。论证结构如下：(P1) 如果心理状态 M 与大脑状态 B 类型同一，则任何缺乏 B 的生物体不可能处于 M。(P2) 具有截然不同神经生理学的生物体（章鱼、火星人、硅基 AI）可以体验 M（例如，疼痛）。(C) 因此，M 并非与 B 类型同一。功能主义替代方案——心理状态由其因果角色而非物理实现者定义——直接从这一反驳中产生。公式：M = 占据因果角色 R（在感官输入、其他心理状态与行为输出之间进行中介）的状态。

---

6. The Argument from Illusion and Sense-Data | 幻觉论证与感觉材料

The argument from illusion provides the classical motivation for indirect realism about perception. Its schematic form: (P1) In illusory or hallucinatory experiences, I am aware of something that cannot be identified with any mind-independent physical object (a bent appearance of a straight stick in water, a pink rat during delirium tremens). (P2) The experience in veridical perception is subjectively indistinguishable from the illusory case. (C) Therefore, in all perception, what I am directly aware of is a sense-datum — a mind-dependent mental object — and physical objects are perceived only indirectly.

幻觉论证为关于感知的间接实在论提供了经典动机。其图式形式如下：(P1) 在幻觉或幻视体验中，我意识到某种不能被等同于任何心灵独立物理对象的东西（水中直棍的弯曲外观、震颤性谵妄中的粉红色老鼠）。(P2) 真实感知中的体验在主观上与幻觉案例不可区分。(C) 因此，在所有感知中，我直接意识到的是感觉材料——一个依赖于心灵的心理对象——而物理对象仅被间接感知。

The sense-datum formula generates a causal theory of perception: S perceives physical object O iff O causes S to have sense-datum D, and D corresponds appropriately to O. This immediately raises the veil of perception problem: if we only ever access sense-data, how can we know that mind-independent objects exist or resemble our sense-data? Berkeley’s idealism exploits this gap to argue that physical objects are collections of sense-data, whose esse is percipi (to be is to be perceived). The sceptical challenge can be formalised as a modus tollens: if indirect realism is true, we cannot know the nature of physical objects; but we do seem to know; therefore indirect realism faces a justificatory crisis.

感觉材料公式生成了一种关于感知的因果理论：S 感知物理对象 O，当且仅当 O 致使 S 具有感觉材料 D，且 D 恰当地对应于 O。这立即引发了感知之幕问题：如果我们只能触及感觉材料，我们如何能知道心灵独立的对象存在或类似于我们的感觉材料？贝克莱的观念论利用这一缺口论证物理对象就是感觉材料的集合，其 esse 即 percipi（存在即被感知）。怀疑论挑战可被形式化为否定后件式：如果间接实在论为真，我们无法知道物理对象的本质；但我们似乎确实知道；因此间接实在论面临辩护危机。

---

7. The Utilitarian Calculus: Bentham and Mill | 功利主义计算：边沁与密尔

Classical utilitarianism operates on a hedonistic value theory and a consequentialist decision procedure. Bentham’s felicific calculus provides a formal decision formula: For any action A, compute Σ [Intensity × Duration × Certainty × Propinquity × Fecundity × Purity × Extent] of pleasure minus pain across all sentient beings affected. The morally obligatory action is the one that maximises net utility. Extent, the seventh dimension, encodes the egalitarian requirement that each counts for one and none for more than one.

古典功利主义运作于快乐主义价值理论与后果主义决策程序之上。边沁的幸福计算提供了一条形式化决策公式：对于任何行动 A，计算所有受影响的有感知生物中快乐减去痛苦的 Σ [强度 × 持续时间 × 确定性 × 邻近性 × 丰产性 × 纯度 × 范围]。道德上义务性的行动是最大化净效用的那个。范围，即第七维度，编码了平等主义要求：每人算作一，无人算作多于一。

Mill’s qualitative hedonism revises the formula by introducing a higher/lower pleasure distinction, rejecting Bentham’s purely quantitative metric. The criterion for higher pleasures is the competent judges test: Of two pleasures, P₁ is qualitatively superior to P₂ if and only if all or almost all people who have experienced both prefer P₁, even if P₁ involves less quantity of pleasure. Mill’s proof of the principle of utility — controversial and frequently examined — has a quasi-syllogistic structure: (P1) The only evidence that something is desirable is that it is desired. (P2) Each person desires their own happiness. (C) Therefore, each person’s happiness is desirable for that person. (P3) The general happiness is the aggregate of individual happinesses. (C’) Therefore, the general happiness is desirable. Critics charge Mill with committing the fallacy of composition (moving from ‘each person’s happiness is desired’ to ‘the aggregate is desired’) and equivocating on ‘desirable’ (between ‘can be desired’ and ‘ought to be desired’).

密尔的质性快乐主义通过引入高级/低级快乐的区分修订了该公式，拒绝了边沁的纯粹量化度量。高级快乐的标准是有能之士检验：对于两种快乐，P₁ 在质上优于 P₂，当且仅当所有或几乎所有体验过两者的人都偏好 P₁，即使 P₁ 涉及较少数量的快乐。密尔对功利原则的证明——饱受争议且经常被考察——具有准三段论结构：(P1) 某物值得欲求的唯一证据是它实际上被欲求。(P2) 每个人都欲求自身的幸福。(C) 因此，每个人的幸福对那人来说是值得欲求的。(P3) 普遍幸福是个人幸福的总和。(C’) 因此，普遍幸福是值得欲求的。批评者指责密尔犯了组合谬误（从’每个人的幸福被欲求’推导到’总和被欲求’）并在’值得欲求’（在’可被欲求’与’应该被欲求’之间）一词上进行偷换概念。

---

8. Kant’s Categorical Imperative: Three Formulations | 康德的定言命令：三条公式

Kant’s moral philosophy is structured around a single supreme principle of morality from which all duties derive. The Formula of Universal Law (FUL) reads: ‘Act only according to that maxim whereby you can at the same time will that it should become a universal law.’ The test procedure: (1) Formulate your maxim — ‘I will do action A in circumstances C to achieve end E.’ (2) Universalise it — imagine a world where everyone in C does A. (3) Test for contradiction — does the maxim destroy itself when universalised?

康德的道德哲学围绕一条推导出所有义务的单一最高道德原则构建。普遍法则公式 (FUL) 读作：‘你要只按照你同时能够意愿它应当成为一条普遍法则的那个准则去行动。’检验程序：(1) 表述你的准则——’我将在情境 C 下采取行动 A 以达到目的 E。’ (2) 将其普遍化——设想一个在 C 中每个人都做 A 的世界。(3) 检验矛盾——该准则在普遍化时是否会自我毁灭？

Kant distinguishes contradiction in conception (perfect duties) from contradiction in will (imperfect duties). A false promise maxim — ‘I will make promises I do not intend to keep when it benefits me’ — generates a contradiction in conception: universalising it destroys the institution of promising, making the maxim’s proposed action impossible. The maxim of refusing to help others generates only a contradiction in will: one can conceive a world of universal non-beneficence, but one cannot rationally will it because as a finite being one needs others’ help.

康德区分了构想中的矛盾（完全义务）与意愿中的矛盾（不完全义务）。虚假承诺的准则——’当对我有利时，我将做出不打算遵守的承诺’——产生构想中的矛盾：将其普遍化会摧毁承诺制度，使该准则所提议的行动不可能。拒绝帮助他人的准则仅产生意愿中的矛盾：一个人可以构想一个普遍不施惠的世界，但无法理性地意愿它，因为作为一个有限的存在者，人需要他人的帮助。

The Formula of Humanity (FH) states: ‘Act so that you treat humanity, whether in your own person or in that of another, always as an end and never merely as a means.’ This formula grounds the absolute prohibition on coercion, deception, and exploitation. The Formula of the Kingdom of Ends (FKE) synthesises FUL and FH: ‘Act as if you were through your maxims a law-making member of a kingdom of ends.’ It envisions a systematic union of rational beings under common laws they all legislate autonomously.

人性公式 (FH) 陈述：‘你要如此行动，即总是将人性——无论是在你自己的人格中还是在任何他人的人格中——作为目的，而绝不仅仅作为手段来对待。’这一公式为绝对禁止胁迫、欺骗和剥削奠定了基础。目的王国公式 (FKE) 综合了 FUL 与 FH：‘你要如此行动，仿佛通过你的准则，你总是目的王国中的立法成员。’它设想了一个理性存在者在他们全都自主地立法的共同法则下的系统性联合体。

---

9. Aristotle’s Doctrine of the Mean | 亚里士多德的中道学说

Aristotle’s virtue ethics rejects rule-based formulas in favour of a dispositional model, yet it contains a precise structural formula. The Doctrine of the Mean states: Moral virtue is a hexis (disposition) concerned with choice, lying in a mean relative to us, determined by a rational principle (logos) by which the phronimos (person of practical wisdom) would determine it. The mean is not arithmetic — it is a point on a continuum between excess and deficiency, specific to the agent and the situation. The formal schema: For any sphere of action or feeling S, there is a virtue V which is the mean between the vice of excess V₊ and the vice of deficiency V₋. Courage = mean between rashness (excess) and cowardice (deficiency) concerning fear and confidence.

亚里士多德的美德伦理学拒绝基于规则的公式，而倾向于一种倾向性模型，但它包含一个精确的结构性公式。中道学说陈述：道德美德是一种涉及选择的品质 (hexis)，存在于相对于我们的中道之中，由理性原则 (logos) 决定，即具有实践智慧的人 (phronimos) 会决定它的那个原则。中道并非算术中项——它是过度与不足之间连续体上的一个点，对行为者和情境具有特异性。形式图式如下：对于任何行动或情感的领域 S，存在一种美德 V，它是过度之恶 V₊ 与不足之恶 V₋ 之间的中道。勇敢 = 在恐惧与信心方面，鲁莽（过度）与怯懦（不足）之间的中道。

The functionalist argument — the Ergon Argument — provides the teleological framework: (P1) A thing’s good consists in performing its characteristic function (ergon) excellently. (P2) The human ergon is rational activity of the soul. (C) Therefore, the human good is rational activity of the soul in accordance with virtue (arete), and if there are multiple virtues, in accordance with the best and most complete. This argument bridges descriptive psychology and normative ethics, a move that G.E. Moore would later challenge as the naturalistic fallacy — inferring an ‘ought’ from an ‘is’.

功能论证——Ergon 论证——提供了目的论框架：(P1) 一物的善在于出色地履行其特有功能 (ergon)。(P2) 人的 ergon 是灵魂的合乎理性的活动。(C) 因此，人的善是灵魂合乎美德 (arete) 的理性活动，如果存在多种美德，则合乎最好、最完满的美德。该论证在描述心理学与规范伦理学之间架起了桥梁，G.E. 摩尔后来将这一跳跃质疑为自然主义谬误——从’是’推导出’应当’。

---

10. Popper’s Falsificationism and the Demarcation Criterion | 波普尔的证伪主义与划界标准

Karl Popper’s philosophy of science replaces the verification principle of the logical positivists with an asymmetric logical formula: Scientific theories cannot be conclusively verified (no number of positive instances confirms a universal generalisation), but they can be conclusively falsified by a single counter-instance. The logical form is modus tollens: (H → O), ¬O ⊢ ¬H. A theory is scientific — belongs to the empirical sciences — if and only if it is falsifiable: it makes definite predictions that could, in principle, conflict with possible observations.

卡尔·波普尔的科学哲学以一个不对称的逻辑公式取代了逻辑实证主义者的可证实原则：科学理论不能最终被证实（再多的正面实例也不能确证一个全称概括），但它们可以由单个反例最终被证伪。其逻辑形式为否定后件式：(H → O), ¬O ⊢ ¬H。一个理论是科学的——属于经验科学——当且仅当它是可证伪的：它做出明确的预测，这些预测原则上可能与可能的观察相冲突。

The demarcation criterion formally separates science from pseudo-science and metaphysics. Scientific status = Falsifiability + Corroboration (having survived severe tests). Freudian psychoanalysis and Marxist historical materialism, Popper argues, are unfalsifiable because they can accommodate any conceivable evidence through ad hoc modifications. Einstein’s general relativity, by contrast, made the risky prediction of starlight bending during a solar eclipse — a prediction that could have refuted the theory had it failed. The formula for scientific progress: P₁ → TT → EE → P₂, where P is a problem, TT is a tentative theory, EE is error elimination (critical testing), and P₂ is the new, deeper problem that emerges.

划界标准在形式上分离了科学与伪科学及形而上学。科学地位 = 可证伪性 + 确证度（经受了严峻检验）。波普尔论证，弗洛伊德的精神分析与马克思主义的历史唯物主义是不可证伪的，因为它们能通过特设性修正来容纳任何可设想的证据。相比之下，爱因斯坦的广义相对论做出了在日食期间星光将会弯曲的高风险预测——一个如果失败就能否证该理论的预测。科学进步的公式：P₁ → TT → EE → P₂，其中 P 是问题，TT 是试探性理论，EE 是错误消除（批判性检验），P₂ 是涌现出的新的、更深层的问题。

---

11. The Consequence Argument for Incompatibilism | 不相容论的结果论证

The most powerful formal argument in the free will debate is Peter van Inwagen’s Consequence Argument, which employs a modal logic operator N (No one has or ever had any choice about whether p). The argument’s formal structure: Let ‘P₀’ be a proposition describing the complete state of the universe in the remote past. Let ‘L’ be the conjunction of all laws of nature. Let ‘P’ be any present action. (1) N(P₀) — no one has a choice about the past. (2) N(L) — no one has a choice about the laws of nature. (3) □((P₀ ∧ L) → P) — determinism entails that P₀ and L jointly necessitate P. (4) From N(P₀), N(L), and the transfer principle [if N(α) and N(α → β), then N(β)], we derive N(P). Therefore, no one has a choice about any present action.

自由意志辩论中最有力的形式论证是彼得·范·因瓦根的结果论证，它运用了模态逻辑算子 N（没有人对 p 是否成立拥有或曾经拥有任何选择）。该论证的形式结构：令 ‘P₀’ 为一个描述遥远过去宇宙完整状态的命题。令 ‘L’ 为所有自然法则的合取。令 ‘P’ 为任何当下的行动。(1) N(P₀)——没有人对过去有选择。(2) N(L)——没有人对自然法则有选择。(3) □((P₀ ∧ L) → P)——决定论蕴涵 P₀ 与 L 联合必然导致 P。(4) 从 N(P₀)、N(L) 与传递原则 [如果 N(α) 且 N(α → β)，则 N(β)]，我们推导出 N(P)。因此，没有人对任何当下行动拥有选择。

Compatibilist responses typically reject the transfer principle or analyse ‘could have done otherwise’ conditionally: ‘S could have done otherwise’ = ‘If S had chosen otherwise, S would have done otherwise.’ This conditional analysis severs the link to the past and laws, but incompatibilists charge it with ignoring the fact that S’s choice itself was determined. The debate hinges on whether the ability to do otherwise requires ultimate sourcehood — being the originating cause of one’s actions — or merely the absence of external constraint, a distinction captured in the contrast between leeway incompatibilism and source incompatibilism.

相容论者的回应通常要么拒绝传递原则，要么对’本来能够以其他方式行动’进行条件式分析：‘S 本来能够以其他方式行动’ = ‘如果 S 做出了不同的选择，S 就会以其他方式行动。’这一条件式分析切断了与过去和法则的联系，但不相容论者指责它忽略了 S 的选择本身是被决定了的事实。辩论的关键在于：以其他方式行动的能力是否需要最终源始性——作为自身行动的起源因——抑或仅仅需要没有外部约束，这一区分在回旋余地不相容论与源始性不相容论的对比中被捕捉到。

---

12. The Semantic Descent: Russell’s Theory of Descriptions | 语义下降：罗素的描述理论

Bertrand Russell’s Theory of Descriptions provides a paradigm of logical analysis as philosophical method. The surface grammar of a definite description — ‘The F is G’ — is misleadingly subject-predicate in form, suggesting we refer to some entity denoted by ‘the F’. Russell’s analysis reveals the underlying logical form: ‘The F is G’ = ∃x[F(x) ∧ ∀y(F(y) → y = x) ∧ G(x)]. In English: ‘There exists at least one thing that is F, at most one thing that is F, and whatever is F is G.’ The apparent referring expression ‘the F’ disappears upon analysis — it is an ‘incomplete symbol’ that has no meaning in isolation but contributes to the meaning of whole sentences.

伯特兰·罗素的描述理论提供了逻辑分析作为哲学方法的范例。确定描述词的表层语法——’该 F 是 G’——在形式上误导性地呈主谓结构，暗示我们指称了由’该 F’所表示的那个实体。罗素的分析揭示了其深层逻辑形式：‘该 F 是 G’ = ∃x[F(x) ∧ ∀y(F(y) → y = x) ∧ G(x)]。用中文表述：’存在至少一个事物是 F，至多一个事物是 F，并且凡是 F 即是 G。’表面上指称性的表达式’该 F’在分析后消失了——它是一个’不完全符号’，孤立地没有意义，但为整句的意义做出贡献。

The theory elegantly solves three philosophical puzzles. (1) The problem of negative existentials: ‘The present King of France does not exist’ seems to refer to something in order to deny its existence. Russell’s analysis with scope distinction — Primary occurrence (narrow scope): ∃x[K(x) ∧ ∀y(K(y) → y = x) ∧ ¬E(x)] claims there is a King who lacks existence (contradiction). Secondary occurrence (wide scope): ¬∃x[K(x) ∧ ∀y(K(y) → y = x) ∧ E(x)] denies that there is exactly one King with existence (true and non-contradictory). (2) The problem of substitutivity in propositional attitude contexts: ‘George IV wished to know whether Scott was the author of Waverley’ does not entail ‘George IV wished to know whether Scott was Scott,’ because ‘the author of Waverley’ is not a genuine referring expression. (3) The problem of the excluded middle: either ‘The present King of France is bald’ or ‘The present King of France is not bald’ seems true, but Russell’s analysis shows both are false (when there is no King), with the negation taking wide scope yielding a true reading, thus preserving bivalence without metaphysical extravagance.

该理论优雅地解决了三个哲学谜题。(1) 否定存在陈述问题：’当今法国国王不存在’似乎在否认某物存在的同时指称了它。罗素通过范围区分的分析——主要出现（窄辖域）：∃x[K(x) ∧ ∀y(K(y) → y = x) ∧ ¬E(x)] 声称存在一位缺乏存在的国王（矛盾）。次要出现（宽辖域）：¬∃x[K(x) ∧ ∀y(K(y) → y = x) ∧ E(x)] 否认存在恰好一位具有存在的国王（真且无矛盾）。(

Published by TutorHao | Pre-U 哲学 Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）