7 Gültigkeit und logische Form von Argumenten

Save this PDF as:
 WORD  PNG  TXT  JPG

Größe: px
Ab Seite anzeigen:

Download "7 Gültigkeit und logische Form von Argumenten"

Transkript

1 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 von Argumenten: ihre Gültigkeit. 3. Bei der Logik im engeren Sinne geht es sogar nur um eine der beiden Arten von Gültigkeit nämlich um die deduktive Gültigkeit. Gültigkeit und logische Form 1 Der Gegenstand der Logik ist die deduktive Gültigkeit von Argumenten bzw. die logische Folgerungsbeziehung, die zwischen den Prämissen und der Konklusion eines Arguments bestehen muss, wenn dieses Argument deduktiv gültig sein soll. Gültigkeit und logische Form 2

2 Bisher hatten wir gesagt Ein Argument ist genau dann (deduktiv) gültig, wenn in ihm die Konklusion logisch aus den Prämissen folgt, d.h. wenn die Konklusion wahr sein muss, falls alle Prämissen wahr sind. Frage Was ist hier mit dem Ausdruck muss gemeint? Gültigkeit und logische Form 3 Zwei Beispielargumente (1) Arminia Bielefeld spielt in der zweiten oder in der ersten Bundesliga. Arminia Bielefeld spielt nicht in der ersten Bundesliga. Also: Arminia Bielefeld spielt in der zweiten Bundesliga. (2) Flöten sind keine Blechblasinstrumente. Klaviere sind keine Blechblasinstrumente. Also: Klaviere sind keine Flöten. Gültigkeit und logische Form 4

3 Zwei weitere Beispielargumente (3) Dieter Timmermann ist Rektor der Universität Bielefeld oder Prorektor für den Bereich Lehre. Dieter Timmermann ist nicht Prorektor für den Bereich Lehre. Also: Dieter Timmermann ist Rektor der Universität Bielefeld. (4) Flöten sind keine Blechblasinstrumente. Piccoloflöten sind keine Blechblasinstrumente. Also: Piccoloflöten sind keine Flöten. Gültigkeit und logische Form 5 Diagnose Die Argumente (1) und (3) und die Argumente (2) und (4) haben jeweils dieselbe logische Form. Die logische Form von (1) und (3) kann man durch folgende Argumentform beschreiben: (1 ) p oder q nicht q Also: p Gültigkeit und logische Form 6

4 Und die logische Form von (2) und (4) kann man durch folgende Argumentform beschreiben: (2 ) Fs sind keine Gs Hs sind keine Gs Also: Hs sind keine Fs Gültigkeit und logische Form 7 Beobachtung Auf der einen Seite gilt: Alle Argumente der Form (1 ) mit wahren Prämissen haben auch eine wahre Konklusion. Und auf der anderen Seite gilt: Es gibt Argumente der Form (2 ) mit wahren Prämissen und falscher Konklusion. [(4) ist so ein Argument.] Gültigkeit und logische Form 8

5 Fazit Die Argumente (1) und (3) sind deshalb gültig, weil alle Argumente der gleichen logischen Form (alle strukturgleichen Argumente) mit wahren Prämissen auch eine wahre Konklusion haben. Und Das Argument (2) ist deshalb nicht gültig, weil es ein Argument der gleichen logischen Form (ein strukturgleiches Argument) mit wahren Prämissen und falscher Konklusion gibt. Gültigkeit und logische Form 9 Generell Ein Argument ist genau dann gültig, wenn es kein strukturgleiches Argument mit wahren Prämissen und falscher Konklusion gibt. Und umgekehrt: Ein Argument ist genau dann nicht gültig, wenn es mindestens ein strukturgleiches Argument mit wahren Prämissen und falscher Konklusion gibt. Gültigkeit und logische Form 10

6 Definition 7.1 In einem Argument folgt die Konklusion genau dann logisch aus den Prämissen, wenn alle strukturgleichen Argumente mit wahren Prämissen auch wahre Konklusionen haben. Gültigkeit und logische Form 11 Bemerkung Die Tatsache, dass es bei der Gültigkeit eines Arguments nur auf dessen logische Form ankommt, ist der Grund dafür, dass die deduktive Logik häufig auch als formale Logik bezeichnet wird. Hinter diesem Ausdruck verbirgt sich also gar nichts Geheimnisvolles, und er bedeutet auch nicht, dass man in der Logik oder besser: mit Hilfe der Logik niemals zu inhaltlichen Aussagen kommen kann. In dieser Ausdrucksweise wird vielmehr nur deutlich, dass die Gültigkeit von Argumenten (also das, worum es der Logik geht) allein von ihrer logischen Form abhängt. Gültigkeit und logische Form 12

7 8 Logische Form und die Bedeutung der in einem Argument enthaltenen logischen Ausdrücke Frage Wenn A eine Argumentform ist, für die gilt: Alle Einsetzungsinstanzen von A mit wahren Prämissen haben auch eine wahre Konklusion, ist das reiner Zufall? Oder gibt es dafür einen systematischen Grund? Logische Form und logische Ausdrücke 1 Vergleichen wir die folgenden Sätze (1) Gerhard Schröder ist Bundeskanzler. (2) Färsen sind Kühe. (3) 3 ist durch 2 teilbar oder 3 ist nicht durch 2 teilbar. Logische Form und logische Ausdrücke 2

8 Die Wahrheit des Satzes (1) hängt unter anderem davon ab, wie die Realität beschaffen ist. Um festzustellen, ob dieser Satz wahr ist, müssen wir nicht nur wissen, was die Ausdrücke Gerhard Schröder und Bundeskanzler bedeuten, sondern auch, ob es wirklich so ist, wie der Satz besagt, d.h. ob die durch den Ausdruck Gerhard Schröder bezeichnete Person tatsächlich die durch den Ausdruck Bundeskanzler bezeichnete Eigenschaft hat. Sätze dieser Art werden traditionell synthetische Aussagesätze genannt. Logische Form und logische Ausdrücke 3 Um festzustellen, dass der Satz (2) wahr ist, müssen wir dagegen nicht wissen, wie die Realität beschaffen ist. Die Wahrheit dieses Satzes ergibt sich allein schon aus der Bedeutung der Ausdrücke Färse und Kuh. (Denn im Lexikon steht: Färse Kuh, die noch nicht gekalbt hat.) Sätze wie (2) werden daher zur Abgrenzung gegen Sätze wie (1) analytische Aussagesätze genannt. Logische Form und logische Ausdrücke 4

9 Die Wahrheit des Satzes (3) hängt nicht einmal mehr von der Bedeutung der Ausdrücke 3 und durch 2 teilbar ab. Für die Wahrheit dieses Satzes kommt es nur auf die Bedeutung der Ausdrücke oder und nicht an. Diese nennt man in Abgrenzung zu den deskriptiven Ausdrücken 3 und durch 2 teilbar logische Ausdrücke. Sätze wie (3) nennt man daher logisch determinierte Aussagesätze. Logische Form und logische Ausdrücke 5 Beobachtung Aus der Tatsache, dass der Satz (3) allein aufgrund der Bedeutung der in ihm vorkommenden logischen Ausdrücke wahr ist, folgt, dass alle Sätze wahr sind, die dieselbe logische Form wie dieser Satz haben, d.h. alle Sätze der Form (3 ) p oder nicht p. Logische Form und logische Ausdrücke 6

10 Analog gilt für Argumente Wenn sich allein aus der Bedeutung der in einem Argument vorkommenden logischen Zeichen ergibt, dass die Konklusion wahr ist, wenn alle Prämissen wahr sind, dann haben alle strukturgleichen Argumenten mit wahren Prämissen ebenfalls eine wahre Konklusion. Und umgekehrt Wenn alle Argumente derselben logischen Form mit wahren Prämissen auch eine wahre Konklusion haben, dann kann das nur daran liegen, dass sich allein aus der Bedeutung der in diesen Argumenten vorkommenden logischen Zeichen ergibt, dass ihre Konklusion wahr ist, wenn ihre Prämissen wahr sind. Logische Form und logische Ausdrücke 7 Definition 8.1 In einem Argument folgt die Konklusion genau dann logisch aus den Prämissen, wenn sich allein aus der Bedeutung der in den Prämissen und der Konklusion vorkommenden logischen Ausdrücke ergibt, dass alle strukturgleichen Argumente mit wahren Prämissen auch eine wahre Konklusion haben. Definition 8.2 Ein Argument ist genau dann (deduktiv) gültig, wenn sich allein aus der Bedeutung der in den Prämissen und der Konklusion vorkommenden logischen Ausdrücke ergibt, dass alle strukturgleichen Argumente mit wahren Prämissen auch eine wahre Konklusion haben. Logische Form und logische Ausdrücke 8

11 9 Die Problematik der logischen Form natürlichsprachlicher Aussagesätze Beispiel (1) Alle Tiere sind Lebewesen. Snoopy ist ein Tier. Also: Snoopy ist ein Lebewesen. Wenn wir feststellen wollen ob dieses Argument gültig ist, müssen wir dreierlei tun: Die Problematik natürlich-sprachlicher Aussagesätze 1 1. Wir müssen die logische Form des Arguments klären, d.h. feststellen, welche logischen Ausdrücke in ihm vorkommen und auf welche Weise diese Ausdrücke mit den vorkommenden deskriptiven Ausdrücken verbunden sind. 2. Wir müssen klären, welche Bedeutung die vorkommenden logischen Ausdrücke haben. 3. Wir müssen klären, ob sich aus der Bedeutung dieser Ausdrücke ergibt, dass alle strukturgleichen Argumente mit wahren Prämissen auch eine wahre Konklusion haben. Die Problematik natürlich-sprachlicher Aussagesätze 2

12 Dies ist es bei umgangssprachlich formulierten Argumenten aber oftmals nicht möglich, und zwar hauptsächlich aus zwei Gründen: 1. Es ist im allgemeinen schwierig und manchmal sogar unmöglich, die logische Form umgangssprachlich formulierter Argumente eindeutig zu bestimmen. 2. Die logischen Ausdrücke in der Umgangssprache sind oft mehrdeutig; auf jeden Fall ist ihre Bedeutung im allgemeinen nur schwer bestimmbar. Die Problematik natürlich-sprachlicher Aussagesätze 3 Erstes Beispiel Betrachten wir die folgenden beiden Sätze: (2) Paul ist sportlich und musikalisch. und (3) Paul ist sportlich und Paul ist musikalisch. Prima facie haben die beiden Sätze (2) und (3) offenbar verschiedene logische Formen (2 ) a ist F und G und (3 ) a ist F und a ist G. Die Problematik natürlich-sprachlicher Aussagesätze 4

13 Es wird jedoch oft die Auffassung vertreten, dass die Sätzen (2) und (3) dieselbe logische Form haben. Wie lässt sich diese Auffassung begründen? Wenn man vergleicht, wann die Sätze (2) und (3) wahr sind, dann wird schnell klar, dass sie dieselben Wahrheitsbedingungen besitzen: Beide Sätze sind genau dann wahr, wenn es wahr ist, dass Paul sportlich ist und dass Paul musikalisch ist. Also scheint es plausibel anzunehmen, dass beide Sätze dieselbe logische Form haben und zwar die Form (3 ) a ist F und a ist G. Die Problematik natürlich-sprachlicher Aussagesätze 5 Allerdings Wenn es nur auf die Identität der Wahrheitsbedingungen ankäme, müssten auch die beiden Sätze (3) Paul ist sportlich und Paul ist musikalisch und (4) Es ist nicht der Fall, dass Paul nicht sportlich ist oder dass Paul nicht musikalisch ist dieselbe logische Form haben. Denn auch diese Sätze haben dieselben Wahrheitsbedingungen. Bei diesen Sätzen gibt es jedoch nach übereinstimmender Meinung aller Logiker keinen Zweifel daran, dass ihre logische Form verschieden ist. Die Problematik natürlich-sprachlicher Aussagesätze 6

14 Eine Alternative Eine andere Methode, die häufig angewendet wird, um zu entscheiden, ob zwei Sätze A und B dieselbe logische Form haben, besteht darin, zu prüfen, ob aus ihnen dieselben Konklusionen folgen. Probleme 1. Diese Methode führt zu denselben Ergebnissen wie die Methode, bei der geprüft wird, ob A und B dieselben Wahrheitsbedingungen haben. Und 2. Wir benötigen Auskünfte über die logische Form von Sätzen ja gerade deshalb, weil wir wissen wollen, welche anderen Sätze aus ihnen folgen. Wir können also nicht voraussetzen, dass uns das schon bekannt ist. Die Problematik natürlich-sprachlicher Aussagesätze 7 Zweites Beispiel Betrachten wir die folgenden beiden Sätze (5) Anja und Petra sind Studentinnen und (6) Klaus und Tanja sind ein Paar. Auch diese Sätze scheinen dieselbe logische Form zu haben. Die Problematik natürlich-sprachlicher Aussagesätze 8

15 Aber Aus dem Satz (5) kann man auf den Satz (7) Anja ist eine Studentin schließen. Auf der anderen Seite ist der entsprechende Schluss von (6) auf den Satz (8) Klaus ist ein Paar aber nicht möglich. Denn dieser letzte Satz ist nicht nur falsch, er ist sogar unsinnig. Die Problematik natürlich-sprachlicher Aussagesätze 9 Wenn wir noch einmal genauer hinschauen, dann wird deutlich, dass die Sätze (5) und (6) trotz ihrer grammatisch gleichen Struktur strukturell verschiedene Wahrheitsbedingungen haben. Der Satz (5) ist genau dann wahr, wenn Anja und Petra beide eine bestimmte Eigenschaft haben nämlich die Eigenschaft, eine Studentin zu sein. Der Satz (6) dagegen ist genau dann wahr, wenn zwischen Klaus und Tanja eine bestimmte Beziehung besteht nämlich die Beziehung, ein Paar zu sein. Die Problematik natürlich-sprachlicher Aussagesätze 10

16 Der Satz (5) ähnelt also mehr den Sätzen Hans und Paul sind sportlich und Hans und Paul sind musikalisch. Der Satz (6) dagegen mehr den Sätzen Fritz und Inge sind verwandt oder Fritz und Inge sind Geschäftspartner. Die Problematik natürlich-sprachlicher Aussagesätze 11 In den beiden Sätzen (5) und (6) kommt nicht derselbe logische Ausdruck und vor, sondern zwei verschiedene Arten des und sozusagen ein und 1 und ein und 2. Wenn das so ist, dann ist aber auch die logische Form der beiden Sätze verschieden. Denn dann hat der Satz (5) die Form (5 ) a und 1 b sind F Und der Satz (6) die Form (6 ) a und 2 b sind G. Die Problematik natürlich-sprachlicher Aussagesätze 12

17 Drittes Beispiel (11) Fritz und Inge sind verliebt. Problem In diesem Satz kann das und sowohl im Sinne von und 1 als auch im Sinne von und 2 gemeint sein. Der Satz kann bedeuten, dass Fritz und Inge beide verliebt sind aber nicht unbedingt ineinander. Er kann aber auch bedeuten, dass Fritz und Inge ineinander verliebt sind. Es ist also nicht klar, welche logische Form dieser Satz hat. Und das ist so, weil nicht klar ist, was das in ihm enthaltene und bedeuten soll. Die Problematik natürlich-sprachlicher Aussagesätze 13 Es gibt viele Fälle, in denen es schwierig, vielleicht sogar unmöglich ist, die logische Form umgangssprachlicher Sätze bzw. die Bedeutung der in diesen Sätzen vorkommenden logischen Ausdrücke genau zu bestimmen. Die Problematik natürlich-sprachlicher Aussagesätze 14

18 Dafür gibt es zwei Hauptgründe Erster Grund Es gibt Sätze, die auf den ersten Blick trotz unterschiedlicher grammatischer Form dieselbe logische Form zu haben scheinen. Z.B.: (2) Paul ist sportlich und musikalisch. (3) Paul ist sportlich und Paul ist musikalisch. Die Problematik natürlich-sprachlicher Aussagesätze 15 In diesem Fall stellen sich folgende Fragen: 1. Ist es überhaupt möglich, dass es Sätze gibt, die trotz verschiedener grammatischer Form die gleiche logische Form haben? 2. Falls es möglich ist, wie kann man dann die logische Form dieser Sätze bestimmen? Die Problematik natürlich-sprachlicher Aussagesätze 16

19 Zweiter Grund Es gibt Sätze, die zwar die gleiche grammatische, aber nicht die gleiche logische Form haben. Z.B.: (5) Anja und Petra sind Studentinnen. (6) Klaus und Tanja sind ein Paar. In diesem Fall stellt sich die Frage: Wie kann man feststellen, ob ein in einem Aussagesatz vorkommender logischer Ausdruck dieselbe oder eine andere Bedeutung hat als derselbe Ausdruck in einem anderen Aussagesatz? Die Problematik natürlich-sprachlicher Aussagesätze 17 Da sich diese Fragen für die deutsche Umgangssprache nur mit den größten Schwierigkeiten (wenn überhaupt) beantworten lassen, sind wir gezwungen, folgenden Ausweg zu wählen. Wir werden an dieser Stelle die deutsche Umgangssprache verlassen und unsere Zuflucht bei zwei künstlichen Sprachen den Sprachen AL und PL suchen, die so konstruiert sind, dass Probleme der zuvor geschilderten Art gar nicht erst auftreten können. Die Problematik natürlich-sprachlicher Aussagesätze 18

20 D.h., diese Sprachen erfüllen die folgenden beiden Bedingungen: 1. In allen Sätzen der Sprachen AL und PL entspricht die logische Form genau der grammatischen Form. 2. Die in diesen Sprachen vorkommenden logischen Ausdrücke haben jeweils nur eine klar definierte Bedeutung. Die Problematik natürlich-sprachlicher Aussagesätze 19

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

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

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

1 Argument und Logik

1 Argument und Logik 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

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

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

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

13 Übersetzung umgangssprachlicher Sätze in die Sprache AL

13 Übersetzung umgangssprachlicher Sätze in die Sprache AL 13 Übersetzung umgangssprachlicher Sätze in die Sprache AL Lässt sich die Kenntnis der logischen Eigenschaften der Sätze von AL auch zur Beurteilung umgangssprachlicher Sätze und Argumente nutzen? Grundsätzliches

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

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

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

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

Die Logik der Sprache PL

Die Logik der Sprache PL II Die Logik der Sprache PL 16 Der Aufbau der Sprache PL Ein Beispiel Problem (1) Alle Menschen sind sterblich. Sokrates ist ein Mensch. Also: Sokrates ist sterblich. Intuitiv ist dieses Argument gültig.

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 Logik der Sprache AL

Die Logik der Sprache AL II Die Logik der Sprache AL 10 Der Aufbau der Sprache AL Vorbemerkung Die Sprachen AL und PL enthalten nur Aussagesätze, da wir nur an Argumenten interessiert sind. Jeder Aussagesatz hat eine Syntax und

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

Formale Logik. 6. Sitzung. Übersetzung in AL. Übersetzung in AL. Übersetzung in AL

Formale Logik. 6. Sitzung. Übersetzung in AL. Übersetzung in AL. Übersetzung in AL Übersetzung in AL ormale Logik 6. Sitzung rage Lässt sich die Kenntnis der logischen Eigenschaften der Sätze von AL auch zur Beurteilung umgangssprachlicher Sätze und Argumente nutzen? Prof. Dr. Ansgar

Mehr

sich die Schuhe zubinden können den Weg zum Bahnhof kennen die Quadratwurzel aus 169 kennen

sich die Schuhe zubinden können den Weg zum Bahnhof kennen die Quadratwurzel aus 169 kennen Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Grundfragen der Erkenntnistheorie Kapitel 2: Die klassische Analyse des Begriffs des Wissens 1 Varianten des Wissens 2 Was ist das Ziel der Analyse

Mehr

19 Übersetzung umgangssprachlicher Sätze in die Sprache PL

19 Übersetzung umgangssprachlicher Sätze in die Sprache PL 19 Übersetzung umgangssprachlicher Sätze in die Sprache PL Erinnerung Man kann die logischen Eigenschaften der Sätze einer Sprache L, deren Logik wir gut verstehen, zur Beurteilung der logischen Eigenschaften

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

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

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

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

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

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

1 K-Rahmen und K-Modelle

1 K-Rahmen und K-Modelle Seminar: Einführung in die Modallogik (WS 15/16) Lehrender: Daniel Milne-Plückebaum, M.A. E-Mail: dmilne@uni-bielefeld.de Handout: K-Rahmen, K-Modelle & K-Wahrheitsbedingungen Im Folgenden werden wir uns

Mehr

Mathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1

Mathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1 Mathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1 1 Vorbemerkungen Mathematische Begriffe und Argumentationsweisen sind in vielen Fällen nötig, wo man über abstrakte Objekte sprechen und

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

Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen

Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen 09.10.2014 Herzlich Willkommen zum 2. Teil des Vorschaukurses für Mathematik! Organisatorisches Der Vorkurs besteht aus sechs Blöcken

Mehr

Elemente der Mathematik - Winter 2016/2017

Elemente der Mathematik - Winter 2016/2017 4 Elemente der Mathematik - Winter 2016/2017 Prof. Dr. Peter Koepke, Regula Krapf Lösungen Übungsblatt 2 Aufgabe 6 (4 Punkte). Bestimmen Sie mit Hilfe von Wahrheitstafeln, welche der folgenden aussagenlogischen

Mehr

Die aussagenlogische Sprache

Die aussagenlogische Sprache LOGIK I (WS 2015/16) 89 Kapitel 4 Die aussagenlogische Sprache Wir haben bereits Symbole eingeführt, um aussagenlogisch unzerlegbare Aussagesätze zu repräsentieren, nämlich p, q,... Außerdem haben wir

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

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

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

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

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

Vorkurs Mathematik 2016

Vorkurs Mathematik 2016 Vorkurs Mathematik 2016 WWU Münster, Fachbereich Mathematik und Informatik PD Dr. K. Halupczok Skript VK1 vom 8.9.2016 VK1: Logik Die Kunst des Schlussfolgerns Denition 1: Eine Aussage ist ein sprachliches

Mehr

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Hinweise zur Logik Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Im folgenden soll an einige Grundsätze logisch korrekter Argumentation erinnert werden. Ihre Bedeutung

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

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

Verwendung von Methoden der formalen Logik in der Linguistik

Verwendung von Methoden der formalen Logik in der Linguistik 1.1 Logik und Linguistik 1 Einführung 1.1 Logik und Linguistik [ Gamut 9-27, Partee 93-95, Chierchia 17-52 ] Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert.

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

Jeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen.

Jeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen. Jeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen. Betrachtungen zu Sprache, Logik und Beweisen Sprache Wir gehen von unserem Alphabet einigen Zusatzsymbolen aus.

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

Mathematische Grundlagen der Computerlinguistik

Mathematische Grundlagen der Computerlinguistik Mengen und Mengenoperationen (Teil I) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents Mengen und ihre Darstellung Darstellung endlicher Mengen Darstellung unendlicher

Mehr

6. AUSSAGENLOGIK: TABLEAUS

6. AUSSAGENLOGIK: TABLEAUS 6. AUSSAGENLOGIK: TABLEAUS 6.1 Motivation 6.2 Wahrheitstafeln, Wahrheitsbedingungen und Tableauregeln 6.3 Tableaus und wahrheitsfunktionale Konsistenz 6.4 Das Tableauverfahren 6.5 Terminologie und Definitionen

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil

Mehr

U. Rausch, 2010 Potenzrechnung 1

U. Rausch, 2010 Potenzrechnung 1 U. Rausch, 2010 Potenzrechnung 1 Potenzrechnung 1 Schreibweise und Potenzrechenregeln Unter einer Potenz versteht man ein Symbol der Form a x, gesprochen a hoch x, wobei a und x (reelle) Zahlen sind. Dabei

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

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

Aussagenlogik. Aussagen und Aussagenverknüpfungen

Aussagenlogik. Aussagen und Aussagenverknüpfungen Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,

Mehr

Vorlesung. Beweise und Logisches Schließen

Vorlesung. Beweise und Logisches Schließen Vorlesung Beweise und Logisches Schließen Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollten nur genannt bzw. Teilweise schon vor der Vorlesung angeschrieben

Mehr

Einführung in die mathematische Logik

Einführung in die mathematische Logik Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 3 Tautologien In der letzten Vorlesung haben wir erklärt, wie man ausgehend von einer Wahrheitsbelegung λ der Aussagevariablen

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

Methodologie der Sozialwissenschaften

Methodologie der Sozialwissenschaften Karl-Dieter Opp Methodologie der Sozialwissenschaften Einführung in Probleme ihrer Theorienbildung und praktischen Anwendung 6. Auflage VS VERLAG FÜR SOZIALWISSENSCHAFTEN Inhaltsverzeichnis Vorwort 10

Mehr

Kapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1

Kapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Kapitel 1.0 Aussagenlogik: Einführung Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Ziele der Aussagenlogik In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter

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

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

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

Frage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung?

Frage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung? 8 Grundsätzliches zu Beweisen Frage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung? ˆ Mathematik besteht nicht (nur) aus dem Anwenden auswendig gelernter Schemata. Stattdessen

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

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

Ein Problem diskutieren und sich einigen Darauf kommt es an

Ein Problem diskutieren und sich einigen Darauf kommt es an Ein Problem diskutieren und sich einigen Darauf kommt es an Stellen Sie zuerst den Sachverhalt dar Sagen Sie dann Ihre Meinung Gehen Sie auf die Argumentation Ihres Gesprächspartners ein Reagieren Sie

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

Angewandte Mathematik und Programmierung

Angewandte Mathematik und Programmierung Angewandte Mathematik und Programmierung Einführung in das Konzept der objektorientierten Anwendungen zu mathematischen Rechnens WS 2013/14 Inhalt Übungserklärung* Beweis durch Vollständige Induktion 2

Mehr

Grundlegendes: Mengen und Aussagen

Grundlegendes: Mengen und Aussagen Kapitel 1 Grundlegendes: Mengen und Aussagen Wie jedes Fachgebiet hat auch die Mathematik eine eigene Fachsprache Ohne ihre Kenntnis wird man ein mathematisches Buch, selbst wenn es für Anwender geschrieben

Mehr

Einführung in die Logik

Einführung in die Logik Einführung in die Logik Klaus Madlener und Roland Meyer 24. April 2013 Inhaltsverzeichnis 1 Aussagenlogik 1 1.1 Syntax................................. 1 1.2 Semantik............................... 3 1.3

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

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/ 31 Die Logik der Quantoren Till Mossakowski Logik 2/ 31 Wahrheitsfunktionale Form

Mehr

1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen?

1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen? Lineare Algebra D-MATH, HS 2014 Prof. Richard Pink Lösung 1 1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen? a Niemand versteht

Mehr

4 Vollkommene Zahlen

4 Vollkommene Zahlen Sei a > 0 4 Vollkommene Zahlen T (a) bezeichnet die Anzahl der positiven Teiler von a. S(a) bezeichnet die Summe der positiven Teiler von a. Es ist also T (1) = S(1) = 1. Jede Zahl a > 1 hat eine eindeutige

Mehr

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10 Fakultät für Mathematik Fachgebiet Mathematische Informatik Anhang Lineare Algebra I Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA Wintersemester 2009/10 A Relationen Definition A.1. Seien X, Y beliebige

Mehr

7 Bedeutung und Logik

7 Bedeutung und Logik 7 Bedeutung und Logik 7.1 Logische Eigenschaften von Sätzen 7.2 Logische Beziehungen zwischen Sätzen 7.3 Logische Beziehungen und Bedeutungsbeziehungen 7.4 Formale Semantik Johannes Dölling: Semantik und

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Grundlagen der Mathematik Lösungsskizzen 2 Präsenzaufgaben (P2) Wir betrachten drei Teilmengen der natürlichen Zahlen: - A = {n

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

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

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

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

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

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

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

Logik und modelltheoretische Semantik. Prädikatenlogik (PL)

Logik und modelltheoretische Semantik. Prädikatenlogik (PL) Logik und modelltheoretische Semantik Prädikatenlogik (PL) Robert Zangenfeind Centrum für Informations- und Sprachverarbeitung, LMU München 9.5.2017 Zangenfeind: Prädikatenlogik 1 / 14 Einführendes baut

Mehr

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten

Mehr

Logik, Sprache, Philosophie

Logik, Sprache, Philosophie FRIEDRICH WAISMANN Logik, Sprache, Philosophie Mit einer Vorrede von Moritz Schlick herausgegeben von Gordon P. Baker und Brian McGuinness unter Mitwirkung von Joachim Schulte PHILIPP RECLAM ]UN. STUTTGART

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

Mit allen Sinnen wahrnehmen

Mit allen Sinnen wahrnehmen Mit allen Sinnen wahrnehmen Alles was unser Gehirn verarbeitet, nehmen wir durch unsere fünf Sinne wahr. Der größte Teil davon wird unbewusst erfasst es ist kaum nachvollziehbar, welcher Teil aus welcher

Mehr

Prof. Dr. Jürgen Neyer. Einführung in die Politikwissenschaft. - Was ist Wissenschaft? Di

Prof. Dr. Jürgen Neyer. Einführung in die Politikwissenschaft. - Was ist Wissenschaft? Di Prof. Dr. Jürgen Neyer Einführung in die Politikwissenschaft - 25.4.2008 Di 11-15-12.45 Wissenschaft ist die Tätigkeit des Erwerbs von Wissen durch Forschung, seine Weitergabe durch Lehre, der gesellschaftliche,

Mehr

Ethisch-moralisches Argumentieren Station 3: Sein-Sollen-Fehlschluss Seite 1 von 5. Grundlagen:

Ethisch-moralisches Argumentieren Station 3: Sein-Sollen-Fehlschluss Seite 1 von 5. Grundlagen: Ethisch-moralisches Argumentieren Station 3: Sein-Sollen-Fehlschluss Seite 1 von 5 Grundlagen: Die Grundlage unseres Argumentierens bildet der sog. Syllogismus, der aus Prämissen (Voraussetzungen) und

Mehr

Dem Anschein nach werden diese Zahlen kleiner und kleiner und streben gegen Null. Was sollen sie sonst auch tun? Aber der Begriff

Dem Anschein nach werden diese Zahlen kleiner und kleiner und streben gegen Null. Was sollen sie sonst auch tun? Aber der Begriff 47 5 Irrationales 5.1 Folgen, Konvergenz und Vollständigkeit Eine Abbildung a : N R definiert eine Folge von reellen Werten a 1 = a(1), a 2 = a(2), a 3 = a(3),... Solche Zahlenfolgen werden uns dazu dienen,

Mehr

Ästhetik ist die Theorie der ästhetischen Erfahrung, der ästhetischen Gegenstände und der ästhetischen Eigenschaften.

Ästhetik ist die Theorie der ästhetischen Erfahrung, der ästhetischen Gegenstände und der ästhetischen Eigenschaften. 16 I. Was ist philosophische Ästhetik? instrumente. Die Erkenntnis ästhetischer Qualitäten ist nur eine unter vielen möglichen Anwendungen dieses Instruments. In diesem Sinn ist die Charakterisierung von

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 0. Organisatorisches Leistungsnachweis: Klausur in der letzten Vorlesungswoche (6 10 Fragen) Gegenstand

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

Künstliche Intelligenz Softwaretechnologie: Prolog

Künstliche Intelligenz Softwaretechnologie: Prolog Künstliche Intelligenz Softwaretechnologie: Prolog Stephan Schwiebert sschwieb@spinfo.uni-koeln.de Wiederholung Konzepte logische Äquivalenz Die Aussagen p und q sind genau dann äquivalent, wenn sie unter

Mehr

SE MODALLOGIK UND ANDERE PHILOSOPHISCH RELEVANTE LOGIKEN WS 2015/16 ESTHER RAMHARTER & GÜNTHER EDER

SE MODALLOGIK UND ANDERE PHILOSOPHISCH RELEVANTE LOGIKEN WS 2015/16 ESTHER RAMHARTER & GÜNTHER EDER SE MODALLOGIK UND ANDERE PHILOSOPHISCH RELEVANTE LOGIKEN WS 2015/16 ESTHER RAMHARTER & GÜNTHER EDER DEFIZITE DER PL ERSTER STUFE Klassische Prädikatenlogik erster Stufe (first-order logic, kurz FOL) hat

Mehr

Analytische Wissenschaftstheorie. Aylin Ilhan und Christine Meschede Diskurs WS 2015/16

Analytische Wissenschaftstheorie. Aylin Ilhan und Christine Meschede Diskurs WS 2015/16 Aylin Ilhan und Christine Meschede Diskurs WS 2015/16 Analytische Wissenschaftstheorie 2 Analytische Wissenschaftstheorie 3 Wissenschaft Definition Wissenschaft Prozess Ergebnis Der Weg zu geordneter Erkenntnis

Mehr

BEGRÜNDEN. Sagen, warum etwas so ist. Wortschatzkiste

BEGRÜNDEN. Sagen, warum etwas so ist. Wortschatzkiste BEGRÜNDEN Sagen, warum etwas so ist. Der Begriff/ Vorgang/ Hintergrund/Verlauf/Prozess/ der Text/ der Versuch/Verfasser Die Ursache/Grundlage/Aussage/Bedeutung/Struktur/Erklärung/ die Formel/ die Quelle

Mehr

Grundlagen der Arithmetik und Zahlentheorie

Grundlagen der Arithmetik und Zahlentheorie Grundlagen der Arithmetik und Zahlentheorie 1.0 Teilbarkeit In diesem Abschnitt werden wir einerseits die ganzen Zahlen an sich studieren und dabei besonders wichtige Zahlen, die Primzahlen, entsprechend

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

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

Aussagenlogik-Boolesche Algebra

Aussagenlogik-Boolesche Algebra Aussagenlogik-Boolesche Algebra 1 Aussagen In der Mathematik und in der Logik werden Sätze der Umgangssprache nur unter bestimmten Bedingungen Aussagen genannt. Sätze nennt man Aussagen, wenn sie etwas

Mehr