Negation in der konstruktiven Logik
Vom 1. bis 4. Juli 2004 richtet das Institut für Philosophie an der TU Dresden den internationalen Workshop "Negation in Constructive Logic" im Bürogebäude Zellescher Weg, Raum A 418, aus. Fachleute aus Philosophie, Mathematik und Informatik werden sich in der Veranstaltung dem Verständnis der Verneinung in der konstruktiven Logik zuwenden und präsentieren ihre jüngsten Forschungsergebnisse. Die Deutsche Forschungsgemeinschaft und die Gesellschaft von Freunden und Förderern der TU Dresden e.V. unterstützen die von Professor Heinrich Wansing vom Institut für Philosophie und den Gastwissenschaftlern Sergei Odintsov und Yaroslav Shramko geleitete Tagung.
Im Anschluss an die Tagung werden die Workshop-Organisatoren gemeinsam ein Sonderheft der internationalen Fachzeitschrift "Studia Logica" veröffentlichen.
Einen Höhepunkt des Workshops bildet der Vortrag "Negation as an Explicit or Implicit Duality" von Professor Jon Michael Dunn von der Indiana University USA, der zu den weltweit renommiertesten Logikern zählt.
Die Logik ist eine bereits in der Antike innerhalb der Philosophie entwickelte Theorie und untersucht, unter welchen Bedingungen Schlussfolgerungen gültig sind. Die konstruktive Logik als Forschungsrichtung ist in den 1930er Jahren entstanden. Im Gegensatz zur klassischen Logik gestattet sie nur Schlussfolgerungen, in denen eine Konklusion auf konstruktive Weise aus Annahmen folgt.
"Wir sprechen halbwegs dieselbe Sprache", erklärt Professor Wansing die Zusammenkunft von Philosophen, Mathematikern und Informatikern.
Die konstruktive Logik leistet fächerübergreifende Erkenntnisse. Sie hilft unter anderem dabei, komplexe Programmiersprachen zu entwickeln. In der Philosophie unterstützt sie die Wissenschaftler auf der Suche nach der Gültigkeit bestimmter Argumente.
Informationen für Journalisten: Prof. Heinrich Wansing, Tel. 0351 463-35489, E-Mail: Heinrich.Wansing@mailbox.tu-dresden.de
http://www.tu-dresden.de/phfiph/dozenten/NegCon/NegMain.htm
Merkmale dieser Pressemitteilung:
Informationstechnik, Mathematik, Philosophie / Ethik, Physik / Astronomie, Religion
überregional
Buntes aus der Wissenschaft, Wissenschaftliche Tagungen
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).