Elementary Symbolic Logic (PHIL*2110) | College of Arts

Elementary Symbolic Logic (PHIL*2110)

Term: Winter 2015


We will learn two artificial languages, one in which the simplest units are propositions (and we connect them with words like "and", "or"), the other in which the simplest units are predicates and terms (and we join them to form sentences like "Paris is beautiful"). We will use a few computer programs to play with artificial worlds that we can use such sentences to describe.



PDF icon PHIL2110 McCullagh_0.pdf170.65 KB