Das Seminar gibt eine Einführung in nicht-klassische Logiken wie Modallogik, mehrwertige Logik sowie parakonsistente Logiken. Die grundlegenden Kenntnisse der klassischen Aussagenlogik werden zu Beginn der Veranstaltung erarbeitet, somit eignet sich diese Veranstaltung auch für ErstsemesterInnen, die die Logik-Vorlesung noch nicht gehört haben.