📚 Philosophy Formula & Theorem Quick Reference Handbook | 哲学公式定理速查手册
Welcome to the Year 8 CIE Philosophy Quick Reference Handbook. In mathematics and science, formulas and theorems help us solve problems efficiently. Philosophy, too, has its own set of logical forms, inference rules, and universal principles that act as shortcuts for clear thinking. This handbook collects the most essential 'formulas' and 'theorems' of philosophical reasoning — from valid argument patterns and fundamental laws of thought to famous philosophical moves and frequent fallacies. Each entry is presented as a crisp rule or principle, explained with examples, and paired with its Chinese translation to support bilingual learning.
欢迎使用八年级CIE哲学公式定理速查手册。数学与科学中的公式定理能帮助我们高效解题，而哲学同样拥有一套有助于清晰思维的逻辑形式、推理规则与普适原理，堪称哲学的“公式”与“定理”。本手册精选了哲学推理中最关键的条目——涵盖有效论证模式、思维基本规律、著名哲学推导以及常见谬误。每条以清晰规则呈现，辅以实例说明，并配中文对照，支持双语学习。
1. Modus Ponens (Affirming the Antecedent) | 肯定前件式
Modus ponens is one of the most fundamental valid argument forms. It states that if a conditional statement 'If P, then Q' is accepted, and the antecedent P is affirmed, then the consequent Q necessarily follows. This rule secures a conclusion that must be true if the premises are true.
肯定前件式是最基本的有效论证形式之一。如果接受“如果P则Q”这一条件陈述，并且前件P被肯定，那么后件Q必然推出。该规则确保了若前提为真，结论必定为真。
P → Q, P ∴ Q
Example: If it rains, the ground becomes wet. It rains. Therefore, the ground becomes wet. The structure is inescapable: premise 1 sets up a relation, premise 2 triggers the relation, and the conclusion flows directly.
示例：如果下雨，地面就会湿。现在下雨了。因此，地面湿了。这一结构无可逃遁：前提一建立关系，前提二触发关系，结论直接推出。
In examination contexts, recognising modus ponens allows you to confirm whether a conclusion is logically forced. If someone denies the conclusion while accepting the premises, they contradict themselves. It is a cornerstone of deductive logic.
在考试中，识别肯定前件式能帮助你判断结论是否为逻辑必然。若有人接受前提却否认结论，就会陷入自相矛盾。它是演绎逻辑的基石。
2. Modus Tollens (Denying the Consequent) | 否定后件式
Modus tollens is the mirror image of modus ponens and equally valid. When a conditional statement is given, if the consequent Q is false, then the antecedent P must also be false. This form allows us to eliminate impossible scenarios and sharpen hypotheses through negation.
否定后件式与肯定前件式互为镜像，同样有效。当给定条件陈述时，若后件Q为假，则前件P必为假。该形式通过否定来排除不可能情形，使假设更精确。
P → Q, ¬Q ∴ ¬P
Example: If the battery is charged, the phone turns on. The phone does not turn on. Therefore, the battery is not charged. Notice that we do not need to inspect the battery directly; the logical relation alone forces the conclusion.
示例：如果电池有电，手机就会开机。手机没有开机。因此，电池没有电。注意，我们无需直接检查电池，仅凭逻辑关系就能迫使结论产生。
Modus tollens is frequently used in scientific reasoning to falsify theories. A hypothesis predicts Q; we observe ¬Q; thus the hypothesis is rejected. Mastering this form strengthens your ability to evaluate arguments and identify hidden assumptions.
否定后件式在科学推理中常用于证伪理论。假说预测Q会出现；我们观察到¬Q；于是假说被拒绝。掌握此形式能增强你评价论证和发现隐藏假设的能力。
3. Hypothetical Syllogism | 假言三段论
Hypothetical syllogism chains conditionals together. If P implies Q, and Q implies R, then P implies R. This rule allows us to construct extended chains of reasoning and trace consequences across multiple steps.
假言三段论将条件陈述串联起来。如果P蕴涵Q，且Q蕴涵R，那么P蕴涵R。这一规则使我们得以构建延伸的推理链条，跨越多步追溯后果。
P → Q, Q → R ∴ P → R
Example: If you study consistently, you understand the material. If you understand the material, you perform well in the exam. Therefore, if you study consistently, you perform well in the exam. The intermediate step is absorbed into a direct implication.
示例：如果你持续学习，就能理解内容。如果你理解内容，就能考得好。因此，如果你持续学习，就能考得好。中间步骤被吸收为一个直接蕴涵。
This form is immensely useful in philosophical essays. When you argue that A leads to B and B leads to C, you can conclude A leads to C without repeating the whole chain. It preserves clarity and brevity in complex reasoning.
这一形式在哲学论文中极为有用。当你论证A导致B且B导致C时，可以不再复述整条链而直接得出A导致C的结论。它在复杂推理中保持清晰与简洁。
4. Disjunctive Syllogism | 选言三段论
Disjunctive syllogism operates on an 'either... or...' statement. If at least one of the options is true, and we eliminate one, the remaining must be true. This form captures reasoning by elimination.
选言三段论基于“要么……要么……”的陈述。如果至少有一个选项为真，而我们排除其中一个，余下的那个必定为真。该形式刻画了排除推理法。
P ∨ Q, ¬P ∴ Q
Example: Either the door was locked, or the intruder entered through the window. The door was not locked. Therefore, the intruder entered through the window. The conclusion is forced once one disjunct is negated.
示例：要么门是锁着的，要么入侵者是从窗户进来的。门没有锁。因此，入侵者是从窗户进来的。一旦否定一个选言支，结论即被强制得出。
Caution is needed: the 'or' must be inclusive (at least one) for this form to be valid. In everyday language, 'or' can be exclusive, but in logic we standardise it. Recognising disjunctive syllogism helps you navigate dilemma arguments and avoid false choices.
注意：“或”必须是相容的（至少一个为真），该形式才有效。日常语言中“或”有时是排斥性的，但逻辑中我们将其标准化。识别选言三段论有助于你把握两难推理，避免虚假选择。
5. Law of Non-Contradiction | 不矛盾律
The law of non-contradiction is a foundational theorem of classical logic. It asserts that a proposition and its negation cannot both be true in the same sense at the same time. Symbolically, not (P and not-P). This principle underpins all coherent discourse.
不矛盾律是经典逻辑的基础定理。它断言：一个命题与其否定不能在相同意义上同时为真。用符号表示即并非（P且非P）。该原则支撑着一切连贯的言说。
¬(P ∧ ¬P)
Example: 'The cat is on the mat' and 'the cat is not on the mat' cannot both be true simultaneously for the same cat and mat. To hold both would make reasoning impossible, as any conclusion could be derived from a contradiction.
示例：“猫在垫子上”和“猫不在垫子上”对于同一猫和垫子不可能同时为真。若同时主张两者，推理将坍塌，因为从矛盾中可以推出任何结论。
Aristotle regarded this law as the most certain of all principles. In examinations, using the law of non-contradiction allows you to spot inconsistencies in arguments and criticise positions that try to assert both sides of a contradiction.
亚里士多德视此律为所有原理中最确定者。在考试中，运用不矛盾律能让你发现论证中的不一致，并批驳那些试图同时肯定矛盾双方的立场。
6. Law of Excluded Middle | 排中律
Complementary to non-contradiction, the law of excluded middle states that for any proposition, either it is true or its negation is true. There is no third truth-value in classical logic. Symbolically, P or not-P.
与不矛盾律互补，排中律规定：对于任一命题，它本身为真，或其否定为真，二者必居其一。在经典逻辑中没有第三真值。用符号表示为P或非P。
P ∨ ¬P
Example: Either it is raining outside right now, or it is not raining outside right now. Even if the weather is drizzly and hard to classify, the logical disjunction holds because one of the two exhaustive states obtains.
示例：要么现在外面正在下雨，要么现在外面不在下雨。即便天气是毛毛细雨难以归类，该逻辑析取依然成立，因为两个穷尽的状态必有一个成立。
This law is used extensively in proof by cases. If you can show that a conclusion follows from both P and ¬P, then you have demonstrated that the conclusion is logically necessary. Understanding excluded middle sharpens your ability to construct exhaustive arguments.
排中律广泛用于分情况证明。若能证明结论同时从P和¬P推出，就表明该结论为逻辑必然。理解排中律使你能更缜密地构建穷尽式论证。
7. Principle of Sufficient Reason | 充足理由律
Formulated by Leibniz, the principle of sufficient reason asserts that nothing happens without a reason or explanation. For every fact or truth, there must be a sufficient cause or ground why it is so and not otherwise. While not a formal logical law, it acts as a philosophical maxim for enquiry.
由莱布尼茨明确提出的充足理由律认为，没有无原因或无解释而发生的事情。每一事实或真理，必有充足理由或根据，说明它为何如此而非别样。虽非纯形式逻辑定律，它却是一条指导探究的哲学准则。
∀x (Fx → ∃y (Ry explains Fx))
Example: If a book falls from a shelf, we seek a reason — gravity, a nudge, a tremor. The principle pushes us to keep asking 'Why?' until we reach a satisfactory ground, and it underpins the scientific expectation that the universe is rationally intelligible.
示例：如果一本书从书架掉落，我们会寻找原因——重力、碰撞、震动。该原则推动我们不断追问“为什么”，直至找到令问满意的根据，也支撑着科学对宇宙理性可理解性的期待。
In philosophical reasoning, this principle reminds you not to accept brute facts without explanation. When evaluating arguments, always ask whether a sufficient reason has been provided for the claim being made.
在哲学推理中，该原理提醒你不可不加解释地接受赤裸事实。评价论证时，始终追问所提出的主张是否给出了充足理由。
8. Ockham's Razor | 奥卡姆剃刀
Ockham's Razor is a methodological principle: entities should not be multiplied beyond necessity. Given competing explanations, the one with fewer unnecessary assumptions is usually preferable. It is a heuristic for theory choice, not a proof, but immensely powerful in philosophical analysis.
奥卡姆剃刀是一项方法论原则：如无必要，勿增实体。面对相互竞争的解释，通常那些带有更少不必要假设的更可取。它是理论选择的启发式准则，并非证明，但在哲学分析中威力强大。
All else being equal, the simplest explanation is preferred.
Example: Suppose you hear hoofbeats in London. The simpler explanation is horses, not zebras, because horses are common in that context. Ockham's Razor does not rule out zebras but urges us to adjust our credence towards the less complex hypothesis.
示例：假设你在伦敦听到蹄声，更简单的解释是马，不是斑马，因为在那种情境下马很常见。奥卡姆剃刀并不排除斑马，但敦促我们将置信度向较简单的假说倾斜。
In your philosophical reasoning, applying Ockham's Razor means stripping away redundant steps and assumptions. It pairs well with 'Don't invent extra causes.' Examiners value your ability to identify when an argument overcomplicates an issue needlessly.
在你的哲学推理中，应用奥卡姆剃刀意味着剔除多余的步骤和假设。它与“勿增额外原因”相辅相成。考官看重你能识别出论证何时不必要地将问题复杂化。
9. Cogito, ergo sum | 我思故我在
Descartes' 'Cogito, ergo sum' — 'I think, therefore I am' — is a philosophical theorem establishing the certainty of one's own existence. Even when doubting everything, the act of doubting confirms the existence of a thinking self. It serves as an Archimedean point for knowledge.
笛卡尔的“我思故我在”是一项确立自身存在确定性的哲学定理。即便怀疑一切，怀疑行为本身也确证了一个思想着的自我的存在。它充当了知识的阿基米德支点。
Dubito → Cogito → Sum
Example: I can doubt that I have a body, or that an external world exists, but I cannot consistently doubt that I am doubting. The very performance of doubt entails that I, as a thinking thing, exist. This insight anchors a whole tradition of foundationalist epistemology.
示例：我可以怀疑自己是否有身体，或外部世界是否存在，但我无法一贯地怀疑我正在怀疑这一行为本身。怀疑的实施即必然意味着我作为思想者而存在。这一洞见为整个基础主义认识论传统提供了支点。
While later philosophers have challenged the move from 'thinking' to 'I', the Cogito formula remains a powerful illustration of an indubitable truth reached through radical doubt. It features frequently in philosophy examinations.
虽然后世哲学家质疑了从“思想”到“我”的过渡，但我思公式仍然是经由激进怀疑所抵达的不可怀疑真理的有力例证，在哲学考试中频繁出现。
10. The Socratic Method (Elenchus) | 苏格拉底反诘法
The Socratic method is a structured form of cooperative argumentative dialogue. Its formula involves posing a question about a concept (e.g., 'What is justice?'), receiving an initial answer, then cross-examining that answer to reveal inconsistencies or contradictions, which leads to a refined or altogether new definition. The cycle repeats until a clearer understanding emerges.
苏格拉底方法是结构化的合作式辩论对话。其公式为：就某个概念提出问题（如“什么是正义？”），得到一个初步回答，接着通过诘问揭示该回答中的不一致或矛盾，从而导向一个精炼的或全新的定义。这一循环重复进行，直至出现更清晰的理解。
Question → Answer → Refutation → Revised Definition → (repeat)
Example: Socrates asks Euthyphro 'What is piety?' Euthyphro answers 'What is dear to the gods.' Socrates shows that the gods disagree, making the definition inconsistent. The definition is then revised. This formula cultivates critical thinking and shows that philosophy is a process, not a set of finished answers.
示例：苏格拉底问尤西弗罗“什么是虔敬？”尤西弗罗答“神所喜爱之事。”苏格拉底指出诸神之间意见不一，从而使该定义陷入矛盾。定义随之被修正。这一公式培养了批判性思维，表明哲学是一个过程而非一套现成答案。
Mastering the Socratic method enables you to interrogate concepts deeply in your essays and discussions. It is a core technique expected in CIE philosophy responses: define, test with counterexamples, and refine.
掌握苏格拉底方法能让你在论文和讨论中深入追问概念。它是CIE哲学答题所期待的核心技巧：定义、用反例检验、再提炼。
11. Ad Hominem Fallacy | 人身攻击谬误
An ad hominem fallacy occurs when one attacks the person making an argument rather than engaging with the argument itself. The 'formula' of the error is: Person A makes claim C. Person B points to an irrelevant flaw in A. Therefore, C is dismissed. This reasoning is fallacious because the truth of a claim does not depend on the character of the claimant.
人身攻击谬误发生在攻击提出论证的人而非论证本身时。该错误的“公式”为：甲提出了主张C。乙指出甲身上的某个无关缺陷。因此，C被否定。这一推理是谬误的，因为主张的真假不取决于主张者的品格。
Person A asserts P. Attacking A's motives does not disprove P.
Example: 'You say we should reduce plastic use, but you used plastic bottles last year. So your environmental proposal is wrong.' The speaker's past hypocrisy, even if true, does not invalidate the environmental argument. The logical path is broken.
示例：“你说我们应该减少使用塑料，但你去年的确用过塑料瓶。所以你的环保提议是错的。”说话者过去的伪善即便属实，也不使环保论证失效。逻辑路径断裂了。
Recognising ad hominem fallacies is crucial for sound argument evaluation. In examinations, naming the fallacy and explaining why the personal attack is irrelevant to the logical force of the argument demonstrates analytical sophistication.
识别人身攻击谬误对正确评价论证至关重要。在考试中，能够指出该谬误并解释为何人身攻击与论证的逻辑效力无关，可以展现分析的精湛。
12. Straw Man Fallacy | 稻草人谬误
The straw man fallacy occurs when a person misrepresents an opponent's argument in a weaker or distorted form, then refutes that misrepresentation, claiming to have refuted the original argument. The formula is: distort view X into a weaker view Y, easily knock down Y, and conclude X has been defeated.
稻草人谬误发生在将对手的论证曲解为一个更弱或走样的版本，然后驳倒这个曲解版本，并宣称驳倒了原论证。其公式为：将观点X歪曲成较弱的观点Y，轻松击倒Y，然后得出结论X已被击败。
X (actual) → Y (distorted) → refute Y → falsely claim ¬X
Example: 'Those who support longer school breaks think students should do nothing all day. But doing nothing is laziness, so longer breaks are a bad idea.' The original position was about balanced rest, not perpetual idleness. The straw man is easier to attack but misses the real point.
示例：“支持延长学校假期的人认为学生应该整天无所事事。但无所事事是懒惰，所以延长假期是个坏主意。”原立场是关于均衡休息，而非永久闲散。稻草人更容易被攻击，却偏离了真正要点。
Detecting straw man fallacies requires careful attention to what an opponent actually said. In your philosophical writing, always present the strongest version of opposing views before critiquing them — this avoids straw man reasoning and earns respect from examiners.
发现稻草人谬误需要仔细留意对手的实际言论。在你的哲学写作中，务必先呈现对方观点最强版本再行批评——这能避免稻草人推理，并赢得考官的认可。
Published by TutorHao | Philosophy Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图