Hallo Logik | Lars Bo Gundersen | Sprache: Dänish

Hello Logic bietet eine pädagogische Einführung in die klassische Logik. Anhand von Beispielen und Übungen führt der Autor den Leser durch zentrale Themen der Urteils- und Prädikatenlogik: wie Gültigkeit mit logischer Form zusammenhängt, wie man logische Strukturen durch Formalisierung der Elemente eines Arguments aufdeckt und wie man logische Form mit Hilfe von Wahrheitstabellen und semantischen Bäumen analysiert. Das
Buch kann als Lehrbuch für Logikkurse in der Schule und an der Universität verwendet werden. Gleichzeitig macht eine philosophische Perspektive auf die grundlegenden Themen das Buch auch für logisch Interessierte interessant. Der Titel bezieht sich auf 'Hello Logic Machine', die neue Art des Buches, das zentrale Konzept der Funktion in der Logik zu verstehen. Viele Menschen finden das Konzept der Funktion abstrakt und unzugänglich, aber Hello Logic macht es verständlich und intuitiv.