230012 Einführung in die Modallogik (S) (WiSe 2020/2021)
Contents, comment
-
Im Seminar werden wir die Grundlagen der modalen Aussagenlogik kennenlernen und intensiv 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.
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Mi | 10-12 | ONLINE | 02.11.2020-12.02.2021 |
Subject assignments
| Module | Course | Requirements | |
|---|---|---|---|
| 23-TXT-BaCL5 Vertiefungsmodul | Veranstaltung aus dem Vertiefungsbereich | Study requirement
|
Student information |
| 26-HM_TP2_VL Hauptmodul TP2: Vertiefung Logik | Seminar 1 | Study requirement
|
Student information |
| Seminar 2 | Study requirement
|
Student information | |
| - | Graded examination | Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
- Address:
- WS2020_230012@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_221942193@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Monday, May 11, 2020
- Last update times:
- Thursday, August 20, 2020
- Last update rooms:
- Thursday, August 20, 2020
- Type(s) / SWS (hours per week per semester)
- seminar (S) / 2
- Department
- Faculty of Linguistics and Literary Studies
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=221942193
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 221942193