Negation in der konstruktiven Logik
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.
Hinweise zur Teilnahme:
Informationen für Journalisten: Prof. Heinrich Wansing, Tel. 0351 463-35489, E-Mail: Heinrich.Wansing@mailbox.tu-dresden.de
Termin:
01.07.2004 ab 09:15 - 04.07.2004
Veranstaltungsort:
TU Dresden
Bürogebäude Zellescher Weg
Raum A 418
01062 Dresden
Sachsen
Deutschland
Zielgruppe:
Journalisten, Wissenschaftler
E-Mail-Adresse:
Relevanz:
überregional
Sachgebiete:
Informationstechnik, Mathematik, Philosophie / Ethik, Physik / Astronomie, Religion
Arten:
Eintrag:
23.06.2004
Absender:
Birgit Berg
Abteilung:
Pressestelle
Veranstaltung ist kostenlos:
unbekannt
Textsprache:
Deutsch
URL dieser Veranstaltung: http://idw-online.de/de/event11564
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).