Willkommen auf den Seiten der Logik-AG!

Zielgruppe:
Die Logikarbeitsgemeinschaft richtet sich an Schülerinnen und Schüler, die Interesse an Argumentation und Schlussfolgerung haben. Da das Erlernen und Anwenden der prädikatenlogischen Sprache in relativ kurzer Zeit schwierig ist, empfehlen wir vorwiegend Schülerinnen und Schülern der Sek. II den Besuch der AG. Mathematische Begeisterung ist ohne Frage hilfreich, allerdings keineswegs notwendig und Kenntnisse des Schulunterrichts finden ohnehin nahezu keine Anwendung.

Inhalt:
- Wir beschäftigen uns zunächst informell mit Aussagen, Operatoren und Modellen anhand exemplarischer Sätze in natürlicher Sprache,
- erlernen einige Grundlagen der Mengenlehre, wie Funktionen und Relatioen,
- führen dann die Semantik der Sprache der Prädikatenlogik ein, einer abstrakten Sprache, die die Darstellung von logischen Schlüssen unabhängig vom Inhalt der Aussage ermöglicht und nicht anfällig für natursprachliche Paradoxien ist.
- Wir machen uns mit semantischem und syntaktischem Schließen anhand eines Kalküls vertraut und wenden dieses an, indem wir komplexere Argumente auf ihre Schlußrichtigkeit prüfen.
- Zwischenzeitlich widmen wir uns Exkursen in logikverwandte Gebiete und lösen kleinere Aufgaben.