Hajnal Andréka, Johan van Benthem, István Németi, On A New Semantics for First-Order Predicate Logic, Journal of Philosophical Logic, Vol. 46, No. 3 (June 2017), pp. 259-267 ...

The backbone of this seminar will be first-order predicate logic. We presuppose that participants in the seminar have a basic knowledge of symbolic logic.

Bob Hale, Second-order logic: properties, semantics, and existential commitments, Synthese, Vol. 196, No. 7, Special Issue on Between First- and Second-Order Logie ...

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 ...