📚 Year 9 CAIE Philosophy: Formula & Theorem Quick Reference Handbook | Year 9 CAIE 哲学：公式定理速查手册
Welcome to your handy revision companion for Year 9 CAIE Philosophy! Even though philosophy might not seem to have 'formulas' in the mathematical sense, this handbook reframes key arguments, principles, and methods into memorable 'formulas' and 'theorems' to help you grasp the core ideas quickly. From logic to ethics, each section presents a philosophical concept in a structured, repeatable pattern – just like a mathematical formula. Use this as your go‑to guide for exams and class discussions.
欢迎使用你的 Year 9 CAIE 哲学速查手册！虽然哲学看似没有数学意义上的“公式”，但本手册将关键论证、原则和方法重新包装成易记的“公式”与“定理”，帮助你快速掌握核心思想。从逻辑到伦理学，每一个小节都以结构化的、可重复的模式呈现一个哲学概念——就像数学公式一样。把这份资料当作你考试和课堂讨论的随身指南。
1. The Socratic Method | 苏格拉底诘问法
The Socratic Method is a cooperative argumentative dialogue that uses questioning to stimulate critical thinking and expose contradictions. Its 'formula' can be expressed as a step‑by‑step process: (1) Pose a definition or belief, (2) Ask a question that reveals a hidden assumption, (3) Show how the assumption leads to a contradiction with other accepted beliefs, (4) Refine the original definition, and repeat. Plato’s early dialogues show Socrates employing this method relentlessly to seek truth.
苏格拉底诘问法是一种合作式的辩论对话，通过提问来激发批判性思维并揭示矛盾。其“公式”可以表示为逐步过程：（1）提出一个定义或信念；（2）提出一个问题，揭示隐藏的假设；（3）展示该假设如何导致与其他公认信念的矛盾；（4）修正最初的定义，并重复进行。柏拉图的早期对话录展现了苏格拉底不懈运用这一方法追求真理。
- Formula: Belief + Systematic Questioning → Uncovered Assumption → Contradiction → Revised Belief.
- 公式：信念 + 系统提问 → 揭示假设 → 矛盾 → 修正后的信念。
2. Argument Structure: Premises and Conclusion | 论证结构：前提与结论
ated dispute but a set of statements where some (premises) are offered as reasons to support another (the conclusion). The basic form is: Premise₁ ∧ Premise₂ ∧ … ntees that if the premises are true, the conclusion must be true. Soundness adds the extra condition that all premises are actually true.
在哲学中，论证不是激烈的争吵，而是一组陈述，其中一些（前提）被用作支持另一个陈述（结论）的理由。基本形式为：前提₁ ∧ 前提₂ ∧ … → 结论。一个有效的论证保证：如果前提为真，结论必然为真。而可靠性则额外要求所有前提事实上为真。
| Valid but Unsound | All cats are dogs. Felix is a cat. So Felix is a dog. (Premises false, logic correct) |
| Sound | All humans are mortal. Socrates is a human. So Socrates is mortal. (True premises, valid logic) |
| 有效但不可靠 | 所有猫是狗。菲利克斯是猫。所以菲利克斯是狗。（前提假，逻辑正确） |
| 可靠 | 所有人都会死。苏格拉底是人。所以苏格拉底会死。（前提真，逻辑有效） |
3. Deductive vs. Inductive Reasoning | 演绎与归纳推理
is B. Inductive reasoning moves from specific observations to a probable generalisation: Most observed swans are white → All swans are white (with some degree of confidence). Induction never yields certainty, only probability, which gave rise to Hume’s problem of induction.
演绎推理从一般前提推出必然的特定结论。其理想形式是三段论：所有A是B。X是A。所以X是B。归纳推理从特定观察推出可能的概括：大多数观察到的天鹅是白的 → 所有天鹅都是白的（带有一定置信度）。归纳永远不能提供确定性，只能提供可能性，这就引出了休谟的归纳问题。
- Deduction Theorem: If premises true + form valid → conclusion necessarily true.
- 演绎定理：如果前提真且形式有效 → 结论必然真。
- Induction Principle: Repeated pattern + no counter‑instance → probable law.
- 归纳原则：重复模式 + 无反例 → 可能的规律。
4. Common Logical Fallacies | 常见逻辑谬误
Fallacies are errors in reasoning that weaken an argument. Recognising them is like spotting a broken formula. A few key fallacies every Year 9 philosopher should know:
谬误是削弱论证的推理错误。识别谬误就像发现一个损坏的公式。每个 Year 9 哲学学生都应该知道以下几种关键谬误：
- Ad Hominem: Attacking the person, not the argument.
You can’t trust his view on climate change; he’s not even a scientist.
人身攻击：攻击人而非论点。
“你不能相信他对气候变化的看法，他甚至不是科学家。” - Straw Man: Misrepresenting an opponent’s position to make it easier to attack.
You say we should reduce military spending. You want to leave the country defenceless!
稻草人：歪曲对方立场以更容易攻击。
“你说我们应该削减军费，你想让国家毫无防御！” - False Dilemma: Presenting only two options when more exist.
Either you support the war, or you are against our troops.
假二分法：只给出两个选项，其实更多。
“要么你支持这场战争，要么你就是反对我们的军队。” - Begging the Question: Assuming what you are trying to prove.
Paranormal activity is real because I have experienced what can only be described as paranormal.
乞题：把待证明结论当作前提。
“超自然现象是真的，因为我经历过只能被描述为超自然的事情。”
5. Descartes’ “Cogito Ergo Sum” | 笛卡尔的“我思故我在”
René Descartes sought an unshakeable foundation for knowledge through radical doubt. He imagined an evil demon deceiving him about everything. Yet he realised that even if he is being deceived, he must exist to be deceived. This leads to the famous formula: Dubito, ergo cogito, ergo sum (I doubt, therefore I think, therefore I am). The reasoning is often compressed to: I think, therefore I am.
勒内·笛卡尔通过激进怀疑寻求不可动摇的知识基础。他想象有一个恶魔在一切事情上欺骗他。但他意识到，即使他在被欺骗，他也必须存在才能被欺骗。由此得出著名的公式：我疑故我思，我思故我在。推理常被浓缩为：我思故我在。
Theorem: ∃x such that x is thinking → x exists
定理：存在某物 x 在思考 → x 存在
Descartes uses this as the first indubitable truth to rebuild all knowledge. Critics say it only proves the existence of the thinking moment, not a persistent self.
笛卡尔将此作为第一个无可置疑的真理，并以此重建一切知识。批评者认为这只能证明思考瞬间的存在，不能证明一个持续的自我的存在。
6. Utilitarian Formula: The Greatest Happiness Principle | 功利主义公式：最大幸福原则
Utilitarianism, developed by Jeremy Bentham and John Stuart Mill, proposes that the moral worth of an action is determined by its contribution to overall happiness. The core formula can be expressed as:
由杰里米·边沁和约翰·斯图尔特·密尔发展的功利主义主张，一个行动的道德价值由它对整体幸福的贡献决定。核心公式可表示为：
t maximises net pleasure (pleasure minus pain) for the greatest number of sentient beings.
正确行动 = 为最大数量的有感知生命体带来最大净快乐（快乐减去痛苦）的行动。
Bentham even proposed a 'hedonic calculus' to quantify pleasure and pain using factors: intensity, duration, certainty, propinquity, fecundity, purity, and extent. Mill introduced a distinction between higher (intellectual) and lower (bodily) pleasures, arguing that 'it is better to be a human dissatisfied than a pig satisfied.'
边沁甚至提出了一个“快乐苦痛计算法”，用以下因素量化快乐与痛苦：强度、持续时间、确定性、远近、丰度、纯度和范围。密尔引入了高级（智能）快乐与低级（肉体）快乐的区别，主张“宁愿做一个不满足的人，也不做一只满足的猪”。
7. Kant’s Categorical Imperative | 康德的定言令式
Immanuel Kant rejected utilitarianism and proposed that morality is based on pure reason, not consequences. His famous 'formula' is the Categorical Imperative, which can be stated in several formulations. The most commonly used is the Formula of Universal Law:
伊曼努尔·康德拒斥功利主义，主张道德基于纯粹理性，而非后果。他著名的“公式”就是定言令式，可以用几种表述表达。最常用的是普遍法则公式：
Act only according to that maxim whereby you can at the same time will that it should become a universal law.
只按照你同时能够愿意它成为一条普遍法则的准则去行动。
To apply: (1) Formulate the principle (maxim) of your intended action. (2) Imagine a world where everyone acts on that maxim. (3) Check for contradictions – can the maxim even be conceived in such a world (contradiction in conception) or would you be willing to live in that world (contradiction in will)? If either fails, the action is morally impermissible.
应用步骤：（1）表述你打算行动的准则；（2）想象一个人人都按此准则行动的世界；（3）检查矛盾——这一准则在这样一个世界中是否能被设想（构想矛盾），或者你是否愿意生活在那个世界中（意愿矛盾）？如果任一失败，该行动在道德上就是不允许的。
8. The Ontological Argument for God’s Existence | 上帝存在的本体论论证
Anselm of Canterbury proposed a purely logical 'formula' to prove God’s existence. He defined God as 'that than which nothing greater can be conceived.' The argument then runs:
坎特伯雷的安瑟伦提出了一个纯粹逻辑的“公式”来证明上帝存在。他把上帝定义为“无法设想有比之更伟大之物”。论证如下：
- God is the greatest conceivable being (by definition).
上帝是可设想的最伟大的存在者（按定义）。 - A being that exists in reality is greater than one that exists only in the mind.
一个在现实中存在的存在者比仅在心灵中存在的更伟大。 - If God existed only in the mind, we could conceive of an even greater being – one that also exists in reality.
若上帝仅存在于心灵中，我们可以设想一个更伟大的存在者——一个也存在于现实中的。 - This contradicts the definition of God as the greatest conceivable being.
这与上帝作为最伟大的可设想者的定义矛盾。 - Therefore, God must exist in reality.
因此，上帝必定存在于现实中。
Immanuel Kant famously objected that 'existence is not a predicate' – existence does not add to the concept of a thing, so the argument fails. Yet it remains one of the most debated 'theorems' in philosophy.
康德著名的反对意见是“存在不是谓词”——存在不会增加一个事物的概念内容，因此论证无效。然而，它仍然是哲学中争议最多的“定理”之一。
9. The Problem of Evil Logical Formula | 罪恶问题的逻辑公式
The Problem of Evil challenges the existence of an all‑powerful, all‑knowing, and all‑good God. The classical logical formulation (by Epicurus and later J.L. Mackie) goes:
罪恶问题挑战全能、全知、全善的上帝存在。经典的逻辑公式（由伊壁鸠鲁提出，后由麦基）为：
- If an omnipotent, omnibenevolent, and omniscient God exists, then evil would not exist.
若存在全能、全善、全知的上帝，则恶将不存在。 - Evil exists (there is undeniable suffering in the world).
恶存在（世界上有不可否认的痛苦）。 - Therefore, such a God does not exist.
因此，这样的上帝不存在。
The logical problem argues that the three attributes are incompatible with the existence of evil. Theodicies are attempts to solve this 'equation,' for example by claiming that some evils are logically necessary for a greater good (free will defence). Still, many philosophers regard the problem as a sound disproof.
逻辑罪恶问题主张三个属性与恶的存在不相容。神义论是试图解开这一“方程式”的努力，例如声称某些恶是实现更大善（自由意志）的逻辑必要条件。但许多哲学家仍视该问题为有效的反驳。
10. Plato’s Allegory of the Cave: Knowledge Formula | 柏拉图的洞穴比喻：知识公式
Plato’s Allegory of the Cave illustrates the journey from ignorance to knowledge. Prisoners chained in a cave see only shadows on a wall and mistake them for reality. The escapee ascends into the sunlight, representing the Form of the Good. The 'formula' for true knowledge is:
柏拉图的洞穴比喻展现了从无知到知识的旅程。囚徒被锁在洞穴里，只能看到墙上的影子并错认为现实。逃脱者上升到阳光中，阳光代表善的理型。真知识的“公式”为：
ible realm (shadows/objects) to intelligible realm (Forms), culminating in the Form of the Good.
知识 = 理性从可见世界（影子/物体）上升到可知世界（理型），最终抵达善的理型。
hing shadows, objects, mathematical reasoning, and Forms. The cave allegory remains a foundational 'model' for education and enlightenment.
柏拉图的线段比喻进一步公式化了这一层级：想象 → 信念 → 思想 → 理智，分别对应影子、物体、数学推理和理型。洞穴比喻至今仍是教育与启蒙的基础“模型”。
11. Aristotle’s Four Causes: Explanation Formula | 亚里士多德的四因说：解释公式
To explain any object or change, Aristotle introduced four 'causes' (aitia), which function like dimensions of a complete explanation. For a statue:
- Material Cause: The bronze it is made of.
质料因：构成雕像的青铜。 - Formal Cause: The shape or design of the statue.
形式因：雕像的形状或设计。 - Efficient Cause: The sculptor who made it.
动力因：制作它的雕刻家。 - Final Cause: The purpose, e.g., to honour a deity.
目的因：目的，如敬奉神明。
Complete Explanation = Material ∧ Formal ∧ Efficient ∧ Final Cause
完整解释 = 质料 ∧ 形式 ∧ 动力 ∧ 目的因
Modern science focuses mainly on efficient and material causes, but Aristotle’s schema remains crucial in philosophy of biology, ethics, and metaphysics.
现代科学主要关注动力因和质料因，但亚里士多德的框架在生物学哲学、伦理学与形而上学中依然至关重要。
12. Hume’s Fork: Truth Test Formula | 休谟的叉子：真值检验公式
David Hume proposed a sharp division between two kinds of meaningful statements, now known as Hume’s Fork. The 'formula' for testing any claim is to ask:
大卫·休谟提出将一切有意义的陈述分为两类，即著名的“休谟的叉子”。检验任何主张的“公式”是问：
- Relations of Ideas by : True by definition, demonstrable by logic alone (e.g., 2+2=4). Denial leads to a contradiction.
观念关系：依定义为真，仅凭逻辑即可证明（例如2+2=4）。否定则导致矛盾。 - Matters of Fact: True based on experience, always contingent (e.g., the sun will rise tomorrow). Denial is possible without contradiction.
事实：基于经验为真，总是偶然的（例如太阳明天会升起）。否定并不导致矛盾。
Hume then famously argues: 'If we take in our hand any volume... does it contain any abstract reasoning concerning quantity or number? No. Does it contain any experimental reasoning concerning matter of fact and existence? No. Commit it then to the flames: for it can contain nothing but sophistry and illusion.' This serves as a radical tool for clearing away unfounded metaphysics.
休谟因此说出那句名言：“我们随手拿起任何一卷书……它包含关于量或数的抽象推理吗？没有。它包含关于事实和存在的实验推理吗？没有。那就把它投到火里去吧，因为它所包含的只能是诡辩和幻想。”这成为清除无根据形而上学的激进工具。
Published by TutorHao | Philosophy Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图