Logik: von Aristoteles bis Gödel

Zum Ablauf des Seminars

• 24.02.2016
  Ablauf des Seminars, Verteilung der Präsentationen
  


• 02.03.2016
  Aristoteles: Syllogistik und Modallogik
  
  • Syllogismus: Syllogistik (P.Thom) Hist.Wörterb.d.Phil. Basel 1998
  • Aristotle's Syllogistic (Kapitel IV & VI) J.Lukasiewicz, Oxford (1951)
  L. Carl, S. Hohl [M. Zürcher, V. Pfenninger]


• 09.03.2016
  die megarisch-stoische Logik
  
  • Stoic Logic (S.Bobzien) aus The Cambridge Companion to THE STOICS Cambridge (2003)
  • The Completeness of Stoic Logic, I.Mueller Notre Dame Journal of Formal Logic 20 (1979) 201-215
  S. Lüchinger, D. Zürcher, L. Rüttimann [J. Hässig, T. Blatter, L. Hofstetter]


• 16.03.2016
  das Meisterargument
  
  • Das sogenannte Meisterargument des Diodoros Kronos und der Aristotelische Möglichkeitsbegriff (H.Weidemann) Arch.f.Gesch.d.Phil. 69 (1987)
  • The Master Argument of Diodorus Cronus (P.Ohrstrom, P.F.V.Hasle) aus Temporal Logic Kluwer (1995)
  E. Del Re, N. Wittek [F. Marxer, G.-D. Filbry]


• 23.03.2016
  Frege I: mathematische Logik
  
  • Vorwort zur Begriffsschrift, G.Frege, Halle (1889)
  • Ueber den Zweck der Begriffsschrift (G.Frege) aus Begriffsschrift und andere Aufsätze Darmstadt (1977)
  • Zur Begriffsschrift und zur Begründung der Arithmetik, H.Hermes aus Gottlob Frege, Nachgelassene Schriften Hamburg (1983)
  J. Zhang, A. Ghosh [E. Bloch, S. Prenner, L. Löw]


• 06.04.2016
  Frege II: philosophische Aspekte der Logik
  
  • Über Sinn und Bedeutung, G.Frege Zeitschr.f.Phil.u.phil.Kritik 100 (1892) 25-50
  • Gottlob Frege. Eine Einführung in sein Werk: Sinn und Bedeutung (Kapitel 5), F.v.Kutschera, Berlin 1989
  E. Schmid, E. Krauch [P. Schmocker, S. Allenspach]


• 13.04.2016
  Hilbert: Prädikatenlogik Teil I (formale Beweise)
  
  • Neubegründung der Mathematik (D.Hilbert, 1922)
  • Syntax: The Grammar of Symbols, L.Halbeisen und R.Krapf aus Gödel's Theorems and Zermelo's Axioms (in Arbeit)
  C. Simantiri, U. Gisiger [J. Maue, N. Aoutouf, M. Dollmann]


• 20.04.2016
  Prädikatenlogik Teil II (Modelle mathematischer Theorien)
  
  • Semantics: Making Sense of the Symbols, L.Halbeisen und R.Krapf aus Gödel's Theorems and Zermelo's Axioms (in Arbeit)
  • Soundness and Completeness , L.Halbeisen und R.Krapf aus Gödel's Theorems and Zermelo's Axioms (in Arbeit)
  M. Zürcher, V. Pfenninger [L. Carl, S. Hohl]


• 27.04.2016
  Turing I: Turingmaschinen, Turing-Berechenbarkeit
  
  • Computable Numbers, Part I, J.Copeland aus The Essential Turing Oxford (2004)
  J. Hässig, T. Blatter, L. Hofstetter [S. Lüchinger, D. Zürcher, L. Rüttimann]


• 04.05.2016
  Gödel I: Vollstädigkeitssatz
  
  • Maximally Consistent Extensions, L.Halbeisen und R.Krapf aus Gödel's Theorems and Zermelo's Axioms (in Arbeit)
  • Models of Countable Theories, L.Halbeisen und R.Krapf aus Gödel's Theorems and Zermelo's Axioms (in Arbeit)
  F. Marxer, G.-D. Filbry [E. Del Re, N. Wittek]


• 11.05.2016
  Turing II: Unentscheidbarkeit der Arithmetik
  
  • Computable Numbers, Part II, J.Copeland aus The Essential Turing Oxford (2004)
  E. Bloch, S. Prenner, L. Löw [J. Zhang, A. Ghosh]


• 18.05.2016
  Modallogik
  
  • The Logic of Provability: 1. GL and other systems, G.Boolos, Cambridge (1993)
  • The Logic of Provability: 4. Semantics for GL, G.Boolos, Cambridge (1993)
  P. Schmocker, S. Allenspach [E. Schmid, E. Krauch]


• 25.05.2016
  Gödel II: Gottesbeweis
  
  • Abriss des ontologischen Arguments (J.Czermak), aus Kurt Gödel, Wahrheit & Beweisbarkeit öbv&hpt, Wien (2002)
  • Lässt sich beweisen, dass es Gott gibt? Blick am Abend 9.September 2013
  J. Maue, N. Aoutouf, M. Dollmann [C. Simantiri, U. Gisiger]


• 01.06.2016
  Rückblick, Zusammenfassung, Schlussdiskussion