AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

Vorlesung: Einführung in die Logik - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 51001
Semester SoSe 2020 SWS 2
Rhythmus keine Übernahme Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist Es findet keine Online-Belegung über AGNES statt!
Veranstaltungsformat Digital

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer
Mi. 10:00 bis 12:00 wöch Universitäts-Hauptgebäude - 2094 Unter den Linden 6 (UL 6) - (Hör-/Lehrsäle ansteigend ohne Experimentierbühne)   findet statt    
Gruppe 1:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Paasch, Sebastian , Dr.
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Philosophie Kernfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Science  Philosophie Zweitfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie Zweitfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Arts  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Science  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Zuordnung zu Einrichtungen
Einrichtung
Philosophische Fakultät, Institut für Philosophie
Inhalt
Kommentar

Die Studentinnen und Studenten erhalten eine Einführung in die Logik. Motiviert durch Überlegungen zum informellen Folgern werden speziell
aussagenlogische und prädikatenlogische Sprachen aufgebaut. Für diese wird „Herleitbarkeit" definiert und das Herleiten im Kalkül wird eingeübt.
Übersetzungen zwischen formalen Sprachen und natürlicher Sprache werden behandelt. Die dabei gewonnenen Kompetenzen werden für die Analyse von
philosophischen Texten und Argumenten eingesetzt.

Bemerkung

Alle Teilnehmer_innen der Logik-Vorlesung tragen sich bitte in den offenen Moodle-Kurs der Vorlesung ein. Vielen Dank.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2020. Aktuelles Semester: WiSe 2020/21.
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin