We will look at how mathematical logic has been used as an instrument in philosophical argument; and we will consider ways that we might refine the instrument, and use it to best effect. The backbone ...