180131 KU What is formalism? (2025S)
Continuous assessment of course work
Labels
Hinweis der SPL Philosophie:Das Abgeben von ganz oder teilweise von einem KI-tool (z.B. ChatGPT) verfassten Texten als Leistungsnachweis (z.B. Seminararbeit) ist nur dann erlaubt, wenn dies von der Lehrveranstaltungsleitung ausdrücklich als mögliche Arbeitsweise genehmigt wurde. Auch hierbei müssen direkt oder indirekt zitierte Textstellen wie immer klar mit Quellenangabe ausgewiesen werden.Die Lehrveranstaltungsleitung kann zur Überprüfung der Autorenschaft einer abgegebenen schriftlichen Arbeit ein notenrelevantes Gespräch (Plausibilitätsprüfung) vorsehen, das erfolgreich zu absolvieren ist.
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 is open from Tu 11.02.2025 09:00 to Mo 17.02.2025 23:59
- Registration is open from Mo 24.02.2025 09:00 to Th 27.02.2025 23:59
- Deregistration possible until Mo 31.03.2025 23:59
Details
max. 30 participants
Language: German
Lecturers
Classes (iCal) - next class is marked with N
- Monday 10.03. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 10.03. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 17.03. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 17.03. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- N Monday 24.03. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 24.03. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 31.03. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 31.03. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 07.04. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 07.04. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 28.04. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 28.04. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 05.05. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 05.05. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 12.05. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 12.05. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 19.05. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 19.05. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 26.05. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 26.05. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 02.06. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 02.06. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 16.06. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 16.06. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 23.06. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 23.06. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
- Monday 30.06. 15:00 - 16:30 Hörsaal 3C, NIG Universitätsstraße 7/Stg. II/3. Stock, 1010 Wien
- Monday 30.06. 16:30 - 18:00 Hörsaal 3B NIG 3.Stock
Information
Aims, contents and method of the course
Das Seminar vergleicht unterschiedliche Formen von Formalismus in der Philosophie der Mathematik, der Philosophie der Logik und der Wissenschaftstheorie. Die folgenden Themen werden in der Lehrveranstaltung behandelt: Formalistische Entwicklungen in der Mathematik des 19.Jahrhunderts; Formalismus und die Grundlagen der Mathematik; Formalismus in der modernen Logik (Hilbert, Carnap, Tarski); Instrumentalismus und Formalismus in der Wissenschaftstheorie.
Assessment and permitted materials
Voraussetzung für den Zeugniserwerb ist die regelmäßige und aktive Teilnahme an der Lehrveranstaltung (zwei unentschuldigte Fehlstunden sind möglich), die verpflichtende Übernahme eines Referats sowie das Verfassen einer schriftlichen Abschlussarbeit (im Ausmaß von ca. 15-20 Seiten, Umfang von ca. 25.000 bis 30.000 Zeichen in Times New Roman, Schriftgröße 12pt, Zeilenabstand 1,5). Die Abschlussarbeit senden Sie bitte an Georg Schiemer: georg.schiemer@univie.ac.at und an Florian Kolowrat: florian.kolowrat@univie.ac.at
Minimum requirements and assessment criteria
Mindestanforderung:
- Anwesenheitspflicht, Studierende dürfen zweimal unentschuldigt fehlen.
- Die Präsentation ist verpflichtend zu halten.
- Seminararbeit: Zur Sicherung der guten wissenschaftlichen Praxis kann die Lehrveranstaltungsleitung Studierende zu einem notenrelevanten Gespräch nach Abgabe der Seminararbeit einladen, welches positiv zu absolvieren ist.
Beurteilungsmaßstab:
- Präsentation: 30 Punkte
- Seminararbeit: 50 Punkte (vorgegebener/vereinbarter Abgabetermin ist einzuhalten)
- Beteiligung in den Diskussionsphasen (Konstruktive, fachlich richtige Beiträge und Engagement bei der Besprechung der Präsentationen): 20 Punkte
Für eine positive Beurteilung der Lehrveranstaltung sind 60 Punkte erforderlich.
1 (sehr gut) 100-90 Punkte
2 (gut) 89-81 Punkte
3 (befriedigend) 80-71 Punkte
4 (genügend) 70-60 Punkte
5 (nicht genügend) 59-0 Punkte
„Alle Studierende, die einen Lehrveranstaltungsplatz erhalten haben, sind zu beurteilen, sofern sie sich nicht zeitgerecht abgemeldet haben (Abs. 5) oder unverzüglich nach Wegfall des Hindernisses einen wichtigen Grund für die Nichtdurchführung der Abmeldung glaubhaft machen.“ (§ 10, Abs. 6 der Satzung).
Nähere Informationen zu Umfang etc. von wissenschaftlichen Arbeiten finden sich auf der SSC Homepage unter folgendem link https://ssc-phil.univie.ac.at/studienorganisation/wissenschaftliches-arbeiten/#c195173
- Anwesenheitspflicht, Studierende dürfen zweimal unentschuldigt fehlen.
- Die Präsentation ist verpflichtend zu halten.
- Seminararbeit: Zur Sicherung der guten wissenschaftlichen Praxis kann die Lehrveranstaltungsleitung Studierende zu einem notenrelevanten Gespräch nach Abgabe der Seminararbeit einladen, welches positiv zu absolvieren ist.
Beurteilungsmaßstab:
- Präsentation: 30 Punkte
- Seminararbeit: 50 Punkte (vorgegebener/vereinbarter Abgabetermin ist einzuhalten)
- Beteiligung in den Diskussionsphasen (Konstruktive, fachlich richtige Beiträge und Engagement bei der Besprechung der Präsentationen): 20 Punkte
Für eine positive Beurteilung der Lehrveranstaltung sind 60 Punkte erforderlich.
1 (sehr gut) 100-90 Punkte
2 (gut) 89-81 Punkte
3 (befriedigend) 80-71 Punkte
4 (genügend) 70-60 Punkte
5 (nicht genügend) 59-0 Punkte
„Alle Studierende, die einen Lehrveranstaltungsplatz erhalten haben, sind zu beurteilen, sofern sie sich nicht zeitgerecht abgemeldet haben (Abs. 5) oder unverzüglich nach Wegfall des Hindernisses einen wichtigen Grund für die Nichtdurchführung der Abmeldung glaubhaft machen.“ (§ 10, Abs. 6 der Satzung).
Nähere Informationen zu Umfang etc. von wissenschaftlichen Arbeiten finden sich auf der SSC Homepage unter folgendem link https://ssc-phil.univie.ac.at/studienorganisation/wissenschaftliches-arbeiten/#c195173
Examination topics
Sie dazu die obigen Angaben zum Beurteilungsmaßstab.
Reading list
- Carnap, R., (1939), Foundations of Logic and Mathematics, Chicago: University of Chicago Press.
- Carnap, R. (1956b). The methodological character of theoretical concepts. In: H. Feigl and M. Scriven (Eds.), The Foundations of Science and the Concepts of Psychology and Psychoanalysis, Volume i of Minnesota Studies in the Philosophy of Science
- Detlefsen, M. “Formalism”, in: Shapiro, S., The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press, (2005)
- Fraassen, B. v. (2008). Scientific Representation: Paradoxes of Perspective. Oxford: Oxford University Press.
- Frege, G. (1980): Gottlob Freges Briefwechsel mit D. Hilbert, E. Husserl, B. Russell sowie ausgewählte Einzelbriefe Freges; Gottfried -Gabriel, Friedrich Kambartel and Christian Thiel (eds.), Meiner Verlag
- Hallett, M. (2010): “Frege and Hilbert”, in: The Cambridge Companion to Frege, Tom Ricketts and Michael Potter (eds.), Cambridge: Cambridge University Press, pp. 413–46
- Hilbert, D. (1868): Grundlagen der Geometrie. Leipzig: Teubner, 10th edition.
- Hilbert, D., “Über das Unendliche”, Mathematische Annalen, 95, (1926)
- Linnebo, Ø. (2017): Philosophy of Mathematics, Princeton University Press
- Lutz, S., (2012), Artificial Language Philosophy of Science, European Journal for the Philosophy of Science, 2(2).
- Torretti, R., (1978): Philosophy of Geometry from Riemann to Poincaré, Springer.
- Carnap, R. (1956b). The methodological character of theoretical concepts. In: H. Feigl and M. Scriven (Eds.), The Foundations of Science and the Concepts of Psychology and Psychoanalysis, Volume i of Minnesota Studies in the Philosophy of Science
- Detlefsen, M. “Formalism”, in: Shapiro, S., The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press, (2005)
- Fraassen, B. v. (2008). Scientific Representation: Paradoxes of Perspective. Oxford: Oxford University Press.
- Frege, G. (1980): Gottlob Freges Briefwechsel mit D. Hilbert, E. Husserl, B. Russell sowie ausgewählte Einzelbriefe Freges; Gottfried -Gabriel, Friedrich Kambartel and Christian Thiel (eds.), Meiner Verlag
- Hallett, M. (2010): “Frege and Hilbert”, in: The Cambridge Companion to Frege, Tom Ricketts and Michael Potter (eds.), Cambridge: Cambridge University Press, pp. 413–46
- Hilbert, D. (1868): Grundlagen der Geometrie. Leipzig: Teubner, 10th edition.
- Hilbert, D., “Über das Unendliche”, Mathematische Annalen, 95, (1926)
- Linnebo, Ø. (2017): Philosophy of Mathematics, Princeton University Press
- Lutz, S., (2012), Artificial Language Philosophy of Science, European Journal for the Philosophy of Science, 2(2).
- Torretti, R., (1978): Philosophy of Geometry from Riemann to Poincaré, Springer.
Association in the course directory
Last modified: We 12.03.2025 10:26