Wir hren in dieser "Arbeitsgemeinschaft fr Forschung" oft Vortrge ber ganz spezielle Themen, die nur von den Fachleuten vllig verstanden werden knnen, whrend die anderen Zuhrer kein eigenes Urteil ber die Materie haben. Bei der Logik ist dies anders, denn eigentlich m te jeder Fachmann sein: Jeder, der berhaupt mit irgendeiner Theorie arbeitet, bedient sich dabei der Logik. Jeder Wissenschaftler sollte daher etwas von der Logik verstehen. Um Mi verstndnissen vorzubeugen, soll genauer gesagt werden, was hier mit "Logik" und" Theorie" gemeint sein soll. Das. Wort "Logik" wird heute oft in einem sehr weiten Sinn verwendet. Hier soll ausschlie lich von formaler Logik die Rede sein. Wenn im folgenden von "Theorien" gespro- chen wird, so sind darunter fertige Theorien zu verstehen. Diese haben eine gewisse Struktur, sie sind in einer besonderen Weise aufgebaut. Fr diesen Aufbau wollen wir uns interessieren. Ein interessantes, aber viel schwierigeres Problem ist es, zu ermitteln, wie man zu neuen Theorien kommt. Auch bei diesem Proze spielt die Logik eine wesentliche Rolle. Dies ist aber nicht Gegenstand dieses Vortrags. Schlie lich soll betont werden, da hier nicht die Grundlagen der Logik schlechthin diskutiert werden sollen. Es sollen nur die Aspekte heraus- gehoben werden, welche es mit der dienenden Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien zu tun haben.