Etchemendy, John The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Csli Lecture Notes)

'The Language of First-Order Logic' von John Etchemendy ist ein umfassendes Lehrbuch, das sich mit den Grundlagen der Prädikatenlogik beschäftigt. Das Buch bietet eine Einführung in die formale Logik und deren Anwendungsmöglichkeiten. Es erklärt die Syntax und Semantik der ersten Ordnung, einschließlich Quantoren, Prädikate und logische Schlussfolgerungen. Ein besonderes Merkmal dieses Buches ist die Integration des Macintosh-Programms 'Tarski's World 4.0', das als interaktives Lernwerkzeug dient. Mit diesem Programm können Studierende visuell nachvollziehen, wie logische Sätze in verschiedenen Welten wahr oder falsch sein können. Dies erleichtert das Verständnis komplexer logischer Konzepte durch anschauliche Beispiele. Das Werk richtet sich an Studierende der Philosophie, Mathematik und Informatik sowie an alle, die ein tieferes Verständnis für formale Logiken entwickeln möchten. Durch zahlreiche Übungen und praktische Anwendungen fördert es sowohl theoretisches Wissen als auch praktische Fähigkeiten im Umgang mit logischen Systemen.