Intermediate Logic Unit 4 teaches how to apply the tools we have learned in logic to real-life arguments. One such argument is contained in 1 Cor. 15:12-20, in which Paul argues that Christ has been raised from the dead, and as such He is the firstfruits of the general resurrection to come.
There are many points to Paul’s argument, but the main one is from verses 13, 16, and 20:
“If there is no resurrection of the dead, then Christ is not risen…But now Christ is risen from the dead, and has become the firstfruits of those who have fallen asleep.”
This argument can be symbolized as follows (C = Christ is risen, R = There is a resurrection of the dead):
~R ⊃ ~C C ∴ R
You can use the tools of truth table, truth tree, or formal proof to demonstrate that Paul’s argument is valid.
There are several other arguments in 1 Cor. 15:12-20, but the others leave premises assumed, so they take additional effort to analyze. But it is a beneficial exercise to work through them. Look at Exercise 28b.
Have a blessed Good Friday!
I am a big fan because I had to take your courses in challenge B in CC last year. Your curriculum is awesome and helped me discover my talent and love for logic. It was really well written and fun too. Thanks for writing this. I would love more info on logic on the resurrection and in the bible. I am a Christian but I sometimes doubt my faith and religion and I get lost. I would love info and tips and stuff to help me cope with my doubts and logical ways to think on this.
Thank you for your note, Andrew. I would be delighted to hear any questions you have about the Christian faith.