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.