The first argument is based on the logical structure of what Jesus says. This will be clearer if we restate it more formally, using a few conventions of propositional logic. In the example that ...

Propositional logic is also called propositional calculus, sentential logic, statement logic and sentence logic. It is a formalism that is useful for analyzing certain arguments (deductions) that ...

Exercise 2.6 As we mentioned before, there is only an approximate match between symbolic logic and arguments in the wild. Nonetheless, to develop your intuitions, it helps sometimes to look at an ...