Das Buch "What is Negation?" bietet eine umfassende Untersuchung des zentralen logischen Begriffs der Negation, der seit der Antike intensiv erforscht wird. Es beleuchtet die Rolle der Negation in verschiedenen Disziplinen wie philosophischer Logik, Linguistik, künstlicher Intelligenz und Logikprogrammierung. Die Autoren, führende Wissenschaftler auf ihrem Gebiet, präsentieren in diesem Sammelband unterschiedliche Ansätze zur Charakterisierung und Klassifizierung von Negation. Die Struktur des Buches gliedert sich in vier thematische Teile, die sich mit Modellen, Relevanz und Unmöglichkeit befassen. Die Beiträge bieten sowohl semantische als auch beweis-theoretische Perspektiven auf Negation und diskutieren deren Bedeutung für die Auswahl logischer Systeme in spezifischen Anwendungen. Diese Sammlung ist besonders relevant in einem Kontext, in dem Negation als ein aktuelles und bedeutendes Thema gilt.