Zu Gettiers Problematisierung des Wissensbegriffs

Größe: px
Ab Seite anzeigen:

Download "Zu Gettiers Problematisierung des Wissensbegriffs"

Transkript

1 Humboldt-Universität Berlin Institut für Philosophie Wintersemester Veranstaltung: Tutorin: Tutorium Theoretische Philosophie Hannah Riniker Titel der Arbeit: Zu Gettiers Problematisierung des Wissensbegriffs Autor: Nils Dagsson Moskopp Anschrift: Olafstraße Berlin-Hermsdorf -Adresse: Matrikelnummer: Fächerkombination: Philosophie (K), Informatik (Z) Semesterzahl: 4 / 4 Abgabedatum:

2 Die Frage, was Wissen ausmacht, ist eine der grundlegenden Fragestellungen der theoretischen Philosophie. Gerade heutzutage ist sie bedeutender als je zuvor, maßgeblich aufgrund von Fortschritten in der Informationsverarbeitung: So haben Datenbanken von Staat und Unternehmen nicht selten einen Wissensanspruch, aus dem weitreichende Handlungsvorschriften abgeleitet werden; prominente Beispiele sind die von der Polizei Nordrhein-Westfalen geführte Datei Gewalttäter Sport sowie Datensätze der Schufa 1, mit denen unter Anderem Einschränkungen der Reisefreiheit bzw. Nichtabschlüsse von Verträgen begründet werden. Auch Einzelpersonen haben durchaus Wissensansprüche oft, ohne sich der Existenz dieser bewusst zu sein: Neuartige Mobiltelefone ermöglichen es nicht nur, Individuen und Organisationen Kontaktdaten zuzuordnen, sondern auch, die aktuellen Aufenthaltsorte von Freunden auf einer Karte anzuzeigen (etwa Google Latitude 2 ). Das Abfragen des Beziehungsstatus im Bekanntenkreis ( Verlobt, It s complicated usw.) ist eine beliebte Freizeitbeschäftigung von Nutzern der Internetplattform Facebook 3 ; zumindest bei (vom Anspruch her) strikt monogamen Paarbeziehungen ist abzusehen, dass Konsequenzen niemals wieder die selben sein werden. Ob eine Proposition als Wissen eingeordnet wird, ist also keine rein akademische Frage, sondern kann bedeutende Auswirkungen auf das Alltagsleben haben; eine (abstrakte) Beschäftigung mit möglichen Kriterien ist insofern geboten, als dass sie ermöglicht, (konkrete) Einordnungen nachzuvollziehen sowie im Einzelfall auftretende Unklarheiten und Fehler zu erkennen. Im Artikel Ist gerechtfertigte, wahre Meinung Wissen? problematisiert Edmund L. Gettier einige häufige Kriterien von Wissensdefinitionen; ich werde im folgenden versuchen, diese Argumentation nachzuvollziehen, sie wiederum zu problematisieren und weitere Ansätze für entsprechende Kriterien erörtern. 1 Schutzgemeinschaft für allgemeine Kreditsicherung 2 < 3 <

3 Gettier nennt zunächst eine Liste von drei Kriterien, die er in dieser ungefähr [en] [ ] Form als häufiges Ergebnis von Überlegungen bezüglich notwendige [r] und hinreichende[r] Bedingungen [ ], dass jemand Wissen von einer [ ] Proposition hat darstellt (S. 1); er bemerkt hierzu, dass diese bereits bei Platon genannt und eventuell sogar akzeptiert werden (vgl. Endnote i): Ein Akteur S habe genau dann Wissen von einer Proposition P, wenn P wahr ist, S glaubt, dass P [wahr ist] und S darin gerechtfertigt ist, zu glauben, dass P [wahr ist] (S. 1). Zwei weitere, ähnliche Listen für den gleichen Anwendungsfall folgen: Eine unterscheidet sich maßgeblich dadurch, dass das letztgenannte Kriterium durch S [verfügt] über angemessene Evidenz für P [ ] ersetzt wird (S. 1, vgl. Endnote ii); die andere nennt an dieser Stelle die unspefizischere Formulierung S [hat] das Recht [ ], sicher zu sein, dass P wahr ist (S. 1, vgl. Endnote iii). Gettier hält in Bezug auf seine Argumentation beide für äquivalent zur ersten Auflistung. Sein Argument beginnt mit der Bemerkung, dass Rechtfertigungen durchaus auch für Propositionen möglich sein können, die falsch sind (vgl. S. 1). Wenngleich dies nicht konkret ausgeführt wird, existieren dafür einfache Beispiele: Raumänderungen bei universitären Veranstaltungen zeigen ebenso wie irrtümliches Falschablesen von Öffnungszeiten, dass Rechtfertigungen schon umgangssprachlich nicht strikt am Wahrheitswert orientiert sind; rechtsstaatliche Justizsysteme erkennen die Möglichkeit von von Irrtümern bezüglich der Wirklichkeit abgeleiteten Fehlurteilen an. Auch wissenschaftliches Vorgehen im Allgemeinen wäre ohne das entsprechende Zugeständnis, dass eine Schlussfolgerung bzw. eine Theorie akzeptabel begründet, aber dennoch falsch sein kann, kaum denkbar zum Einen, da neuere Erkenntnisse überkommene wissenschaftliche Arbeiten als solche (und mit ihnen die beteiligten Personen) rückwirkend vollständig entwerten würden; weiterhin, da allein die Existenz verschiedener möglicher Modelle zur Erklärung eines Sachverhalts eine schwer überwindbare kognitive Dissonanz zur Folge hätte. Gettiers zweite Prämisse ist, dass aus der Rechtfertigung einer Proposition die Rechtfertigung einer weiteren Proposition abgeleitet werden kann, falls aus der

4 ersten Proposition die zweite folgt und dieser Schluss von dem die Rechtfertigung habenden Akteur nachvollzogen und akzeptiert wird (vgl. S. 1). Eine Akzeptanz dieses Prinzips vereinfacht die Erlangung von Wissen enorm; entgegenstehende Intuitionen, nach denen scheinbar aus einer (intuitiv) ausreichenden Rechtfertigung einer Proposition eine (intuitiv) nicht ausreichende Rechtfertigung einer weiteren Proposition folgt, lassen sich dann nur zurückführen auf unzureichende Rechtfertigung der zu Beginn verwendeten Proposition und die daraus folgende Beliebigkeit des Ergebnisses der Wenn- Dann-Relation ( ex falso quodlibet ). Weist man die Möglichkeit eines derartigen Zustandekommens von Rechtfertigungen jedoch vollständig zurück, können auf Wissen im Sinne der vorhergehenden Kriterien aufbauende logische Schlüsse keine weiteren Rechtfertigungen schaffen und somit kein weiteres Wissens begründen; Wissen kann dann nur mittels unmittelbarer (nicht übertragbarer) Rechtfertigungen erlangt werden. Gettier nennt nun im Hauptteil seines Arguments zwei Situationen, die mit denen er die Angemessenheit der eingangs erwähnten Kriterien für den Wissensbegriff beispielhaft widerlegen möchte. Das erste Szenario ist vor der Vergabe einer Arbeitsstelle angesiedelt, Bewerber sind die Protagonisten Smith und Jones. Smith hat nun Rechtfertigungen für die Propositionen Jones erhält die Stelle und Jones hat zehn Münzen in der Hosentasche (vgl. S. 1), hieraus schließt er (nach Maßgabe der zweiten Vorbemerkung), dass der Bewerber, der die Stelle bekommen wird, zehn Münzen in der Hosentasche hat (vgl. S. 2). Nun erhält Smith allerdings unerwartet die Stelle und hat ebenfalls zehn Münzen in der Hosentasche; ein Problem ergibt sich nun daraus, dass folgt man der genannten Wissensdefinition Smiths Überzeugung bezüglich seiner Schlussfolgerung nun als Wissen bezeichnet werden kann, während eine starke Intuition dem entgegen steht (vgl. S. 2, Doch ebenso offensichtlich ist, dass Smith nicht weiß ). Es existieren mehrere naheliegende Möglichkeiten, die eingangs erwähnten Kriterien für Wissen soweit zu verändern, dass die Anwendung des dadurch konkretisierten Wissensbegriffs der erwähnten Intuition entspricht: Zunächst

5 könnte man das in Gettiers zweiter Vorbemerkung erwähnte Prinzip der Erlangung (bzw. Erzeugung) von Rechtfertigungen durch logische Schlüsse ablehnen, da es in diesem Fall wohl weitgehend wertlos ist. In diesem Fall wäre eine Überzeugung, dass der erfolgreiche Bewerber 10 Münzen in der Hosentasche hat, ungerechtfertigt, daher kein Wissen und insofern in Übereinstimmung mit der entsprechenden Intuition selbst wenn man die Ergebnissituation dahingehend verändert, dass Jones tatsächlich die Stelle bekommt. Deutlich wird allerdings, dass durch diese Maßgabe eine große Menge möglichen Wissens sämtliches, dessen Rechtfertigung nicht direkt erlangt wurde (möglicherweise unnötig) ausgeschlossen werden; möchte man dies vermeiden, muss feiner vorgegangen werden. Möglich wäre hier etwa das Hinzufügen eines weiteren Kriteriums, das festlegt, dass eine durch logischen Schluss erlangte Rechtfertigung nur dann hinreichend für den Wissensbegriff ist, wenn die durch sie gerechtfertigte Proposition nur dann wahr werden kann, wenn die durch die ursprüngliche Rechtfertigung begründete Proposition ebenfalls wahr wird. Gettiers zweites Szenario ebenfalls mit den Protagonisten Smith und Jones, zusätzlich noch Brown beginnt damit, dass Smith eine Rechtfertigung für die Proposition Jones besitzt einen Ford hat (vgl. S. 2). Hieraus leitet er nun mehrere Propositionen der Form Entweder hat Jones einen Ford oder Brown ist in X. ab, wobei X beliebige Städtenamen sind (vgl. S. 2); da die ursprüngliche Proposition gerechtfertigt ist, kann er nun auch entsprechende Rechtfertigungen erzeugen. Besitzt Jones allerdings nun keinen Ford und Brown ist tatsächlich in einer der genannten Städte, wird ein Problem deutlich: Den eingangs erwähnten Kriterien entsprechend hat Smith nun wiederum Wissen, obwohl Smith nicht weiß, wo Brown sich tatsächlich befindet; die Intuition steht erneut dem formalisierten Wissensbegriff entgegen. Das zweite Szenario unterscheidet sich vom ersten in der Hinsicht, dass hier nicht aus einer zusammengesetzten Proposition eine nicht weiter aufteilbare Proposition abgeleitet wird, sondern aus einer nicht weiter aufteilbaren

6 Proposition eine zusammengesetzte Proposition. Auch in diesem Fall lässt sich Übereinstimmung mit der Intuition schaffen, indem man die Erlangung (bzw. Erzeugung) von Rechtfertigungen durch logische Schlüsse ablehnt; eine weniger umfassende Alternative wäre das Hinzufügen eines weiteren Kriteriums, nach dem eine durch logischen Schluss erlangte Rechtfertigung für eine teilbare Proposition (etwa eine Konjunktion) nur dann hinreichend für den Wissensbegriff ist, wenn Rechtfertigungen für alle Teile der die durch sie gerechtfertigte Proposition unabhängig voneinander aus der ursprünglichen Rechtfertigung erlangbar sind. Eine Beachtung dieses Kriteriums schlösse die Teil-Proposition Brown ist in X aus. Eine weitere Konkretisierungsmöglichkeit wäre, jegliche Zusammensetzung von Teil-Propositionen, die Tautologien ergeben (etwa: Z oder nicht Z ), von dieser Analyse auszuschließen, um zusammengesetzte Propositionen, die diese enthalten, nicht auszuschließen. Gettier folgert aus der bei Anwendung der in seinen beiden Vorbemerkung beschriebenen Prinzipien deutlich werdenden Unzulänglichkeit der eingangs genannten Kriterien für die beiden genannten Szenarien, dass diese nicht hinreichend für die Charakterisierung von Wissen sind (vgl. S. 2); dies ist durchaus plausibel. Im behandelten Artikel erörtert er allerdings keine Veränderung der Kriterien oder ihrer Anwendung. Es ist nicht schwierig, Gettiers konkrete Beispielszenarien durch entsprechende Hinzufügung weiterer notwendiger Kriterien vom Wissensbegriff auszuschließen. Jedoch kann von dieser beim Einzelfall ansetzende Maßnahme nicht hinreichend belegt werden, dass durch sie die Kriterien bezüglich notwendige[r] und hinreichende[r] Bedingungen [ ], dass jemand Wissen von einer [ ] Proposition hat (S. 1) widerstandsfähiger gegen weitere, anders strukturierte Gegenbeispiele werden. Der hierbei hervortretende fehlende Tiefgang der Analyse des Wissensbegriffs ist so allerdings auch bei Gettier zu finden. Literatur: EDMUND L. GETTIER, Ist gerechtfertigte, wahre Meinung Wissen? (Orig.: Is Justified True Belief Knowledge? Analysis 23 (1963): )

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

Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie

Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie Universität Dortmund, WS 2005/06 Institut für Philosophie C. Beisbart Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie Das Gettier-Problem (anhand von E Gettier, Is Justified True Belief Knowledge?

Mehr

Problem der Rechtfertigung

Problem der Rechtfertigung Geisteswissenschaft Matthias Seidel Problem der Rechtfertigung Essay Essay Problem der Rechtfertigung von Matthias Seidel Universität Siegen für die Veranstaltung Einführung in die Erkenntnistheorie Abgabedatum:

Mehr

Die traditionelle Analyse des Wissensbegriffs:

Die traditionelle Analyse des Wissensbegriffs: 1 (A) ZUR ANALYSE DES WISSENSBEGRIFFS Die traditionelle Analyse des Wissensbegriffs: S weiss, dass p genau dann wenn gilt: (B1) S glaubt, dass p (B2) p ist wahr. (B3) S ist gerechtfertigt zu glauben, dass

Mehr

PD Dr. Christoph Jäger. Institut für Christliche Philosophie

PD Dr. Christoph Jäger. Institut für Christliche Philosophie Vorlesung Erkenntnistheorie PD Dr. Christoph Jäger Universität i Innsbruck Institut für Christliche Philosophie Vorlesung I Einführung: Wissen, Glauben und Rechtfertigung 2 There are known knowns; there

Mehr

PD Dr. Christoph Jäger. Institut für Christliche Philosophie

PD Dr. Christoph Jäger. Institut für Christliche Philosophie Vorlesung Erkenntnistheorie PD Dr. Christoph Jäger Universität i Innsbruck Institut für Christliche Philosophie 1 Vorlesung III 1. Das Gettier-Problem 2. Epistemische Rechtfertigung 3. Internalismus und

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

Mathematische Grundlagen I Logik und Algebra

Mathematische Grundlagen I Logik und Algebra Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte

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

Kapitel 3: Mögliche Antworten auf Gettier

Kapitel 3: Mögliche Antworten auf Gettier Vorlesung SS 2001: Was können wir wissen? Kapitel 3: Mögliche Antworten auf Gettier Text Pojman, L.P. (2001) What Can We Know? 2 nd ed. Belmont CA: Wadsworth, ch. 5. Fragen 1.Welche grundsätzlichen Möglichkeiten

Mehr

Programm Grundfragen der Erkenntnistheorie Kapitel 3: Gettier und die Folgen Die klassische Analyse des Wissensbegriffs

Programm Grundfragen der Erkenntnistheorie Kapitel 3: Gettier und die Folgen Die klassische Analyse des Wissensbegriffs Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Grundfragen der Erkenntnistheorie 1 Die klassische Analyse des Wissensbegriffs 2 Die Gettier Fälle 3 Die Struktur von Gettier Fällen Kapitel 3:

Mehr

Einführung in die theoretische Philosophie

Einführung in die theoretische Philosophie Einführung in die theoretische Philosophie Prof. Dr. Martin Kusch 1 Unterrichtsmaterialien Auf Moodle: Literatur zur Vorlesung Auf http://homepage.univie.ac.at/martin.kusch/index.html

Mehr

Einführung in die Erkenntnistheorie

Einführung in die Erkenntnistheorie Einführung in die Erkenntnistheorie Prof. Dr. Martin Kusch 1 Reader in der Facultas Buchhandlung PowerPoint Folien und Tonbandaufnahmen: http://homepage.univie.ac.at/martin.kusch/index.html

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

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

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

Warum Utilitaristen keine Fragen beantworten können. Andreas Müller Humboldt-Universität zu Berlin Matrikelnummer:

Warum Utilitaristen keine Fragen beantworten können. Andreas Müller Humboldt-Universität zu Berlin Matrikelnummer: Warum Utilitaristen keine Fragen beantworten können Andreas Müller Humboldt-Universität zu Berlin Matrikelnummer: 503924 Email: yalu@gmx.com 06. Dezember 2006 Einleitung Die Frage, die ich in diesem Essay

Mehr

Epistemische Logik Epistemische Prädikate

Epistemische Logik Epistemische Prädikate Epistemische Logik Epistemische Prädikate Dr. Uwe Scheffler [Technische Universität Dresden] Januar 2011 Zukommen und Zuordnen Aussagen und Sätze: 1. Anna mag Ben. 2. Ben wird von Anna gemocht. 3. Anna

Mehr

Prof. Christian Nimtz // erlangen.de

Prof. Christian Nimtz  // erlangen.de Programm Prof. Christian Nimtz www.nimtz.net // christian.nimtz@phil.uni erlangen.de Theoretische Philosophie der Gegenwart Teil I: Erkenntnistheorie 1. Erkenntnistheorie Grundfragen und Grundprobleme

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

PD Dr. Christoph Jäger. Institut für Christliche Philosophie

PD Dr. Christoph Jäger. Institut für Christliche Philosophie Vorlesung Erkenntnistheorie PD Dr. Christoph Jäger Universität i Innsbruck Institut für Christliche Philosophie 1 Reformierte Erkenntnistheorie 2 Reformierte Erkenntnistheorie Negatives Programm: Verortung

Mehr

4. Das Problem der möglichen und unmöglichen Gegenstände

4. Das Problem der möglichen und unmöglichen Gegenstände 4. Das Problem der möglichen und unmöglichen Gegenstände Betrachten wir folgende Sätze: (1) Der goldene Berg ist golden. (2) Das runde Viereck ist rund. (3) Das Perpetuum mobile ist identisch mit dem Perpetuum

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

Einführung in die Erkenntnistheorie II

Einführung in die Erkenntnistheorie II Einführung in die Erkenntnistheorie II Prof. Dr. Martin Kusch 1 Themen: Erkenntnistheorie Teil I (1) Definition des Wissens (2) Skeptizismus (3) Das Prinzip der Geschlossenheit

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

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

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

Operatoren für das Fach Mathematik

Operatoren für das Fach Mathematik Operatoren für das Fach Mathematik Anforderungsbereich I Angeben, Nennen Sachverhalte, Begriffe, Daten ohne nähere Erläuterungen und Begründungen, ohne Lösungsweg aufzählen Geben Sie die Koordinaten des

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

Wissenschaftstheorie und Ethik

Wissenschaftstheorie und Ethik Wissenschaftstheorie und Ethik Kritischer Rationalismus (KR) Doz. Dr. Georg Quaas: Wissenschaftstheorie und Ethik, SoSe 2012 1 3.4 Kritik des Psychologismus in der Erkenntnistheorie Gegenstand: Erkenntnis

Mehr

DIE FILES DÜRFEN NUR FÜR DEN EIGENEN GEBRAUCH BENUTZT WERDEN. DAS COPYRIGHT LIEGT BEIM JEWEILIGEN AUTOR.

DIE FILES DÜRFEN NUR FÜR DEN EIGENEN GEBRAUCH BENUTZT WERDEN. DAS COPYRIGHT LIEGT BEIM JEWEILIGEN AUTOR. Weitere Files findest du auf www.semestra.ch/files DIE FILES DÜRFEN NUR FÜR DEN EIGENEN GEBRAUCH BENUTZT WERDEN. DAS COPYRIGHT LIEGT BEIM JEWEILIGEN AUTOR. Imre Lakatos: Die Methodologie der wissenschaftlichen

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

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

(1) Gott und Wissenschaft (und ich) WISSENSCHAFT. Dr. Holger Kaffka, Hochschulpfarrer Magdeburg

(1) Gott und Wissenschaft (und ich) WISSENSCHAFT. Dr. Holger Kaffka, Hochschulpfarrer Magdeburg Gott und Wissenschaft (und ich) (1) WISSENSCHAFT Wissenschaft ist... (2) Wissenschaft ist ein soziales System sprachlicher Kommunikation, mit Hilfe dessen Wirklichkeitserkenntnis zugänglich gemacht, zusammengefasst

Mehr

Grundlagen der THEORETISCHEN PHILOSOPHIE

Grundlagen der THEORETISCHEN PHILOSOPHIE Philosophische Fakultät Institut für Philosophie Lehrstuhl für Theoretische Philosophie Dr. Holm Bräuer MBA Grundlagen der THEORETISCHEN PHILOSOPHIE Sommersemester 2017 1 TEAM 11 Vorlesung Dozent: Dr.

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

Fabian Hundertmark Matrikel-Nummer: Juni 2007

Fabian Hundertmark Matrikel-Nummer: Juni 2007 Die Vorrede zu Kants Grundlegung zur Metaphysik der Sitten und Kritik an dieser Fabian Hundertmark Matrikel-Nummer: 1769284 7. Juni 2007 1 Was werde ich tun? In folgendem Essay werde ich die Vorrede zu

Mehr

Grundlegendes der Mathematik

Grundlegendes der Mathematik Kapitel 2 Grundlegendes der Mathematik (Prof. Udo Hebisch) 2.1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

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

Was können wir wissen?

Was können wir wissen? Was können wir wissen? Einführung in die Erkenntnistheorie mit Essaytraining Prof. Dr. Ansgar Beckermann Sommersemester 2001 2 Teile Vorlesung Di 16-18 T2-149 Tutorien Texte Fragen Essays Organisatorisches

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

Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie

Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie Universität Dortmund, WS 2005/06 Institut für Philosophie C. Beisbart Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie Antworten auf die Leitfragen zum 31.1.2006 David Lewis, Elusive Knowledge,

Mehr

Beurteilungsbogen für schriftliche Hausarbeiten. Form:

Beurteilungsbogen für schriftliche Hausarbeiten. Form: Beurteilungsbogen für schriftliche Hausarbeiten Name der_des Student_in: Veranstaltung und Semester: Hausarbeitstitel: Länge: Datum: Form: Deckblatt 2 Auflistung aller notwendigen Informationen 1 Angemessene

Mehr

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung Tobias Krähling email: Homepage: 13.10.2012 Version 1.2 Zusammenfassung Die Aussagenlogik ist sicherlich ein grundlegendes mathematisches Gerüst für weitere

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

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

die Klärung philosophischer Sachfragen und Geschichte der Philosophie

die Klärung philosophischer Sachfragen und Geschichte der Philosophie Programm Christian Nimtz www.nimtz.net // christian.nimtz@phil.uni erlangen.de Theoretische Philosophie der Gegenwart 1 2 3 Unser Programm in diesem Semester Einführung Man unterscheidet in der Philosophie

Mehr

Ben-Alexander Bohnke

Ben-Alexander Bohnke Ben-Alexander Bohnke 03.04.2012 INTEGRALE LOGIK - die wichtigsten Themen und Theorien Ich habe ein vollständiges eigenes Logik-System die Integrale Logik entworfen, dadurch habe ich natürlich an sehr vielen

Mehr

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18 Vorkurs Mathematik Prof. Udo Hebisch WS 2017/18 1 1 Logik 2 1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

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

1. Übungsblatt zur Analysis I. Gruppenübungen

1. Übungsblatt zur Analysis I. Gruppenübungen Prof. Dr. Helge Glöckner Wintersemester 2013/2014 17.10.2013 1. Übungsblatt zur Analysis I Gruppenübungen Aufgabe G1 (Aussagenlogik, Wahrheitstabellen) Es seien p und q Aussagen. (a) Geben Sie die Wahrheitstabelle

Mehr

Inhaltsverzeichnis. Inhaltsverzeichnis

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

Mehr

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre

Mehr

mathe plus Aussagenlogik Seite 1

mathe plus Aussagenlogik Seite 1 mathe plus Aussagenlogik Seite 1 1 Aussagenlogik 1.1 Grundbegriffe Def 1 Aussage Eine Aussage ist ein beschriebener Sachverhalt, dem eindeutig einer der Wahrheitswerte entweder wahr oder falsch zugeordnet

Mehr

Mills These: Eigennamen haben einzig die Funktion der Bezugnahme (kein weiterer Beitrag zur Bedeutung des gesamten Satzes).

Mills These: Eigennamen haben einzig die Funktion der Bezugnahme (kein weiterer Beitrag zur Bedeutung des gesamten Satzes). 1 Einführung in die Sprachphilosophie Martine Nida-Rümelin 2002 7. Vorlesung und 8. Vorlesung Montag, 22.4.2002, Dienstag, 23.4.2002 NAMEN UND KENNZEICHNUNGEN 1. Bertrand Russells Theorie der Eigennamen

Mehr

Diskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen

Diskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen Diskrete Strukturen WS 2018/19 Gerhard Hiß RWTH Aachen Erster Teil: Grundlagen Kapitel 1, Mathematische Grundbegriffe 1.1 Aussagen Begriff (Aussage) Sprachlicher Ausdruck, welcher entweder wahr oder falsch

Mehr

Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie

Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie Was ist Logik? Geschichte der Logik eng verknüpft mit Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie man aus Aussagen andere Aussagen ableiten kann Beschränkung auf

Mehr

Bewertung der Bachelorarbeit von Frau/Herrn:

Bewertung der Bachelorarbeit von Frau/Herrn: PrüferIn: Bewertung der Bachelorarbeit von Frau/Herrn: Thema: Die Arbeit wurde mit der Note bewertet. Heidenheim, den PrüferIn Bewertet wurden die im folgenden dargestellten Dimensionen und Aspekte: A:

Mehr

DIE FILES DÜRFEN NUR FÜR DEN EIGENEN GEBRAUCH BENUTZT WERDEN. DAS COPYRIGHT LIEGT BEIM JEWEILIGEN AUTOR.

DIE FILES DÜRFEN NUR FÜR DEN EIGENEN GEBRAUCH BENUTZT WERDEN. DAS COPYRIGHT LIEGT BEIM JEWEILIGEN AUTOR. Weitere Files findest du auf www.semestra.ch/files DIE FILES DÜRFEN NUR FÜR DEN EIGENEN GEBRAUCH BENUTZT WERDEN. DAS COPYRIGHT LIEGT BEIM JEWEILIGEN AUTOR. Meyer, J. W. und R. L. Jepperson 2005. Die "Akteure"

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

Eine gute Motivationslage ist der Schlüssel zum Lernen

Eine gute Motivationslage ist der Schlüssel zum Lernen Marbeit-Beispiel-Gliederung.docx Maturaarbeit Oktober 2015 (Titel) Eine gute Motivationslage ist der Schlüssel zum Lernen (evtl. Bild) Autor, Klasse: Betreuende Lehrperson: Inhalt Evtl. Vorwort... 3 1)

Mehr

EPISTEMISCHE LOGIK Grundlagen

EPISTEMISCHE LOGIK Grundlagen EPISTEMISCHE LOGIK Grundlagen Kollektives Wissen Manuel Bremer University of Düsseldorf, Germany www.mbph.de Gemeinsames Wissen Gemeinsames oder wechselseitiges Wissen ist eine wichtige Komponente z.b.

Mehr

Boolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2

Boolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 Universität Hamburg Department Mathematik Boolesche Algebra Hans Joachim Oberle Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 http://www.math.uni-hamburg.de/home/oberle/vorlesungen.html

Mehr

Einführung in die Philosophie

Einführung in die Philosophie in die Philosophie Glauben und Wissen Wintersemester 2016 17 // bei Moritz Schulz Plan Erscheinung und Wahrnehmung 1 Erscheinung und Wahrnehmung 2 3 Wahrnehmung Sinneswahrnehmung ist eine (womöglich sogar

Mehr

Allgemeine Gliederung

Allgemeine Gliederung Allgemeine Gliederung Einleitung Allgemeine Einführung ins Thema, Umreißen der Fragestellung vom Allgemeinen zum Speziellen Hauptteil 1. Absatz primäres Argument 2. Absatz primäres Argument 3. Absatz primäres

Mehr

Grundlagen der Logik

Grundlagen der Logik Grundlagen der Logik Denken Menschen logisch? Selektionsaufgabe nach Watson (1966): Gegeben sind vier Karten von denen jede auf der einen Seite mit einem Buchstaben, auf der anderen Seite mit einer Zahl

Mehr

Vorkurs Beweisführung

Vorkurs Beweisführung Vorkurs Beweisführung Fachschaft Mathematik und Informatik 30.08.2013 Agenda 1 Einleitung 2 Direkter Beweis 3 Widerspruchsbeweis 4 Vollständige Induktion 5 Aussagen widerlegen 6 Gleichheit von Mengen 7

Mehr

3. Sitzung. Wie schreibe ich eine Hausarbeit?

3. Sitzung. Wie schreibe ich eine Hausarbeit? 3. Sitzung Wie schreibe ich eine Hausarbeit? Inhalt der heutigen Veranstaltung I. Aufgabe einer Hausarbeit II. Schreibprozess III. Themenfindung IV. Elemente einer Hausarbeit V. Fragestellung VI. Hausarbeit

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

Künstliche Intelligenz Logische Agenten & Resolution

Künstliche Intelligenz Logische Agenten & Resolution Künstliche Intelligenz Logische Agenten & Resolution Stephan Schwiebert WS 2009/2010 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln Inferenz-Algorithmus Wie könnte ein

Mehr

Informationsverarbeitung auf Bitebene

Informationsverarbeitung auf Bitebene Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung

Mehr

DAS SCHREIBEN EINER SEMINARARBEIT

DAS SCHREIBEN EINER SEMINARARBEIT DAS SCHREIBEN EINER SEMINARARBEIT PS EINFÜHRUNG IN DIE PHILOSOPHIE (MIT EINER EINFÜHRUNG IN DAS WISSENSCHAFTLICHE ARBEITEN) KARL-FRANZENS-UNIVERSITÄT GRAZ INSTITUT FÜR PHILOSOPHIE WS 2014/15 THOMAS PÖLZLER

Mehr

Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden:

Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden: Übungsaufgaben 1. Aufgabe 1 Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden: a. x ist eine gerade Zahl. Aussageform b. 10 ist Element der Menge A.

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

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

Ende und Schluß. Dr. Uwe Scheffler. Januar [Technische Universität Dresden]

Ende und Schluß. Dr. Uwe Scheffler. Januar [Technische Universität Dresden] Ende und Schluß Dr. Uwe Scheffler [Technische Universität Dresden] Januar 2011 Bestimmte Kennzeichnungen 1. Dasjenige, über welches hinaus nichts größeres gedacht werden kann, ist Gott. 2. Die erste Ursache

Mehr

Ein Problem der Bedeutungsanalyse nach Grice

Ein Problem der Bedeutungsanalyse nach Grice Ein Problem der Bedeutungsanalyse nach Grice Fabian Hundertmark Matrikel-Nummer: 1769284 30. Juli 2008 1 Was werde ich tun? Herbert Paul Grice beschäftigt sich in seinem Aufsatz Meaning mit der Bedeutung

Mehr

Grundbegriffe Mengenlehre und Logik

Grundbegriffe Mengenlehre und Logik Grundbegriffe Mengenlehre und Logik Analysis für Informatiker und Lehramt Mathematik MS/GS/FS WS 2016/2017 Agnes Radl Mengen Georg Cantor (1895) Unter einer Menge verstehen wir jede Zusammenfassung M von

Mehr

Summen- und Produktzeichen

Summen- und Produktzeichen Summen- und Produktzeichen Ein großer Vorteil der sehr formalen mathematischen Sprache ist es, komplizierte Zusammenhänge einfach und klar ausdrücken zu können. Gerade auch diese Eigenschaft der Mathematik

Mehr

8 KAPITEL 1. GRUNDLAGEN

8 KAPITEL 1. GRUNDLAGEN 8 KAPITEL 1. GRUNDLAGEN Beweis. 1. Sei A X abgeschlossen, dann ist X \ A offen und jede offene Überdeckung von A lässt sich durch Hinzunahme von X \ A auf ganz X fortsetzen. Die Kompaktheit von X erlaubt

Mehr

DIGITAL NATIVES, DIGITAL IMMIGRANTS

DIGITAL NATIVES, DIGITAL IMMIGRANTS DIGITAL NATIVES, DIGITAL IMMIGRANTS ROBERT HELMDACH LUKAS WIEDERHOLD 1. Schlüsselworte Digital Natives, Digital Immigrants, E-Learning, Generation, Millennials, Net Generation, Netzgeneration 2. Kontext

Mehr

FAU Erlangen-Nürnberg Department Geschichte Professur für Alte Geschichte. Herzlich Willkommen zum Modul: Aufbau einer wissenschaftlichen Arbeit

FAU Erlangen-Nürnberg Department Geschichte Professur für Alte Geschichte. Herzlich Willkommen zum Modul: Aufbau einer wissenschaftlichen Arbeit Herzlich Willkommen zum Modul: Aufbau einer wissenschaftlichen Arbeit 1) Kriterien einer guten Gliederung Sinn und Zweck einer Gliederung Die Gliederung ist das Grundgerüst der Argumentation. Sie dient

Mehr

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl. Unterräume und Lineare Hülle 59 3. Unterräume und Lineare Hülle Definition.1 Eine Teilmenge U eines R-Vektorraums V heißt von V, wenn gilt: Unterraum (U 1) 0 U. (U ) U + U U, d.h. x, y U x + y U. (U )

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

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

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

Mathematische und logische Grundlagen der Linguistik. Mathematische und logische Grundlagen der Linguistik. Karl Heinz Wagner. Hier Titel eingeben 1

Mathematische und logische Grundlagen der Linguistik. Mathematische und logische Grundlagen der Linguistik. Karl Heinz Wagner. Hier Titel eingeben 1 Grundbegriffe der Aussagenlogik 1 Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen

Mehr

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken Susanna Pohl Vorkurs Mathematik TU Dortmund 09.03.2015 Aussagen, Logik und Beweistechniken Aussagen und Logik Motivation

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

Kapitel 1 Grundbegriffe der Mengenlehre und der Logik

Kapitel 1 Grundbegriffe der Mengenlehre und der Logik Wolter/Dahn: Analysis Individuell 3 Kapitel 1 Grundbegriffe der Mengenlehre und der Logik In diesem Abschnitt werden einige Grundbegriffe der Mengenlehre und grundlegende 1/0/0 Prinzipien der mathematischen

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

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

ARBEITEN MIT LITERATUR. Warum Literaturarbeit?

ARBEITEN MIT LITERATUR. Warum Literaturarbeit? ARBEITEN MIT LITERATUR Warum Literaturarbeit? Wozu arbeiten wir mir Literatur? Die Literaturarbeit ist eine wichtige Komponente im Prozess Ihres wissenschaftlichen Arbeitens und hilft Ihnen von Anfang

Mehr

Eine Aussage ist ein Satz der Umgangssprache, der wahr oder falsch sein kann. Man geht von dem Folgenden aus:

Eine Aussage ist ein Satz der Umgangssprache, der wahr oder falsch sein kann. Man geht von dem Folgenden aus: Karlhorst Meyer Formallogik Die Umgangssprache ist für mathematische Bedürfnisse nicht exakt genug. Zwei Beispiele: In Folge können u. U. Beweise, die in Umgangssprache geschrieben werden, nicht vollständig,

Mehr

1. Grundzüge der Diskursethik

1. Grundzüge der Diskursethik Die Diskursethik 1. Grundzüge der Diskursethik Interpretiere das oben gezeigte Bild: Moralische Kontroversen können letztlich nicht mit Gründen entschieden werden, weil die Wertprämissen, aus denen wir

Mehr

Mathematik-Vorkurs für Informatiker Aussagenlogik 1

Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Notieren Sie die Definitionen der

Mehr

1. Einführung in Temporallogik CTL

1. Einführung in Temporallogik CTL 1. Einführung in Temporallogik CTL Temporallogik dient dazu, Aussagen über Abläufe über die Zeit auszudrücken und zu beweisen. Zeit wird in den hier zunächst behandelten Logiken als diskret angenommen

Mehr

Dallmann, H. & Elster, K.H. (1991). Einführung in die höhere Mathematik, Band I. Jena: Fischer. (Kapitel 1, pp )

Dallmann, H. & Elster, K.H. (1991). Einführung in die höhere Mathematik, Band I. Jena: Fischer. (Kapitel 1, pp ) Logik Literatur: Dallmann, H. & Elster, K.H. (1991). Einführung in die höhere Mathematik, Band I. Jena: Fischer. (Kapitel 1, pp. 17-30) Quine, W.V.O. (1964 / 1995). Grundzüge der Logik. Frankfurt a.m.:

Mehr