§ 4/1/5 Logics [Old Curriculum 7]

• 180020 PS 4 ECTS On the Relation between Philosophy and Logic - Die Entwicklung der symbolischen Logik bei Leibniz und Frege (MinCurr Logik II)
  Gruver, Fr 09:00-12:00 (11×)
• 180021 SE 5 ECTS Logic or Set Theory? - The Controversy over Second-Order Logic
  Hafner
• 180034 VO 3 ECTS [ en ] Goedel's philosophy of mathematics
  Köhler, Tu 14:00-16:00 (15×)
• 180741 VO 3 ECTS Philosophical Logics - Ein Überblick über klassische und nicht-klassische Konzepte der formalen Logik (MinCurr Logik III)
  Damböck, Mo 16:00-18:00 (13×)