idw - Informationsdienst
Wissenschaft
07/01/2004 - 07/04/2004 | Dresden
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.
Information on participating / attending:
Informationen für Journalisten: Prof. Heinrich Wansing, Tel. 0351 463-35489, E-Mail: Heinrich.Wansing@mailbox.tu-dresden.de
Date:
07/01/2004 09:15 - 07/04/2004
Event venue:
TU Dresden
Bürogebäude Zellescher Weg
Raum A 418
01062 Dresden
Sachsen
Germany
Target group:
Journalists, Scientists and scholars
Email address:
Relevance:
transregional, national
Subject areas:
Information technology, Mathematics, Philosophy / ethics, Physics / astronomy, Religion
Types of events:
Entry:
06/23/2004
Sender/author:
Birgit Berg
Department:
Pressestelle
Event is free:
unknown
Language of the text:
German
URL of this event: http://idw-online.de/en/event11564
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).