Einführung in die nicht-klassische Logik

Dieses Buch ist eine Einführung in die nicht-klassische Aussagenlogik. Zum ersten Mal wird hier in einem Lehrbuch eine Reihe von Themen der Logik angesprochen, viele davon recht jung, einschließlich der Modallogik, der konditionalen, der intuitionistischen, der mehrwertigen, der parakonsistenten und der relevanten Logik und der Fuzzy Logic. Das Material wird durch das zugrunde liegende Thema der Semantik möglicher Welten geeint. All diese Themen werden mit Hilfe von solchen Instrumenten wie Tableau-Beweisen klar und verständlich erklärt und in ihrer Beziehung zu gegenwärtigen philosophischen Fragen und Debatten erörtert. Studierende mit Grundkenntnissen der klassischen Logik werden in diesem Buch eine wertvolle Einführung in einen Bereich finden, der sowohl für die Logik als auch für die Philosophie in zunehmender Weise von zentraler Bedeutung ist, bisher jedoch nur anhand von Forschungsliteratur studiert werden konnte. Es ist von Interesse für Studenten der Logik, für Studenten, die sich mit nicht-klassischer Logik aufgrund ihrer philosophischen Bedeutung beschäftigen, und allgemein für Leser aus dem Bereich der Mathematik und Computerwissenschaft, die mehr über diesen Bereich wissen wollen.