Universität Wien

180009 VO-GKL Basic logic course lecture (2012W)

3.00 ECTS (2.00 SWS), SPL 18 - Philosophie

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 12.10. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 19.10. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 09.11. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 16.11. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 23.11. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 30.11. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 07.12. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 14.12. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 11.01. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 18.01. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4
  • Friday 25.01. 12:00 - 13:30 Hörsaal D Unicampus Hof 10 Hirnforschungzentrum Spitalgasse 4

Information

Aims, contents and method of the course

In größerem Ausmaß als in anderen Disziplinen muss man sich in der Philosophie auf das Argumentieren verlassen. Die abendländische Philosophie war deshalb seit jeher eng mit der Logik verbunden, die sich unter anderem mit Fragen beschäftigt wie 'Was ist ein Argument?', 'Was ist ein gültiges Argument?', 'Woher bezieht ein Argument diese Gültigkeit?'; Die Vorlesung ist eine Einführung in die formale Logik, d.h. formale Methoden werden benutzt um diese und weitere Fragen zu klären. Im Speziellen behandelt die Vorlesung Syntax und Semantik der klassischen Aussagenlogik sowie der klassischen Prädikatenlogik erster Stufe. Der letzte Teil der Vorlesung wird sich mit Anwendungen, Erweiterungen und Beschränkungen der erlernten formalen Methoden beschäftigen.

Assessment and permitted materials

Abschlussprüfung

Minimum requirements and assessment criteria

Verständnis der Grundlagen der formalen Logik

Examination topics

Vortrag

Reading list

wird in der Vorlesung bekanntgegeben

Association in the course directory

BA M 3.1, HPS M1.1

Last modified: Mo 07.09.2020 15:36