1 Argument und Logik

Größe: px
Ab Seite anzeigen:

Download "1 Argument und Logik"

Transkript

1 Seminar: 1/5 1 Argument und Logik Aussagesatz (1): Ein Aussagesatz ist ein Satz im Indikativ, der entweder wahr oder falsch ist. Problem der Indexikalität: Sätze im Indikaitv, die indexikalische Ausdrücke enthalten, sind nicht einfach entweder wahr oder falsch, sondern können manchmal wahr, manchmal falsch sein. Beispiel: Ich habe jetzt Kopfschmerzen. Aussagesatz (2): Ein Aussagesatz ist ein Satz im Indikativ, der entweder wahr oder falsch ist und dessen Wahrheit oder Falschheit nicht mit dem Kontext seiner Äußerung variiert. Im Folgenden wird der Begriff des Aussagesatzes immer in diesem Sinn verstanden.

2 Seminar: 2/5 (Deduktives) Argument: Ein (deduktives) Argument ist eine Folge von Aussagesätzen, mit der der Anspruch verbunden ist, dass einer der Sätze (die»konklusion«) aus den anderen (die»prämissen«) folgt. (Deduktives) Folgen: In einem Argument folgt die Konklusion aus den Prämissen (deduktiv) genau dann, wenn die Konklusion wahr sein muss, falls die Prämissen es sind; wenn es unmöglich ist, dass die Prämissen wahr sind, die Konklusion aber falsch. (Deduktive) Gültigkeit bzw. Schlüssigkeit: Ein (deduktiv) gültiges bzw. es (engl.: valid) Argument ist eines, bei dem die Konklusion aus den Prämissen folgt. (Deduktive) Korrektheit: Ein (deduktiv) korrektes (engl.: sound) Argument ist ein gültiges bzw. es Argument mit wahren Prämissen.

3 Seminar: 3/5 Anmerkung zum Sprachgebrauch: Einige deutschsprachige LogikerInnen behalten sich den Ausdruck»«zur Bezeichnung der korrekten Argumente vor und unterscheiden also strikt zwischen Gültigkeit und Schlüssigkeit. Nicht alle englischsprachigen LogikerInnen unterscheiden terminologisch in dieser Weise zwischen»valid«und»sound«. Nicht-deduktive Argumente: Viele Argumente, die wir als korrekte Argumente akzeptieren, sind nicht deduktiv korrekt in dem obigen Sinn, da bei ihnen die Konklusion nicht deduktiv aus den Prämissen folgt, sondern in einer schwächeren Weise von den Prämissen gestützt wird. Beispiel: Viele Anfänger haben Schwierigkeiten mit der Logik. Peter ist ein Anfänger. Also: Peter hat Schwierigkeiten mit der Logik. Nicht-deduktive Gültigkeit bzw. Schlüssigkeit: Ein nicht-deduktives Argument ist bzw. gültig, wenn es rational ist, die Konklusion für wahr zu halten, falls man die Prämissen für wahr hält, obwohl die Konklusion nicht deduktiv aus den Prämissen folgt. (Entsprechend für nicht-deduktive Korrektheit) Literatur: Stephen Toulmin: Der Gebrauch von Argumenten, 2. Aufl., Beltz: Weinheim 1996

4 Seminar: 4/5 Formale Logik: Der Gegenstand der formalen Logik ist die deduktive Schlüssigkeit von Argumenten bzw. die logische Folgerungsbeziehung die zwischen den Prämissen und der Konklusion bestehen muss, damit ein Argument deduktiv ist insofern es sich hierbei um eine Sache der logischen Form der Aussagesätze des Arguments handelt. Offene Frage: Was ist unter dem Begriff der logischen Form eines Satzes zu verstehen?

5 Seminar: 5/5 Argument nicht nicht-deduktiv deduktiv material formal Also war Peter nicht immer glücklich. Also ist es nicht der Fall, dass er nicht geschieden ist. Also war Peter verheiratet.

Erinnerung 1. Erinnerung 2

Erinnerung 1. Erinnerung 2 Erinnerung 1 Ein Argument ist eine Folge von Aussagesätzen, mit der der Anspruch verbunden ist, dass ein Teil dieser Sätze (die Prämissen) einen Satz der Folge (die Konklusion) in dem Sinne stützen, dass

Mehr

7 Gültigkeit und logische Form von Argumenten

7 Gültigkeit und logische Form von Argumenten 7 Gültigkeit und logische Form von Argumenten Zwischenresümee 1. Logik ist ein grundlegender Teil der Lehre vom richtigen Argumentieren. 2. Speziell geht es der Logik um einen spezifischen Aspekt der Güte

Mehr

Einführung in die Logik

Einführung in die Logik Einführung in die Logik Prof. Dr. Ansgar Beckermann Wintersemester 2001/2 Allgemeines vorab Wie es abläuft Vorlesung (Grundlage: Ansgar Beckermann. Einführung in die Logik. (Sammlung Göschen Bd. 2243)

Mehr

Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel

Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie Prof. Dr. Jörg Rössel Ablaufplan 1. Einleitung: Was ist Wissenschaft(stheorie) überhaupt? 2. Was sind wissenschaftliche Theorien?

Mehr

Formale Logik. 1. Sitzung. Allgemeines vorab. Allgemeines vorab. Terminplan

Formale Logik. 1. Sitzung. Allgemeines vorab. Allgemeines vorab. Terminplan Allgemeines vorab Formale Logik 1. Sitzung Prof. Dr. Ansgar Beckermann Sommersemester 2005 Wie es abläuft Vorlesung Übungszettel Tutorien Es gibt ca. in der Mitte und am Ende des Semesters je eine Klausur

Mehr

Formale Logik - SoSe 2012

Formale Logik - SoSe 2012 2.44 % Formale Logik - SoSe 2012 Versuch einer Zusammenfassung Malvin Gattinger http://xkcd.com/435/ 4.88 % Gliederung Einleitung Was ist Logik? Begriffsklärungen Sätze und Wahrheit Argumente und Gültigkeit

Mehr

Argumentationstheorie 4. Sitzung

Argumentationstheorie 4. Sitzung Noch ein Beispiel Argumentationstheorie 4. Sitzung Prof. Dr. Ansgar Beckermann Wintersemester 2004/5 empirische Hypothese (P1) echte Noch ein Beispiel Noch ein Beispiel empirische Hypothese (P1) Ein metaphysischer

Mehr

Zur Semantik der Junktorenlogik

Zur Semantik der Junktorenlogik Zur Semantik der Junktorenlogik Elementare Logik I Michael Matzer Inhaltsverzeichnis 1 Präliminarien 2 2 Tautologien, Kontradiktionen und kontingente Sätze von J 2 2.1 Tautologien von J................................

Mehr

Einführung in die formale Logik. Prof. Dr. Andreas Hüttemann

Einführung in die formale Logik. Prof. Dr. Andreas Hüttemann Einführung in die formale Logik Prof. Dr. Andreas Hüttemann Textgrundlage: Paul Hoyningen-Huene: Formale Logik, Stuttgart 1998 1. Einführung 1.1 Logische Folgerung und logische Form 1.1.1 Logische Folgerung

Mehr

3 Aussagenlogik I - die Sprache AL

3 Aussagenlogik I - die Sprache AL Seminar: Einführung in die Logik 1/5 3 Aussagenlogik I - die Sprache AL 1. Formale Sprachen: Die formalen Logik-Sprachen sollen folgende Bedingungen erfüllen: Sie sollen alle und nur die Argumente unserer

Mehr

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 26.

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 26. Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 26. Oktober 2016 Informationen zur Veranstaltung http://home.mathematik.uni-freiburg.de/junker/

Mehr

Es gibt kein Seeungeheuer in Loch Ness, denn wenn es ein Seeungeheuer in Loch Ness gibt, dann sind dort Fauna oder Flora stark geschädigt. Aber weder

Es gibt kein Seeungeheuer in Loch Ness, denn wenn es ein Seeungeheuer in Loch Ness gibt, dann sind dort Fauna oder Flora stark geschädigt. Aber weder Erste Sitzung Ein Argument ist eine Menge von Sätzen, der eine Menge von Satzäußerungen entspricht, in welcher für einen Satz (der Konklusion) der Anspruch erhoben wird, er ergebe sich aus den anderen

Mehr

Logik und Missbrauch der Logik in der Alltagssprache

Logik und Missbrauch der Logik in der Alltagssprache Logik und Missbrauch der Logik in der Alltagssprache Wie gewinnt man in Diskussionen? Carmen Kölbl SS 2004 Seminar: " Logik auf Abwegen: Irrglaube, Lüge, Täuschung" Übersicht logische Grundlagen Inferenzregeln

Mehr

Einführung in die Argumentationslehre

Einführung in die Argumentationslehre Joachim Stiller Einführung in die Argumentationslehre Präsentation Alle Rechte vorbehalten 3.1 Argumentationslehre: Übersicht - Fehlargumente - Persönlicher Angriff, Argumentum ad personam - Totschlagargument

Mehr

Zweite und dritte Sitzung

Zweite und dritte Sitzung Zweite und dritte Sitzung Mengenlehre und Prinzipien logischer Analyse Menge Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohlunterschiedenen Objekten unserer Anschauung und unseres Denkens

Mehr

DIALOGE ÜBER NATÜRLICHE RELIGION

DIALOGE ÜBER NATÜRLICHE RELIGION DAVID HUME DIALOGE ÜBER NATÜRLICHE RELIGION NEUNTER TEIL, SEITEN 73-78 DER A PRIORI BEWEIS DER EXISTENZ GOTTES UND SEINER UNENDLICHEN ATTRIBUTE S. 73-74 Demea : Die Schwächen des a posteriori Beweises

Mehr

Einführung in die moderne Logik

Einführung in die moderne Logik Sitzung 1 1 Einführung in die moderne Logik Einführungskurs Mainz Wintersemester 2011/12 Ralf Busse Sitzung 1 1.1 Beginn: Was heißt Einführung in die moderne Logik? Titel der Veranstaltung: Einführung

Mehr

Die Anfänge der Logik

Die Anfänge der Logik Die Anfänge der Logik Die Entwicklung des logischen Denkens vor Aristoteles Holger Arnold Universität Potsdam, Institut für Informatik arnold@cs.uni-potsdam.de Grundfragen Was ist Logik? Logik untersucht

Mehr

Datenanalyse Klausur SS 2014 (nicht wortwörtlich) Minderjährige Mörder sind für ihr Vergehen nicht genauso verantwortlich wie Erwachsene.

Datenanalyse Klausur SS 2014 (nicht wortwörtlich) Minderjährige Mörder sind für ihr Vergehen nicht genauso verantwortlich wie Erwachsene. Datenanalyse Klausur SS 2014 (nicht wortwörtlich) 1. Ist das folgende Argument gültig? Wenn minderjährige Mörder für ihr Vergehen genauso verantwortlich sind wie Erwachsene, ist eine lebenslängliche Strafe

Mehr

Argumentationstheorie 3. Sitzung

Argumentationstheorie 3. Sitzung Argument Argumentationstheorie 3. Sitzung Prof. Dr. Ansgar Beckermann Wintersemester 2004/5 Kurz Ein Argument ist eine Folge von, in der eine Aussage (die Konklusion) in dem Sinne auf andere (die Prämissen)

Mehr

17 Grundbegriffe der Logik der Sprache PL

17 Grundbegriffe der Logik der Sprache PL 17 Grundbegriffe der Logik der Sprache PL Erinnerung Definition 11.1 Ein Satz A der Sprache AL ist genau dann logisch wahr, wenn sich allein aus der Bedeutung der in ihm vorkommenden logischen Ausdrücke

Mehr

Wenn alle Bären pelzig sind und Ned ein Bär ist, dann ist Ned pelzig.

Wenn alle Bären pelzig sind und Ned ein Bär ist, dann ist Ned pelzig. 2.2 Logische Gesetze 19 auch, was für Sätze logisch wahr sein sollen. Technisch gesehen besteht zwar zwischen einem Schluss und einem Satz selbst dann ein deutlicher Unterschied, wenn der Satz Wenn...dann

Mehr

2. die megarisch-stoische Logik

2. die megarisch-stoische Logik 2. die megarisch-stoische Logik 2.1 das Schicksal der stoischen Logik Von den herausragenden megarisch-stoischen Logikern ist ein einziger Stoiker, nämlich Chrysippos, während 2 oder 3 Megariker sind:

Mehr

Argumentationstheorie 10. Sitzung

Argumentationstheorie 10. Sitzung Argumentationstheorie 10. Sitzung sind Schlüsse wie Alle Säugetiere sind Tiere. Alle Hunde sind Säugetiere. Alle Hunde sind Tiere. Prof. Dr. Ansgar Beckermann Wintersemester 2004/5 Alle S sind M Alle S

Mehr

Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 8, 11. Juni 2008. Formale Methoden II p.1/30

Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 8, 11. Juni 2008. Formale Methoden II p.1/30 Formale Methoden II SS 2008 Universität Bielefeld Teil 8, 11. Juni 2008 Gerhard Jäger Formale Methoden II p.1/30 Beispiele Anmerkung: wenn der Wahrheitswert einer Formel in einem Modell nicht von der Belegungsfunktion

Mehr

Rhetorik und Argumentationstheorie.

Rhetorik und Argumentationstheorie. Rhetorik und Argumentationstheorie 2 [frederik.gierlinger@univie.ac.at] Teil 2 Was ist ein Beweis? 2 Wichtige Grundlagen Tautologie nennt man eine zusammengesetzte Aussage, die wahr ist, unabhängig vom

Mehr

2.1.3 Interpretation von aussagenlogischen Formeln. 1) Intensionale Interpretation

2.1.3 Interpretation von aussagenlogischen Formeln. 1) Intensionale Interpretation 2.1.3 Interpretation von aussagenlogischen Formeln 1) Intensionale Interpretation Definition 11: Eine intensionale Interpretation einer aussagenlogischen Formel besteht aus der Zuordnung von Aussagen zu

Mehr

Lasst ihn hängen! 1. Was ist ein Paradox? 2. Die Schere des Sorites. Vorgehen. Paradox: Definitionsversuch I. Paradoxie: Definitionsversuch II

Lasst ihn hängen! 1. Was ist ein Paradox? 2. Die Schere des Sorites. Vorgehen. Paradox: Definitionsversuch I. Paradoxie: Definitionsversuch II Vorgehen Lasst ihn hängen! Philosophische Paradoxien Prof. Dr. Benjamin Schnieder Philosophisches Seminar der Universität Hamburg 1. Was ist eine Paradoxie? 2. Vorstellung ausgewählter philosophischer

Mehr

In Argumentationen wollen wir die Gültigkeit von Aussagen erweisen. Schauen wir uns noch einmal zwei Beispiele deduktiven Schließens an:

In Argumentationen wollen wir die Gültigkeit von Aussagen erweisen. Schauen wir uns noch einmal zwei Beispiele deduktiven Schließens an: Grundlagen: Die Grundlage unseres Argumentierens bildet der sog. Syllogismus, der aus Prämissen (Voraussetzungen) und einer Konklusion (Schlussfolgerung) aufgebaut ist. Der praktische Syllogismus besteht

Mehr

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente II. Zur Logik 1. Bemerkungen zur Logik a. Logisches Gebäude der Mathematik: wenige Axiome (sich nicht widersprechende Aussagen) bilden die Grundlage; darauf aufbauend Lehrsätze unter Berücksichtigung der

Mehr

Wissenschaftliches Arbeiten

Wissenschaftliches Arbeiten Teil 7: Argumentieren und Begründen 1 Grundregel: Spezifisch argumentieren Wissenschaftliches Arbeiten Nie mehr zeigen, als nötig oder gefragt ist. Sonst wird das Argument angreifbar und umständlich. Schwammige

Mehr

Erklärung und Kausalität. Antworten auf die Leitfragen zum

Erklärung und Kausalität. Antworten auf die Leitfragen zum TU Dortmund, Sommersemester 2009 Institut für Philosophie und Politikwissenschaft C. Beisbart Erklärung und Kausalität Antworten auf die Leitfragen zum 5.5.2009 Textgrundlage: C. G. Hempel, Aspekte wissenschaftlicher

Mehr

Argumentationstheorie 7. Sitzung

Argumentationstheorie 7. Sitzung Erinnerung rgumentationstheorie 7. Sitzung Prof. Dr. nsgar Beckermann intersemester 2004/5 a priori a posteriori Eine ussage ist a priori wahr, wenn man ihre ahrheit ohne Rückgriff auf Erfahrung (allein

Mehr

Argumentationstheorie 11. Sitzung

Argumentationstheorie 11. Sitzung rgumentationstheorie 11. Sitzung Prof. r. nsgar eckermann Wintersemester 2004/5 Ein Zirkelschluss ist ein Schluss, in dem die Konklusion in offener oder versteckter Form schon in den Prämissen auftaucht.

Mehr

Kapitel 1.5 und 1.6. Ein adäquater Kalkül der Aussagenlogik

Kapitel 1.5 und 1.6. Ein adäquater Kalkül der Aussagenlogik Kapitel 1.5 und 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2010/11) Kapitel 1.5 und 1.6: Kalküle 1 /

Mehr

Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert.

Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert. 1 Einführung 1.1 Logik und Linguistik Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert. In der mathematischen, formalen Logik werden formale Sprachen,

Mehr

Datenanalyse Klausur SS 2014 (nicht wortwörtlich) Lösung (aus einer Nachbesprechung mit Elsenbeer)

Datenanalyse Klausur SS 2014 (nicht wortwörtlich) Lösung (aus einer Nachbesprechung mit Elsenbeer) 1. Ist das folgende Argument gültig? Datenanalyse Klausur SS 2014 (nicht wortwörtlich) Lösung (aus einer Nachbesprechung mit Elsenbeer) Wenn minderjährige Mörder für ihr Vergehen genauso verantwortlich

Mehr

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 9.

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 9. Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 9. November 2016 Weitere Begriffe Eine Zuweisung von Wahrheitswerten W bzw. F

Mehr

Argumentationstheorie 8. Sitzung

Argumentationstheorie 8. Sitzung edeutung logischer usdrücke Die edeutung logischer usdrücke rgumentationstheorie 8. Sitzung Prof. Dr. nsgar eckermann intersemester 2004/5 Logische usdrücke wie und, oder, nicht, alle, kein und etwas bezeichnen

Mehr

1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12)

1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12) Technische Universität München Zentrum Mathematik PD Dr. Christian Karpfinger http://www.ma.tum.de/mathematik/g8vorkurs 1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12) Aufgabe 1.1: Gehen Sie die Inhalte

Mehr

Inhaltsverzeichnis. Inhaltsverzeichnis

Inhaltsverzeichnis. Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis 1 Beweistechniken 1.1 Prädikatenlogik..................................... 1. Direkter Beweis.................................... 3 1.3 Indirekter Beweis....................................

Mehr

Logik in der Schule. Bildungsplan 2004 (Zitat:) Begründen. Elementare Regeln und Gesetze der Logik kennen und anwenden

Logik in der Schule. Bildungsplan 2004 (Zitat:) Begründen. Elementare Regeln und Gesetze der Logik kennen und anwenden 1 Nr.2-21.04.2016 Logik in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweismethoden der Mathematik kennen, gezielt

Mehr

14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln

14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln 14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln Erinnerung Man kann die logischen Eigenschaften von Sätzen der Sprache AL in dem Maße zur Beurteilung der logischen

Mehr

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 25.

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 25. Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 25. Januar 2017 Gödels Unvollständigkeitssatz Unvollständigkeit von Axiomensystemen:

Mehr

Analyse ethischer Texte

Analyse ethischer Texte WEITERBILDUNGSSTUDIENGANG ANGEWANDTE ETHIK SOMMERSEMESTER 2005 Prof. Dr. Kurt Bayertz Analyse ethischer Texte 23. Juli 2005 I. Was sind Argumente? Zunächst eine allgemeine Charakterisierung von Argumenten

Mehr

2 Formale Systeme. 2.1 Definition und Eigenschaften

2 Formale Systeme. 2.1 Definition und Eigenschaften 2 Formale Systeme Wenn es sich darum handelt, die Grundlagen einer Wissenschaft zu untersuchen, so hat man ein System von Axiomen aufzustellen, welche eine genaue und vollständige Beschreibung derjenigen

Mehr

Formale Logik. 4. Sitzung. Die Logik der Sprache AL. Die Logik der Sprache AL. Die Logik der Sprache AL

Formale Logik. 4. Sitzung. Die Logik der Sprache AL. Die Logik der Sprache AL. Die Logik der Sprache AL ormale Logik 4. Sitzung Prof. Dr. Ansgar Beckermann Sommersemester 2005 Erinnerung Ein Satz ist genau dann logisch wahr, wenn er unabhängig davon, was die in ihm vorkommenden deskriptiven Zeichen bedeuten

Mehr

Musterlösung Grundbegriffe der Mathematik Frühlingssemester 2016, Aufgabenblatt 1

Musterlösung Grundbegriffe der Mathematik Frühlingssemester 2016, Aufgabenblatt 1 Musterlösung Grundbegriffe der Mathematik Frühlingssemester 01, Aufgabenblatt 1 Aufgabenblatt 1 0 Punkte Aufgabe 1 Welche der folgenden Ausdrücke sind Aussagen, welche sind Aussageformen und welche sind

Mehr

Formale Semantik I: Aussagenlogik (Skript 2014)

Formale Semantik I: Aussagenlogik (Skript 2014) Formale Semantik I: Aussagenlogik (Skript 2014) Sprachwissenschaft Universität Regensburg Jürgen Reischer Einführung Aussagenlogik ist ein Zweig der philosophisch-mathematischen Logik, der auch in der

Mehr

Mentale Modelle und kognitive Täuschungen

Mentale Modelle und kognitive Täuschungen Mentale Modelle und kognitive Täuschungen Theorien des deduktiven Denkens Theorien auf dem algorithmischen Level: Wie führen Menschen Berechnungen und Deduktion aus? Theorien auf dem berechnenden Level:

Mehr

Anhang II: Induktion

Anhang II: Induktion Anhang II: Induktion Induktiv gültige Argumente Die Logik, so wie wir sie bisher kennen gelernt haben, behandelt die Frage, ob Schlüsse (Argumente) deduktiv gültig sind. Deduktiv gültige Schlüsse sind

Mehr

5. AUSSAGENLOGIK: SEMANTIK

5. AUSSAGENLOGIK: SEMANTIK 5. AUSSAGENLOGIK: SEMANTIK 5.1 Charakteristische Wahrheitstaeln 5.2 Wahrheitsertzuordnung I 5.3 Die Konstruktion von Wahrheitstaeln 5.4 Wahrheit und Falschheit unter einer Wahrheitsertzuordnung 5.5 Wahrheitsbedingungen

Mehr

12 Wahrheitsbäume zur Beurteilung der logischen Wahrheit von Sätzen der Sprache AL

12 Wahrheitsbäume zur Beurteilung der logischen Wahrheit von Sätzen der Sprache AL 12 Wahrheitsbäume zur Beurteilung der logischen Wahrheit von Sätzen der Sprache L Eine zweite Methode Das Wahrheitsbaumverfahren Dieses Verfahren beruht auf der Methode des indirekten Beweises. Wahrheitsbäume

Mehr

Rhetorik und Argumentationstheorie. [frederik.gierlinger@univie.ac.at]

Rhetorik und Argumentationstheorie. [frederik.gierlinger@univie.ac.at] Rhetorik und Argumentationstheorie 1 [frederik.gierlinger@univie.ac.at] Ablauf der Veranstaltung Termine 1-6 Erarbeitung diverser Grundbegriffe Termine 7-12 Besprechung von philosophischen Aufsätzen Termin

Mehr

Philosophisches Argumentieren

Philosophisches Argumentieren Holm Tetens Philosophisches Argumentieren Eine Einführung Verlag C.H.Beck Inhalt Vorwort 9 Teil 1: Der Grundsatz philosophischen Argumentierens 1. Was man im Lehnstuhl wissen kann 14 2. Die ewigen großen

Mehr

Mathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik

Mathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Grundbegriffe der Aussagenlogik 1 Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen

Mehr

Tilman Bauer. 4. September 2007

Tilman Bauer. 4. September 2007 Universität Münster 4. September 2007 und Sätze nlogik von Organisatorisches Meine Koordinaten: Sprechstunden: Di 13:30-14:30 Do 9:00-10:00 tbauer@uni-muenster.de Zimmer 504, Einsteinstr. 62 (Hochhaus)

Mehr

Musterlösung Übungszettel 8 (Probeklausur 1)

Musterlösung Übungszettel 8 (Probeklausur 1) Sommersemester 2005 Seite 1 von 5 Musterlösung Übungszettel 8 (Probeklausur 1) (1) Zeigen Sie mit Hilfe der Wahrheitstafelmethode, dass a) der Satz (p q) (q p) (p q) eine Tautologie ist (5 Punkte); p q

Mehr

Ist logisches Wissen informativ?

Ist logisches Wissen informativ? Ist logisches Wissen informativ? Christopher von Bülow 16. Oktober 2003 Es wird manchmal behauptet, Tautologien 1 seien nicht informativ, sondern inhaltsleer; sie würden uns nichts über die Welt sagen.

Mehr

2.3 Komplexe aussagenlogisch unzerlegbare Sätze

2.3 Komplexe aussagenlogisch unzerlegbare Sätze 2.3. KOMPLEXE AUSSAGENLOGISCH UNZERLEGBARE SÄTZE 59 2.3 Komplexe aussagenlogisch unzerlegbare Sätze Die erste Kategorie der aussagenlogisch unzerlegbaren Sätze ist wie wir gesehen haben die der einfachen

Mehr

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken Beweistechniken Ronja Düffel WS2014/15 13. Januar 2015 Warum ist Beweisen so schwierig? unsere natürliche Sprache ist oft mehrdeutig wir sind in unserem Alltag von logischen Fehlschlüssen umgeben Logik

Mehr

Epistemische Logik Einführung

Epistemische Logik Einführung Epistemische Logik Einführung Dr. Uwe Scheffler [Technische Universität Dresden] Oktober 2010 Was ist epistemische Logik? Epistemische Logik ist die Logik von Wissen und Glauben, so wie klassische Logik

Mehr

Künstliche Intelligenz

Künstliche Intelligenz Künstliche Intelligenz Logische Agenten Claes Neuefeind Sprachliche Informationsverarbeitung Universität zu Köln 02. November 2011 Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagen Logik

Mehr

Paradoxien der Replikation

Paradoxien der Replikation Joachim Stiller Paradoxien der Replikation Alle Rechte vorbehalten Paradoxien Die Paradoxien (Wiki) Hier einmal Auszüge aus dem Wiki-Artikel zum Begriff Paradoxon Ein Paradox(on) (auch Paradoxie, Plural

Mehr

Thema: Logik: 2. Teil. Übersicht logische Operationen Name in der Logik. Negation (Verneinung) Nicht

Thema: Logik: 2. Teil. Übersicht logische Operationen Name in der Logik. Negation (Verneinung) Nicht Thema: Logik: 2. Teil Übersicht logische Operationen Name in der Logik Symbol Umgangssprachlicher Name Negation (Verneinung) Nicht Konjunktion ^ Und Disjunktion v Oder Subjunktion (Implikation) Bijunktion

Mehr

Vorlesung. Einführung in die mathematische Sprache und naive Mengenlehre

Vorlesung. Einführung in die mathematische Sprache und naive Mengenlehre Vorlesung Einführung in die mathematische Sprache und naive Mengenlehre Allgemeines RUD26 Erwin-Schrödinger-Zentrum (ESZ) RUD25 Johann-von-Neumann-Haus Fachschaft Menge aller Studenten eines Institutes

Mehr

Klassische Logik. - eine Einführung - Fakultät für Wirtschaftswissenschaft Semester: WS 2012/2013. (I.) Wichtiges in Kürze: Dozent(in): Anmeldefrist:

Klassische Logik. - eine Einführung - Fakultät für Wirtschaftswissenschaft Semester: WS 2012/2013. (I.) Wichtiges in Kürze: Dozent(in): Anmeldefrist: Fakultät für Wirtschaftswissenschaft Semester: WS 2012/2013 Klassische Logik - eine Einführung - Veranstaltungs-Nummer: B2-1/P2-1 Logik (neue PO) (I.) Wichtiges in Kürze: Dozent(in): Jun.-Prof. Dr. J.

Mehr

Logik für Informatiker Logic for Computer Scientists

Logik für Informatiker Logic for Computer Scientists Logik für Informatiker Logic for Computer Scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 13 Vollständigkeit der Aussagenlogik Till Mossakowski Logik 2/ 13 Objekt- und Metatheorie

Mehr

Einführung in die Theoretische Informatik

Einführung in die Theoretische Informatik Einführung in die Theoretische Informatik Woche 1 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Einleitung Einleitung HZ (IFI) ETI - Woche 1 8/210 Theoretische Informatik Theoretische

Mehr

Einführung in die Theoretische Informatik. Woche 1. Harald Zankl. Institut für UIBK Wintersemester 2014/2015.

Einführung in die Theoretische Informatik. Woche 1. Harald Zankl. Institut für UIBK Wintersemester 2014/2015. Einführung in die Woche 1 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Einleitung Einleitung HZ (IFI) ETI - Woche 1 8/210 Die beschäftigt sich mit der Abstraktion, Modellbildung

Mehr

unlogisch verwendet man im Alltag meist, um den Gesprächspartner zu entwaffnen ( das ist total unlogisch, was du da sagst! ) :

unlogisch verwendet man im Alltag meist, um den Gesprächspartner zu entwaffnen ( das ist total unlogisch, was du da sagst! ) : ELEMENTARE LOGIK I 1. Vorlesung: 04.10.2010 Was ist Logik? Alltagsgebrauch: oft wird logisch im Sinn von unmittelbar einsichtig verwendet oder auch in Zusammenhang mit kausalen Wirkungsweisen ( wenn du

Mehr

Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.

Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck. 2 Aussagenlogik (AL) 2. Wahrheitsfunktionale Konnektoren Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.

Mehr

Vorlesung Mathematik I für Wirtschaftswissenschaftler. Universität Leipzig, WS 16/17

Vorlesung Mathematik I für Wirtschaftswissenschaftler. Universität Leipzig, WS 16/17 Vorlesung Mathematik I für Wirtschaftswissenschaftler Universität Leipzig, WS 16/17 Prof. Dr. Bernd Kirchheim Mathematisches Institut kirchheim@math.uni-leipzig.de 1 / 19 Dies ist der Foliensatz zur Vorlesung

Mehr

UE Logik für Wissensrepräsentation WS 2016/17

UE Logik für Wissensrepräsentation WS 2016/17 UE Logik für Wissensrepräsentation WS 2016/17 Aufgabenblatt 2: Prädikatenlogik Beispiel 1: Zeigen Sie mittels Einführungs- und Beseitigungsregeln für die Herleitungsrelation der Prädikatenlogik folgende

Mehr

Die Verwendung zweier unterschiedlicher Demonstrativpronomina in gesprochenem Deutsch

Die Verwendung zweier unterschiedlicher Demonstrativpronomina in gesprochenem Deutsch Germanistik David Horak Die Verwendung zweier unterschiedlicher Demonstrativpronomina in gesprochenem Deutsch Der/die/das vs. dieser/diese/dieses Studienarbeit Inhaltsverzeichnis 1. Einleitung... 1 2.

Mehr

2.2.4 Logische Äquivalenz

2.2.4 Logische Äquivalenz 2.2.4 Logische Äquivalenz (I) Penélope raucht nicht und sie trinkt nicht. (II) Es ist nicht der Fall, dass Penélope raucht oder trinkt. Offenbar behaupten beide Aussagen denselben Sachverhalt, sie unterscheiden

Mehr

Frege löst diese Probleme, indem er zusätzlich zum Bezug (Bedeutung) sprachlicher Ausdrücke den Sinn einführt.

Frege löst diese Probleme, indem er zusätzlich zum Bezug (Bedeutung) sprachlicher Ausdrücke den Sinn einführt. 1 Vorlesung: Denken und Sprechen. Einführung in die Sprachphilosophie handout zum Verteilen am 9.12.03 (bei der sechsten Vorlesung) Inhalt: die in der 5. Vorlesung verwendeten Transparente mit Ergänzungen

Mehr

Seminar Übergänge. Einstieg: Kartenaufgabe. Gliederung

Seminar Übergänge. Einstieg: Kartenaufgabe. Gliederung Einstieg: Kartenaufgabe Gegeben sind vier Karten. Jede Karte hat auf der einen Seite einen Buchstaben und auf der anderen Seite eine Zahl. Seminar Übergänge Thema: Logische Probleme Thomas Hellwig, Thomas

Mehr

Von der Metaethik zur Moralphilosophie: R. M. Hare Der praktische Schluss/Prinzipien Überblick zum 26.10.2009

Von der Metaethik zur Moralphilosophie: R. M. Hare Der praktische Schluss/Prinzipien Überblick zum 26.10.2009 TU Dortmund, Wintersemester 2009/10 Institut für Philosophie und Politikwissenschaft C. Beisbart Von der Metaethik zur Moralphilosophie: R. M. Hare Der praktische Schluss/Prinzipien Überblick zum 26.10.2009

Mehr

Phänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009

Phänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009 Phänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009 1. Arten von Konditionalsätzen Konditionalsätze drücken aus, dass ein Ereignis nur unter einer bestimmten

Mehr

Logik für Informatiker

Logik für Informatiker Vorlesung Logik für Informatiker 1. Einführung Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Formale Logik Ziel Formalisierung und Automatisierung rationalen

Mehr

Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.

Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben. 2 Aussagenlogik () 2.3 Semantik von [ Gamut 4-58, Partee 7-4 ] Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s und s 2 unterschiedliche Wahrheitswerte haben. Beispiel: Es regnet.

Mehr

Argumentationstheorie 5. Sitzung

Argumentationstheorie 5. Sitzung Zwei Arten von Schlüssen Argumentationstheorie 5. Sitzung All reasonings may be divided into two kinds, namely demonstrative reasoning, [ ] and moral (or probable) reasoning. David Hume An Enquiry Concerning

Mehr

gleichermaßen gültig wären. Doch dies ist, wie ich zeigen werde, keineswegs der Fall. Es ist eines der Grundübel unserer Zeit, dass ein Großteil der

gleichermaßen gültig wären. Doch dies ist, wie ich zeigen werde, keineswegs der Fall. Es ist eines der Grundübel unserer Zeit, dass ein Großteil der gleichermaßen gültig wären. Doch dies ist, wie ich zeigen werde, keineswegs der Fall. Es ist eines der Grundübel unserer Zeit, dass ein Großteil der Menschen entweder nicht willens oder nicht fähig ist,

Mehr

Brückenkurs Mathematik

Brückenkurs Mathematik Brückenkurs Mathematik 6.10. - 17.10. Vorlesung 1 Logik,, Doris Bohnet Universität Hamburg - Department Mathematik Mo 6.10.2008 Zeitplan Tagesablauf: 9:15-11:45 Vorlesung Audimax I 13:00-14:30 Übung Übungsräume

Mehr

Kapitel 1. Aussagenlogik

Kapitel 1. Aussagenlogik Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax

Mehr

FREIHEIT ZWEI FREIHEITSBEGRIFFE DER TEMPEL DES SARASTRO (1), 34-36

FREIHEIT ZWEI FREIHEITSBEGRIFFE DER TEMPEL DES SARASTRO (1), 34-36 FREIHEIT ZWEI FREIHEITSBEGRIFFE DER TEMPEL DES SARASTRO (1), 34-36 34 RATIONALE SELBSTBESTIMMUNG UND DIE ORGANISATION DER GESELLSCHAFT (1) Das individuelle Ideal der rationalen Selbstbestimmung : Kontrolle

Mehr

4. Aussagenlogik 32 #WUUCIGPNQIKM

4. Aussagenlogik 32 #WUUCIGPNQIKM 4. Aussagenlogik Wir haben bisher beschrieben, auf welche Weise die Objekte und Individuen in unserer Welt als einfache Mengen und Mengen von n-tupeln erfasst werden können. Daraufhin haben wir Relationen

Mehr

1 Gruppenübung. A. 1: (a) 1. Sei x < 1. Dann ist x 1 < 2 < 0 und x + 1 < 0 Lösen müssen wir demnach folgende Gleichung: x ( x 1) = 7

1 Gruppenübung. A. 1: (a) 1. Sei x < 1. Dann ist x 1 < 2 < 0 und x + 1 < 0 Lösen müssen wir demnach folgende Gleichung: x ( x 1) = 7 1 Gruppenübung A. 1: (a) 1. Sei x < 1. Dann ist x 1 < < 0 und x + 1 < 0 Lösen müssen wir demnach folgende Gleichung: x + 1 + ( x 1) = 7 x = 7. Da x = 7 < 1, ist 7. Sei 1 x 1. eine Lösung. 3. Sei x > 1.

Mehr

-,.. 3) -(-A & -B) modus tollendo tollens 1,2 4) A v B de Morgan 3

-,.. 3) -(-A & -B) modus tollendo tollens 1,2 4) A v B de Morgan 3 Ben - Alexander Bohnke Köln, den 6.11.78 Einige Überlegungen zur logischen Analyse (des Beweises) der These der zweiten Antinomie in KANTS "Kritik der rein~n Vernunft" I) Aussagenlogische Analyse Wie ich

Mehr

Die naturalistische Verteidigung des wissenschaftlichen Realismus

Die naturalistische Verteidigung des wissenschaftlichen Realismus Christian Suhm Westfälische Wilhelms-Universität Münster Philosophisches Seminar Domplatz 23 48143 Münster Email: suhm@uni-muenster.de Anhörungsvortrag am Institut für Philosophie in Oldenburg (04.02.2004)

Mehr

ÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER

ÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER ÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER FORMALE SPRACHEN Bevor wir anfangen, uns mit formaler Logik zu beschäftigen, müssen wir uns mit formalen Sprachen beschäftigen Wie jede natürliche Sprache,

Mehr

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 19.

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 19. Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 19. Oktober 2016 Eine Annäherung Suche auf Spiegel online nach logisch Anderseits

Mehr

Logik für Informatiker Logic for computer scientists

Logik für Informatiker Logic for computer scientists Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 24 Die Booleschen Junktoren Till Mossakowski Logik 2/ 24 Die Negation Wahrheitstafel

Mehr

Proseminar. Wissenschaftliches Arbeiten. Mathias Lux. Universität Klagenfurt, Austria

Proseminar. Wissenschaftliches Arbeiten. Mathias Lux. Universität Klagenfurt, Austria Proseminar Wissenschaftliches Arbeiten Mathias Lux Universität Klagenfurt, Austria This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Agenda Verteilung der Themen

Mehr

Allgemeingültige Aussagen

Allgemeingültige Aussagen Allgemeingültige Aussagen Definition 19 Eine (aussagenlogische) Formel p heißt allgemeingültig (oder auch eine Tautologie), falls p unter jeder Belegung wahr ist. Eine (aussagenlogische) Formel p heißt

Mehr

Handout zu Beweistechniken

Handout zu Beweistechniken Handout zu Beweistechniken erstellt vom Lernzentrum Informatik auf Basis von [Kre13],[Bün] Inhaltsverzeichnis 1 Was ist ein Beweis? 2 2 Was ist Vorraussetzung, was ist Behauptung? 2 3 Beweisarten 3 3.1

Mehr

3. Grundlegende Begriffe von Logiken - Aussagenlogik

3. Grundlegende Begriffe von Logiken - Aussagenlogik 3. Grundlegende Begriffe von Logiken - Aussagenlogik Wichtige Konzepte und Begriffe in Logiken: Syntax (Signatur, Term, Formel,... ): Festlegung, welche syntaktischen Gebilde als Formeln (Aussagen, Sätze,

Mehr