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

Größe: px
Ab Seite anzeigen:

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

Transkript

1 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 Bedingung für einen Schein ist die regelmäßige, aktive und erfolgreiche Teilnahme Bedingung für die erfolgreiche Teilnahme ist, dass man beide Klausuren besteht Terminplan Allgemeines vorab April Mai Juni Juli Literatur Ansgar Beckermann. Einführung in die Logik. Berlin/New York: Walter de Gruyter Klausur

2 Worum geht es gehen wird Es geht darum, ein grundlegendes Verständnis für elementare Logik zu erwerben wichtige logische Techniken kennenzulernen Worum geht es in der Logik? Eine erste Antwort Logik ist unter anderem ein grundlegender Teil der Lehre vom richtigen Argumentieren. Sie leistet einen wichtigen Beitrag zur Beantwortung der Frage, mit Hilfe welcher Methoden, Prinzipien und Kriterien man gute von schlechten Argumenten unterscheiden kann. Das führt sofort zu einer zweiten Frage: Was ist ein Argument? Argumente (1) Die Gesellschaft für Analytische Philosophie (GAP) wurde 1990 in Berlin gegründet. Ziel war es nicht nur, diesem Zweig der Philosophie theoretisch mehr Gewicht zu geben, sondern ihn auch praktisch durch besseren Zugang zu Forschungsmitteln zu stärken. Mit rund 600 Mitgliedern gehört die GAP mittlerweile zu den größten philosophischen Gesellschaften Europas. Seit 1991 veranstaltet die GAP alle drei Jahre ihren international beachteten Kongress, auf dem sich analytisch orientierte Philosophinnen und Philosophen austauschen. Argumente (2)... starke Hitze ist nichts anderes als eine bestimmte Form schmerzhafter Empfindung, und Schmerz kann nur in einem wahrnehmenden Wesen existieren. Also folgt, dass starke Hitze niemals wirklich in einer nicht wahrnehmenden körperlichen Substanz sein kann. (Berkeley Drei Dialoge zwischen Hylas und Philonus)

3 Argumente 1. In jedem Argument gibt es eine Konklusion eine Aussage, für die argumentiert wird. 2. Das Ziel jedes Arguments ist es, jemanden von der Wahrheit der Konklusion zu überzeugen. 3. Dies geschieht so, dass man andere Aussagen die Prämissen anführt, durch die die Konklusion begründet werden soll, d.h., mit denen der Anspruch verbunden ist, dass die Prämissen (wenn sie wahr sind) für die Wahrheit der Konklusion sprechen. Argumente Kurz Ein Argument ist eine Folge von Aussagen, mit der der Anspruch verbunden ist, dass eine Aussage (die Konklusion) in dem Sinne durch andere Aussagen (die Prämissen) begründet wird, dass die Wahrheit der Prämissen für die Wahrheit der Konklusion spricht. Normalform von Argumenten Normalform eines Arguments 1. In der Normalform eines Arguments sind alle Prämissen und die Konklusion explizit ausformuliert. 2. In der Normalform stehen die Prämissen nummeriert und getrennt voneinander am Anfang des Arguments. 3. Die Konklusion steht durch ein vorgestelltes (K) gekennzeichnet am Ende. 4. In der Normalform wird alles, was weder Prämisse noch Konklusion ist, weggelassen. Normalform von Argumenten starke Hitze ist nichts anderes als eine bestimmte Form schmerzhafter Empfindung, und Schmerz kann nur in einem wahrnehmenden Wesen existieren. Also folgt, dass starke Hitze niemals wirklich in einer nicht wahrnehmenden körperlichen Substanz sein kann. (P1) Starke Hitze ist nichts anderes als eine bestimmte Form schmerzhafter Empfindung. (P2) Schmerz kann nur in einem wahrnehmenden Wesen existieren. (K) Hitze kann niemals wirklich in einer nicht wahrnehmenden körperlichen Substanz sein kann.

4 Was ist der Zweck eines Arguments? Mit jedem Argument sollen wir dazu gebracht werden, seine Konklusion für wahr zu halten, und zwar dadurch, dass epistemische Gründe für die Konklusion angeführt werden Prämissen, deren Wahrheit für die Wahrheit der Konklusion spricht. Also Ein Argument ist nur dann ein gutes Argument, wenn in ihm der Anspruch, dass die Wahrheit der Prämissen für die Wahrheit der Konklusion spricht, nicht nur erhoben wird, sondern wenn dies auch tatsächlich so ist. D.h., wenn die Wahrheit der Prämissen tatsächlich für die Wahrheit der Konklusion spricht. Ein krasses Gegenbeispiel (P1) Im Jahre 79 wurde Pompeji durch einen Ausbruch des Vesuv zerstört. (K) Albert Einstein starb 1955 in Princeton. Die Prämisse (P1) ist zwar wahr. Aber: Die Wahrheit von (P1) hat mit der Wahrheit von (K) nicht das Geringste zu tun. Auch wenn (P1) wahr ist, ist das also kein Grund, die Konklusion (K) für wahr zu halten. Definition Ein Argument, bei dem die Wahrheit der Prämissen tatsächlich für die Wahrheit der Konklusion spricht, nennt man gültig. Das Beispielargument ist also offenbar nicht gültig.

5 Zwei weitere Beispiele (P1) Alle Menschen sind sterblich. (P2) Sokrates ist ein Mensch. (K) Sokrates ist sterblich. (P1) Alle Fische können fliegen. (P2) Heringe sind Fische. (K) Heringe können fliegen. Merke Dass ein Argument gültig ist, ist hypothetisch zu verstehen: Wenn die Prämissen wahr sind, dann spricht das für die Wahrheit der Konklusion. Oder: Wenn die Prämissen wahr wären, dann spräche das für die Wahrheit der Konklusion. (P1) Alle Fische können fliegen. (P2) Heringe sind Fische. (K) Heringe können fliegen. Konsequenz Dass ein Argument gültig ist, ist noch keine hinreichende Bedingung dafür, dass es auch ein gutes Argument ist. Jedes gute Argument muss eine zweite Bedingung erfüllen: Seine Prämissen müssen alle wahr sein. Merke Nur in einem schlüssigen Argument liefern die Prämissen wirklich epistemische Gründe für die Konklusion. Nur ein schlüssiges Argument ist wirklich ein gutes Argument. Definition Ein Argument, das gültig ist und dessen Prämissen alle wahr sind, nennt man schlüssig.

6 Das Argument (P1) Alle Menschen sind sterblich. (P2) Sokrates ist ein Mensch. (K) Sokrates ist sterblich. ist gültig und seine Prämissen sind alle wahr. Also ist es auch schlüssig. Das Argument (P1) Alle Fische können fliegen. (P2) Heringe sind Fische. (K) Heringe können fliegen. ist gültig; aber seine Prämissen sind nicht alle wahr. Also ist es zwar gültig, aber nicht schlüssig. Und deshalb ist es kein gutes Argument. Frage Ist Schlüssigkeit eine hinreichende Bedingung dafür, dass ein Argument ein gutes Argument ist? Anders ausgedrückt Sind alle schlüssigen Argumente auch gute Argumente? Ein weiteres Beispiel (P1) Bielefeld ist eine Großstadt, die am Teutoburger Wald liegt. (K) Bielefeld liegt am Teutoburger Wald. Dieses Argument ist zwar schlüssig. Aber es ist in folgendem Sinn zirkulär: Die Prämisse liefert keine unabhängigen Gründe für die Konklusion. Denn die Konklusion ist in gewisser Weise schon in der Prämisse enthalten.

7 Erstes Fazit Bei der Beurteilung von Argumenten kann und muss man immer zwei Fragen stellen: 1. Würden die Prämissen für die Wahrheit der Konklusion sprechen, wenn sie wahr wären? 2. Sind die Prämissen wahr? Entsprechend kann man jedes Argument auf zweierlei Weise kritisieren: Man kann bestreiten, dass die Wahrheit der Prämissen tatsächlich für die Wahrheit der Konklusion spricht. (D.h., man kann die Gültigkeit bezweifeln.) Man kann die Wahrheit der Prämissen bestreiten. Wichtig Mit der Gültigkeit eines Arguments ist eine hypothetische Behauptung über die Beziehung der Wahrheit von Prämissen und Konklusion verbunden: Wenn die Prämissen wahr wären, dann würde das für die Wahrheit der Konklusion sprechen. Aus der Wahrheit oder Falschheit der Prämissen allein kann man daher ebenso wenig auf die Gültigkeit oder Ungültigkeit eines Arguments schließen wie aus der Wahrheit oder Falschheit der Konklusion allein. Gültigkeit Es gibt verschiedene Arten der Gültigkeit. Eine zentrale Art ist die deduktive Gültigkeit. Ein Argument ist deduktiv gültig, wenn die Konklusion wahr sein muss, wenn alle Prämissen wahr sind. Merke Logik hat es nur mit der deduktiven Gültigkeit von Argumenten zu tun.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Einführung in die Ethik. Neil Roughley (WS 2006/07)

Einführung in die Ethik. Neil Roughley (WS 2006/07) Einführung in die Ethik Neil Roughley (WS 2006/07) Philosophisches Zuhören/Lesen 1) Kann ich das Gesagte/Geschriebene nachvollziehen? Macht es einen Sinn? 2) Ist das Gesagte wahr? Hat es wenigstens gute

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

Zu Immanuel Kant: Die Metaphysik beruht im Wesentlichen auf Behauptungen a priori

Zu Immanuel Kant: Die Metaphysik beruht im Wesentlichen auf Behauptungen a priori Geisteswissenschaft Pola Sarah Zu Immanuel Kant: Die Metaphysik beruht im Wesentlichen auf Behauptungen a priori Essay Essay zu Immanuel Kant: Die Metaphysik beruht im Wesentlichen auf Behauptungen a

Mehr

PROSEMINAR: BRITISCHER EMPIRISMUS LOCKE, BERKELEY, HUME

PROSEMINAR: BRITISCHER EMPIRISMUS LOCKE, BERKELEY, HUME HS 2014 Dienstag, 15 17, wöchentlich Raum MIS03 3026 PROSEMINAR: BRITISCHER EMPIRISMUS LOCKE, BERKELEY, HUME SEMINARPLAN Florian Wüstholz, MA Büro 5242A Sprechstunde: Freitag 10 11 (oder nach Vereinbarung)

Mehr

Begrüßung - Organisatorisches Vortrag: Grundfiguren der Logik Input: Kurzfilm Was ist Logik? Arbeitsphase Aussprache - Diskussion

Begrüßung - Organisatorisches Vortrag: Grundfiguren der Logik Input: Kurzfilm Was ist Logik? Arbeitsphase Aussprache - Diskussion Vorlesung Einführung in die Bildungswissenschaft (Winter 2012/13) Dr. Hans-Peter Gerstner / Markus Popp (16. 01. 2013) Schwerpunkt 1: Logik der Erziehungs- und Bildungswissenschaft Begrüßung - Organisatorisches

Mehr

Potentiale und Grenzen der Argumentrekonstruktion

Potentiale und Grenzen der Argumentrekonstruktion Potentiale und Grenzen der Argumentrekonstruktion Am Beispiel der Beurteilung der gesellschaftlichen Erwünschtheit von Smart Grid Technologien Konferenz Transformationsprozess Energiewende: Methoden der

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

Eine Untersuchung zu Verstand und Vernunft

Eine Untersuchung zu Verstand und Vernunft Joachim Stiller Eine Untersuchung zu Verstand und Vernunft Eine Untersuchung Alle Rechte vorbehalten Eine Untersuchung zu Verstand und Vernunft Was ist der Unterschied zwischen Verstand und Vernunft? Zunächst

Mehr

Deductive Reasoning Agents

Deductive Reasoning Agents Multiagentensysteme Deductive Reasoning Agents Volkan Aksu & Sebastian Ptock Überblick Einleitung Deductive Reasoning Agents Der Staubsauger-Roboter Agentenorientierte Programmierung (AOP) Concurrent MetateM

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

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

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

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

Mathematik: Mag. Schmid Wolfgang Arbeitsblatt Semester ARBEITSBLATT 14. Systeme linearer Ungleichungen in einer Variablen

Mathematik: Mag. Schmid Wolfgang Arbeitsblatt Semester ARBEITSBLATT 14. Systeme linearer Ungleichungen in einer Variablen ARBEITSBLATT 14 Systeme linearer Ungleichungen in einer Variablen Zunächst einmal können wir die Lösungen einer Ungleichung auf mehrere Arten angeben. Man kann wählen zwischen einer Ungleichungskette,

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

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

Erläuterung zum Satz vom ausgeschlossenen Widerspruch

Erläuterung zum Satz vom ausgeschlossenen Widerspruch TU Dortmund, Wintersemester 2010/11 Institut für Philosophie und Politikwissenschaft C. Beisbart Aristoteles, Metaphysik Der Satz vom ausgeschlossenen Widerspruch (Buch 4/Γ; Woche 4: 8. 9.11.2010) I. Der

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

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

Einführung in die Wissenschaftsphilosophie

Einführung in die Wissenschaftsphilosophie Einführung in die Wissenschaftsphilosophie Prof. Dr. Martin Kusch 1 Einführung in die Wissenschaftsphilosophie: 2. Vorlesung: Induktion 2 (1) Logik,

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

Klassische Aussagenlogik

Klassische Aussagenlogik Eine Einführung in die Logik Schon seit Jahrhunderten beschäftigen sich Menschen mit Logik. Die alten Griechen und nach ihnen mittelalterliche Gelehrte versuchten, Listen mit Regeln zu entwickeln, welche

Mehr

Take Home Klausur BA4

Take Home Klausur BA4 Take Home Klausur BA4 im Seminar 050382 Deontische Logik bei Robert Mill im WS 15/16 vom 18. Februar 2016 Abgabe: Spätestens am Montag, den 4.4.2016 im Hausarbeitenkasten des Philosphischen Seminars Inhaltsverzeichnis

Mehr

Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen

Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen

Mehr

Nietzsche gegen die Lehrer der Selbstlosigkeit

Nietzsche gegen die Lehrer der Selbstlosigkeit Nietzsche gegen die Lehrer der Selbstlosigkeit Fabian Hundertmark Matrikel-Nummer: 1769284 26. November 2007 1 Was werde ich tun? Im folgenden Essay werde ich ein Argument analysieren, in welchem Friedrich

Mehr

Kripke über Analytizität: eine zwei-dimensionalistische Perspektive

Kripke über Analytizität: eine zwei-dimensionalistische Perspektive Kripke über Analytizität: eine zwei-dimensionalistische Perspektive Dr. Helge Rückert Lehrstuhl Philosophie II Universität Mannheim rueckert@rumms.uni-mannheim.de http://www.phil.uni-mannheim.de/fakul/phil2/rueckert/index.html

Mehr

Einführung in die Ethik. Neil Roughley (WS 2006/07)

Einführung in die Ethik. Neil Roughley (WS 2006/07) Einführung in die Ethik Neil Roughley (WS 2006/07) Einführung in die Ethik 4: Metaethik 3 Realismus, Kognitivismus, Deskriptivismus (G.E. Moore) (3) Expressiv oder deskriptiv? Desk? (1) Wirklich? Exp?

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

1 Einführung in die Prädikatenlogik

1 Einführung in die Prädikatenlogik 1 Einführung in die Prädikatenlogik Die Aussagenlogik behandelt elementare Aussagen als Einheiten, die nicht weiter analysiert werden. Die Prädikatenlogik dagegen analysiert die elementaren Aussagen und

Mehr

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises 2 Der Beweis Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises Satz und Beweis Ein mathematischer Satz besteht aus einer Voraussetzung und einer Behauptung. Satz und Beweis Ein mathematischer

Mehr

Und was ist mit den Fischen?

Und was ist mit den Fischen? Und was ist mit den Fischen? Das Wasser ist auch Lebensraum für viele Tiere. Welche Tiere leben im Wasser? Sicher fallen dir gleich die Fische ein. Es gibt aber noch viel mehr Wasserbewohner! Hast du schon

Mehr

Zum Verhältnis von Glaube und Vernunft

Zum Verhältnis von Glaube und Vernunft Zum Verhältnis von Glaube und Vernunft»Seid stets bereit, jedem Rede und Antwort zu stehen, der nach der Hoffnung fragt, die euch erfüllt.«[1petr 3,15] 1 Worum geht s eigentlich? Begriffsklärung 1.1 Was

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

Prof. Dr. Tim Henning

Prof. Dr. Tim Henning Prof. Dr. Tim Henning Vorlesung Einführung in die Metaethik 127162001 Mittwoch, 11.30-13.00 Uhr M 18.11 19.10.2016 PO 09 / GymPO PO 14 / BEd 1-Fach-Bachelor: BM4 KM2 Bachelor Nebenfach (neu): KM2 KM2 Lehramt:

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

Descartes, Dritte Meditation

Descartes, Dritte Meditation Descartes, Dritte Meditation 1. Gewissheiten: Ich bin ein denkendes Wesen; ich habe gewisse Bewusstseinsinhalte (Empfindungen, Einbildungen); diesen Bewusstseinsinhalten muss nichts außerhalb meines Geistes

Mehr

Philosophie. als Leistungskurs? Philosophie / Hr

Philosophie. als Leistungskurs? Philosophie / Hr Philosophie als Leistungskurs? 1 Philosophie als Leistungskurs? 2 Philo-Sophia: Liebe zur Weisheit Ein wunderbares Zeichen dafür, dass der Mensch als solcher ursprünglich philosophiert, sind die Fragen

Mehr

Vollständigkeit; Überabzählbarkeit und dichte Mengen) Als typisches Beispiel für die reellen Zahlen dient die kontinuierlich ablaufende Zeit.

Vollständigkeit; Überabzählbarkeit und dichte Mengen) Als typisches Beispiel für die reellen Zahlen dient die kontinuierlich ablaufende Zeit. Kapitel 4 Reelle Zahlen 4.1 Die reellen Zahlen (Schranken von Mengen; Axiomatik; Anordnung; Vollständigkeit; Überabzählbarkeit und dichte Mengen) Als typisches Beispiel für die reellen Zahlen dient die

Mehr

1 Loesungen zu Analysis 1/ 1.Uebung

1 Loesungen zu Analysis 1/ 1.Uebung Loesungen ausgewaehlter Beispiele zu Analysis I, G. Bergauer, Seite 1 1 Loesungen zu Analysis 1/ 1.Uebung 1.1 Einleitung Gegeben Mengen X, A mit A X. Sei die Menge durch A = {a X : a erfuellt B} gegeben,

Mehr

Sudoku. Warum 6? Warum 6?

Sudoku. Warum 6? Warum 6? . / Sudoku Füllen Sie die leeren Felder so aus, dass in jeder Zeile, in jeder Spalte und in jedem x Kästchen alle Zahlen von bis stehen.. / Warum?. / Warum?. / Geschichte der Logik Syllogismen (I) Beginn

Mehr

5.2 Logische Gültigkeit, Folgerung, Äquivalenz

5.2 Logische Gültigkeit, Folgerung, Äquivalenz 5.2 Logische Gültigkeit, Folgerung, Äquivalenz Durch Einsetzung von PL1-Formeln für die Metavariablen in AL-Gesetzen erhält man PL1-Instanzen von AL-Gesetzen. Beispiele: φ φ AL PL1-Instanzen: Pa () Pa

Mehr

Studienordnung für das Studium der Philosophie als Zweitfach innerhalb des Bachelorstudiengangs

Studienordnung für das Studium der Philosophie als Zweitfach innerhalb des Bachelorstudiengangs Philosophische Fakultät I Institut für Philosophie Studienordnung für das Studium der Philosophie als Zweitfach innerhalb des Bachelorstudiengangs Gemäß 17 Abs. 1 Ziffer 1 Vorläufige Verfassung der Humboldt-Universität

Mehr

Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004

Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004 Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004 In der letzten Vorlesung haben wir gesehen, wie man die einzelnen Zahlenbereiche aufbaut. Uns fehlen nur noch die reellen Zahlen (siehe

Mehr

Einige Gedanken zur Fibonacci Folge

Einige Gedanken zur Fibonacci Folge Einige Gedanken zur Fibonacci Folge Im Folgenden gehe ich auf einige Aspekte von Aufgabe 4 auf Übungsblatt, d.h. auf Aufgabe 4 auf Seiten und 3 des Buches Hahn-Dzewas: Mathematik, ein. Die Aufgabe hat

Mehr

Ersetzbarkeitstheorem

Ersetzbarkeitstheorem Ersetzbarkeitstheorem Die Abgeschlossenheit läßt sich auch folgendermaßen formulieren: Ersetzbarkeitstheorem Seien F und G Formeln mit F G. SeienH und H Formeln, so daß H aus H hervorgeht, indem ein Vorkommen

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

Seminar Klassische Texte der Neuzeit und der Gegenwart Prof. Dr. Gianfranco Soldati. René Descartes Meditationen Erste Untersuchung

Seminar Klassische Texte der Neuzeit und der Gegenwart Prof. Dr. Gianfranco Soldati. René Descartes Meditationen Erste Untersuchung Seminar Klassische Texte der Neuzeit und der Gegenwart Prof. Dr. Gianfranco Soldati René Descartes Meditationen Erste Untersuchung INHALTSVERZEICHNIS 1 EINLEITUNG 3 1.1 PROBLEMSTELLUNG 3 1.2 ZIELSETZUNG

Mehr

EDITH SCHMID UND EMIL KRAUCH FREGE II SINN UND BEDEUTUNG

EDITH SCHMID UND EMIL KRAUCH FREGE II SINN UND BEDEUTUNG EDITH SCHMID UND EMIL KRAUCH FREGE II SINN UND BEDEUTUNG AUFBAU Einführung Ausgangslage Problemstellung Sinn und Bedeutung Freges Argument vom Erkenntniswert Exkurs: Semiotik Sätze Zusammenfassung Reflexion

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

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

Themenvorschläge Philosophie

Themenvorschläge Philosophie Themenvorschläge Philosophie Der Philosophieunterricht: Wie wurde in den vergangenen Jahrhunderten an den Gymnasien des Kantons Luzern Philosophie unterrichtet? Welche Lehrbücher wurden verwendet? Was

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

9. Übung Formale Grundlagen der Informatik

9. Übung Formale Grundlagen der Informatik Institut für Informatik Sommersemester 2001 Universität Zürich 9. Übung Formale Grundlagen der Informatik Norbert E. Fuchs (fuchs@ifi.unizh.ch) Reinhard Riedl (riedl@ifi.unizh.ch) Nadine Korolnik (korolnik@ifi.unizh.ch)

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

Teil 7. Grundlagen Logik

Teil 7. Grundlagen Logik Teil 7 Grundlagen Logik Was ist Logik? etymologische Herkunft: griechisch bedeutet Wort, Rede, Lehre (s.a. Faust I ) Logik als Argumentation: Alle Menschen sind sterblich. Sokrates ist ein Mensch. Also

Mehr

Wie kommen Wahrheit und Falschheit in der vernünftigen Rede zustande?

Wie kommen Wahrheit und Falschheit in der vernünftigen Rede zustande? Technische Universität Darmstadt Institut für Philosophie PS / LK Thomas von Aquin: Von der Wahrheit Dozent: Dr. Jens Kertscher Sommersemester 2009 Wie kommen Wahrheit und Falschheit in der vernünftigen

Mehr

Hinweise zur Bewertung und Korrektur der Abiturarbeiten (2007)

Hinweise zur Bewertung und Korrektur der Abiturarbeiten (2007) Hinweise zur Bewertung und Korrektur der Abiturarbeiten (2007) Kriterien zur Bewertung von Aufgaben: s. EPA: Gesamtanforderung umfasst inhaltliche, methodische und sprachliche Leistung; die Bearbeitung

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

Analytische Erkenntnistheorie & Experimentelle Philosophie

Analytische Erkenntnistheorie & Experimentelle Philosophie Analytische Erkenntnistheorie & Experimentelle Philosophie Klassische Analyse von Wissen Die Analyse heisst klassisch, weil sie auf Platon zurück geht (Theaitetos) Sokrates will wissen, was das Wissen

Mehr

Was ist Logik? Was ist Logik? Logische Konnektoren. Aussagenlogik. Logik stellt Sprachen zur Darstellung von Wissen zur Verfügung

Was ist Logik? Was ist Logik? Logische Konnektoren. Aussagenlogik. Logik stellt Sprachen zur Darstellung von Wissen zur Verfügung Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen

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

Diese Unterteilung ist nicht exklusiv, Fachgrenzen (gerade auch im Zuge der interdisziplinären Vernetzung) durchlässig!

Diese Unterteilung ist nicht exklusiv, Fachgrenzen (gerade auch im Zuge der interdisziplinären Vernetzung) durchlässig! Allgemeine Begriffsbestimmung von Wissenschaft Wissenschaft ist der Oberbegriff für alle diejenigen Disziplinen menschlicher Forschung, deren Ziel es ist, Tatsachen über Bereiche der Natur sowie der geistigen,

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

Materialistische (physikalistische, naturalistische) Theorieansätze zum ontologischen Status von Bewusstsein

Materialistische (physikalistische, naturalistische) Theorieansätze zum ontologischen Status von Bewusstsein 2 Materialistische (physikalistische, naturalistische) Theorieansätze zum ontologischen Status von Bewusstsein 1. Der logische Behaviourismus Hauptvertreter: Gilbert Ryle, Carl Gustav Hempel Blütezeit:

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

Mathematik 1 für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler) Musterprüfung mit Lösungen

Mathematik 1 für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler) Musterprüfung mit Lösungen Mathematik für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler Musterprüfung mit Lösungen. Sei T N. (a Unter welchen beiden Voraussetzungen an T garantiert das Induktionsaxiom (nach

Mehr

Interpretationskurs: Das menschliche Wissen Zweifel und Sicherheit (Descartes; Übersicht zur Sitzung am 24.10.2011)

Interpretationskurs: Das menschliche Wissen Zweifel und Sicherheit (Descartes; Übersicht zur Sitzung am 24.10.2011) TU Dortmund, Wintersemester 2011/12 Institut für Philosophie und Politikwissenschaft C. Beisbart Interpretationskurs: Das menschliche Wissen Zweifel und Sicherheit (Descartes; Übersicht zur Sitzung am

Mehr

Sokratische Cesprächsführung in Therapie und Beratung

Sokratische Cesprächsführung in Therapie und Beratung Harlich H. Stavemann Sokratische Cesprächsführung in Therapie und Beratung Eine Anleitung für Psychotherapeuten, Berater und Seelsorger 2., vollständig überarbeitete und erweiterte Auflage BEnZPVU Vorwort

Mehr

Georg-August-Universität Göttingen. Modulverzeichnis

Georg-August-Universität Göttingen. Modulverzeichnis Georg-August-Universität Göttingen Modulverzeichnis für den Bachelor-Teilstudiengang "Philosophie" (zu Anlage II.31 der Prüfungsordnung für den Zwei-Fächer- Bachelor-Studiengang) (Amtliche Mitteilungen

Mehr

Drei zentrale Begriffe der praktischen Ethik: Handlung, Sollen und Begründung

Drei zentrale Begriffe der praktischen Ethik: Handlung, Sollen und Begründung Drei zentrale Begriffe der praktischen Ethik: Handlung, Sollen und Begründung Julian Fink julian.fink@univie.ac.at (1) Zwei Beispiele: (1.1) Stellen Sie sich vor, ein Straßenbahnwaggon fährt ungebremst

Mehr

Ethischer Relativismus und die moralische Beurteilung der Handlungen von Menschen in anderen Kulturen. Jörg Schroth

Ethischer Relativismus und die moralische Beurteilung der Handlungen von Menschen in anderen Kulturen. Jörg Schroth Philosophie und/als Wissenschaft Proceedings der GAP.5, Bielefeld 22. 26.09.2003 Ethischer Relativismus und die moralische Beurteilung der Handlungen von Menschen in anderen Kulturen Jörg Schroth Für den

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

Bachelor of Arts Sozialwissenschaften und Philosophie (Kernfach Philosophie)

Bachelor of Arts Sozialwissenschaften und Philosophie (Kernfach Philosophie) 06-03-101-1 Pflicht Einführung in die Theoretische Philosophie 1. Semester jedes Wintersemester Vorlesung "Einführung in die Theoretische Philosophie" (2 SWS) = 30 h Präsenzzeit und 70 h Seminar "Philosophische

Mehr

Hausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung. Elementare Logik. Diskrete Strukturen. Uta Priss ZeLL, Ostfalia

Hausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung. Elementare Logik. Diskrete Strukturen. Uta Priss ZeLL, Ostfalia Elementare Logik Diskrete Strukturen Uta Priss ZeLL, Ostfalia Sommersemester 2016 Diskrete Strukturen Elementare Logik Slide 1/26 Agenda Hausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung

Mehr

Aristoteles Satz vom Widerspruch. Prof. Dr. Gregor Nickel: Philosophie der Mathematik. (Vorlesung im Sommersemester 2016)

Aristoteles Satz vom Widerspruch. Prof. Dr. Gregor Nickel: Philosophie der Mathematik. (Vorlesung im Sommersemester 2016) Aristoteles Satz vom Widerspruch Prof. Dr. Gregor Nickel: Philosophie der Mathematik (Vorlesung im Sommersemester 2016) Stand: 15.06.2016 Karsten Berg Ja, er gilt absolut! In der Logik und damit auch der

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

Internes Curriculum Praktische Philosophie

Internes Curriculum Praktische Philosophie Internes Curriculum Praktische Philosophie Klassenstufen 5 und 6 (Insgesamt 9 Fragekreise) Fragenkreis 1: Folgende Themen sind obligatorisch: Klassenstufen 7 und 8 (Insgesamt 7 Fragekreise) Fragenkreis

Mehr

1 Einführung Aussagenlogik

1 Einführung Aussagenlogik 1 Einführung Aussagenlogik Denition 1. Eine Aussage ist ein Aussagesatz, der entweder wahr oder falsch ist. Welche der folgenden Sätze ist eine Aussage? 3+4=7 2*3=9 Angela Merkel ist Kanzlerin Stillgestanden!

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

Paul Watzlawick II. Gestörte Kommunikation

Paul Watzlawick II. Gestörte Kommunikation Prof. Dr. Wilfried Breyvogel Sommersemester 05 Montag 12.00-14.00 Uhr R11 T00 D05 Vorlesung vom 18.07.2005 Paul Watzlawick II. Gestörte Kommunikation 1. Die Unmöglichkeit, nicht zu kommunizieren, oder:

Mehr

Paradoxien der falschen Meinung in Platons "Theätet"

Paradoxien der falschen Meinung in Platons Theätet Geisteswissenschaft Anonym Paradoxien der falschen Meinung in Platons "Theätet" Essay Paradoxien der falschen Meinung in Platons Theätet Einleitung (S.1) (I) Wissen und Nichtwissen (S.1) (II) Sein und

Mehr

Prof. G. Leibold Theologische und philosophische Erkenntnislehre WS 2009/10

Prof. G. Leibold Theologische und philosophische Erkenntnislehre WS 2009/10 Prof. G. Leibold Theologische und philosophische Erkenntnislehre WS 2009/10 1. Vorlesung Am Beginn der abendländischen Philosophie steht die Unsicherheit über die Verlässlichkeit tradierten Wissens. Aus

Mehr

Ansgar Beckermann Einführung in die Logik, 3. Aufl., Berlin/New York: Walter de Gruyter Lösungen der Übungsaufgaben. Lösungen zu Kapitel 2

Ansgar Beckermann Einführung in die Logik, 3. Aufl., Berlin/New York: Walter de Gruyter Lösungen der Übungsaufgaben. Lösungen zu Kapitel 2 1 Ansgar Beckermann Einführung in die Logik, 3. Aufl., Berlin/New York: Walter de Gruyter 2011 Lösungen der Übungsaufgaben Stand: 09.01.2011 Lösungen zu Kapitel 2 1. Die Tete (b), (d) und (e) enthalten

Mehr

Grundlagen der Informationverarbeitung

Grundlagen der Informationverarbeitung Grundlagen der Informationverarbeitung Information wird im Computer binär repräsentiert. Die binär dargestellten Daten sollen im Computer verarbeitet werden, d.h. es müssen Rechnerschaltungen existieren,

Mehr