230288 Einführung in die Modallogik (S) (WiSe 2024/2025)

Inhalt, Kommentar

Im Seminar werden wir die Grundlagen der modalen Aussagenlogik kennenlernen und einüben. Zuerst werden wir uns anschauen, was genau die Modaloperatoren (Box und Diamant) semantisch von den aussagenlogischen Operatoren unterscheidet, und welche Rolle mögliche Welten dabei spielen. Anschließend werden wir uns einen Überblick über einige modallogische Systeme verschaffen und ein allgemeines Verfahren kennenlernen, mit dem wir überprüfen können, ob ein gegebener Schluss in einem gegebenen System gültig oder eine gegebene Formel in einem gegebenen System tautologisch ist. Abschließend werden wir das Verständnis der modallogischen Grundideen vertiefen, indem wir uns eine Erweiterung dieser Ideen vornehmen, die für ein spezielles Anwendungsgebiet konzipiert wurde.

Lehrende

Termine ( Kalendersicht )

Rhythmus Tag Uhrzeit Format / Ort Zeitraum  

Verstecke vergangene Termine <<

Fachzuordnungen

Modul Veranstaltung Leistungen  
23-CL-BaCL5 Vertiefungsmodul Lehrveranstaltung 1 Studienleistung
Studieninformation
Lehrveranstaltung 2 Studienleistung
Studieninformation
- benotete Prüfungsleistung Studieninformation
23-TXT-BaCL5 Vertiefungsmodul Veranstaltung aus dem Vertiefungsbereich Studienleistung
Studieninformation
26-HM_TP4_SP Hauptmodul TP4: Sprachphilosophie Seminar 1 Studienleistung
Studieninformation
Seminar 2 Studienleistung
Studieninformation
- benotete Prüfungsleistung Studieninformation
26-HM_TP_Satellit Satellitenmodul Theoretische Philosophie Seminar aus der Theoretischen Philosophie Studienleistung
Studieninformation
- benotete Prüfungsleistung Studieninformation

Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.

Studiengang/-angebot Gültigkeit Variante Untergliederung Status Sem. LP  
Studieren ab 50    
Keine Konkretisierungen vorhanden
Lernraum (E-Learning)
Lernraum (E-Learning)
registrierte Anzahl: 22
Dies ist die Anzahl der Studierenden, die die Veranstaltung im Stundenplan gespeichert haben. In Klammern die Anzahl der über Gastaccounts angemeldeten Benutzer*innen.
eKVV Teilnahmemanagement:
Bei dieser Lehrveranstaltung wird das eKVV-Teilnahmemanagement genutzt.
Details zeigen
Adresse:
WS2024_230288@ekvv.uni-bielefeld.de
Lehrende, ihre Sekretariate sowie für die Pflege der Veranstaltungsdaten zuständige Personen können über diese Adresse E-Mails an die Veranstaltungsteilnehmer*innen verschicken. WICHTIG: Sie müssen verschickte E-Mails jeweils freischalten. Warten Sie die Freischaltungs-E-Mail ab und folgen Sie den darin enthaltenen Hinweisen.
Falls die Belegnummer mehrfach im Semester verwendet wird können Sie die folgende alternative Verteileradresse nutzen, um die Teilnehmer*innen genau dieser Veranstaltung zu erreichen: VST_472863948@ekvv.uni-bielefeld.de
Reichweite:
22 Studierende direkt per E-Mail erreichbar
Hinweise:
Weitere Hinweise zu den E-Mailverteilern
E-Mailarchiv
Anzahl der Archiveinträge: 1
E-Mailarchiv öffnen
Letzte Änderung Grunddaten/Lehrende:
Montag, 18. November 2024 
Letzte Änderung Zeiten:
Montag, 17. Februar 2025 
Letzte Änderung Räume:
Montag, 17. Februar 2025 
Art(en) / SWS
Seminar (S) / 2
Einrichtung
Fakultät für Linguistik und Literaturwissenschaft
Fragen oder Korrekturen?
Fragen oder Korrekturwünsche zu dieser Veranstaltung?
Planungshilfen
Terminüberschneidungen für diese Veranstaltung
Link auf diese Veranstaltung
Wenn Sie diese Veranstaltungsseite verlinken wollen, so können Sie einen der folgenden Links verwenden. Verwenden Sie nicht den Link, der Ihnen in Ihrem Webbrowser angezeigt wird!
Der folgende Link verwendet die Veranstaltungs-ID und ist immer eindeutig:
https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=472863948
Seite zum Handy schicken
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code: QR-Code vergrößern
ID
472863948