Logical structure of sentences and arguments; elementary symbolic methods; applications. May not be counted by students with prior credit for Philosophy 313, 313K, 313Q, or 344K.