*introductory*logic, students are asked to answer problems like,

- Show that the formula $P \rightarrow (P \rightarrow Q)$ is equivalent to $P \rightarrow Q$.

In

*intermediate*logic, students are asked to answer problems like

- Suppose $S_0$ is $P \rightarrow Q$ and $S_{n+1}$ is $P \rightarrow S_n$. Show that, for all $n$, $S_n$ is equivalent to $P \rightarrow Q$

*philosophy*students step up from introductory logic to intermediate logic, they often find it challenging to come up with informal mathematical proofs of such claims. For philosophy students who do not intend to focus on theoretical philosophy, this needn't matter (though I believe that, increasingly, it will). But for advanced philosophy students who want to focus on topics in logic and parts of metaphysics, philosophy of language, mathematics and science, at some point it becomes necessary to be able to understand, and write out, informal proofs of a mathematical nature.

Here is a link to a short guide on writing proofs, for mathematics students, by Eugenia Cheng, a category theorist at The University of Sheffield.

When I wanted to learn about mathematical proofs as a PhD student, I found the book An Introduction to Mathematical Reasoning, by Peter J. Eccles, very helpful. It also taught me some maths.

ReplyDeleteThanks, Campbell. I think I'll continue with this theme from time to time.

ReplyDelete