Elementary Symbolic Logic (PHIL*2110)

Term: Winter 2015

Details

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.

Syllabus

Attachment	Size
PHIL2110 McCullagh_0.pdf	170.65 KB