Universität Wien FIND

180140 UE M-03 Exercise Course in Logic (2017W)

5.00 ECTS (2.00 SWS), SPL 18 - Philosophie
Continuous assessment of course work

Summary

Registration/Deregistration

Registration information is available for each group.

Groups

Group 1

max. 45 participants
Language: Deutsch
LMS: Moodle

Registration/Deregistration

  • Registration is open from Fr 08.09.2017 12:04 to Fr 22.09.2017 12:00
  • Deregistration possible until Mo 30.10.2017 12:00

Lecturers

Classes (iCal) - next class is marked with N

Friday 13.10. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 20.10. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 27.10. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 03.11. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 10.11. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 17.11. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 24.11. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 01.12. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 12.01. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 19.01. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Friday 26.01. 11:30 - 13:00 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Assessment and permitted materials

Zur Beurteilung dienen mehrere eher kurze schriftliche Teilprüfungen während der Lehrveranstaltung sowie eine etwas umfangreichere schriftliche Prüfung in der letzten Einheit des Semesters. Es handelt sich um eine prüfungsimmanente Lehrveranstaltung, d.h. die Übung zählt als Ganzes als eine Prüfung, die nur als Ganzes nachgeholt werden kann; für die Teilprüfungen gibt es keine Ersatztermine, aber das z.B. krankheitsbedingte Versäumen einzelner (!) Teilprüfungstermine ist natürlich kein Problem.

Die Studienprogrammleitung begehrt die Bekanntgabe folgender Information:

"Alle Studierende, die einen Lehrveranstaltungsplatz erhalten haben, sind zu beurteilen, sofern sie sich nicht zeitgerecht abgemeldet haben oder unverzüglich nach Wegfall des Hindernisses einen wichtigen Grund für die Nichtdurchführung der Abmeldung glaubhaft machen."

Minimum requirements and assessment criteria

Jede der Prüfungsfragen ist einem der folgenden Themengebiete zugeordnet: (1) Semantik, (2) Syntax - Herleitungen, (3) Syntax - Sonstiges, (4) Theorie. Für eine positive Abschlussnote muss jedes dieser Gebiete positiv bewältigt worden sein.

ACHTUNG: Beim Gebiet "formale Logik" geht es nicht oder nur am Rande um Wissen, sondern vielmehr um Können. Klassisches (Auswendig-) Lernen ist weder notwendig noch sinnvoll. Es geht vielmehr darum, eine Technik zu erlernen, und dafür ist (viel) Übung erforderlich.

Examination topics

Der genaue Stoffumfang variiert mit den Möglichkeiten und Interessen der Teilnehmenden, aber der Mindestumfang sind Syntax und Semantik der klassischen Aussagenlogik einschließlich eines einfachen Kalküls sowie Grundzüge der klassischen Prädikatenlogik der ersten Stufe.

Reading list

Literatur im engeren Sinn ist nicht erforderlich, aber wenn Ihnen die Übung zu elementar oder zu langsam ist und/oder Sie andere Kalküle erlernen und verwenden wollen, können Sie sich gerne in der Einführungsliteratur bedienen und die Prüfungsaufgaben in einem anderen Kalkül des natürlichen Schließens oder in einem axiomatischen Kalkül lösen.

Group 2

max. 45 participants
Language: Deutsch
LMS: Moodle

Registration/Deregistration

  • Registration is open from Fr 08.09.2017 12:04 to Fr 22.09.2017 12:00
  • Deregistration possible until Mo 30.10.2017 12:00

Lecturers

Classes (iCal) - next class is marked with N

Tuesday 10.10. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 17.10. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 24.10. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 31.10. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 07.11. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 14.11. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 21.11. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 28.11. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 05.12. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 12.12. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 16.01. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 23.01. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien
Tuesday 30.01. 16:45 - 18:15 Hörsaal 2G, NIG Universitätsstraße 7/Stg. II/2.Stock, 1010 Wien

Assessment and permitted materials

aktive Teilnahme an Lehrveranstaltung; schriftliche Übungstests; etwaige schriftliche oder mündliche Zusatzaufgaben, etwa bei Unklarheiten über Selbstständigkeit der erbrachten Leistungen

Minimum requirements and assessment criteria

Vorbereitung von mindestens 50 Prozent der Übungsbeispiele als notwendige (nicht hinreichende) Bedingung für positive Beurteilung; Punkteschema für Gesamtnote: ausgehend von den Noten der Übungstests kann sich die Gesamtnote durch aktive Teilnahme und Bonusbeispiele um bis zu zwei Grade verändern (üblicherweise verbessern)

Examination topics

Formationsregeln, Syntax und Semantik von Aussagenlogik und Prädikatenlogik erster Stufe; eventuell Ausblick auf weiterführende Themen wie Vollständigkeitssatz, Kompaktheitssatz, Unvollständigkeitssätze, Nichtklassische Logiken, Prädikatenlogik mit unendlich langen Ausdrücken, Typentheorie, Modelltheorie; historische und aktuelle Diskussionen zu Status und Rolle von Logik beziehungsweise Logiken (Frege, Hahn, Brouwer, Carnap, Quine, Popper, Tarski, G. Russell, Leitgeb)

Reading list

erfolgen in Absprache mit der zugehörigen Vorlesung ‚Grundkurs Logik‘

Information

Aims, contents and method of the course


Association in the course directory

Last modified: Tu 03.10.2017 10:29