UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Geistes- und Kulturwissenschaften >> Institut für Klassische Philologie und Philosophie >> Lehrstuhl für Philosophie II >>

  Fortgeschrittene formale Logik

Dozent/in
Sebastian Krebs

Angaben
Proseminar/Hauptseminar
2 SWS, Das Seminar findet alle 2 Wochen statt!
Zeit und Ort: jede 2. Woche Do 14:00 - 18:00, Raum n.V.

Inhalt
Dieser Kurs baut auf der Einführung in die formale Logik von Prof. Dr. Gabriele de Anna aus dem Sommersemester auf und bietet Ihnen die Möglichkeit, Ihre dort geweckten Interessen für die Lehre vom vernünftigen Schließen zu vertiefen. Unter anderem werden wir uns mit Beweisen in der Prädikatenlogik, der propositionalen und der quantifzierten Modallogik beschäftigen, dabei unterschiedliche Systeme der Modallogik betrachten und die breitere philosophische Relevanz für jüngere Debatten rund um den Identitätsbegriff oder Fragen des Essentialismus und der Sprachphilosophie diskutieren.
Dieser Kurs baut unmittelbar auf dem Einführungskurs von Prof. Dr. de Anna auf; die Teilnahme wird daher nur empfohlen, wenn Sie diesen erfolgreich abgeschlossen haben oder aus Ihrem Nebenfach o.ä. Vorkenntnisse im Bereich der formalen Logik mitbringen. Das Seminar findet auf Deutsch statt.
Das Seminar findet im Raum Ho2/02.04, in der Hornthalstraße 2, zweiter Stock, statt.

Empfohlene Literatur
Harry J. Gensler: Introduction to Logic. Routledge: London, New York 2002. Weitere Literatur wird im Laufe des Semesters bekannt gegeben.

Hinweis für Web-Redakteure:
Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:

Link zur eigenständigen Verwendung

Link zur Verwendung in Typo3

UnivIS ist ein Produkt der Config eG, Buckenhof