Even as artificial intelligence (AI) has surged into our daily lives, we’ve remained aware that it’s still in its infancy.

An introduction to symbolic logic. Symbolic logic provides a framework of formal reasoning with applications in mathematics, cognitive science, computer science and philosophy. Topics include ...

J. Burgess. "Putnam on Foundations: Models, Modals, Muddles", in G. Hellman (ed.) Hilary Putnam on Logic and Mathematics, 129-143 (2019) J. Burgess. "Logic in the Second Half of the Twentieth Century" ...