Kommentar |
In diesem Seminar werden wir uns mit drei Alternativen zur klassischen Logik beschäftigen:
- intuitionistische Logik,
- freie Logiken,
- parakonsistente Logiken.
In allen Fällen werden wir die folgenden Schritte vollziehen:
- Herausarbeiten von Motiven und Intuitionen
- Einarbeiten in einschlägige Kalküle
- Diskussion von Semantiken
Logikvorkenntnisse sind hilfreich und erwünscht. |