First-Order Logic Revisited

Die vorliegenden Beiträge sind für die Tagung "75 JahrePrädikatenlogik erster Stufe" im Herbst 2003 in Berlingeschrieben worden. Mit der Tagung wurde der 75. Jahrestag des Erscheinens vonHilberts und Ackermanns wegweisendem Werk "Grundzüge dertheoretischen Logik" begangen.Im Ergebnis entstand ein Band,der eine Reflexion über die klassische Logik, eine Diskussionihrer Grundlagen und Geschichte, ihrer vielfältigenAnwendungen, Erweiterungen und Alternativen enthält.Der Band enthalt Beiträge von Andr éka, Avron, Ben-Yami,Brünnler, Englebretsen, Ewald, Guglielmi, Hajek, Hintikka,Hodges, Kracht, Lanzet, Madarasz, Nemeti, Odintsov, Robinson,Rossberg, Thielscher, Toke, Wansing, Willard, WolenskiThe volume is the proceedings from the conference FOL75 - 75 Yearsof First-Order Logic held at Humboldt University, Berlin, Germany,September 18 - 21, 2003 on the occasion of the anniversary of thepublication of Hilbert's and Ackermann's ''Grundzüge dertheoretischen Logik''. The papers provide analyses of the historicalconditions of shaping of FOL, they discuss several modern rivals to FOLand show the importance of FOL for interdisciplinary research. Althoughthe celebrated book marks a most important step in the development oflogic, the volume in hand proves the actuality of the question ''Whichlogic is the right logic.''Hendricks, Vincent F. is the author of 'First-Order Logic Revisited', published 2004 under ISBN 9783832504755 and ISBN 3832504753.