📚 Year 9 CAIE Philosophy: Formula & Theorem Quick-Reference Handbook | Year 9 CAIE 哲学：论证公式与思想定理速查手册
Welcome to the ultimate quick-reference guide for Year 9 CAIE Philosophy. While philosophy is not mathematics, it is built upon powerful structures of reasoning, often called 'arguments', which can be as precise as any formula. This handbook distills key philosophical ideas, logical forms, and conceptual frameworks into memorable 'formulas' and 'theorems' to help you master the subject. Each formula is presented with a clear English explanation followed by its Chinese counterpart, ensuring bilingual fluency.
欢迎使用 Year 9 CAIE 哲学终极速查手册。虽然哲学不是数学，但它建立在强有力的推理结构之上——我们称之为“论证”，其精确性不亚于任何公式。本手册将关键的哲学观念、逻辑形式与概念框架浓缩成易于记忆的“公式”和“定理”，助你掌握这门学科。每条公式先提供英文解说，再附上对应的中文释义，确保双语理解无障碍。
1. The Definition of Philosophy: The Love of Wisdom Formula | 哲学定义：爱智慧公式
hy = Critical Inquiry + Rational Argument + Conceptual Analysis. The term comes from Greek 'philosophia' ng , meaning love of wisdom. It is the activity of questioning fundamental assumptions about existence, knowledge, values, reason, mind, and language.
哲学 = 批判性探究 + 理性论证 + 概念分析。这个词源于希腊语“philosophia”，意为爱智慧。它是对存在、知识、价值、理性、心灵和语言等基本假设进行追问的活动。
Key Philosophical Questions (Formulas for Inquiry): What is real? (Metaphysics) | How do we know? (Epistemology) | How should we live? (Ethics) | What is a good argument? (Logic)
关键哲学问题（探究公式）：何谓真实？（形而上学）| 我们如何认知？（认识论）| 我们应如何生活？（伦理学）| 什么是好的论证？（逻辑学）
2. Logic Fundamentals: Deduction vs Induction Formulas | 逻辑基础：演绎与归纳公式
T be true (necessary truth). Example: All humans are mortal. Socrates is human. ∴ Socrates is mortal.
演绎：如果前提为真且形式有效 → 那么结论必然为真（必然真）。示例：所有人都会死。苏格拉底是人。∴ 苏格拉底会死。
ROBABLY true (probabilistic). Example: The sun has risen every day in recorded history. ∴ The sun will rise tomorrow.
归纳：如果前提为真且有强证据 → 那么结论很可能为真（或然性）。示例：有史以来太阳每天升起。∴ 太阳明天将会升起。
true, conclusion must be true). Soundness = Valid structure + All premises actually true.
有效性与可靠性：有效性关乎结构（如果前提真，结论必真）。可靠性 = 有效结构 + 所有前提事实上为真。
3. Modus Ponens & Modus Tollens: Valid Argument Forms | 肯定前件与否定后件：有效论证形式
tal deductive formula. Example: If it rains, the ground is wet. It rains. Therefore, the ground is wet.
肯定前件式：如果 P → Q。P。∴ Q。这是一个基本的演绎公式。示例：如果下雨，地面就湿。下雨了。因此，地面湿了。
Modus Tollens (Denying the Consequent): If P → Q. ¬Q. ∴ ¬ ample: If it rains, the ground is wet. The ground is not wet. Therefore, it does not rain.
否定后件式：如果 P → Q。非 Q。∴ 非 P。示例：如果下雨，地面就湿。地面不湿。因此，没下雨。
These forms are guaranteed to produce true conclusions if premises are true; they are like algebraic equations in reasoning.
这些形式在前提为真时保证得出真结论；它们如同推理中的代数方程。
4. Common Logical Fallacies: Formulas That Fail | 常见逻辑谬误：失败的公式
ght be caused by other factors.) Example: If it rains, the street is wet. The street is wet. Therefore, it rained. (Maybe a water truck passed.)
肯定后件谬误：如果 P → Q。Q。∴ P。（无效，因为 Q 可能由其他原因导致。）示例：如果下雨，街道就湿。街道湿了。因此，下过雨。（或许是洒水车经过。）
Fallacy of Denying the Antecedent: If P → Q. ¬P. ∴ ¬ es not rain. Therefore, the ground is not wet. (The ground could be wet from a sprinkler.)
否定前件谬误：如果 P → Q。非 P。∴ 非 Q。（无效，Q 可能在没有 P 的情况下为真。）示例：如果下雨，地面湿。没下雨。因此，地面不湿。（地面可能因洒水器而湿。）
Straw Man, Ad Hominem, False Dilemma – each represents a flawed reasoning template you must learn to recognize.
稻草人、人身攻击、虚假两难——每一种谬误都是你必须学会识别的有缺陷的推理模板。
5. The JTB Formula: Knowledge as Justified True Belief | JTB 公式：知识即被证成的真信念
Plato' Justified True Belief (JTB). S knows that P if and only if: (1) P is true; (2) S believes that P; (3) S is justified in believing that P.
柏拉图的经典定义：知识 = 被证成的真信念 (JTB)。某人 S 知道命题 P，当且仅当：(1) P 为真；(2) S 相信 P；(3) S 对相信 P 有证成（理由）。
This formula was challenged by Gettier cases, where a person has a justified true belief but still lacks knowledge due to luck. However, JTB remains the starting point for any epistemological 'equation'.
这一公式受到盖梯尔案例的挑战：某人持有被证成的真信念，但因运气成分而欠缺知识。尽管如此，JTB 仍是任何认识论“方程”的起点。
6. Plato's Allegory of the Cave: The Enlightenment Theorem | 柏拉图的洞穴寓言：启蒙定理
ards the Form of the Good. Prisoners chained in a cave see only shadows and mistake them for reality. The philosopher's journey out represents the ascent to true knowledge.
洞穴定理：实在 ≠ 表象；教育 = 将灵魂转向“善”的形式。洞穴中锁链囚徒只看到影子，并误认为那就是现实。哲人走出洞穴的旅程象征着向真知的上升。
Philosophical formula: Truth is not given by the senses but discovered through rational inquiry. The sun outside the cave symbolizes the Form of the Good.
哲学公式：真理不由感官给定，而通过理性探究发现。洞穴外面的太阳象征“善”的形式。
Application: Many people today are still 'chained' by social media illusions (shadows). Critical thinking releases us from the cave.
应用：如今许多人仍被社交媒体幻象（影子）所“禁锢”。批判性思维使我们挣脱洞穴。
7. Cogito Ergo Sum: Descartes' Foundational Formula | 我思故我在：笛卡尔的基础公式
Descartes' Certainty Equation: Even if an evil demon deceives me about everything, I cannot doubt that I am thinking. Doubting is a form of thinking. Therefore, 'I think, therefore I am' (Cogito, ergo sum) is an indubitable foundation for knowledge.
笛卡尔的确定性方程：即便有个邪恶精灵在一切事情上欺骗我，我也无法怀疑我正在思考这一事实。怀疑本身是一种思考。因此，“我思，故我在”（Cogito, ergo sum）是不可怀疑的知识基础。
Logical form: If I am doubting, then I must exist. I am doubting. ∴ I exist. This is a useful 'formula' for building certainty from radical skepticism.
逻辑形式：如果我在怀疑，那么我必定存在。我在怀疑。∴ 我存在。这是从彻底怀疑中建立确定性的一个有用“公式”。
8. The Ontological Argument: Anselm's Logical Formula for God | 本体论论证：安瑟伦关于上帝的逻各斯公式
Anselm' t than which nothing greater can be conceived. If God exists only in the mind, we could conceive a greater being (one that exists in reality too). So the greatest conceivable being must exist in reality. ∴ God exists.
安瑟伦的论证逻辑形式：上帝 = 无法设想有比之更伟大者。如果上帝只存在于心中，我们就能设想一个更伟大者（即同时存在于现实中）。故最伟大的可设想者必存在于现实中。∴ 上帝存在。
Gaunilo's objection used the same formula for a 'perfect island', showing the structure could be misapplied. Kant challenged it by noting 'existence is not a predicate'.
高尼罗的反驳用同一公式推论“完美的岛屿”，表明这一结构可能被误用。康德质疑说“存在不是谓词”。
9. The Design Argument: Paley's Watchmaker Theorem | 设计论证：佩利的制表匠定理
gical argument as a formula: Complexity with Purpose + Order → Intelligent Designer. Paley' ind a watch on a heath, you infer a watchmaker from its intricate arrangement, even if you've never seen one made. Analogously, the universe's complexity implies a Divine Designer.
目的论论证的公式：有目的的复杂性 + 秩序 → 智慧设计者。佩利的手表类比：若在荒野捡到一只手表，因其复杂的排列，你会推断存在制表匠，即便从未见过制做过程。类似地，宇宙的复杂性暗示着一位神圣设计者。
Hume's criticisms included: the universe might be more like a vegetable than a machine; and even if a designer exists, it doesn't prove the God of classical theism (moral perfection, omnipotence, etc.).
休谟的批评包括：宇宙或许更像一棵蔬菜而非机器；而且，即便存在设计者，也无法证明这是古典有神论的上帝（道德完美、全能等）。
10. Utilitarianism vs Deontology: Ethical Decision Formulas | 功利主义与义务论：伦理决策公式
lity) for the greatest number. Hedonic Calculus: Intensity x Duration x Certainty x Extent. Ethics is like a happiness equation.
功利主义（边沁、密尔）：正确的行为 = 为最大多数人最大化幸福（功利）。快乐计算：强度 x 持续时间 x 确定性 x 范围。伦理学就像一道幸福方程式。
t according to a maxim that can be willed as a universal law (Categorical Imperative). Never treat persons merely as means but always as ends. Formula: If your maxim cannot be universalized without contradiction, it's wrong.
义务论（康德）：正确的行为 = 按照你同时能够愿意它成为普遍法则的准则去行动（定言命令）。永远不要把人仅仅当作手段，而要始终当作目的。公式：如果你的准则无法不自相矛盾地普遍化，它就是错的。
Compare: Telling a lie to save a friend – utilitarian calculation may permit it; Kantian formula forbids it because universalizing lying destroys trust.
比较：为救朋友而说谎——功利主义计算可能允许；康德公式却禁止，因为将说谎普遍化会摧毁信任。
11. The Trolley Problem: A Moral Calculus Thought Experiment | 电车难题：一种道德演算思想实验
on. Utilitarian formula: 5 deaths > 1 death → pull the lever. Deontological formula: Intentionally causing one death is murder → don't pull.
经典两难：一辆失控电车冲向被绑在轨道上的五个人。你可以拉动拉杆让电车转向另一条轨道，那里有一人。功利公式：5 人死亡 > 1 人死亡 → 拉动拉杆。义务论公式：故意造成一人死亡是谋杀 → 不拉杆。
The footbridge variant (pushing a fat man) tests the limits of our moral 'formulas' – most reject pushing, highlighting the distinction between doing harm and allowing harm.
天桥变体（推下一个胖子）测试了道德“公式”的极限——多数人拒绝推人，凸显了“造成伤害”与“允许伤害”之间的区别。
12. The Free Will vs Determinism Equation: A Metaphysical Conundrum | 自由意志与决定论方程：形上难题
st state + Laws of nature → Necessary future. If determinism is true, does free will exist? Compatibilism says yes: free will = acting according to one's desires without external coercion.
决定论：每个事件都有原因，在初始条件和自然规律下，只有一个可能的未来。公式：过去状态 + 自然规律 → 必然未来。若决定论为真，自由意志还存在吗？相容论说存在：自由意志 = 按照自身欲望行动且无外在强制。
Libertarianism (metaphysical): The universe is not fully deterministic; agents can act with genuine alternative possibilities. Hard determinism: Free will is an illusion. This debate is often modeled with the 'Garden of Forking Paths' scenario.
自由主义（形上立场）：宇宙并非完全决定；行动者能做出具有真正替代可能性的行为。强硬决定论：自由意志是一种幻觉。这一争论常以“小径分叉的花园”情景来建模。
Published by TutorHao | Philosophy Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图