Institut für Logik und Wissenschaftstheorie