Basisseminar Methodenkurs Logik

Beschreibung:Diese Vorlesung bietet eine Einführung in die Logik (insbesondere in die Aussagenlogik und die Prädikatenlogik) und in die Mengenlehre. Da in der formalen Semantik die Bedeutung von natürlichsprachlichen Ausdrücken mit einer formalen Metasprache analysiert wird, benötigen Linguisten eine solide Grundlage in logisch-mathematischen Methoden. Die Vorlesung richtet sich an Linguisten, und ermöglicht Studierende, dieses Grundlagenwissen in Logik und Mengenlehre aufzubauen. Dabei wird Teilgebiete der Logik die nicht für Linguisten dringend nötig sind (insbesondere Beweistheorie, und Vollständigkeit und Korrektheit), nicht diskutiert, selbst wenn sie wichtige Teile der Wissenschaft der Logik sei.In der Vorlesung werden die folgende Themen und Begriffe behandelt:1) Mengenlehre und Grundlagen der Algebra (Menge, Elemente, Teilmenge, Durchschnitt, Vereinigung, Differenz, Potenzmenge, Relation, Funktion, Definitionsbereich, Wertebereich, n-Tupel, Injektivität, Surjektivität, Bijektivität, Kardinalität, Reflexivität, Transitivität, Asymmetrie, Antiymmetrie, Assoziativität, Kommutativität, Distributivität, De Morgansche Gesetze, Komposition)2) Aussagenlogik (Aussage, Wahrheitswert, Wahrheitsbedingungen, gültige Schlüsse, logische Folgerung, Äquivalenz, Tautologie, Kontradiktion, Kontingenz Erfüllbarkeit, Metasprache, Atom, Junktoren, Negation, Konjunktion, Disjunktion, Materiale Implikation, Wahrheitstabellen, Bewertung)3) Prädikatenlogik (Individuenterm, Individuenkonstanten, Individuenvariablen, Prädikat, Stelligkeit, Quantoren, Allquantor, Existenzquantor, Interpretation, Modell, Variablenbelegung)Zur Vorlesung werden regelmäßig Übungsaufgaben vergeben, die in den Tutorien besprochen werden. Die Aufgaben können sowohl auf Deutsch als auch auf Englisch erfasst werden. Sprachfehler bleiben unberücksichtigt, und zählen nicht bei der Bewertung der Aufgaben.Empfohlene Literatur: Barwise, Jon, Etchemendy, John & Bromand, Joachim (2008) Sprache, Beweis und Logik.Anforderungen für ein BN: Einreichen von mindestens 60% der Pflichtübungen.AP: Modulklausur im Sommersemester: Logik + Semantik + Pragmatik. Bemerkung https://sites.google.com/site/methodenkurslogik/ Institut für Sprache und Information Universität Düsseldorf WiSe 2015/16 Gyarmathy Zsófia