Universität Wien

180084 UE-GKL Exercise in Logic (2015S)

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

Summary

1 Gottschall
2 Linsbichler , Moodle
3 Heinrich , Moodle

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Registration information is available for each group.

Groups

Group 1

"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic. For more information, see the German course page http://logik.phl.univie.ac.at/~chris/ss2015/

max. 45 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

Am 16. März findet KEIN Übungstermin statt. In den letzten Wochen findet mindestens ein zusätzlicher Übungstermin für "last minute"-Probleme und -Fragen statt.

  • Monday 09.03. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 16.03. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 23.03. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 13.04. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 20.04. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 27.04. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 04.05. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 11.05. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 18.05. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 01.06. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 08.06. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 15.06. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 22.06. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228
  • Monday 29.06. 15:00 - 16:30 Hörsaal 2i NIG 2.Stock C0228

Aims, contents and method of the course

http://logik.phl.univie.ac.at/~chris/ss2015/

Assessment and permitted materials

Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.

Minimum requirements and assessment criteria

Grundlegender Kenntnisse und Fähigkeiten formaler Logik

Examination topics

Die absoluten "Basics" werden kurz wiederholt. Nach Maßgabe der Bedürfnisse der Studierenden (die sie entweder explizit verbal oder implizit durch Fehler bei den Hausübungen artikulieren) werden einzelne Themen auch tiefergehend und wiederholt erklärt. Hiervon abgesehen werden Beispiele gelöst.

Group 2

"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 11.03. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 18.03. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 25.03. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 15.04. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 22.04. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 29.04. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 06.05. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 13.05. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 20.05. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 27.05. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 03.06. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 10.06. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 17.06. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228
  • Wednesday 17.06. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Wednesday 24.06. 13:15 - 14:45 Hörsaal 2i NIG 2.Stock C0228

Aims, contents and method of the course

Anwendung und Vertiefung der Hauptthemen der zugehörigen Vorlesung 'Grundkurs Logik', insbesondere der formalen Aspekte: 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; eventuell Einblicke in historische und aktuelle Diskussionen zu Status und Rolle von Logik beziehungsweise Logiken (Frege, Hahn, Brouwer, Carnap, Quine, Tarski)

Assessment and permitted materials

Grading will partly consist of an exam which is held at the end of the course and participation during the course especially by solving exercises which are given every week.

Minimum requirements and assessment criteria

vertieftes Verständnis der in der zugehörigen Vorlesung 'Grundkurs Logik' behandelten Themen; Erwerb von Routine im Umgang mit Definitionen, formalen Sprachen und Beweisen; Kennenlernen und Reflektieren verschiedener Blickwinkel auf die Rolle von Logik beziehungsweise Logiken

Examination topics

Wiederholung und Vertiefung formaler Aspekte der Vorlesung: Vortrag; Präsentation der Übungsbeispiele durch Studierende; Diskussion von Problemen und Fragen

Group 3

"Exercise in Logic" is a complementary course to "Basic Logic". It provides the opportunity to practice the content of the lecture such as truth tables, natural calculus and semantics of predicate logic.

max. 45 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 09.03. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 16.03. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 23.03. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 13.04. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 20.04. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 27.04. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 04.05. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 11.05. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 18.05. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 01.06. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 08.06. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 15.06. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 22.06. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock
  • Monday 29.06. 15:00 - 16:30 Hörsaal 3B NIG 3.Stock

Aims, contents and method of the course

In der LV werden Aufgaben zum Stoff der Vorlesung gelöst.

Assessment and permitted materials

wöchentlich zu lösende Übungsaufgaben, 2 Tests

Information

Reading list

In der Übung selber werden ausgewählte Themen der Vorlesung geübt und die absoluten "Basics" - so erforderlich - wiederholt und vertieft. All das erfolgt "live" und ohne Textbuch. Wenn Sie sich aber grundsätzlich für Literatur interessieren, können Sie in den FAQs den Punkt "Welche Literatur kann/soll ich lesen?" ansehen: http://logik.phl.univie.ac.at/~chris/lva-faq.html#literatur

Association in the course directory

BA M 3.2, HPS (alt), M1.1, HPS (neu): M1.1, M1.3

Last modified: Sa 24.08.2024 00:12