Historical Case for the Resurrection

Theos Examples

The argument is valid.

Every inference was checked by machine. The objection is answered.

Open in the playground

flowchart TD
    classDef axiom fill:#f6efd9,stroke:#a8842a,color:#23212b;
    classDef premise fill:#e7edf7,stroke:#1f4e9c,color:#23212b;
    classDef deduction fill:#f3f4f1,stroke:#5b6b85,color:#23212b;
    classDef conclusion fill:#d6e1f3,stroke:#1f4e9c,stroke-width:3px,color:#23212b;
    classDef objection fill:#f7e3e1,stroke:#b3261e,color:#23212b;
    classDef reply fill:#f3f4f1,stroke:#7a5c2e,color:#23212b;
    classDef imported stroke-dasharray:4 3;
    classDef defeated fill:#f3f4f1,stroke:#b3261e,stroke-dasharray:6 3,color:#8a8796;
    classDef undecided stroke-dasharray:2 2;
    classDef overruled fill:#f3f4f1,stroke:#c9ccc6,color:#8a8796;
    Cor15(["Cor15: 1 Corinthians 15:3-8"]):::axiom
    Mk16(["Mk16: Mark 16:1-8"]):::axiom
    Lk24(["Lk24: Luke 24:36-43"]):::axiom
    IBE(["IBE: The hypothesis that best explains the<br/>established facts is probably true."]):::axiom
    P1["<b>P1</b>: Jesus died by crucifixion and was<br/>buried.<br/><i>Died</i>"]:::premise
    P2["<b>P2</b>: The tomb was found empty shortly after.<br/><i>EmptyTomb</i>"]:::premise
    P3["<b>P3</b>: Individuals and groups experienced<br/>appearances of Jesus alive.<br/><i>Appearances</i>"]:::premise
    P4["<b>P4</b>: If Jesus died, the tomb was empty and he<br/>appeared alive, the best explanation is<br/>that God raised him.<br/><i>Died ∧ EmptyTomb ∧ Appearances → Raised</i>"]:::premise
    C1["<b>C1</b>: God raised Jesus from the dead.<br/><i>Raised</i>"]:::conclusion
    O1{{"<b>O1</b>: Grief hallucinations explain the<br/>appearances without a resurrection."}}:::objection
    R1{{"<b>R1</b>: Hallucinations are private; they do not<br/>explain group appearances or the empty<br/>tomb."}}:::reply
    class O1 overruled
    Cor15 -.-> P1
    Mk16 -.-> P2
    Cor15 -.-> P3
    Lk24 -.-> P3
    IBE -.-> P4
    P1 --> C1
    P2 --> C1
    P3 --> C1
    P4 --> C1
    O1 -. objects .-> P4
    R1 -. replies .-> O1

Sources

Cor15

1 Corinthians 15:3-8 (protestant canon)

Mk16

Mark 16:1-8 (protestant canon)

Lk24

Luke 24:36-43 (protestant canon)

IBE

The hypothesis that best explains the established facts is probably true.

The argument

Objections and replies