Mentale Modelle und kognitive Täuschungen

Größe: px
Ab Seite anzeigen:

Download "Mentale Modelle und kognitive Täuschungen"

Transkript

1 Mentale Modelle und kognitive Täuschungen

2 Theorien des deduktiven Denkens Theorien auf dem algorithmischen Level: Wie führen Menschen Berechnungen und Deduktion aus? Theorien auf dem berechnenden Level: Was wird beim Denkprozess berechnet? Warum wird es berechnet?

3 Theorie der mentalen Logik Menschen denken mit formalen Inferenzregeln z.b. Modus Ponens komplexere Inferenzen sind durch Kombination von Regeln möglich

4 Beispiel Beispiel für die Theorie der mentalen Logik: Wenn es regnet, ist die Strasse nass. Es regnet.

5 Beispiel Beispiel für die Theorie der mentalen Logik: Wenn es regnet, ist die Strasse nass. Es regnet. Modus Ponens: A B A B

6 Beispiel Beispiel für die Theorie der mentalen Logik: Wenn es regnet, ist die Strasse nass. Es regnet. Modus Ponens: Folglich: Die Strasse ist nass. A B A B

7 Theorie der mentalen Modelle Aufbau eines mentalen Modells der Prämissen Denken entspricht der Manipulation der mentalen Modelle

8 Theorie der mentalen Modelle Die schwarze Kugel liegt direkt hinter der weißen Kugel.

9 Theorie der mentalen Modelle Die grüne Kugel ist rechts von der weißen Kugel und zwischen den beiden liegt die rote Kugel.

10 Theorie der mentalen Modelle Daher: wenn ich mich so bewege, dass die rote Kugel zwischen mir und der schwarzen Kugel ist, dann ist die weiße Kugel links von meiner Blicklinie.

11 Die drei Schritte der Deduktion: Verständnis

12 Die drei Schritte der Deduktion: Verständnis Modelle

13 Die drei Schritte der Deduktion: Verständnis Modelle Beschreibung

14 Die drei Schritte der Deduktion: Verständnis Modelle Beschreibung mutmaßliche Folgerung

15 Die drei Schritte der Deduktion: Verständnis Modelle Beschreibung mutmaßliche Folgerung Bewertung: Suche nach alternativen Modellen (Gegenbeispiele)

16 Die drei Schritte der Deduktion: Verständnis Modelle Beschreibung mutmaßliche Folgerung Bewertung: Suche nach alternativen Modellen (Gegenbeispiele) gültige Folgerung

17 Beispiel: Beispiel für mentale Modelle: An der Tafel ist ein Kreis oder ein Dreieck. ä

18 Beispiel: Beispiel für mentale Modelle: An der Tafel ist ein Kreis oder ein Dreieck. ä

19 Beispiel: Beispiel für mentale Modelle: An der Tafel ist ein Kreis oder ein Dreieck. An der Tafel ist kein Dreieck.

20 Beispiel: Beispiel für mentale Modelle: An der Tafel ist ein Kreis oder ein Dreieck. An der Tafel ist kein Dreieck.

21 Beispiel: Beispiel für mentale Modelle: An der Tafel ist ein Kreis oder ein Dreieck. An der Tafel ist kein Dreieck. Folgerung: An der Tafel ist ein Kreis.

22 Störungen im Deduktionsprozess Bias

23 Störungen im Deduktionsprozess Bias Probleme beim Testen von Hypothesen

24 Belief Bias glaubwürdige Folgerungen werden unglaubwürdigen vorgezogen

25 Belief Bias glaubwürdige Folgerungen werden unglaubwürdigen vorgezogen Beispiel für den Belief Bias: Alle Franzosen sind Weintrinker. Einige Weintrinker sind Gourmets.

26 Belief Bias glaubwürdige Folgerungen werden unglaubwürdigen vorgezogen Beispiel für den Belief Bias: Alle Franzosen sind Weintrinker. Einige Weintrinker sind Gourmets. Einige Franzosen sind Gourmets?

27 Belief Bias Alle Franzosen sind Weintrinker. Einige Weintrinker sind Italiener. Einige Franzosen sind Italiener?

28 Confirmation Bias Bestätigungstendenz Experiment von Lord, Ross und Lepper

29 Schwächen beim Hypothesentesten Rule Discovery Menge von Objekten wird unterteilt in: Zielmenge und restliche Menge T U gesucht: Regel für diese Unterteilung

30 Hypothesentesten Wason s Rule Discovery Universum: alle Zahlentripel vorgegeben: (2, 4, 6) Wie sieht die Regel aus? Ergebnis: 21 % gaben als erstes die richtige Regel an 51 % gaben vorher mindestens eine falsche Regel an 28 % gaben nie die richtige Regel an s

31 Hypothesentesten Wason s Rule Discovery Universum: alle Zahlentripel vorgegeben: (2, 4, 6) Wie sieht die Regel aus? Ergebnis: 21 % gaben als erstes die richtige Regel an 51 % gaben vorher mindestens eine falsche Regel an 28 % gaben nie die richtige Regel an

32 Mögliche Erklärungen Die Situation in Wason s Rule Discovery: vermutete Regel ist zu scharf T U H

33 Bewertung der positiven Teststrategie H U T

34 Bewertung der positiven Teststrategie H und T schneiden sich U H T

35 Bewertung der positiven Teststrategie U H T

36 Fazit eine gemischte Teststrategie ist am Besten Menschen unterlaufen häufig logische Fehler Ist menschliches Verhalten, das den formalen logischen Regel widerspricht, stets irrational?

37 Diskussion Zwei Arten von Rationalität: persönliche Rationalität unpersönliche Rationalität Ist eine Unterscheidung von zwei Arten von Rationalität sinnvoll?

Mentale Modelle und kognitive Täuschungen

Mentale Modelle und kognitive Täuschungen Mentale Modelle und kognitive Täuschungen Claudia Obermaier Universität Koblenz, obermaie@uni-koblenz.de Zusammenfassung Der Mensch ist zweifellos die intelligenteste Spezies der Welt. Trotzdem unterlaufen

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

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

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

Deduktion in der Aussagenlogik

Deduktion in der Aussagenlogik Deduktion in der Aussagenlogik Menge von Ausdrücken der Aussagenlogik beschreibt einen bestimmten Sachverhalt, eine "Theorie" des Anwendungsbereiches. Was folgt logisch aus dieser Theorie? Deduktion: aus

Mehr

Vollständige Induktion

Vollständige Induktion Kantonsschule Olten Hardwald 4600 Olten Vollständige Induktion Andreas Stoll Andreas Pulfer Erfänzungsfach Anwendungen der Mathematik (2017/18) 1 Beweisen 1.1 Axiome und Prämissen Bei einem Beweis wird

Mehr

4 Spezielle Schlussverfahren

4 Spezielle Schlussverfahren 4 Spezielle Schlussverfahren 10. Vorlesung: Abduktion und Hypothesenbildung; Induktion und Lernen Methoden der Künstlichen Intelligenz Ipke Wachsmuth WS 2012/2013 Kernfragen der Vorlesung 1. Wie lässt

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

ERKENNTNIS ??? WAHRHEIT??? ERKENNEN WISSEN WAHRHEIT (I) Wie erkennen wir etwas? AUSSENWELT (OBJEKT) ERKENNENDES SUBJEKT (ICH) SINNE DENKFORMEN RAUM

ERKENNTNIS ??? WAHRHEIT??? ERKENNEN WISSEN WAHRHEIT (I) Wie erkennen wir etwas? AUSSENWELT (OBJEKT) ERKENNENDES SUBJEKT (ICH) SINNE DENKFORMEN RAUM ERKENNEN WISSEN WAHRHEIT (I) Wie erkennen wir etwas? AUSSENWELT (OBJEKT) ERKENNENDES SUBJEKT (ICH) SINNE + DENKFORMEN RAUM ZEIT KAUSA- LITÄT ERKENNTNIS??? WAHRHEIT??? ERKENNEN WISSEN WAHRHEIT (II) Meinen

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

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

Beweistechniken. Vorkurs Informatik - SoSe April 2014

Beweistechniken. Vorkurs Informatik - SoSe April 2014 Vorkurs Informatik SoSe14 07. April 2014 Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Motivation Wozu Beweise in der Informatik? Quelle: http://www.nileguide.com Wozu Beweise in der

Mehr

TU7 Aussagenlogik II und Prädikatenlogik

TU7 Aussagenlogik II und Prädikatenlogik TU7 Aussagenlogik II und Prädikatenlogik Daniela Andrade daniela.andrade@tum.de 5.12.2016 1 / 32 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds

Mehr

propositionales bildhaftes motorisches

propositionales bildhaftes motorisches Kapitel 8 Denken Denken als sprachlicher Gedankenstrom; Sprache des Geistes propositionales (bedeutungsbezogenes) Denken Denken als bildhafter Gedankenstrom; im Geiste sehen bildhaftes Denken Denken als

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

5.1 Inferenz. Theorie der Informatik. Theorie der Informatik. 5.1 Inferenz. 5.2 Resolutionskalkül. 5.3 Zusammenfassung. Inferenz: Motivation

5.1 Inferenz. Theorie der Informatik. Theorie der Informatik. 5.1 Inferenz. 5.2 Resolutionskalkül. 5.3 Zusammenfassung. Inferenz: Motivation Theorie der Informatik 9. März 2015 5. Aussagenlogik III Theorie der Informatik 5. Aussagenlogik III 5.1 Inferenz Malte Helmert Gabriele Röger 5.2 Resolutionskalkül Universität Basel 9. März 2015 5.3 Zusammenfassung

Mehr

Grundlagen der Kognitiven Informatik

Grundlagen der Kognitiven Informatik Grundlagen der Kognitiven Informatik Wissensrepräsentation und Logik Ute Schmid Kognitive Systeme, Angewandte Informatik, Universität Bamberg letzte Änderung: 14. Dezember 2010 U. Schmid (CogSys) KogInf-Logik

Mehr

Tilman Bauer. 4. September 2007

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

Mehr

Vorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG

Vorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG Vorkurs Mathematik JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Lennéstraße 43, 1. OG pinger@uni-bonn.de September/Oktober 2017 JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Vorkurs Mathematik September/Oktober

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

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

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 18. Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 18. Januar 2017 Kalküle (1) Kalküle (m) sind Regelsysteme, mit denen sich allgemeingültige

Mehr

Einführung in die grossen Themenbereiche der Psychologie

Einführung in die grossen Themenbereiche der Psychologie Einführung in die grossen Themenbereiche der Psychologie Arlette Bär Deucher Kontakt u ber arlette.baer@unifr.ch MÖGLICHE TERMINE Mittwoch 5.11.2014, 17.15 19 Uhr, Frau Prof. P. Klumb Dienstag 11.11.2014,

Mehr

UniversitŠt Bielefeld bersicht zu Abschnitt 5. u Gegenstand: Überblick über weitere Inferenzverfahren

UniversitŠt Bielefeld bersicht zu Abschnitt 5. u Gegenstand: Überblick über weitere Inferenzverfahren bersicht zu Abschnitt 5 5 Spezielle Schlußverfahren 13. Vorlesung: Abduktion und Hypothesenbildung Induktion und Lernen Methoden der KŸnstlichen Intelligenz Ipke Wachsmuth ÊWS 2000/2001 u Gegenstand: Überblick

Mehr

Gewinnschwellen. Florian Holzapfel. Bezugspunkte beim Ausweis von Gewinnen am deutschen Aktienmarkt. Deutscher Universitäts-Verlag

Gewinnschwellen. Florian Holzapfel. Bezugspunkte beim Ausweis von Gewinnen am deutschen Aktienmarkt. Deutscher Universitäts-Verlag Florian Holzapfel Gewinnschwellen Bezugspunkte beim Ausweis von Gewinnen am deutschen Aktienmarkt Mit einem Geleitwort von Prof. Dr. Reinhart Schmidt Deutscher Universitäts-Verlag Inhaltsverzeichnis Abbildungsverzeichnis

Mehr

Vorlesung: Pädagogische Anthropologie und pädagogische Zielfragen Pädagogische Zielfragen I

Vorlesung: Pädagogische Anthropologie und pädagogische Zielfragen Pädagogische Zielfragen I Vorlesung: Pädagogische Anthropologie und pädagogische Zielfragen Pädagogische Zielfragen I Herzlich Willkommen! Annette Scheunpflug Universität Erlangen-Nürnberg Damit sind wir am Ende des Überblicks

Mehr

Grundlagen der Betriebswirtschaftslehre. Kapitel 2: Wissenschaftstheorie und Wissenschaftsprogramme

Grundlagen der Betriebswirtschaftslehre. Kapitel 2: Wissenschaftstheorie und Wissenschaftsprogramme Grundlagen der Betriebswirtschaftslehre Kapitel 2: Wissenschaftstheorie und Wissenschaftsprogramme Wintersemester 07/08 1 Inhalt der Vorlesung 1. Gegenstand der BWL und Betriebswirtschaftliche Funktionen

Mehr

Eigene MC-Aufgaben 2.4 Forschungsplanung und Forschungsdesign (X aus 5) 1. Welche Aussage trifft auf die Methodenlehre der ESF zu?

Eigene MC-Aufgaben 2.4 Forschungsplanung und Forschungsdesign (X aus 5) 1. Welche Aussage trifft auf die Methodenlehre der ESF zu? Eigene MC-Aufgaben 2.4 Forschungsplanung und Forschungsdesign (X aus 5) 1. Welche Aussage trifft auf die Methodenlehre der ESF zu? Problemadäquate Erhebungsinstrumente müssen entwickelt und getestet werden.

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

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

Professur für Allgemeine Psychologie. Vorlesung im SS 2013 Kognitionspsychologie. Deduktives Denken. Prof. Dr. Thomas Goschke

Professur für Allgemeine Psychologie. Vorlesung im SS 2013 Kognitionspsychologie. Deduktives Denken. Prof. Dr. Thomas Goschke Professur für Allgemeine Psychologie Vorlesung im SS 2013 Kognitionspsychologie Deduktives Denken Prof. Dr. Thomas Goschke Überblick Deduktives Schließen und konditionale Syllogismen Fehler beim deduktiven

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

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 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

Algorithmus. Was ist ein Algorithmus? Ibn Musa Al-Chwarismi persischer Mathematikers 9. Jahrhundert Buch: Regeln der Wiedereinsetzung und Reduktion.

Algorithmus. Was ist ein Algorithmus? Ibn Musa Al-Chwarismi persischer Mathematikers 9. Jahrhundert Buch: Regeln der Wiedereinsetzung und Reduktion. Algorithmus Was ist ein Algorithmus? Ibn Musa Al-Chwarismi persischer Mathematikers 9. Jahrhundert Buch: Regeln der Wiedereinsetzung und Reduktion. Hier einige informelle Erklärungen zum Algorithmus P

Mehr

Allgemeine Psychologie Denken und Sprache

Allgemeine Psychologie Denken und Sprache Allgemeine Psychologie Denken und Sprache von Sieghard Beller und Andrea Bender HOGREFE - GÖTTINGEN BERN WIEN PARIS OXFORD PRAG TORONTO ES CAMBRIDGE, MA AMSTERDAM. KOPENHAGEN. STOCKHOLM In haltsverzeich

Mehr

Methoden des Wissenschaftlichen Arbeitens Vorlesung im Sommersemester VL 2: Was ist Wissenschaft?

Methoden des Wissenschaftlichen Arbeitens Vorlesung im Sommersemester VL 2: Was ist Wissenschaft? Methoden des Wissenschaftlichen Arbeitens Vorlesung im Sommersemester 2017 04.05.17 VL 2: Was ist Wissenschaft? Prof. Dr. Riklef Rambow Fachgebiet Architekturkommunikation Institut Entwerfen, Kunst und

Mehr

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

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

Mehr

Diskrete Mathematik. Anna-Lena Rädler Christina Kohl Georg Moser Christian Sternagel Vincent van Oostrom

Diskrete Mathematik. Anna-Lena Rädler Christina Kohl Georg Moser Christian Sternagel Vincent van Oostrom Diskrete Mathematik Anna-Lena Rädler Christina Kohl Georg Moser Christian Sternagel Vincent van Oostrom Institut für Informatik @ UIBK Sommersemester 2018 Organisation Organisation GM (IFI) Diskrete Mathematik

Mehr

Grundlagen der Varianzanalyse

Grundlagen der Varianzanalyse Grundlagen der Varianzanalyse Frank Huber Frederik Meyer Michael Lenzen Grundlagen der Varianzanalyse Konzeption Durchführung Auswertung Frank Huber LS für Marketing I Universität Mainz Mainz, Deutschland

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

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

3 Relevanz des Themas für die Schule

3 Relevanz des Themas für die Schule 3 Relevanz des Themas für die Schule Daten spielen im naturwissenschaftlichen Unterricht dann eine wichtige Rolle, wenn es darum geht, Erkenntnisse durch naturwissenschaftliche Arbeitsweisen zu gewinnen.

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe17 Ronja Düffel 22. März 2017 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise

Mehr

Bayes-Netze (1) Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg

Bayes-Netze (1) Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg Bayes-Netze (1) Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg (Lehrstuhl KI) Bayes-Netze (1) 1 / 22 Gliederung 1 Unsicheres Wissen 2 Schließen

Mehr

Allgemeine Psychologie - Denken und Sprache

Allgemeine Psychologie - Denken und Sprache Bachelorstudium Psychologie 3 Allgemeine Psychologie - Denken und Sprache Bearbeitet von Sieghard Beller, Andrea Bender 1. Auflage 2010. Taschenbuch. 318 S. Paperback ISBN 978 3 8017 2141 1 Format (B x

Mehr

Kritischer Rationalismus

Kritischer Rationalismus Kritischer Rationalismus Informationswissenschaft und Sprachtechnologie im Diskurs Esther Seyffarth, Linda Schaffarczyk 27.01.2016 http://enigmabrot.de/popper/index.html?pdf export#/ 1/24 Themenüberblick

Mehr

Kann ich meinem Hirn trauen? Kann ich meinem Hirn trauen?

Kann ich meinem Hirn trauen? Kann ich meinem Hirn trauen? Kann ich meinem Hirn trauen? Der Autor Dr. Peter Hank (Volkshochschule München) war so freundlich, seinen Vortrag für wissenbloggt niederzuschreiben: Kann ich meinem Hirn trauen? Diese Frage ist der Titel

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe16 Ronja Düffel 21. März 2016 Logik und Beweise Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe.

Mehr

Kap.1: Was ist Wissen? 1.1 Begriff des Wissens (1)

Kap.1: Was ist Wissen? 1.1 Begriff des Wissens (1) Kap.1: Was ist Wissen? 1.1 Begriff des Wissens (1) Zusammenfassung: Diskutiert wurde: A) Wissensbegriff in verschiedenen Wissenschaften B) Daten Information Wissen Ebenen: (E1) Übermittlung physikalischer

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe15 Ronja Düffel 23. März 2015 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise

Mehr

Logic in a Nutshell. Christian Liguda

Logic in a Nutshell. Christian Liguda Logic in a Nutshell Christian Liguda Quelle: Kastens, Uwe und Büning, Hans K., Modellierung: Grundlagen und formale Methoden, 2009, Carl Hanser Verlag Übersicht Logik - Allgemein Aussagenlogik Modellierung

Mehr

1.1 Was ist KI? 1.1 Was ist KI? Grundlagen der Künstlichen Intelligenz. 1.2 Menschlich handeln. 1.3 Menschlich denken. 1.

1.1 Was ist KI? 1.1 Was ist KI? Grundlagen der Künstlichen Intelligenz. 1.2 Menschlich handeln. 1.3 Menschlich denken. 1. Grundlagen der Künstlichen Intelligenz 20. Februar 2015 1. Einführung: Was ist Künstliche Intelligenz? Grundlagen der Künstlichen Intelligenz 1. Einführung: Was ist Künstliche Intelligenz? Malte Helmert

Mehr

Allgemeine Psychologie Denken und Sprache

Allgemeine Psychologie Denken und Sprache Allgemeine Psychologie Denken und Sprache von Sieghard Beller und Andrea Bender GOTTINGEN BERN WIEN PARIS OXFORD PRAG TORONTO CAMBRIDGE, MA AMSTERDAM KOPENHAGEN STOCKHOLM Vorwort 11 1 Einleitung 13 1.1

Mehr

Grundlagen der Künstlichen Intelligenz

Grundlagen der Künstlichen Intelligenz Grundlagen der Künstlichen Intelligenz 1. Einführung: Was ist Künstliche Intelligenz? Malte Helmert Universität Basel 20. Februar 2015 Einführung: Überblick Kapitelüberblick Einführung: 1. Was ist Künstliche

Mehr

Einführung in die Wissenschaftsphilosophie

Einführung in die Wissenschaftsphilosophie Einführung in die Wissenschaftsphilosophie Keine Vorlesung am 23.11.2015 Prof. Dr. Martin Kusch 1 4. Vorlesung: Bestätigung 2 (1) Die hypothetisch-deduktive Methode der Bestätigung

Mehr

So denken Kinder. Usha Goswami. Enführung in die Psychologie der kognitiven Entwicklung. Verlag Hans Huber Bern Göttingen Toronto Seattle

So denken Kinder. Usha Goswami. Enführung in die Psychologie der kognitiven Entwicklung. Verlag Hans Huber Bern Göttingen Toronto Seattle Usha Goswami So denken Kinder Enführung in die Psychologie der kognitiven Entwicklung Aus dem Englischen übersetzt von Matthias Wengenroth Verlag Hans Huber Bern Göttingen Toronto Seattle 9 Inhalt Vorwort

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

Vorkurs Mathematik Logik und Beweise II

Vorkurs Mathematik Logik und Beweise II Vorkurs Mathematik Logik und Beweise II Mireille Soergel 5. Oktober 017 Diese Arbeit basiert in Teilen auf dem Beweis-Vortrag von Bärbel Jansen und Winnifred Wollner, in bearbeiteter Fassung von Casper

Mehr

Kleiner Ausflug in Logik und Verkehrssteuerung

Kleiner Ausflug in Logik und Verkehrssteuerung Kleiner usflug in Logik und Verkehrssteuerung Ein logisches Rätsel usgangslage: Drei Frauen stehen hintereinander. Jede trägt einen Hut auf dem Kopf und sieht nur die Hüte der voran stehenden Personen.

Mehr

Statistische Anwendungen. Claudia Dilger

Statistische Anwendungen. Claudia Dilger Statistische Anwendungen Claudia Dilger 21.10.2008 Traue keiner Statistik, die du nicht selbst gefälscht hast! Quelle: unbekannt Statistik - was ist das überhaupt? Stochastik Wahrscheinlichkeitstheorie

Mehr

Analyse der Auswirkung eines neuen. Phänomens auf die Kundenbeziehung

Analyse der Auswirkung eines neuen. Phänomens auf die Kundenbeziehung Judith Schloffer Kommunikationsverweigerung und -Störung Analyse der Auswirkung eines neuen Phänomens auf die Kundenbeziehung 4^ Springer Gabler IX Inhaltsverzeichnis Abbildungsverzeichnis Abkürzungsverzeichnis

Mehr

Wissenschaftliches Arbeiten und Methodenlehre 1

Wissenschaftliches Arbeiten und Methodenlehre 1 Wissenschaftliches Arbeiten und Methodenlehre 1 Teil A: Wissenschaftstheoretische Grundlagen WS 2016/2017 Prof. Dr. Richard Roth 1 Inhaltsverzeichnis A. Wissenschaftstheoretische Grundlagen 1 Wissenschaft

Mehr

Seminar: Theorien induktiven und deduktiven Denkens aus KI und Psychologie

Seminar: Theorien induktiven und deduktiven Denkens aus KI und Psychologie Seminar: Theorien induktiven und deduktiven Denkens aus KI und Psychologie Gregory Kuhnmuench Marco Ragni Stefan Wölfl Bernhard Nebel Abt. Kognitionswissenschaft AG Grundlagen der Künstlichen Intelligenz

Mehr

1. Wissenschaftstheoretische Grundlagen Soziologische Theorie als erfahrungswissenschaftliche

1. Wissenschaftstheoretische Grundlagen Soziologische Theorie als erfahrungswissenschaftliche 1. Wissenschaftstheoretische Grundlagen 1.1. Soziologische Theorie als erfahrungswissenschaftliche Theorie 1.1.1. Was sind keine erfahrungswissenschaftlichen Theorien? Aussagen der Logik und der Mathematik

Mehr

STOCHASTISCHE UNABHÄNGIGKEIT. Annika Pohlmann Philipp Oel Wilhelm Dück

STOCHASTISCHE UNABHÄNGIGKEIT. Annika Pohlmann Philipp Oel Wilhelm Dück STOCHASTISCHE UNABHÄNGIGKEIT Annika Pohlmann Philipp Oel Wilhelm Dück 1 GLIEDERUNG 1) Bedingte Wahrscheinlichkeiten 2) Unabhängigkeit für mehr als zwei Ereignisse 3) Unabhängigkeit für Zufallsvariable

Mehr

Maschinelles Lernen: Symbolische Ansätze

Maschinelles Lernen: Symbolische Ansätze Maschinelles Lernen: Symbolische Ansätze Wintersemester 2008/2009 Musterlösung für das 3. Übungsblatt Aufgabe 1: Version Space, Generalisierung und Spezialisierung Gegeben sei folgende Hierarchie von Begriffen:

Mehr

Theorie- Theorie. Susan Carey. Beate Sodian. Henry Wellman. Josef Perner

Theorie- Theorie. Susan Carey. Beate Sodian. Henry Wellman. Josef Perner Susan Carey Henry Wellman Theorie- Theorie Beate Sodian Josef Perner Gliederung Grundannahmen Zwei Beispiele -"Theory of mind" (mentale Alltagspsychologie) - Naive Astronomie Konzeptwechsel (Conceptual

Mehr

Allgemeine Psychologie: Denken. Sommersemester 2008. Thomas Schmidt

Allgemeine Psychologie: Denken. Sommersemester 2008. Thomas Schmidt Allgemeine Psychologie: Denken Sommersemester 2008 Thomas Schmidt Folien: http://www.allpsych.uni-giessen.de/thomas Zimbardo, Kap. 9 Literatur I. Mental Imagery Visuelle und auditive Vorstellungen Visuelle

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

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

Data Mining und Maschinelles Lernen Wintersemester 2015/2016 Lösungsvorschlag für das 3. Übungsblatt

Data Mining und Maschinelles Lernen Wintersemester 2015/2016 Lösungsvorschlag für das 3. Übungsblatt Data Mining und Maschinelles Lernen Wintersemester 2015/2016 Lösungsvorschlag für das 3. Übungsblatt 18. November 2015 1 Aufgabe 1: Version Space, Generalisierung und Spezialisierung (1) Gegeben sei folgende

Mehr

Allgemeine Psychologie II

Allgemeine Psychologie II Allgemeine Psychologie II Prof. Dr. Björn Rasch, Cognitive Biopsychology and Methods University of Fribourg 1 Allgemeine Psychologie I Woche Datum Thema 1 FQ 20.2.13 Einführung, Verteilung der Termine

Mehr

Überblick der heutigen Sitzung

Überblick der heutigen Sitzung Rückblick Überblick der heutigen Sitzung Exkursion: Blitzlicht-Methode Moral Session: Hausaufgabe Wissenschaftliches Arbeiten und Forschungsmethoden Arbeiten in den Projektgruppen Wissenschaftliches Arbeiten

Mehr

Psychologie für die Praxis

Psychologie für die Praxis Ö806 - Psychologie für die Praxis Perspektiven einer nützlichen : * * / ' - Forschung und Ausbildung von Uwe Peter Kanning Hogrefe Verlag für Psychologie Göttingen Bern Toronto Seattle Inhaltsverzeichnis

Mehr

Beurteilende Statistik

Beurteilende Statistik Beurteilende Statistik Wahrscheinlichkeitsrechnung und Beurteilende Statistik was ist der Unterschied zwischen den beiden Bereichen? In der Wahrscheinlichkeitstheorie werden aus gegebenen Wahrscheinlichkeiten

Mehr

Lösungen 3 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren

Lösungen 3 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren Lösungen 3 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 26. September 2016, Fehler und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de

Mehr

Induktion im Lexikon: logische Herleitung allgemeiner Regeln von Einzelfällen zu allgemeinen Gesetzen aufsteigen

Induktion im Lexikon: logische Herleitung allgemeiner Regeln von Einzelfällen zu allgemeinen Gesetzen aufsteigen Eine Induktionslogik gibt es nicht. Induktion im Lexikon: logische Herleitung allgemeiner Regeln von Einzelfällen zu allgemeinen Gesetzen aufsteigen Popper zitiert Einstein: Zu diesen Gesetzen führt kein

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

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

v = z c (1) m M = 5 log

v = z c (1) m M = 5 log Hubble-Gesetz Das Hubble-Gesetz ist eines der wichtigsten Gesetze der Kosmologie. Gefunden wurde es 1929 von dem amerikanischen Astronom Edwin Hubble. Hubble maß zunächst die Rotverschiebung z naher Galaxien

Mehr

Das automatische Bestimmen der Qualität eines Textes (mit Coh-Metrix) Diskursmodelle Paula Erdös SoSe 2009

Das automatische Bestimmen der Qualität eines Textes (mit Coh-Metrix) Diskursmodelle Paula Erdös SoSe 2009 Das automatische Bestimmen der Qualität eines Textes (mit Coh-Metrix) Diskursmodelle Paula Erdös SoSe 2009 Gliederung 1. Kohäsion und Verständlichkeit eines Textes 2. Traditionelle Methoden zur Bestimmung

Mehr

Kurt Gödel und die Grundlagen der Mathematik

Kurt Gödel und die Grundlagen der Mathematik Mathematisches Institut der LMU 5. November 2007 Kurt Gödel 1906 1978 Geboren am 28. April 1906 in Brünn (heute Brno) Studium der Mathematik und Physik in Wien, 1924 1930 Mitglied des Wiener Kreises (Moritz

Mehr

Bildungsplan Gymnasium Physik Kompetenzen und (verbindliche) Inhalte Klasse 8

Bildungsplan Gymnasium Physik Kompetenzen und (verbindliche) Inhalte Klasse 8 Bildungsplan Gymnasium Physik Kompetenzen und (verbindliche) Inhalte Klasse 8 1. Physik als Naturbeobachtung unter bestimmten Aspekten a) zwischen Beobachtung und physikalischer Erklärung unterscheiden

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

Denkblockaden und mathematische Paradoxa

Denkblockaden und mathematische Paradoxa 1 Denkblockaden und mathematische Paradoxa Holger Stephan Weierstraß Institut für Angewandte Analysis und Stochastik (WIAS), Berlin Lange Nacht der Wissenschaften 24. Juni 2017 Paradoxa 2 Der Chef erhöht

Mehr

2.3 Deduktiver Aufbau der Aussagenlogik

2.3 Deduktiver Aufbau der Aussagenlogik 2.3 Deduktiver Aufbau der Aussagenlogik Dieser Abschnitt beschäftigt sich mit einem axiomatischen Aufbau der Aussagenlogik mittels eines Deduktiven Systems oder eines Kalküls. Eine syntaktisch korrekte

Mehr

Einführung in die Fuzzy Logic

Einführung in die Fuzzy Logic Einführung in die Fuzzy Logic Entwickelt von L. Zadeh in den 60er Jahren Benutzt unscharfe (fuzzy) Begriffe und linguistische Variablen Im Gegensatz zur Booleschen Logik {0,} wird das ganze Intervall [0,]

Mehr

Lexikon der verhaltenswissenschaftlichen Betriebswirtschaftslehre. Confirmation Bias

Lexikon der verhaltenswissenschaftlichen Betriebswirtschaftslehre. Confirmation Bias Lexikon der verhaltenswissenschaftlichen Betriebswirtschaftslehre Confirmation Bias 1. Begriff...1 2. Prozesse bei der Auswahl, Aufnahme und Bewertung von Informationen...2 3. Eine ausgewählte Studie...4

Mehr

Logisches und Widersprüchliches

Logisches und Widersprüchliches Logisches und Widersprüchliches Manfred Dobrowolski Universität Würzburg Logisches und Widersprüchliches 1 Wahr oder falsch? 2 Antinomien 3 Logik-Rätsel 4 Paradoxien 5 Die Umkehr der Höflichkeit Aussagen

Mehr

Einführung in die Wissenschaftstheorie

Einführung in die Wissenschaftstheorie Einführung in die Wissenschaftstheorie von Dr. Wolfgang Brauner Was ist Wissen? Wissen = Kenntnis von etwas haben (allg.) Wissen = wahre, gerechtfertigte Meinung (Philosophie: Platon) Formen des Wissens:

Mehr

Inkohärenz des Gottesbegriffs?

Inkohärenz des Gottesbegriffs? Inkohärenz des Gottesbegriffs? Theodizee-Problem, Theologie und Naturwissenschaften»Suche nach relevanten Widersprüchen, um bisherige Überzeugungen dem Risiko des Scheiterns auszusetzen, so dass sie Gelegenheit

Mehr

C. A. R. Hoare. An Axiomatic Basis for Computer Programming. Nicolas Schelp. Proseminar Assertions SS 2007

C. A. R. Hoare. An Axiomatic Basis for Computer Programming. Nicolas Schelp. Proseminar Assertions SS 2007 C. A. R. Hoare An Axiomatic Basis for Computer Programming Nicolas Schelp Proseminar Assertions SS 2007 Inhalt Motivation Kurze Biographie Der Hoare-Kalkül Axiome und Inferenzregeln des Hoare-Kalküls Die

Mehr

Vorlesung 3: Logik und Mengenlehre

Vorlesung 3: Logik und Mengenlehre 28102013 Erinnerung: Zeilen-Stufen-Form (ZSF) eines LGS 0 0 1 c 1 0 0 0 1 0 0 1 c r 0 0 0 c r+1 0 0 0 0 0 0 0 0 0 c m Erinnerung: Information der Zeilen-Stufen-Form Aus der ZSF liest man ab: Folgerung

Mehr

Stufen des Begriffsverständnisses (vgl. van-hiele-schema)

Stufen des Begriffsverständnisses (vgl. van-hiele-schema) Stufen des Begriffsverständnisses (vgl. van-hiele-schema) intuitives Begriffsverständnis: Kenntnis einfacher Beispiele, Vergleich auf der Ebene von Formulierungen wie sieht aus wie inhaltliches Begriffsverständnis:

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

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

Referenten: Tim Dwinger, Sven Knoke und Leon Mischlich

Referenten: Tim Dwinger, Sven Knoke und Leon Mischlich Kurs: GK Philosophie 12.2 Kurslehrer: Herr Westensee Referatsthema: Wahrheit vs. Logik Referenten: Tim Dwinger, Sven Knoke und Leon Mischlich Gliederung 1. Einleitung 2. Wahrheit 2.1.Thomas v. Aquin 2.1.1.

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

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