Code The logic of unanalyzed sentences Adding sentential connectives Propositional Tableaux The logic of subjects and predicates A unified semantics for the logical operators The proper treatment of subjects