Chapter Five, Tutorial Three
We can see conditional proof, or >I, as simply a deried rule. But it may be better to revisit the intuitions behind subderivartions anew. So, in order to think about this tutorial's subject matter, recall the informal proofs of chapter one...
If an argument is sound, then what can we deduce about its premises and conclusion? A few things may come to mind. Here's about the simplest thinking:
We know from the definition of soundness that if (1) an argument
is sound, then (2) it's valid.
All this is correct and I hope it seems somewhat natural to you. But how might we justify it to someone? Here's a common way we do it in English, a way relying on "what-if?" thinking.
Suppose an argument is sound. Then by the first definition cited above, that argument is valid. But by the definition of validity, that argument does not have true premises and false conclusion. So, we have just shown that if an argument is sound, then it does not have true premises and a false conclusion.
What-if thinking? Yes, the above passage starts by making an assumption: "suppose an argument is sound". This is a way of asking "what if?". We see what results if an argument, any arbitrary argument, is sound. (This should be familiar from exercises in chapter one. You may want to review this material.)
Anyway, the standard means to prove a conditional is to make the additional "what if" assumption. Now lets try to formalize this thinking within SD. Use the following interpretation...
S: The (arbitrary) argument is sound.
... to mimic the English thinking above:
We move sentences 3-5 (in blue) over to the right in order to emphasize that they are the "what if" thinking.
It is especially important to keep our extra "assumption" apart from the premises. After all, we know the premises here are true. They come immediately from the definitions of "valid" and of "sound". But our additional assumption, 'S', meaning that the argument is sound, is just a hypothesis. It's about an arbitrary argument that might or might not really be valid. We just try to find out what happens if it is valid.
Again, then, we need to separate our premises -- which are taken to be true -- from our assumptions and their consequences -- which are just hypothetical. In SD we do this by pushing the assumptions and their consequences off to the right.
And notice that at line 6, the big step, we move our final conclusion back to the left underneath the premises. This is because line 6 is justified by the little argument in 3 through 5. See if this makes sense.*