📚 Year 8 Edexcel Philosophy: Formula & Theorem Quick Reference | Year 8 Edexcel 哲学：公式定理速查手册
Philosophy might not have numbers, but it certainly has 'formulas' and 'theorems' — patterns of reasoning, ethical principles and definitions that work like a conceptual toolkit. This quick reference guide brings together the essential logical forms, ethical equations and key frameworks from the Year 8 Edexcel Philosophy syllabus, presented in a clear, revision-friendly format. Use these 'formulas' to analyse arguments, evaluate moral theories and structure your own philosophical thinking.
哲学或许不涉及数字，但它确实拥有属于自己的“公式”和“定理”——推理模式、伦理原则以及可以像概念工具箱一样使用的定义。本速查手册汇集了 Year 8 Edexcel 哲学课程中的基本逻辑形式、伦理等式和核心框架，并以清晰、适合复习的形式呈现。借助这些“公式”，你可以分析论证、评估道德理论并组织自己的哲学思考。
1. The Definition of Knowledge: Justified True Belief | 知识定义：确证的真信念
The classical account, often traced back to Plato's dialogue Theaetetus, defines knowledge as justified true belief. To know that a proposition P is the case, you must believe it, P must be true, and you must have justification — good reasons or evidence — for your belief. This can be written in a compact form:
经典的知识定义可以追溯到柏拉图的对话录《泰阿泰德篇》，它将知识规定为确证的真信念。要知道一个命题 P 为真，你必须相信它，P 必须是真的，并且你必须拥有确证——即充分的理由或证据——支持你的信念。这可以简洁地表达为：
Knowledge = Justified True Belief (K ↔ J ∧ T ∧ B)
If any of the three components is missing, you do not have knowledge. For instance, a lucky guess might be true and believed, but it lacks justification. A justified belief that happens to be false (perhaps you were given misleading evidence) fails the truth condition. The formula helps you check whether a knowledge claim holds up.
如果这三个成分缺少任何一个，你都不算拥有知识。例如，一个侥幸猜中的答案可能既真实又被相信，但它缺乏确证。一个拥有充分理由却恰好为假的信念（也许你得到了误导性证据）则无法通过真值条件的检验。这个公式可以帮助你检验一个知识宣称是否成立。
2. Deductive Arguments: Validity and Logical Forms | 演绎论证：有效性与逻辑形式
Deductive reasoning aims at certainty. If the premises are true and the argument is valid, the conclusion must be true. Validity depends on the logical structure, not the content. The following valid forms are the building blocks of deductive arguments:
演绎推理追求确定性。如果前提为真并且论证有效，那么结论必然为真。有效性取决于逻辑结构而非具体内容。以下有效形式是构建演绎论证的基础构件：
Modus Ponens (Affirming the Antecedent): P → Q, P ⊢ Q
If it is raining, the grass is wet. It is raining. Therefore, the grass is wet. This is perhaps the most straightforward valid form. The conclusion follows inevitably from the conditional statement and the affirmation of the antecedent.
如果下雨，草地就会湿。现在下雨了。因此，草地是湿的。这或许是最直接的有效形式。结论从条件句和前件肯定中必然得出。
Modus Tollens (Denying the Consequent): P → Q, ¬Q ⊢ ¬P
If the alarm had rung, I would have woken up. I did not wake up. Hence, the alarm did not ring. This form works by denying the consequent: since the consequent does not hold, the antecedent cannot be true either.
如果闹钟响了，我就会醒来。我没有醒来。因此，闹钟没有响。这一形式通过否定后件发挥作用：既然后件不成立，前件也不可能为真。
Hypothetical Syllogism: P → Q, Q → R ⊢ P → R
If you study, you will understand. If you understand, you will pass. Therefore, if you study, you will pass. This chains conditional statements together.
如果你学习，你就会理解。如果你理解，你就会通过考试。因此，如果你学习，你就会通过考试。这一定理将条件命题串联了起来。
Disjunctive Syllogism: P ∨ Q, ¬P ⊢ Q
Either the light is on or the bulb is broken. The light is not on. So the bulb is broken. The formula works by eliminating one disjunct.
要么灯亮着，要么灯泡坏了。灯没有亮。所以灯泡坏了。这个公式通过排除一个选言支来得出结论。
Memorising these forms allows you to spot valid reasoning quickly. In the exam, you can analyse an argument by rewriting it using letters such as P and Q and then checking whether it matches a valid template.
记住这些形式能让你快速识别有效推理。在考试中，你可以用 P 和 Q 之类的字母重写一个论证，然后检查它是否符合某个有效的模板。
3. Inductive Arguments: Strength and Cogency | 归纳论证：力度与说服力
Inductive arguments do not guarantee their conclusions; they make the conclusion probable. An inductive argument is strong if the premises, if true, make the conclusion very likely. It is cogent if it is strong and all its premises are actually true.
归纳论证并不保证结论为真，它只是使结论具有较高概率。如果前提为真时结论非常可能成立，那么这个归纳论证就是有力度（strong）的。如果它既有力度而且所有前提都真实，那么它便是一个有说服力（cogent）的论证。
Inductive Strength: P(Conclusion | Premises) > P(Conclusion)
The formula simply means that the evidence (premises) raises the probability of the conclusion. For example: Every swan we have observed is white. Therefore, all swans are white. This argument is strong (given our observations) but not certain; a single black swan would overturn it.
这个公式仅表示证据（前提）提高了结论的概率。例如：我们观察到的所有天鹅都是白色的。因此，所有天鹅都是白色的。这个论证有力度（基于我们的观察），但并不确定；只要发现一只黑天鹅，它就会被推翻。
To evaluate inductive arguments in philosophy, ask two questions: (1) If the premises were true, would the conclusion be likely? (2) Are the premises actually true? The combination of 'yes' to both yields cogency, the inductive parallel to soundness in deduction.
在哲学中评估归纳论证时，请问自己两个问题：(1) 如果前提为真，结论很可能成立吗？(2) 前提事实上为真吗？两者都满足便得到有说服力的论证，这在归纳世界里相当于演绎中的可靠性（soundness）。
4. The Utilitarian Calculus | 功利主义计算
Utilitarianism, developed by Jeremy Bentham and John Stuart Mill, proposes that the right action is the one that maximises overall happiness. At its heart is a simple guiding formula:
功利主义由边沁和密尔发展起来，它主张正确的行为就是使整体幸福最大化的行为。其核心是一个简单的指导公式：
Right Action = Maximise ∑(Pleasure – Pain)
This is the principle of utility. Every sentient being affected by an action counts equally; you add up all the pleasure and subtract all the pain. The action with the highest net total is morally right. Bentham even proposed a 'felicific calculus' that weighs intensity, duration, certainty and extent of pleasures.
这就是功利原则。每一个受行为影响的有感知的存在都同等计算；你加总所有的快乐并扣除所有的痛苦。净总量最高的行为在道德上就是正确的。边沁甚至提出了一套“快乐计算法”，用以权衡快乐的强度、持续时间、确定性和广度。
Critics point out that the formula can seem to permit unjust acts if they produce a net gain in happiness. Nevertheless, the utilitarian equation remains one of the most influential ethical theorems in philosophy.
批评者指出，如果一些不公正的行为能带来净幸福增益，这个公式似乎就会允许它们。然而，功利主义等式依然是哲学中最具影响力的伦理学定理之一。
5. Kant's Categorical Imperative: The Universal Law Formula | 康德的绝对命令：普遍法则公式
Immanuel Kant rejected any formula that makes morality depend on consequences. Instead, he proposed the categorical imperative — a rule that must be followed no matter what our desires are. The first formulation can be expressed as a kind of logical test:
伊曼努尔·康德拒绝任何让道德依赖于后果的公式。相反，他提出了绝对命令——一种无论我们欲望如何都必须遵守的规则。其第一表述可以表达为一种逻辑测试：
Maxim ⇒ Universal Law without contradiction
When you consider an action, ask: can the maxim (the personal rule) of my action be willed to become a universal law for everyone? If universalising the maxim leads to a contradiction in conception or a contradiction in will, then the action is morally impermissible. For example, the maxim 'I will make a false promise to get money' cannot be universalised because if everyone did it, the institution of promising would collapse and nobody would believe promises — a contradiction.
当你考虑某个行为时，请问自己：我行为的准则（个人规则）能被意愿成为一条适用于所有人的普遍法则吗？如果将该准则普遍化会导致概念上的矛盾或者意愿上的矛盾，那么该行为在道德上就是不允许的。例如，“我要许假诺言来获得钱财”这一准则就无法普遍化，因为如果人人都这么做，承诺这一制度就会崩溃，没有人会再相信承诺——这就产生了矛盾。
This formula gives a principle of justice and respect for persons, insisting that we should never treat humanity merely as a means to an end. It is the central theorem of deontological ethics.
这个公式提供了一条正义与尊重人的原则，它坚持我们永远不该仅仅把人当作手段来利用。它是义务论伦理学的核心定理。
6. The Is–Ought Gap (Hume's Guillotine) | “是–应当”鸿沟（休谟的断头台）
David Hume famously observed that many moral arguments slide unnoticed from statements about what is the case to statements about what ought to be the case. This logical gap is often called Hume's guillotine.
大卫·休谟提出过一项著名观察：很多道德论证会不知不觉地从描述事实是什么的陈述，滑向规定应当怎样的陈述。这一逻辑鸿沟常被称为休谟的断头台。
'Is' statements ⊬ 'Ought' statements
Put simply, you cannot logically derive a value judgement solely from factual premises. For example, from 'Humans have language' you cannot directly conclude 'Humans ought to speak kindly'. An extra normative premise, such as 'One ought to promote well-being', is always needed. This theorem serves as a powerful checkpoint: whenever you read an ethical argument, look for the hidden 'ought' premise.
简单地说，你无法仅仅从事实性前提逻辑推导出价值判断。例如，从“人类拥有语言”这一事实，你无法直接得出“人类应当说话友善”的结论。总需要一个额外的规范性前提，比如“人们应当增进福祉”。这个定理是一个强有力的检查点：每当你阅读一个伦理论证时，要寻找那个隐藏的“应当”前提。
7. The Mind–Body Problem: Dualism vs. Physicalism | 心身问题：二元论与物理主义
What is the relationship between the mind and the brain? The mind–body problem can be captured by two competing formulas, each with its own difficulties.
心灵与大脑之间是什么关系？心身问题可以用两个相互竞争的公式来把握，每一个都有自身面临的困难。
Substance Dualism: Mind ≠ Brain (Descartes)
René Descartes argued that the mind is a non‑physical substance distinct from the physical body. According to this view, the mind can exist independently. The formula highlights that mental properties (thinking, feeling) are fundamentally different from physical properties (mass, location). However, dualism faces the interaction problem: how can a non‑physical mind cause physical movements?
勒内·笛卡尔主张心灵是一种非物理的实体，与物理身体截然不同。根据这一观点，心灵可以独立存在。这个公式凸显了心灵属性（思考、感受）与物理属性（质量、位置）在本质上完全不同。然而，二元论面临交互难题：非物质的心灵如何引起物理运动？
Physicalism: Mind = Brain states
Physicalism claims that mental states are identical to brain processes. There is no separate 'mind-stuff'. Thoughts, emotions and consciousness are just what the brain does. Here the challenge is to explain subjective experience (qualia) — what it is like to taste chocolate or see red — in purely physical terms.
物理主义声称心理状态等同于大脑过程。不存在单独的“心灵质料”。思想、情绪和意识只不过是大脑的工作成果。这里的挑战在于，需要用纯粹的物理术语来解释主观体验（感受质）——比如品尝巧克力或看见红色的那种体验感。
These formulas offer a snapshot of a debate that runs through philosophy of mind, and they encourage you to ask: which side best explains consciousness without leaving mysterious gaps?
这些公式为心身哲学中的辩论提供了一个快照，并促使你追问：哪一方能最好地解释意识，同时又不会留下令人费解的鸿沟？
8. The Problem of Evil: The Inconsistent Triad | 恶的问题：不一致三难
The problem of evil challenges the existence of an all-powerful, all-good God in the face of suffering. Its logical structure can be expressed as an inconsistent triad:
恶的问题在苦难现实面前，对全能、全善的上帝之存在提出了挑战。它的逻辑结构可以表达为一个不一致的三难困境：
Omnipotence + Omnibenevolence + Evil ⇒ Contradiction
If God is omnipotent, He can remove all evil. If God is omnibenevolent, He wants to remove all evil. Yet evil exists. At least one of the three statements must be false. The problem is a deductive argument against the traditional theistic God: the premises appear to lead to a contradiction, so theistic philosophers must show that the three can consistently coexist — for example, by invoking free will or soul‑making theodicies.
如果上帝全能，祂就能消除所有恶。如果上帝全善，祂就想消除所有恶。然而恶却存在。这三句话中至少有一句必然为假。这是一个反对传统有神论上帝的演绎论证：前提似乎导致了矛盾，因此有神论哲学家必须证明三者可以一致共存——例如，通过诉诸自由意志或灵魂塑造神正论。
This triad is one of the sharpest philosophical formulas; it forces every religious worldview to explain why a perfect deity would permit suffering.
这个三难困境是最锋利的哲学公式之一；它迫使每一个宗教世界观去解释，为什么一位完美的神明会允许苦难存在。
9. Moral Relativism vs. Moral Absolutism | 道德相对主义与绝对主义
Are moral truths fixed for all people, or do they vary across cultures and individuals? The contrast can be written as two clashing propositions:
道德真理对所有人而言是固定不变的吗，还是会随文化和个人而变化？这一对比可以写成两个相互冲突的命题：
Moral Relativism: Truth = f (Culture or Individual)
According to descriptive relativism, different cultures hold different moral views. Normative relativism goes further and claims that what is right for you depends entirely on your culture's standards, and there is no universal yardstick. This 'formula' makes morality a function of social context. A common criticism is that it makes moral progress and cross‑cultural criticism impossible.
根据描述性相对主义，不同文化持有不同的道德观点。规范性相对主义则更进一步，主张对你而言什么是正确的，完全取决于你所在文化的标准，根本不存在普世尺度。这个“公式”把道德变成了社会语境的函数。一个常见的批评是，它使得道德进步和跨文化批评成为不可能。
Moral Absolutism: Truth ≠ context, some actions always wrong
Absolutism holds that certain actions — like torturing the innocent — are wrong regardless of consequences or cultural norms. The formula states that moral truth is not a function of opinion; it exists independently. Immanuel Kant's categorical imperative is an example of an absolutist ethical theorem. Absolutism promises clarity but must handle hard cases where principles clash.
绝对主义认为某些行为——比如折磨无辜者——无论后果或文化规范如何，都是错误的。该公式表明，道德真理不是个人意见的函数，它独立存在。康德的绝对命令就是一个绝对主义伦理学定理的例子。绝对主义带来了清晰性，但也必须处理诸原则相互冲突的棘手情形。
10. The Socratic Method: Elenchus | 苏格拉底方法：诘问法
Socrates did not write books; he asked questions. His method, called elenchus, is a philosophical tool for testing definitions and uncovering contradictions. It follows a recognisable pattern:
苏格拉底不曾著书立说，他只是提问。他的方法叫做“诘问法”（elenchus），是一种检验定义并揭露矛盾的哲学工具。它遵循一个可识别的模式：
Define → Counterexample → Refine (循环)
The Socratic formula works in a dialogue: (1) Ask a 'What is X?' question — for example, 'What is justice?' (2) The interlocutor offers a definition. (3) Socrates finds a counterexample that fits the definition but is clearly not X, or that shows the definition leads to absurdity. (4) The definition is revised and the process repeats, moving closer to a more adequate account. The method never gives a final answer but sharpens thinking and exposes vague assumptions.
苏格拉底式公式在对话中展开：(1) 提出“什么是X”的问题——例如，“什么是正义？” (2) 对话者给出一个定义。 (3) 苏格拉底找到一个反例，该反例符合该定义但又显然不是X，或者表明该定义会导致荒谬。 (4) 定义被修正，然后这个过程重复下去，逐渐趋近一个更恰当的说明。这个方法从来不给最终答案，但它能锐化思维并暴露模糊的假设。
11. Common Fallacies: Quick Reference | 常见谬误速查
Fallacies are mistakes in reasoning that can make an argument unsound or misleading. Recognising them is an essential philosophical skill. Below is a quick‑reference formula list of some of the most frequent informal fallacies.
谬误是推理中的错误，它们会使论证不可靠或具有误导性。识别谬误是一项基本的哲学技能。下面是一些最常见非形式谬误的速查公式列表。
Ad Hominem (攻击人): Attacking the person making the argument rather than the argument itself. Formula: 'You are X, so your claim is false.' This is irrelevant to the truth of the claim.
人身攻击 (Ad Hominem): 攻击提出论证的人而不是论证本身。公式：“你是X，所以你的主张是假的。” 这与主张的真实性无关。
Straw Man (稻草人): Misrepresenting someone's argument to make it easier to attack. Formula: 'You say P; I replace it with a weaker Q; I attack Q.' The real position P remains untouched.
稻草人谬误 (Straw Man): 歪曲某人的论证以便更容易攻击。公式：“你说的是P；我将其替换成较弱的Q；我攻击Q。” 真正的主张P却未被触及。
False Dilemma (假两难): Presenting only two options when more exist. Formula: 'Either A or B; not A; therefore B' while ignoring C, D, etc. This forces a choice that may be too narrow.
假两难 (False Dilemma): 只给出两个选项，而实际上还存在其他选项。公式：“要么A要么B；非A；因此B”，却忽略了C、D等选项。这迫使人做出可能过于狭隘的选择。
Begging the Question (乞题): Assuming what you are trying to prove. Formula: 'P is true because P.' Often hidden in subtle wording, it creates a circular argument.
乞题谬误 (
Published by TutorHao | Year 8 哲学 Revision Series | aleveler.com 更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图