Read
Build the mental model
Move through the guided explanation first so the central distinction and purpose are clear before you evaluate your own work.
Modal And Intensional Logic
Counterfactuals and Possible Worlds
Introduces the Lewis-Stalnaker nearness semantics for counterfactual conditionals, distinguishes 'would' from 'might' conditionals, and explains why counterfactuals resist strengthening the antecedent.
Read the explanation sections first, then use the activities to test whether you can apply the idea under pressure.
Start Here
What this lesson is helping you do
Introduces the Lewis-Stalnaker nearness semantics for counterfactual conditionals, distinguishes 'would' from 'might' conditionals, and explains why counterfactuals resist strengthening the antecedent. The practice in this lesson depends on understanding Possible World, Accessibility Relation, and Counterfactual Conditional and applying tools such as Axiom K (Distribution) and Axiom T (Reflexivity) correctly.
How to approach it
Read the explanation sections first, then use the activities to test whether you can apply the idea under pressure.
What the practice is building
You will put the explanation to work through evaluation practice, quiz, formalization practice, proof construction, analysis practice, rapid identification, and diagnosis practice activities, so the goal is not just to recognize the idea but to use it under your own control.
What success should let you do
Evaluate at least 4 counterfactual conditionals using the nearness semantics, correctly diagnose one strengthening failure, and correctly distinguish one would-counterfactual from one might-counterfactual.
Reading Path
Move through the lesson in this order
The page is designed to teach before it tests. Use this sequence to keep the reading, examples, and practice in the right relationship.
Study
Watch the move in context
Use the worked examples to see how the reasoning behaves when someone else performs it carefully.
Do
Practice with a standard
Only then move into the activities, using the pause-and-check prompts as a final checkpoint before you submit.
Guided Explanation
Read this before you try the activity
These sections give the learner a usable mental model first, so the practice feels like application rather than guesswork.
Key semantic idea
Counterfactuals ask about nearby alternative worlds
A counterfactual conditional has the form 'if it had been the case that P, it would have been the case that Q'. What makes it count as true or false? Lewis and Stalnaker answered: a counterfactual is true when, in the possible worlds most similar to the actual world where P holds, Q also holds. This is the nearness idea. You do not look at every P-world; you look at the P-worlds closest to the one you actually live in.
The nearness idea matters because it explains why counterfactuals are not just material conditionals. Consider 'if I had dropped this glass, it would have broken'. The glass is not actually dropped. A material conditional with a false antecedent is vacuously true, but that is useless for evaluating claims about what would have happened. Instead, we ask: in the closest possible worlds where the glass is dropped, does it break? If yes, the counterfactual is true. If not, it is false.
What to look for
- To evaluate a would-counterfactual, look at the closest possible worlds where the antecedent is true.
- Ask whether the consequent is also true in those worlds.
- Do not treat a counterfactual as vacuously true just because its antecedent is actually false.
Counterfactuals are evaluated by looking at the P-worlds closest to the actual world, not by the truth table of the material conditional.
Two different operators
Would versus might counterfactuals
Counterfactuals come in two flavors. A would-counterfactual says that in the closest P-worlds, Q is the case. A might-counterfactual says that in at least one of the closest P-worlds, Q is the case. These are duals of each other, much like box and diamond in standard modal logic, and they can come apart even when the underlying P and Q are the same.
For example, 'if I had taken a different route to work, I would have been late' is a stronger claim than 'if I had taken a different route to work, I might have been late'. The first says every relevant closest world gives the lateness; the second says at least one of them does. Students often run the two together in ordinary speech. Modal logic asks you to keep them distinct.
What to look for
- Treat 'would' as the universal quantifier over closest P-worlds.
- Treat 'might' as the existential quantifier over closest P-worlds.
- Notice when a natural-language sentence shifts silently between the two forms.
Would-counterfactuals and might-counterfactuals are different operators with different truth conditions, and they can disagree.
Key non-monotonic feature
Why strengthening the antecedent fails
Material conditionals are monotonic: if P -> Q is true, then so is (P and R) -> Q. Counterfactuals are not. 'If I had struck the match, it would have lit' can be true while 'if I had struck the match and it had been under water, it would have lit' is false. The reason is that adding R changes which possible worlds count as closest: the world where I strike an underwater match is much further from actuality than the world where I strike a dry one.
This failure is not a technicality. It is the whole point of the nearness semantics. Counterfactuals are sensitive to which world you are comparing the antecedent against, so changing the antecedent changes which comparison worlds are relevant. You cannot freely strengthen counterfactuals the way you freely strengthen material conditionals.
What to look for
- Before strengthening a counterfactual, ask whether the added condition shifts the nearest relevant world.
- Reject any argument that treats counterfactual strengthening as an obvious move.
- Use the failure of strengthening as a diagnostic for whether a conditional is counterfactual or material.
Counterfactuals are non-monotonic: adding a condition to the antecedent can change the nearest relevant worlds and flip the truth value of the conditional.
Practical evaluation
Reading counterfactuals off a simple diagram
To evaluate a counterfactual in this unit, sketch a small possible-worlds diagram. Mark the actual world, mark the antecedent-worlds, and indicate which of them are closest to the actual world on the dimension the speaker cares about. Then check whether the consequent holds in all of those closest worlds (for a would-counterfactual) or in at least one of them (for a might-counterfactual).
The diagram does not have to be elaborate. Three to five worlds and a few arrows is usually enough for the problems in this lesson. The point of the diagram is to make the nearness relation visible so you can reason about it instead of guessing.
What to look for
- Mark the actual world clearly in your diagram.
- Identify the antecedent-worlds and label which are closer to actuality.
- Evaluate the consequent at the closest antecedent-worlds only.
A small diagram with a handful of worlds is enough to evaluate most counterfactuals in the spirit of the Lewis-Stalnaker semantics.
Core Ideas
The main concepts to keep in view
Use these as anchors while you read the example and draft your response. If the concepts blur together, the practice usually blurs too.
Possible World
A complete way things could consistently be, usually represented as a point in a model at which every proposition has a definite truth value.
Why it matters: Possible worlds give modal talk a precise semantics and make box and diamond operators something you can actually compute over.
Accessibility Relation
A relation between possible worlds that says which worlds count as 'available' from a given world when evaluating modal operators.
Why it matters: Different accessibility relations yield different modal systems and determine which modal axioms are valid in a given setting.
Counterfactual Conditional
A conditional of the form 'if it had been the case that P, it would have been the case that Q', evaluated by looking at the nearest possible worlds where P is true.
Why it matters: Counterfactuals are how we reason about alternatives that never actually happened, and they do not behave like ordinary if-then conditionals.
Reference
Open these only when you need the extra structure
How the lesson is meant to unfold
Concept Intro
The core idea is defined and separated from nearby confusions.
Rule Or Standard
This step supports the lesson by moving from explanation toward application.
Worked Example
A complete example demonstrates what correct reasoning looks like in context.
Guided Practice
You apply the idea with scaffolding still visible.
Independent Practice
You work more freely, with less support, to prove the idea is sticking.
Assessment Advice
Use these prompts to judge whether your reasoning meets the standard.
Mastery Check
The final target tells you what successful understanding should enable you to do.
Reasoning tools and formal patterns
Rules and standards
These are the criteria the unit uses to judge whether your reasoning is actually sound.
Axiom K (Distribution)
From the necessity of (P -> Q), infer that the necessity of P implies the necessity of Q; in symbols, box(P -> Q) -> (boxP -> boxQ).
Common failures
- The student treats box(P -> Q) as equivalent to boxP -> boxQ and forgets the outer necessity.
- The student distributes the box over a non-conditional formula.
Axiom T (Reflexivity)
From boxP, infer P; if a proposition is necessary, it is actually true.
Common failures
- The student infers P from mere possibility (diamondP) rather than from necessity.
- The student drops a box without noting that axiom T has been used.
Axiom 4 (Transitivity)
From boxP, infer box boxP; if a proposition is necessary, it is necessary that it is necessary.
Common failures
- The student invokes axiom 4 in a modal system that does not assume transitivity of accessibility.
- The student confuses box boxP with boxP.
Axiom 5 (Euclidean)
From diamondP, infer box diamondP; if a proposition is possible, it is necessarily possible.
Common failures
- The student uses axiom 5 without noting that it requires a symmetric or Euclidean accessibility relation.
- The student confuses 'necessarily possible' with 'necessarily true'.
Necessity Elimination
From boxP, infer P in the current world; this is the same licensed move as axiom T when T is part of the system.
Common failures
- The student eliminates a box that is inside the scope of another operator.
- The student eliminates necessity in a non-reflexive system where T does not hold.
Possibility Introduction
From P, infer diamondP; whatever is actually the case is possible.
Common failures
- The student infers diamondP from the mere consistency of P rather than from its actual truth.
- The student introduces diamond inside a scope where P has not been established.
Rigidity of Proper Names
Proper names pick out the same object in every possible world in which that object exists, so an identity between rigid designators, if true, is necessarily true.
Common failures
- The student treats a proper name as a shorthand for a description and lets the reference shift across worlds.
- The student infers that the content of a description is necessarily true merely because the name is rigid.
Failure of Counterfactual Strengthening
Unlike the material conditional, counterfactuals do not allow strengthening the antecedent: from 'if it had been P, it would have been Q' you cannot always infer 'if it had been P and R, it would have been Q'.
Common failures
- The student treats counterfactuals as material conditionals and applies strengthening freely.
- The student ignores that adding an extra condition can move the nearest relevant world.
Possible-Worlds Truth Condition
boxP is true at world w if and only if P is true at every world accessible from w; diamondP is true at w if and only if P is true at some world accessible from w.
Common failures
- The student quantifies over all worlds when only accessible worlds matter.
- The student checks only the actual world instead of the worlds the accessibility relation selects.
Patterns
Use these when you need to turn a messy passage into a cleaner logical structure before evaluating it.
Modal Translation from Natural Language
Input form
natural_language_modal_claim
Output form
modal_formula
Steps
- Identify the modal vocabulary in the sentence: words such as 'must', 'might', 'couldn't', 'in every case', 'necessarily', or 'possibly'.
- Decide whether the modal is necessity-like (translate with box) or possibility-like (translate with diamond).
- Isolate the proposition the modal is modifying and symbolize it using the underlying propositional or predicate language.
- Attach the chosen modal operator to that proposition, taking care that the operator covers exactly the intended scope.
- Read the modal formula back in English to confirm that it captures the original meaning and the intended scope.
Watch for
- Translating 'must' as an ordinary assertion and dropping the modal altogether.
- Applying the modal operator to the wrong sub-formula, giving an unintended de dicto or de re reading.
- Treating 'possibly' and 'maybe' as epistemic qualifiers when the sentence clearly intends metaphysical possibility.
Possible-Worlds Diagram
Input form
modal_formula
Output form
labeled_world_diagram
Steps
- List the atomic propositions that appear in the formula.
- Draw a small number of possible worlds, labeling each with the atomic propositions it makes true and false.
- Draw arrows to represent the accessibility relation between worlds, taking care to match the modal system you intend to model.
- Evaluate each sub-formula at each world, starting with atomic propositions and working outward through the modal operators.
- Check the original formula at the actual world and decide whether the diagram is a model or a countermodel.
Watch for
- Drawing a diagram with the wrong accessibility shape for the system under discussion.
- Forgetting that the box is evaluated only at accessible worlds, not at every world in the diagram.
- Treating the actual world as automatically accessible from every other world.
Worked Through
Examples that model the standard before you try it
Do not skim these. A worked example earns its place when you can point to the exact move it is modeling and the mistake it is trying to prevent.
Worked Example
Dropping the Crystal Glass
To evaluate a counterfactual, you do not look at every possible world where the antecedent is true. You look at the worlds closest to the actual one, changing only what you must to make the antecedent true, and you ask what happens to the consequent in those worlds.
Natural Language
- Counterfactual: 'If I had dropped this crystal glass onto the stone floor, it would have broken.'
- Actual situation: the glass is on the table, intact.
- Closest antecedent-worlds: worlds almost identical to the actual one, except that in those worlds the glass leaves my hand and falls onto the stone floor.
- In every such world, the glass breaks. Verdict: true.
Worked Example
Match Under Water
Strengthening the antecedent of a counterfactual can flip it from true to false because it changes which worlds count as closest. This is exactly the non-monotonic behavior that separates counterfactuals from material conditionals.
Natural Language
- Counterfactual 1: 'If the match had been struck, it would have lit.' Verdict: true, for a dry match on a dry surface in normal conditions.
- Counterfactual 2: 'If the match had been struck and the match had been soaked in water, it would have lit.' Verdict: false, for the same match but in the waterlogged condition.
- Lesson: adding 'the match had been soaked in water' to the antecedent moves the nearest relevant world away from the dry-strike scenario and toward a soaked-strike scenario in which lighting fails.
Pause and Check
Questions to use before you move into practice
Self-check questions
- Did I actually look at the closest antecedent-worlds, or did I check the truth table of the material conditional?
- Did I notice whether the sentence is a would-counterfactual or a might-counterfactual?
- If the counterfactual is strengthened, did I ask whether the new condition moves the nearest relevant world?
Practice
Now apply the idea yourself
Move into practice only after you can name the standard you are using and the structure you are trying to preserve or evaluate.
Evaluation Practice
DeductiveEvaluate the Counterfactual
For each counterfactual conditional, decide whether it is intuitively true or false. Describe the closest relevant worlds you considered and explain how the consequent behaves in those worlds. For at least two of the cases, indicate whether strengthening the antecedent would preserve the truth value and briefly justify your answer.
Counterfactuals to evaluate
Approach each sentence as a would-counterfactual unless otherwise marked. Sketch the nearest worlds if that helps. For the strengthening questions, consider what happens when you add an extra condition to the antecedent.
Case A
If I had dropped this crystal glass onto the stone floor, it would have broken.
Consider the closest worlds in which the glass is dropped. Is breaking the usual outcome in those worlds?
Case B
If Alice had studied for the exam, she would have passed.
The nearest studying-worlds may or may not lead to passing, depending on the exam and Alice. Be explicit about the background.
Case C
If the candidate had given a better closing speech, the election would have turned out differently.
Consider the closest possible worlds where the closing speech is better. How much does this actually change?
Case D
If the match had been struck, it would have lit. Does this counterfactual still hold when we add 'and the match had been soaked in water'?
This is the classic strengthening case. Does adding the new condition move the nearest relevant world?
Case E
If the software had been properly tested, the rollout would have succeeded. Would it still succeed if the hardware had also failed during deployment?
Strengthening the antecedent may turn a true counterfactual false. Name the worlds you are comparing and explain the shift.
Case F (might-counterfactual)
If I had taken a different route to work this morning, I might have been late.
This is a might-counterfactual, not a would-counterfactual. It only requires that at least one closest antecedent-world makes the consequent true.
Proof Draft
LineStatementJustificationAction
1
2
3
Quiz
DeductiveCounterfactual Concepts Check
Answer each short question in your own words. The aim is to check that you can state the nearness idea and explain why counterfactuals resist strengthening.
Check questions
Write short answers, one or two sentences each. Use concrete examples where helpful.
Question 1
In your own words, explain what it means for a counterfactual conditional to be evaluated at the closest antecedent-worlds.
Avoid technical jargon; aim for a friendly explanation a peer could use.
Question 2
Give one example in which strengthening the antecedent of a counterfactual changes its truth value, and explain why.
Any realistic case where the extra condition moves the comparison world works; the match example is fine.
Question 3
Explain the difference between 'if P had been the case, Q would have been the case' and 'if P had been the case, Q might have been the case'.
Connect the difference to universal and existential quantification over closest antecedent-worlds.
Question 4
Why is the material conditional a bad candidate for translating counterfactual claims about things that did not actually happen?
Think about what a material conditional with a false antecedent says by default.
Proof Draft
LineStatementJustificationAction
1
2
3
Formalization Practice
DeductiveFormalization Drill: Counterfactuals and Possible Worlds
Translate each natural-language argument into formal notation. Identify the logical form and check whether the argument is valid.
Practice scenarios
Work through each scenario carefully. Apply the concepts from this lesson.
Argument 1
If the server crashes, then the backup activates. If the backup activates, then an alert is sent. The server crashed. What follows?
Argument 2
Either the contract is valid or the parties must renegotiate. The contract is not valid. What follows?
Argument 3
All databases store records. This system does not store records. What can we conclude about this system?
Choose one of the arguments above, assign sentence letters, and translate the premises and conclusion into symbolic form.
Proof Construction
DeductiveProof Practice: Counterfactuals and Possible Worlds
Construct a step-by-step proof or derivation for each argument. Justify every step with the rule you are applying.
Practice scenarios
Work through each scenario carefully. Apply the concepts from this lesson.
Prove
From premises: (1) P -> Q, (2) Q -> R, (3) P. Derive R.
Prove
From premises: (1) A v B, (2) A -> C, (3) B -> C. Derive C.
Prove
From premises: (1) ~(P & Q), (2) P. Derive ~Q.
Proof Draft
LineStatementJustificationAction
1
2
3
Evaluation Practice
DeductiveValidity Check: Counterfactuals and Possible Worlds
Determine whether each argument is deductively valid. If invalid, describe a counterexample where the premises are true but the conclusion is false.
Practice scenarios
Work through each scenario carefully. Apply the concepts from this lesson.
Argument A
All philosophers study logic. Socrates is a philosopher. Therefore, Socrates studies logic.
Argument B
If it rains, the ground is wet. The ground is wet. Therefore, it rained.
Argument C
No birds are mammals. Some mammals fly. Therefore, some things that fly are not birds.
Argument D
Either the door is locked or the alarm is on. The door is not locked. Therefore, the alarm is on.
Proof Draft
LineStatementJustificationAction
1
2
3
Proof Construction
DeductiveDeep Practice: Counterfactuals and Possible Worlds
Work through these challenging exercises. Each one requires careful application of formal reasoning. Show your work step by step.
Challenging derivations
Prove each conclusion from the given premises. Label every inference rule you use.
Challenge 1
Premises: (1) (A & B) -> C, (2) D -> A, (3) D -> B, (4) D. Derive: C.
Challenge 2
Premises: (1) P -> (Q & R), (2) R -> S, (3) ~S. Derive: ~P.
Challenge 3
Premises: (1) A v B, (2) A -> (C & D), (3) B -> (C & E). Derive: C.
Challenge 4
Premises: (1) ~(P & Q), (2) P v Q, (3) P -> R, (4) Q -> S. Derive: R v S.
Proof Draft
LineStatementJustificationAction
1
2
3
Analysis Practice
DeductiveReal-World Transfer: Counterfactuals and Possible Worlds
Apply formal logic to real-world contexts. Translate each scenario into formal notation, determine validity, and explain the practical implications.
Logic in the wild
These scenarios come from law, science, and everyday reasoning. Formalize and evaluate each.
Legal reasoning
A contract states: 'If the product is defective AND the buyer reports within 30 days, THEN a full refund will be issued.' The product was defective. The buyer reported on day 35. The company denies the refund. Is the company's position logically valid?
Medical reasoning
A diagnostic protocol states: 'If the patient has fever AND cough, test for flu. If the flu test is negative AND symptoms persist for 7+ days, test for bacterial infection.' A patient has a cough but no fever. What does the protocol require?
Policy reasoning
A policy reads: 'Students may graduate early IF they complete all required courses AND maintain a 3.5 GPA OR receive special faculty approval.' Due to the ambiguity of OR, identify the two possible readings and explain what difference they make.
Proof Draft
LineStatementJustificationAction
1
2
3
Rapid Identification
DeductiveTimed Drill: Counterfactuals and Possible Worlds
Work through these quickly. For each mini-scenario, identify the logical form, name the rule used, and state whether the inference is valid. Aim for accuracy under time pressure.
Quick-fire logic identification
Identify the logical form and validity of each argument in under 60 seconds per item.
Item 1
If the reactor overheats, the failsafe triggers. The failsafe triggered. Therefore, the reactor overheated.
Item 2
All licensed pilots passed the medical exam. Jenkins is a licensed pilot. Therefore, Jenkins passed the medical exam.
Item 3
Either the encryption key expired or someone changed the password. The encryption key did not expire. Therefore, someone changed the password.
Item 4
If taxes increase, consumer spending decreases. Consumer spending has not decreased. Therefore, taxes have not increased.
Item 5
No insured vehicle was towed. This vehicle was towed. Therefore, this vehicle is not insured.
Item 6
If the sample is contaminated, then the results are unreliable. The sample is contaminated. Therefore, the results are unreliable.
Proof Draft
LineStatementJustificationAction
1
2
3
Evaluation Practice
DeductivePeer Review: Counterfactuals and Possible Worlds
Below are sample student responses to a logic exercise. Evaluate each response: Is the formalization correct? Is the proof valid? Identify specific errors and suggest corrections.
Evaluate student proofs
Each student attempted to prove a conclusion from given premises. Find and correct any mistakes.
Student A's work
Premises: P -> Q, Q -> R, P. Student wrote: (1) P [premise], (2) P -> Q [premise], (3) Q [MP 1,2], (4) Q -> R [premise], (5) R [MP 3,4]. Conclusion: R. Student says: 'Valid proof by two applications of Modus Ponens.'
Student B's work
Premises: A v B, A -> C. Student wrote: (1) A v B [premise], (2) A -> C [premise], (3) A [from 1], (4) C [MP 2,3]. Conclusion: C. Student says: 'Since A or B is true, A must be true, so C follows.'
Student C's work
Premises: ~P v Q, P. Student wrote: (1) ~P v Q [premise], (2) P [premise], (3) ~~P [DN 2], (4) Q [DS 1,3]. Conclusion: Q. Student says: 'I used double negation then disjunctive syllogism.'
Student D's work
Premises: (P & Q) -> R, P, Q. Student wrote: (1) P [premise], (2) Q [premise], (3) (P & Q) -> R [premise], (4) R [MP 1,3]. Conclusion: R. Student says: 'Modus Ponens with P and the conditional.'
Proof Draft
LineStatementJustificationAction
1
2
3
Proof Construction
DeductiveConstruction Challenge: Counterfactuals and Possible Worlds
Build complete proofs or arguments from scratch. You are given only a conclusion and some constraints. Construct valid premises and a rigorous derivation.
Build your own proofs
For each task, create a valid argument with explicit premises and step-by-step derivation.
Task 1
Construct a valid argument with exactly three premises that concludes: 'The network is secure.' Use at least one conditional and one disjunction in your premises.
Task 2
Build a valid syllogistic argument that concludes: 'Some scientists are not wealthy.' Your premises must be universal statements (All X are Y or No X are Y).
Task 3
Create a proof using reductio ad absurdum (indirect proof) that derives ~(P & ~P) from no premises. Show every step and justify each with a rule name.
Task 4
Construct a chain of conditional reasoning with at least four steps that connects 'The satellite detects an anomaly' to 'Emergency protocols are activated.' Make each link realistic and name the domain.
Proof Draft
LineStatementJustificationAction
1
2
3
Diagnosis Practice
DeductiveCounterexample Challenge: Counterfactuals and Possible Worlds
For each invalid argument below, construct a clear counterexample -- a scenario where all premises are true but the conclusion is false. Then explain which logical error the argument commits.
Find counterexamples to invalid arguments
Each argument appears plausible but is invalid. Prove invalidity by constructing a specific counterexample.
Argument 1
If a student studies hard, they pass the exam. Maria passed the exam. Therefore, Maria studied hard.
Argument 2
All roses are flowers. Some flowers are red. Therefore, some roses are red.
Argument 3
No fish can fly. No birds are fish. Therefore, all birds can fly.
Argument 4
If the alarm sounds, there is a fire. The alarm did not sound. Therefore, there is no fire.
Argument 5
All effective medicines have been tested. This substance has been tested. Therefore, this substance is an effective medicine.
Proof Draft
LineStatementJustificationAction
1
2
3
Analysis Practice
DeductiveIntegration Exercise: Counterfactuals and Possible Worlds
These exercises combine deductive logic with other topics and reasoning styles. Apply formal logic alongside empirical evaluation, explanation assessment, or problem-solving frameworks.
Cross-topic deductive exercises
Each scenario requires deductive reasoning combined with at least one other skill area.
Scenario 1
A quality control team uses this rule: 'If a batch fails two consecutive tests, it must be discarded.' Batch 47 failed Test A and passed Test B, then failed Test C. Formally determine whether the rule requires discarding Batch 47, and discuss whether the rule itself is well-designed from a problem-solving perspective.
Scenario 2
A researcher argues: 'All peer-reviewed studies in this meta-analysis show that X reduces Y. This study shows X reduces Y. Therefore, this study will be included in the meta-analysis.' Evaluate the deductive form, then inductively assess whether the meta-analysis conclusion would be strong.
Scenario 3
An insurance policy states: 'Coverage applies if and only if the damage was caused by a covered peril AND the policyholder reported it within 72 hours.' A policyholder reported water damage after 80 hours, claiming the damage was not discoverable sooner. Apply the formal logic of the policy, then consider whether the best explanation supports an exception.
Scenario 4
A hiring algorithm uses: 'If GPA >= 3.5 AND experience >= 2 years, then advance to interview.' Candidate X has GPA 3.8 and 18 months experience. Formally determine the outcome. Then evaluate: is the algorithm's rule inductively justified? What evidence would you want?
Proof Draft
LineStatementJustificationAction
1
2
3
Diagnosis Practice
DeductiveMisconception Clinic: Counterfactuals and Possible Worlds
Each item presents a common misconception about deductive logic. Identify the misconception, explain why it is wrong, and provide a correct version of the reasoning.
Common deductive misconceptions
Diagnose and correct each misconception. Explain the error clearly enough for a fellow student to understand.
Misconception 1
A student claims: 'An argument is valid if its conclusion is true. Since the conclusion "Water is H2O" is obviously true, any argument concluding this must be valid.'
Misconception 2
A student says: 'Modus Tollens and denying the antecedent are the same thing. Both involve negation and a conditional, so they must work the same way.'
Misconception 3
A student writes: 'This argument is invalid because the conclusion is false: All cats are reptiles. All reptiles lay eggs. Therefore, all cats lay eggs.'
Misconception 4
A student argues: 'A sound argument can have a false conclusion, because soundness just means the argument uses correct logical rules.'
Misconception 5
A student claims: 'Since P -> Q is equivalent to ~P v Q, we can derive Q from P -> Q alone, without knowing whether P is true.'
Proof Draft
LineStatementJustificationAction
1
2
3
Proof Construction
DeductiveScaffolded Proof: Counterfactuals and Possible Worlds
Build proofs in stages. Each task gives you a partially completed derivation. Fill in the missing steps, justify each one, and then extend the proof to a further conclusion.
Step-by-step proof building
Complete each partial proof, then extend it. Every step must cite a rule.
Scaffold 1
Premises: (1) (A v B) -> C, (2) D -> A, (3) D. Partial proof: (4) A [MP 2,3]. Your tasks: (a) Complete the proof to derive C. (b) If we add premise (5) C -> E, extend the proof to derive E.
Scaffold 2
Premises: (1) P -> (Q -> R), (2) P, (3) Q. Partial proof: (4) Q -> R [MP 1,2]. Your tasks: (a) Complete the proof to derive R. (b) If we add premise (5) R -> ~S, extend to derive ~S. (c) If we also add (6) S v T, what can you derive?
Scaffold 3
Premises: (1) ~(A & B), (2) A. Your task: Prove ~B step by step. Hint: You may need to use an assumption for indirect proof. Show the subproof structure clearly.
Scaffold 4
Premises: (1) P v Q, (2) P -> R, (3) Q -> S, (4) ~R. Your tasks: (a) Derive ~P from (2) and (4). (b) Using (a), derive Q from (1). (c) Using (b), derive S. (d) Name each rule used.
Proof Draft
LineStatementJustificationAction
1
2
3
Analysis Practice
DeductiveSynthesis Review: Counterfactuals and Possible Worlds
These exercises require you to combine everything you have learned about deductive reasoning. Each scenario tests multiple skills simultaneously: formalization, rule application, validity checking, and proof construction.
Comprehensive deductive review
Each task combines multiple deductive skills. Show all your work.
Comprehensive 1
A software license agreement states: 'The software may be used commercially if and only if the licensee has purchased an enterprise plan and has fewer than 500 employees, or has received written exemption from the vendor.' Formalize this using propositional logic, determine what follows if a company has an enterprise plan and 600 employees with no exemption, and identify any ambiguity in the original text.
Comprehensive 2
Construct a valid argument with four premises and one conclusion about data privacy. Then create an invalid argument about the same topic that looks similar but commits a formal fallacy. Finally, prove the first is valid and show a counterexample for the second.
Proof Draft
LineStatementJustificationAction
1
2
3
Truth-Table Builder
Enter a propositional formula using variables (P, Q, R...) and connectives. Separate multiple formulas with commas to compare them.
~ or ¬& or ∧| or ∨-> or →<-> or ↔
| P | Q | P → Q |
|---|---|---|
| F | F | T |
| F | T | T |
| T | F | F |
| T | T | T |
Contingent2 variables · 4 rows · 3 true
Proof Constructor
Build a formal proof step by step. Add premises, apply inference rules, cite earlier lines, and derive your conclusion.
Add premises and derived steps above, or load a template to get started.
\u2588 Premise\u2588 Derived step
Symbols:\u00AC not\u2227 and\u2228 or\u2192 if-then\u2194 iff\u2234 therefore
Animated Explainers
Step-by-step visual walkthroughs of key concepts. Click to start.
Read the explanation carefully before jumping to activities!
Further Support
Open these only if you need extra help or context
Mistakes to avoid before submitting
- Do not assume that strengthening the antecedent preserves the truth value of a counterfactual.
- Do not collapse 'would have' and 'might have' into the same operator.
Where students usually go wrong
Treating a counterfactual as vacuously true when its antecedent is actually false.
Applying strengthening of the antecedent to counterfactuals as if they were material conditionals.
Confusing would-counterfactuals with might-counterfactuals and reading a weaker claim as a stronger one.
Evaluating a counterfactual by looking at all possible worlds instead of the closest antecedent-worlds.
Historical context for this way of reasoning
David Lewis
Lewis's book Counterfactuals (1973) set the agenda for modern counterfactual semantics. Among other things, Lewis argued that counterfactuals require a primitive similarity ordering on worlds and cannot be reduced to other modal notions.