PHILOSOPHY 2303: INTRODUCTION TO LOGIC.
In his Honors Project, Joseph Sterling McKay examines the concept of verifying the validity of mathematical axioms using Logic. That is, as urged by Gottfried Leibniz, can the validity of most mathematical axioms be proven using Logic? Citing Bertrand Russell, Sterling expertly defines Number using the logical notions of Implication, Propositional Functions, Classes, and Relations and proceeds to logically verify that 1+1 is equal to 2.
–William Brown