Die Forschungsstelle "Mathematische Logik" der Heidelberger Akademie der Wissenschaften erarbeitet Standarddokumentation - Vortrag von Dr. Wolfgang Lenski über logisches Denken von Aristoteles bis in die Gegenwart
Wenn eine Schlussfolgerung logisch ist, dann ist sie eindeutig. Ein logischer Sachverhalt wird von allen als sachlich richtig und vernünftig erkannt. Er ist einleuchtend, offenkundig, unumstößlich. Soweit die Theorie. Im Alltag trägt diese leider nicht besonders weit. Was logisch sei, aus welchen Grundannahmen welche Schlüsse gezogen werden dürfen - darüber streiten sich die Geister lebhaft. Doch wie verhält es sich im Reich der Mathematik und der Philosophie? Herrscht dort jene ungetrübte kristalline Eineindeutigkeit, wie wir es uns gemeinhin vorstellen? "Ganz so einfach ist es leider nicht", weiß Dr. Wolfgang Lenski von der Forschungsstelle "Mathematische Logik" der Heidelberger Akademie der Wissenschaften. "Nahezu jede Epoche hat ein eigenes Verständnis entwickelt, was Logik dem Wesen nach sei. Von der Antike bis heute gab es dabei gravierende Veränderungen!"
Die Wurzeln des logischen Denkens als einem festen Regelsystem des Schließens reichen bis weit zu den Anfängen der griechischen Philosophie zurück. Als der eigentliche "Vater der Logik" gilt dabei Aristoteles. Seine Auffassung prägte die Vorstellungen über Logik während des Altertums nachhaltig. Vor allem während der Neuzeit gab es jedoch gravierende Veränderung. Das Erstarken der Naturwissenschaften und der Philosophie führte zu einem enormen Wissenszuwachs. Von ihrem philosophischen Ursprung löste sich die Logik dann endgültig im 19. Jahrhundert. Sie wurde nun rein formal über die Begriffe "Beweis" und "Wahrheit" begründet. Gottlob Frege (1848 - 1925) lieferte mit seiner Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens 1879 einen radikal neuartigen Entwurf einer Logik, die erstmals dem bereits von Aristoteles vorgegebenen Ideal einer 'formalen' durchgängig gerecht wird. Die Folge dieses Ansatzes ist eine Herauslösung der Logik aus der Philosophie und ihre nachfolgende Etablierung als eigenständige mathematische Disziplin.
Dr. Wolfgang Lenski geht dieser spannenden Entwicklung am 22. Juni um 18.15 Uhr in seinem Vortrag "Wahrheit und Information. Dokumentation und Erschließung mathematischer Logik" in der Heidelberger Akademie der Wissenschaften nach. Die Forschungsstelle "Mathematische Logik" verfolgt das Ziel, den aktuellen Wissenstand aus dem Bereich der mathematischen Logik und angrenzender Gebiete in seiner vollen Breite und Tiefe zu dokumentieren und zu systematisieren. Ziel ist es, der Öffentlichkeit die Flut an neueren Publikationen mit modernen elektronischen Mitteln gut überschaubar zu präsentieren. Der Vortrag stellt solche Strukturen für die Dokumentation der mathematischen Logik vor.
Ort: Heidelberger Akademie der Wissenschaften, Karlstraße 4, 69117 Heidelberg
Datum: 22. Juni
Uhrzeit: 18.15 Uhr
Der Eintritt ist kostenlos.
Rückfragen bitte an:
Dr. Johannes Schnurr
Referent für Presse- und Öffentlichkeitsarbeit
der Heidelberger Akademie der Wissenschaften
Telefon: 06221 / 54 34 00
Fax: 06221 / 54 33 55
E-Mail: johannes.schnurr@urz.uni-heidelberg.de
Internet: www.haw.baden-wuerttemberg.de
sowie
Dr. Wolfgang Lenski
Forschungsstelle Mathematische Logik
der Heidelberger Akademie der Wissenschaften
Tel.: 0631/2 05 33 55
Fax: 0631/2 05 32 99
E-Mail: lenski@informatik.uni-kl.de
Gottlob Frege gelang 1879 der radikal neuartige Entwurf einer Logik
None
Criteria of this press release:
History / archaeology, Mathematics, Philosophy / ethics, Physics / astronomy, Religion
transregional, national
Miscellaneous scientific news/publications, Research projects
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).