Kommentar |
In diesem Seminar haben sie die Gelegenheit ihre Logikkenntnisse zu vertiefen. Aus der Vorlesung Einführung in die Logik sind sie mit der klassischen Aussagen- und Prädikatenlogik erster Stufe vertraut. In diesem Seminar werden wir an Orginaltexten andere semantische Zugänge zur Logik, wie beispielsweise dem Intuitionismus, kennenlernen. Dabei werden wir neben dem Intuitionismus auch die Minimallogik, die strikte Implikation, die strenge Implikation und die Relevanzlogik thematisieren. Abschließend steht eine Auseinandersetzung mit der Modallogik. |