The first half of this course examines various axiomatic systems, and the student develops both intrasystematic and metasystematic techniques of proof. During the second half of the course, attention ...

SUMMARY: At the beginning of the 20th century, philosophical thought was transformed by the discovery of the "new logic", i.e. mathematical or symbolic logic. With this novum organum, philosophers ...

This is a new introduction to logic for university undergraduates in their first and second years. The originality of the approach will also make it of considerable interest to postgraduates and ...

Burgess. "Logic in the Second Half of the Twentieth Century", in K.M.Becker (ed.) Cambridge History of Philosophy, 1945-2015, 137-146 (2019) D. Tsementzis, A syntactic characterization of Morita ...