Universität Wien

180057 SE Higher-Order Logic (2024W)

5.00 ECTS (2.00 SWS), SPL 18 - Philosophie
Prüfungsimmanente Lehrveranstaltung

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.
Moodle
Mi 23.10. 11:30-13:00 Hörsaal 3F NIG 3.Stock

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Für diese LV an-/abmelden

Details

max. 25 Teilnehmer*innen
Sprache: Englisch

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Mittwoch 16.10. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 30.10. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 06.11. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 13.11. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 20.11. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 27.11. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 04.12. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 11.12. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 08.01. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 15.01. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 22.01. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock
  • Mittwoch 29.01. 11:30 - 13:00 Hörsaal 3F NIG 3.Stock

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

1. TOPIC

The seminar will serve as an introduction to second-order logic and higher-order logic, as well as some of their applications in philosophy.

What is higher-order logic, you ask? Here's the beginning of an answer: While in classical predicate logic, variables can only occur in name position (and thus quantifiers only range over individuals), higher-order logic allows for variables of different syntactic positions. For example, second-order logic uses variables in predicate position (and allows for quantifiers to bind these variables). It thus allows to easily formalize arguments like the following (which are troublesome for first-order logic):

Ada is wise.
Kurt is wise.
Therefore, Ada is somehow and Kurt is so too.

In this seminar we will introduce the basic technical aspects of second-order logic and higher-order logic, including their syntax and semantics, type theory and the theory of lambda-abstraction. Once equipped with an understanding of the formal apparatus, we will turn some (currently hotly debated) philosophical issues and applications of higher-order logic, e.g. the metaphysical interpretation of higher-order quantifications, its role for the philosophy of mathemtatics, the granularity of propositions, and the generalized conception of identity.

2. GOALS
The goals for this seminar are
• to obtain a basic grasp of the technical aspects of second-order and higher-order logics,
• to learn about the philosophical applications of higher-order logic,
• to acquire the background knowledge needed to read literatures on higher-order metaphysics, and
• to have fun! :)

3. REQUIREMENTS
Students must have successfully completed the introductory course to logic. Furthermore, since the seminar language is English, students should be willing able to read and participate in discussions in English. Interest in the (rather technical) topic and willingness to work through the weekly exercises (see below) is paramount for successful participation.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Preliminary information, subject to change

1. Exam
The overall grade is calculated from two separate components:
• Component I: Written test at the end of the seminar (50% of the final grade)
• Component II: Submission of 4 exercise sheets (50% of final grade)

2. Own work
• All written work must be produced by the examined students themselves.
• Do not plagiarize or use AI assistance when the goal is developing and demonstrating your own abilities!
• We encourage collaborative work on the exercise sheets.

Mindestanforderungen und Beurteilungsmaßstab

Preliminary information, subject to change

1. Prerequisites
• The seminar language is English - therefore, it is a prerequisite that students are willing and able to participate in discussions in English.
• Students must be able and willing to engage with formal logic.
• Students must have solid competence with elementary logic which will serve as the foundation for the material of this seminar.

2. Obligatory class work
• Attendance is required; unexcused absence is permitted twice.
• There will be weekly exercise sheets, of these 4 must be submitted and will be graded

3. Conditions for passing
• A positive grade in every component of the exam, and
• Completion of the obligatory class work.

Prüfungsstoff

The material of the seminar, details TBA

Literatur

TBA

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Sa 05.10.2024 14:46