📚 Pre-U OCR Philosophy: Quick Reference Handbook of Formulas & Theorems | Pre-U OCR 哲学：公式定理速查手册
Philosophy, unlike mathematics, does not traffic in numerical formulae, yet its arguments are driven by logical structures, conceptual distinctions, and recurrent patterns of reasoning that function much like ‘theorems’. This handbook gathers the essential propositional ‘formulas’ – from modus ponens to the principle of sufficient reason – that every Pre-U OCR Philosophy candidate should have at their mental fingertips. Each entry unpacks a core idea, provides its canonical formulation, and illustrates how it operates within landmark philosophical debates.
哲学不同于数学，它并不使用数字公式，但它的论证由逻辑结构、概念区分和反复出现的推理模式驱动，这些模式的作用很像’定理’。本手册汇集了每位 Pre-U OCR 哲学考生都应熟记于心的基本命题’公式’——从肯定前件式到充足理由律。每个条目都会剖析一个核心思想，给出其标准表述，并说明它在重大哲学争论中如何运作。
1. Modus Ponens & Modus Tollens | 肯定前件式与否定后件式
Modus ponens (the way of affirming) takes the form: If P then Q; P; therefore Q. It is the fundamental engine of deductive inference. Modus tollens (the way of denying) runs: If P then Q; not Q; therefore not P. Together they form the backbone of conditional reasoning in philosophy, from Descartes’ cogito to contemporary arguments against dualism. Recognising these forms allows a candidate to test the validity of an argument without being distracted by content.
肯定前件式（modus ponens）的形式为：如果 P 则 Q；P；因此 Q。它是演绎推理的基本引擎。否定后件式（modus tollens）则为：如果 P 则 Q；非 Q；因此非 P。这两者共同构成了哲学中条件推理的骨架，从笛卡尔的我思论证到当代反对二元论的论证。识别这些形式能让考生在不被内容分散注意力的情况下检验论证的有效性。
Modus ponens: (P → Q), P ⊢ Q
Modus tollens: (P → Q), ¬Q ⊢ ¬P
In the Ontological Argument, Anselm effectively employs a modus tollens: if God exists only in the understanding, then a greater being is conceivable (existing in reality); but God is that than which nothing greater can be conceived; therefore, God does not exist only in the understanding. The logical skeleton helps to isolate where a critic, such as Gaunilo, must attack – he must reject the conditional premise, not the form.
在本体论论证中，安瑟伦实际上运用了否定后件式：如果上帝仅仅存在于理智中，那么可以设想一个更伟大的存在者（存在于现实中）；但上帝是不可设想比之更伟大的存在者；因此，上帝并非仅仅存在于理智中。这个逻辑骨架有助于分离出批评者（如高尼罗）必须攻击的地方——他必须拒绝条件前提，而不是拒绝形式。
2. Reductio ad Absurdum | 归谬法
Reductio ad absurdum (reduction to absurdity) proves a proposition by showing that its negation leads to a contradiction or to an obviously false statement. Formally, to prove P, assume not P, derive a contradiction (Q and not Q), and conclude P. It is a mainstay of philosophical argument, employed by Plato to refute relativism, by Aristotle to defend the law of non-contradiction, and by contemporary philosophers to challenge scepticism.
归谬法是通过证明一个命题的否定会导致矛盾或明显为假的陈述来证明该命题的方法。形式上讲，要证明 P，先假定非 P，推导出矛盾（Q 且非 Q），然后得出结论 P。这是哲学论证的支柱，柏拉图曾用它反驳相对主义，亚里士多德曾用它维护不矛盾律，当代哲学家也用它挑战怀疑论。
Consider the sceptical claim that no knowledge is possible. If we know that no knowledge is possible, we have a counterexample; if we do not know it, the claim is unjustified. Either way, the assertion self-destructs. This is a classic reductio, exposing the performative inconsistency of global scepticism. Acquaintance with the structure allows you to spot when a position undermines itself, which is a recurring demand in OCR essays.
考虑怀疑论的主张：不可能有任何知识。如果我们知道不可能有任何知识，这本身就构成了一个反例；如果我们不知道这一点，那么这个主张就是没有理由的。无论哪种情况，这一断言都会自我瓦解。这是一个经典的归谬，揭示了全面怀疑论在施行上的不一致性。熟悉这种结构能让你发现某个立场何时会自毁，这在 OCR 的论文中也是反复出现的要求。
3. The Principle of Sufficient Reason | 充足理由律
The Principle of Sufficient Reason (PSR) states that there must be a sufficient reason why anything is the case rather than not. In Leibniz’s formulation, ‘no fact can be real or existing and no statement true unless there is a sufficient reason why it should be so and not otherwise’. The PSR underpins cosmological arguments: if the universe exists, there must be a reason for its existence, and that reason is ultimately God.
充足理由律（PSR）指出，任何事情之所以是这样而不是那样，必定有一个充足的理由。在莱布尼茨的表述中，’没有事实可以是真实的或存在的，也没有陈述可以是真实的，除非有充足理由说明它为何是这样而不是别样’。充足理由律支撑着宇宙论论证：如果宇宙存在，那么它的存在必定有原因，而这个原因最终便是上帝。
Crucially, the PSR is not the same as the claim that we can always find the reason; it is a metaphysical principle about reality itself. Critics like Hume question whether the principle is a necessity of thought or merely a psychological habit. When evaluating cosmological arguments, a candidate must decide if the PSR is rationally obligatory. If it is, versions of the argument from contingency gain tremendous force; if not, they crumble.
关键在于，充足理由律并不等同于我们总能找到理由的主张；它是一条关于实在本身的形而上学原则。像休谟这样的批评者质疑这条原则究竟是思想的必然要求，还是仅仅是一种心理习惯。在评估宇宙论论证时，考生必须判定充足理由律在理性上是否具有强制性。如果是，来自偶然性的论证就获得了巨大的力量；如果不是，它们便会崩塌。
4. Ockham’s Razor | 奥卡姆剃刀
Ockham’s Razor is the principle of ontological parsimony: entities should not be multiplied beyond necessity. The classic formulation is ‘plurality is not to be posited without necessity’. In philosophy of mind, it favours physicalism over substance dualism, because dualism posits an extra substance (mind or soul) without explanatory gain that cannot be achieved by material processes. In philosophy of religion, it challenges the postulation of a divine being if naturalistic explanations suffice.
奥卡姆剃刀是一条关于本体论节俭的原则：若无必要，勿增实体。其经典表述是’如无必要，不应设定多样性’。在心灵哲学中，它倾向于支持物理主义，反对实体二元论，因为二元论设定了一种额外的实体（心灵或灵魂），却没有获得物质过程无法实现的解释力。在宗教哲学中，它质疑在自然主义解释足够的情况下设定一个神性存在者的做法。
It is not, however, a law of logic but a heuristic. The razor does not tell us which theory is true; it tells us which theory we should prefer, all else being equal. In your exam, deploying the razor means arguing that a simpler explanation – say, an error theory of moral language over a non-naturalist realist account – has the initial advantage, and the burden of proof shifts to the more extravagant view.
然而，它并非逻辑定律，而是一种启发性原则。剃刀并不告诉我们哪种理论为真；它告诉我们，在其他条件相同的情况下，我们应该偏好哪种理论。在考试中，运用奥卡姆剃刀意味着论证某种更简单的解释——比如，关于道德语言的错误理论相对于非自然主义的实在论解释——具有初始的优势，并且举证责任转移到了更繁复的观点上。
5. The Is-Ought Gap (Hume’s Law) | 实然-应然鸿沟（休谟法则）
David Hume observed that moral philosophers routinely move from statements of fact (‘is’) to statements of value (‘ought’) without providing any logical bridge. The is-ought gap is not a theorem in the formal sense but a demarcation of a logical chasm: no set of purely descriptive premises can entail an evaluative conclusion without at least one normative premise. This principle is foundational to meta-ethics and challenges any naturalistic definition of ‘good’.
大卫·休谟注意到，道德哲学家们常常从事实陈述（’实然’）滑向价值陈述（’应然’），却不提供任何逻辑上的连接。实然-应然鸿沟在形式上并不是一条定理，而是对一个逻辑鸿沟的划分：没有任何一组纯粹描述性的前提能必然推出一个评价性的结论，除非其中至少包含一个规范性前提。这条原则是元伦理学的基础，并对任何自然主义地定义’善’的尝试提出了挑战。
G.E. Moore’s open-question argument is a descendant of Hume’s insight. For any natural property N that a utilitarian might identify with goodness (e.g., pleasure), it is always an open question whether something that possesses N is actually good. This shows that ‘good’ cannot be synonymous with any natural property. When writing about ethical naturalism, you should explicitly trace the argument back to the underlying logical point: you cannot define a normative concept in purely descriptive terms without losing normativity.
G.E. 摩尔的开放问题论证是休谟见解的后继者。对于功利主义者可能将其与善等同起来的任何自然属性 N（例如快乐），一个总是保持开放的问题是：拥有 N 的东西是否实际上是善的。这表明’善’不能是任何自然属性的同义词。在撰写关于伦理自然主义的内容时，你应当明确地把论证追溯到这个底层的逻辑要点：你无法用纯粹描述性的术语定义规范性概念而不丢失规范性。
6. The Tripartite Definition of Knowledge | 知识的三元定义
The classical formula for knowledge is: Knowledge = Justified True Belief (JTB). A subject S knows that P if and only if (i) P is true, (ii) S believes that P, and (iii) S is justified in believing that P. This definition serves as the target for counterexamples in epistemology, most famously Edmund Gettier’s cases, which purport to show that JTB is not sufficient for knowledge.
知识的经典公式是：知识 = 被辩护的真信念（JTB）。一个认知主体 S 知道 P 当且仅当：（1）P 为真；（2）S 相信 P；（3）S 对相信 P 持有辩护。这个定义在认识论中充当着反例攻击的目标，最著名的便是埃德蒙·盖梯尔的案例，意图表明 JTB 对于知识来说还不够充分。
A typical Gettier case: Smith has strong evidence that Jones owns a Ford (Jones has always had a Ford, just showed Smith the papers). Smith also has a friend, Brown, whose location is unknown. From ‘Jones owns a Ford’, Smith deduces ‘Either Jones owns a Ford or Brown is in Barcelona’. As it happens, Jones has just sold his Ford, but Brown is, by sheer coincidence, in Barcelona. Smith’s belief is true, justified, but intuitively not knowledge. The ‘Gettier formula’ reveals that justification must connect to truth in the right way – a theme that drives reliabilist, causal, and virtue-theoretic responses.
一个典型的盖梯尔案例：史密斯有强证据相信琼斯拥有一辆福特（琼斯一直开的福特，刚给史密斯看了文件）。史密斯还有一个朋友布朗，其所在之处未知。从’琼斯拥有一辆福特’出发，史密斯推导出’要么琼斯拥有一辆福特，要么布朗在巴塞罗那’。事实是，琼斯刚卖掉了他的福特，而布朗纯属巧合地恰好在巴塞罗那。史密斯的信念为真、有辩护，但直觉上不是知识。’盖梯尔公式’揭示了辩护必须以恰当的方式与真理连接——这一主题推动了可靠主义、因果理论及德性理论等回应。
7. The Cartesian Circle | 笛卡尔循环
The Cartesian Circle is the alleged circularity in Descartes’ Meditations: Descartes needs clear and distinct perceptions to prove that God exists, but then he needs God’s existence to guarantee that clear and distinct perceptions are reliable. If the argument for God’s existence relies on clear and distinct perception, and the reliability of clear and distinct perception relies on God, Descartes’ reasoning appears to chase its own tail.
笛卡尔循环指的是《第一哲学沉思集》中被指存在的一个循环：笛卡尔需要清楚分明的知觉来证明上帝存在，但他又需要上帝存在来保证清楚分明的知觉是可靠的。如果关于上帝存在的论证依赖于清楚分明的知觉，而清楚分明的知觉的可靠性又依赖于上帝，那么笛卡尔的推理似乎就成了绕圈子。
Formally, it can be represented as: (1) I can trust clear and distinct perceptions only if God exists. (2) I know God exists through clear and distinct perception. Hence, the trustworthiness of the cognitive act used to reach (2) is the very thing at issue. Defenders of Descartes, such as Alan Gewirth, argue that the certainty of particular clear and distinct perceptions, like the cogito, is immediate and does not need a divine guarantee, while the general reliability of memory-based deductions does. This distinction allows a linear reading. Any evaluation of the Meditations must confront this structural puzzle.
形式上，它可以表示为：（1）只有当上帝存在时，我才能信任清楚分明的知觉。（2）我通过清楚分明的知觉认识到上帝存在。因此，用于达到（2）的那个认知行为的可信赖性本身正是争议所在。笛卡尔的辩护者，如艾伦·格沃斯，论证说，某些特定的清楚分明的知觉，比如’我思’，其确定性是直接的，不需要神圣保证，而基于记忆的演绎推理的一般可靠性则需要。这一区分允许一种线性解读。对《第一哲学沉思集》的任何评估都必须直面这个结构性的难题。
8. The Problem of Evil – Logical and Evidential Forms | 恶的问题——逻辑形式与证据形式
The logical problem of evil claims that the existence of an omnipotent, perfectly good God is logically incompatible with the existence of evil. The classical formula is a reductio: If a perfectly good God exists, He would want to prevent all evil; if an omnipotent God exists, He could prevent all evil; evil exists; therefore, such a God does not exist. The free will defence, by Alvin Plantinga, refutes the logical version by showing that it is possible that God could not create a world with free creatures who never choose evil, because that would require determining their choices, which is logically impossible.
恶的逻辑问题主张，全能且全善的上帝的存在与恶的存在在逻辑上不相容。经典公式是一个归谬论证：如果全善的上帝存在，他会愿意阻止所有恶；如果全能的上帝存在，他能够阻止所有恶；恶存在；因此，这样的上帝不存在。阿尔文·普兰丁格提出的自由意志辩护驳斥了这个逻辑版本，表明有可能上帝无法创造一个其自由受造物从不选择恶的世界，因为这需要决定他们的选择，而这是逻辑上不可能的。
The evidential problem, championed by William Rowe, shifts from logical incompatibility to probability: the amount and distribution of seemingly pointless, horrendous evil makes the existence of a theistic God improbable. The ‘formula’ here is a Bayesian-style inference: Pr(God | gratuitous evil) is very low. This demands not a logical defence but a theodicy that offers reasons why God might permit such evils. Examining these two distinct structures prevents the common error of conflating logical and evidential challenges in an exam essay.
威廉·罗所捍卫的证据问题则从逻辑的不相容转向了概率：看似无意义的、骇人听闻的恶的数量和分布，使得有神论上帝的存在变得不大可能。这里的’公式’是一种贝叶斯式的推理：在无端之恶出现的情况下，上帝存在的概率（Pr(God | gratuitous evil)）非常低。这要求的不是逻辑辩护，而是神义论，即提供上帝为何可能允许此类恶的理由。审视这两种不同的结构可以避免在考卷中常见的混淆逻辑挑战与证据挑战的错误。
9. The Categorical Imperative – Universal Law Formula | 定言令式——普遍法则公式
Kant’s Categorical Imperative is the ‘formula’ of moral reasoning for deontologists. Its first formulation, the Formula of Universal Law, commands: ‘Act only according to that maxim whereby you can at the same time will that it should become a universal law.’ The test is one of consistency: if the maxim of your action cannot be conceived as a universal law without contradiction, the action is impermissible.
康德的定言令式是义务论者的道德推理’公式’。它的第一个表述，即普遍法则公式，命令道：’只按照你同时能够愿意它成为一个普遍法则的那个准则去行动。’这是一个关于一致性的检验：如果你的行动准则无法在无矛盾的情况下被设想为一条普遍法则，那么该行动就是不允许的。
Kant identifies two types of contradiction: a contradiction in conception and a contradiction in the will. The former occurs with maxims such as making a false promise to get money. If everyone made false promises, the institution of promising would collapse, making the original maxim inconceivable. The latter occurs with a maxim of refusing to help others: you can conceive a world where no one helps, but you cannot rationally will it because you might need help yourself. Mastering these distinctions is crucial for applying Kantian ethics to any given scenario in the OCR paper.
康德区分了两种矛盾：构想中的矛盾与意愿中的矛盾。前者发生在诸如为了借钱而作虚假承诺的准则上。如果每个人都作虚假承诺，承诺制度就会崩溃，从而使原初的准则变得不可设想。后者发生在拒绝帮助他人的准则上：你可以设想一个人人都不互相帮助的世界，但你无法理性地意愿它，因为你自己也可能需要帮助。掌握这些区分对于在 OCR 试卷中将康德伦理学应用于任何给定情形至关重要。
10. The Principle of Utility | 效用原则
The Principle of Utility, the central theorem of classical utilitarianism, states that an action is right if and only if it produces the greatest happiness for the greatest number. Formally expressed by Bentham, it treats pleasure and pain as sovereign masters, and the moral calculus reduces to a cost-benefit analysis of hedonistic units. The formula demands impartiality: each person’s happiness counts for one, and no one’s for more than one.
效用原则是古典功利主义的核心定理，它指出，一个行动是正当的，当且仅当它能为最大多数人带来最大的幸福。由边沁正式表述的这一原则将快乐与痛苦视为至高无上的主宰，道德计算简化为对享乐单位进行的成本-收益分析。该公式要求不偏不倚：每个人的幸福都算作一份，且没有人的幸福可以算作多于一份。
Mill refines the formula by introducing qualitative distinctions among pleasures, famously asserting that it is ‘better to be a human being dissatisfied than a pig satisfied’. This modification turns the calculus into a more complex algorithm: higher pleasures receive a weighted multiplier. Critiques such as the injustice objection (punishing an innocent person could maximise overall utility) show that the straightforward Benthamite formula clashes with our pre-theoretical moral intuitions. Consequently, a utilitarian must either bite the bullet or modify the formula, as rule utilitarians do by shifting the calculation to the level of general rules.
密尔通过引入快乐之间质的区分而精炼了这一公式，他有一句名言，’做一个不满足的人胜过做一头满足的猪’。这一修改将计算变成了一个更复杂的算法：高级快乐获得加权乘数。各种批评，比如不正义反驳（惩罚一个无辜的人可能最大化总效用），表明简单的边沁式公式与我们前理论的道德直觉相冲突。因此，一个功利主义者要么硬着头皮接受，要么修改公式，就像规则功利主义者那样，将计算转移至一般规则的层面。
11. The Mind-Body Supervenience Thesis | 心-身随附性论题
Supervenience is the minimal physicalist ‘formula’ to capture the dependence of the mental on the physical without reduction: A-properties supervene on B-properties if and only if there cannot be an A-difference without a B-difference. In philosophy of mind, the claim is that mental states supervene on physical states – no two possible worlds can be identical in all physical respects yet differ in some mental respect.
随附性是物理主义者用以把握心理对物理的依赖关系却又不必还原的最小’公式’：A 属性随附于 B 属性，当且仅当不可能有 A 的变化而不同时有 B 的变化。在心灵哲学中，这个主张为心理状态随附于物理状态——不可能有两个可能世界在所有物理方面完全相同却在某个心理方面有所不同。
Supervenience allows a kind of non-reductive physicalism: mental properties are not identical to physical properties (token or type identity), yet they are wholly determined by them. Frank Jackson’s knowledge argument – Mary the colour scientist who knows all physical facts but learns something new upon seeing red for the first time – challenges supervenience by attempting to demonstrate that there can be a mental difference (new phenomenal knowledge) without any new physical fact, thus denying the physicalist formula. A student must be able to adjudicate whether the intuition that Mary learns something shows a failure of supervenience or merely reveals a different kind of knowledge.
随附性允许一种非还原的物理主义：心理属性并不等同于物理属性（无论是个例同一还是类型同一），但它们完全由物理属性决定。弗兰克·杰克逊的知识论证——玛丽是一位懂得所有物理事实的颜色科学家，但在第一次看见红色时学到了新东西——试图通过证明可能存在不依赖于新物理事实的心理差异（新的现象知识）来挑战随附性，从而否定物理主义的公式。学生必须能够判断，认为玛丽学到了新东西的直觉到底是显示了随附性的失败，还是仅仅揭示了一种不同种类的知识。
12. The Verifiability Principle | 可证实性原则
Verificationism, championed by the logical positivists, offered a criterion of meaning: a statement is cognitively meaningful if and only if it is either analytically true (true by definition) or empirically verifiable. The formula was designed to expose metaphysical, theological, and ethical claims as literally meaningless – not false, but nonsensical. Ayer formulated a strong and a weak version: strong verifiability demands conclusive verification, while weak verifiability requires only that some sensory observations are relevant to determining its truth or falsehood.
逻辑实证主义者所推崇的证实主义提供了一条意义标准：一个陈述具有认知意义，当且仅当它要么是分析性地为真（依据定义为真），要么是经验上可证实的。这一公式旨在暴露形而上学、神学和伦理学的主张是字面上无意义的——不是假的，而是无意义的胡说。艾耶尔表述了一个强版本和一个弱版本：强可证实性要求结论性的证实，而弱可证实性仅仅要求某些感官观察与确定其真假是相关的。
The principle self-destructs as a philosophical theorem: the verifiability principle itself is neither analytically true nor empirically verifiable. This is the classic reductio against it. Furthermore, holistic challenges by Quine demonstrated that individual statements cannot be tested in isolation. Nevertheless, the verificationist impulse survives in the demand for empirical anchorage of our concepts, and the criticism that religious language, for instance, is ‘unfalsifiable’ echoes the verifiability spirit. A strong essay will note this legacy while exposing the principle’s fatal flaw.
这条原则作为一条哲学定理却会自我毁灭：可证实性原则本身既不是分析真的，也不是经验上可证实的。这是反对它的经典归谬。而且，蒯因的整体论挑战表明，单个陈述并不能孤立地接受检验。然而，证实主义的冲动依然存活着，表现在要求我们的概念具有经验的锚定，并且诸如宗教语言是’不可证伪的’这类批评，也与证实主义的精神一脉相承。一篇优秀的论文会在揭露这条原则的致命缺陷的同时，注意到这份遗产。
Published by TutorHao | Philosophy Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导