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

Einführung in die Logik/Introduction into Logic - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 51005
Semester SoSe 2022 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 Präsenz

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Di. 14:00 bis 16:00 wöch 2091 (Hörsaal)
Stockwerk: 1. OG


UdL6 Universitäts-Hauptgebäude - Unter den Linden 6 (UL 6)

Außenbereich eingeschränkt nutzbar Innenbereich eingeschränkt nutzbar Parkplatz vorhanden Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich
  findet statt    
Gruppe 1:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Niebergall, Karl Georg , Prof. Dr.
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Philosophie Kernfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie Zweitfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Zweitfach ( 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: 2015 )     -  
Bachelor of Science  Philosophie Zweitfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
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.

Strukturbaum

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