Classical logic is widely taught and widely used. It also has many critics. They say a range of things: some claims can fail to be true or false; contradictions need not entail everything; entailment requires a stronger connection between premise; and the truth of vague statements comes in degrees. Alternatives and rivals to classical logic have been developed and defended. In this course, we will study some of these non-classical logics. We will learn the philosophical motivations for them and some of their technical details, studying both models and proofs. Students will gain a broad understanding of logic and think critically about its applications and limitations. This course will be in English.