Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel
|
|
- Hildegard Friedrich
- vor 6 Jahren
- Abrufe
Transkript
1 Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie Prof. Dr. Jörg Rössel
2 Ablaufplan 1. Einleitung: Was ist Wissenschaft(stheorie) überhaupt? 2. Was sind wissenschaftliche Theorien? 2.1. Einige Definitionen und Präzisierungen 2.2. Formalisierung: Logik und Mathematik 2.3. Werturteile und wissenschaftliche Theorien 3. Welche Rolle spielen wissenschaftliche Theorien in Erklärungen? 3.1. Deduktiv-nomologische Erklärungen 3.2. Induktiv-statistische Erklärungen 3.3. Alternative Erklärungsmodelle (Teleologische Erklärungen, Funktionalismus, Mechanismen) 3.4. Der Informationsgehalt von Theorien 3.5. Erklärungen in der Soziologie: Individualistisch oder kollektivistisch? 4. Lassen sich allgemeine Theorien empirisch prüfen oder bestätigen? 4.1. Ausgangspunkt: (Logischer) Empirismus 4.2. Das Basissatzproblem und die Theoriebeladenheit von Beobachtungen 4.3. Das Induktionsproblem 4.4. Sind empirische Evidenzen blosse Konstruktionen?
3 4.5. Harte Fakten? Experimentalismus und Naturalismus 4.6. Moderne Bestätigungstheorie: Bayesianismus 4.7. Die Beurteilung sozialwissenschaftlicher Theorien 5. Wie entwickeln sich wissenschaftliche Theorien? 5.1. Nochmal: (Logischer) Empirismus 5.2. Kritischer Rationalismus 5.3. Paradigmen und wissenschaftliche Revolutionen 5.4. Neuere Ansätzen zur Wissenschaftsentwicklung
4 2.2. Formalisierung: Logik und Mathematik 1. Argumente 2. Aussagesätze 3. Gültigkeit, Schlüssigkeit, Wahrheit 4. Aussagenlogik 4.1. Vorklärungen 4.2. Wahrheitsfunktionale Verknüpfungen 4.3. Aussagenlogische Form 4.4. Logische Wahrheit, Falschheit 5. Vor- und Nachteile der Formalisieurng
5 1. Argumente Will man in der Philosophie oder in den empirischen Wissenschaften bestimmte Thesen begründen, dann benötigt man gute Argumente. 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 es rational ist, die Konklusion für wahr zu halten, falls die Prämissen wahr sind. Beispiele: Alle Soziologen sind Menschen. Alle Menschen sind schlafbedürftig. Also: Alle Soziologen sind schlafbedürftig.
6 Da nun der Krieg mit den Grenznachbarn ein Übel und der Krieg mit den Thebanern ein solcher gegen Grenznachbarn ist, so ist es offenbar ein Übel, mit den Thebanern zu kriegen (Aristoteles). Verbesserte Form: Der Krieg gegen Grenznachbarn ist ein Übel. Der Krieg gegen die Thebaner ist ein Krieg gegen Grenznachbarn. Also: Der Krieg gegen die Thebaner ist von Übel. Prämissen und Konklusion explizit formuliert, stehen separiert (Normalform). Alltagssprachliche Beispiele müssen häufig rekonstruiert werden.
7 2. Aussagesätze Argumente sind Folgen von Aussagesätzen. Was aber sind Aussagesätze? (1) Schon wieder Trutenschnitzel mit Trockenreis! (2) Wie ist die kommunale Abstimmung vorgestern ausgegangen? (3) Würden Sie mir bitte zeigen, wie ich vom Universitätshauptgebäude nach Oerlikon komme. (4) Der Uri-Rotstock ist 2928 Meter hoch. Eine Aussage ist ein Satz, der entweder wahr oder falsch ist (tertium non datur). Empirische Feststellbarkeit? Ist nicht für Definition von Aussage relevant! Wahr und Falsch heissen in der Logik Wahrheitswerte.
8 Probleme: Vage Aussagen: Der Uri-Rotstock ist hoch. Indexikalische Ausdrücke (Bezug zum Äusserungskontext): Heute ist mir heiss. Synthetische versus analytische Aussagen (1) Zürich hatte am Einwohner. (2) Ein Schimmel ist ein weisses Pferd. Die Wahrheit von Satz 1 ergibt sich aus der Realität synthetische Aussage Die Wahrheit von Satz 2 ergibt sich aus der Bedeutung der enthaltenen Ausdrücke analytische Aussage
9 3. Gültigkeit, Schlüssigkeit, Wahrheit Ein Argument heisst genau dann gültig (korrekt), wenn es tatsächlich rational ist, die Konklusion für wahr zu halten, falls die Prämissen wahr sind. Alle Wale sind Fische. Alle Delfine sind Wale. Also: Alle Delfine sind Fische. Ob also die Prämissen wahr sind, spielt für die Gültigkeit (Korrektheit) des Arguments keine Rolle! Die Bedeutungen der Begriffe sind für die Korrektheit (Gültigkeit) des Schlusses unwesentlich!
10 Alle A sind B. Alle C sind A. Also: Alle C sind B. Die Gültigkeit von Schlüssen hängt von Wörtern wie alle oder einige ab. Einige A sind B. Einige C sind A. Also: Einige C sind B. Einige Pflanzen sind Fleischfresser. Einige Gräser sind Pflanzen. Also: Einige Gräser sind Fleischfresser.
11 Ein Argument heisst schlüssig genau dann, wenn es gültig ist und alle seine Prämissen wahr sind. Ein Aussagesatz ist wahr genau dann, wenn das, was er besagt, der Fall ist. Alle Wale sind Säugetiere. Alle Delfine sind Wale. Also: Alle Delfine sind Säugetiere. Aber: Zermatt liegt am Matterhorn und hat mehr als 1000 Einwohner. Also: Zermatt liegt am Matterhorn.
12 4. Aussagenlogik 4.1. Vorklärungen Alle Bestandteile einer Aussage, die für die Gültigkeit von Schlüssen relevant sind, sollen zur logischen Form der Aussage gehören. Dementsprechend gehören die irrelevanten Bestandteile zum logischen Inhalt (siehe Abschnitt 3). Die logische Form gewinnt man durch Abstraktion vom Inhalt (Satzbuchstaben). Aussagen können verknüpft werden. Die Bahn kam zu spät, weil der Fahrer eingeschlafen ist. Das Schnebelhorn ist 1292 Meter hoch und Zürich ist die grösste Stadt der Schweiz. Die Wahrheit von wahrheitsfunktionalen (extensionalen) Aussageverknüpfungen hängt allein von den Wahrheitswerten der Teilaussagen ab.
13 4.2. Wahrheitsfunktionale Verknüpfungen Konjunktion (A1) Das Schnebelhorn ist 1292 Meter hoch und (A2) Zürich ist die grösste Stadt der Schweiz. A1 A2 A1 A2 w w w w f f f w f f f f Aber: Die Ärztin gab Hand ein Medikament, und Hans wurde gesund.
14 Adjunktion/Disjunktion (einschliessendes oder) (A1) Das Soziologische Institut hat seinen Standort in Oerlikon oder (A2) Urs rennt einen Marathon. A1 A2 A1 v A2 w w w w f w f w w f f f
15 Negation Es ist nicht der Fall, (A1) dass Statistik langweilig ist. A1 A1 w f f w Konditional Wenn eine Person zur Arbeiterklasse gehört, dann wählt sie Arbeiterparteien. A1 A2 A1 A2 w w w w f f f w w f f w
16 Bikonditional Ich bin genau dann (dann und nur dann) zufrieden, wenn Sie diese Lehrveranstaltung erfolgreich absolvieren. A1 A2 A1 A2 w w w w f f f w f f f w
17 4.3. Aussagenlogische Form Eine aussagenlogische Form einer Aussage entsteht durch Abstraktion von den Teilaussagen, die wahrheitsfunktional verknüpft sind, oder vom Sinn der ganzen Aussage; jedoch gehören Gleichheit und Verschiedenheit der betrachteten Aussagen mit zur AL Form. Satzbuchstaben: p und q Intensionale Interpretation: Zuordnung von Aussagen zu Satzbuchstaben Extensionale Interpretation: Zuordnung von Wahrheitswerten zu Satzbuchstaben. Die Ermittlung des Wahrheitswertes einer extensional interpretierten aussagenlogischen Formel heisst Wahrheitswertanalyse.
18 4.4. Logische Wahrheit, Falschheit Eine aussagenlogische Formel heisst logisch wahr (oder gültig), genau dann, wenn sie für alle extensionalen Interpretationen wahr ist. Wenn der Hahn kräht auf dem Mist, dann ändert sich das Wetter oder es bleibt wie es ist. p (q v q) Eine aussagenlogische Formel heisst logisch falsch, genau dann, wenn sie für alle extensionalen Interpretationen falsch ist. Hans ist blond und Hans ist nicht blond. p p Logik erlaubt eine formale und präzise Analyse von Aussagenverknüpfungen (und damit Argumentationen).
19 5. Vor- und Nachteile der Formalisierung a) Wissenschaft ist ein sprachliches Phänomen, daher sind gute und klare Argumente zentral b) Klassische Vorstellungen von Theorie- und Erklärungsstruktur basieren auf formaler Logik c) Theorien bestehen aus logisch verknüpften Aussagen: Die Verständlichkeit und Präzision dieser Verknüpfungen wird durch Formalisierung vergrössert. d) Die Ableitung von spezielleren Gesetzen und Hypothesen wird vereinfacht. (Behauptet die Theorie etwas wirklich?) e) Klärung der Theoriestruktur ABER: Verschleierung!
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
MehrFormeln. Signatur. aussagenlogische Formeln: Aussagenlogische Signatur
Signatur Formeln Am Beispiel der Aussagenlogik erklären wir schrittweise wichtige Elemente eines logischen Systems. Zunächst benötigt ein logisches System ein Vokabular, d.h. eine Menge von Namen, die
MehrI. Aussagenlogik. Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen.
I. Aussagenlogik 2.1 Syntax Aussagenlogik untersucht Verknüpfungen wie "und", "oder", "nicht", "wenn... dann" zwischen atomaren und komplexen Sätzen. Sätze selbst sind entweder wahr oder falsch. Ansonsten
Mehr2. Vorlesung. Slide 40
2. Vorlesung Slide 40 Knobelaufgabe Was tut dieses Programm? Informell Formal Wie stellt man dies sicher? knobel(a,b) { Wenn a = 0 dann return b sonst { solange b 0 wenn a > b dann { a := a - b sonst b
MehrPhänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009
Phänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009 1. Arten von Konditionalsätzen Konditionalsätze drücken aus, dass ein Ereignis nur unter einer bestimmten
MehrZusammenhänge präzisieren im Modell
Zusammenhänge präzisieren im Modell Dr. Roland Poellinger Munich Center for Mathematical Philosophy Begriffsfeld Logik 1 Mathematik und Logik Die Mathematik basiert auf logisch gültigen Folgerungsschritten
MehrFormale 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
MehrSchreiben. Prof. Dr. Fred Karl. Veranstaltung Wissenschaftliches Arbeiten
Schreiben Prof Dr Fred Karl Veranstaltung Wissenschaftliches Arbeiten Schreiben Ihre Gedanken zusammenhängend, nachvollziehbar und verständlich zu Papier zu bringen Schreiben 1 Strukturieren 2 Rohfassung
Mehr7. Das Spannungsfeld von Wissenschaft und Praxis
Einführung in das Studium der Management- und Wirtschaftswissenschaften WS 2013/14 7. Das Spannungsfeld von Wissenschaft und Praxis Internationales Institut für Management und ökonomische Bildung Professur
MehrWissenschaftstheorie
Wissenschaftstheorie 2. Vorlesung: Wirtschafts- und Sozialwissenschaftliche Perspektiven Andreas Georg Scherer Prof. Dr. Andreas Georg Scherer, Lehrstuhl für Grundlagen der BWL und Theorien der Unternehmung,
Mehr5. Aussagenlogik und Schaltalgebra
5. Aussagenlogik und Schaltalgebra Aussageformen und Aussagenlogik Boolesche Terme und Boolesche Funktionen Boolesche Algebra Schaltalgebra Schaltnetze und Schaltwerke R. Der 1 Aussagen Information oft
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:
MehrSemantic Web Technologies I!
www.semantic-web-grundlagen.de Semantic Web Technologies I! Lehrveranstaltung im WS11/12! Dr. Elena Simperl! DP Dr. Sebastian Rudolph! M.Sc. Anees ul Mehdi! www.semantic-web-grundlagen.de Logik Grundlagen!
MehrTheoretische Informatik
Theoretische Informatik Einheit 1 Mathematische Methodik 1. Problemlösen 2. Beweistechniken 3. Wichtige Grundbegriffe Methodik des Problemlösens Klärung der Voraussetzungen Welche Begriffe sind zum Verständnis
MehrMetaphysik - Religiöse Überlieferung Sammelbezeichnung für alle Lehren über Unbeobachtbares, höhere Einsichten usw.
»... erkennen, wie wir erkennen«v-2 Empirismus F. Bacon V-3 Kritischer Rationalismus K.R. Popper V-4 Konstruktivismus Metaphysik - Religiöse Überlieferung Sammelbezeichnung für alle Lehren über Unbeobachtbares,
Mehr9. Ü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)
MehrMathematik. UND/ODER Verknüpfung. Ungleichungen. Betrag. Intervall. Umgebung
Mathematik UND/ODER Verknüpfung Ungleichungen Betrag Intervall Umgebung Stefan Gärtner 004 Gr Mathematik UND/ODER Seite UND Verknüpfung Kommentar Aussage Symbolform Die Aussagen Hans kann schwimmen p und
MehrVon 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
MehrBATESON / FEYERABEND ÖKOLOGIE DES GEISTES, WIDER DEM METHODENZWANG
BATESON / FEYERABEND ÖKOLOGIE DES GEISTES, WIDER DEM METHODENZWANG Wissenserwerb durch Experimente tu dortmund Niels Lategahn, Helge Lente Übersicht 2 Biographie Bateson Ökologie des Geistes Wissenserwerb
MehrGrundlagen 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,
MehrDeduktive und induktive Aspekte statistischer Methoden
Deduktive und induktive Aspekte statistischer Methoden Wissenschaftshistorische und -philosophische Grundlagen Felix Günther Institut für Statistik Ludwig-Maximilians-Universität München Prof. Seising
MehrWissenschaft und Forschung in der Wirtschaftsinformatik
Lehrstuhl Wirtschaftsinformatik insb. Informationsmanagement Prof. Dr. Wissenschaft und Forschung in der Wirtschaftsinformatik Ansätze wissenschaftlicher Forschung Eine Dissertation ist eine schriftliche
MehrDie Methoden des Philosophie- und Ethikunterrichts im Überblick Methoden der Textanalyse Begriffsbestimmung
Methoden der Textanalyse Begriffsbestimmung Möglichkeiten der Begriffsanalyse 1. Intensionale Definition: Für einen Begriff (Definiendum) wird eine bestimmte Bedeutung (Definiens) festgelegt durch Angabe
Mehry(p F x) gebunden und in den Formeln F xy
Wirkungsbereich (Skopus) eines Quantors i bzw. i nennen wir die unmittelbar auf i bzw. i folgende Formel. Wir sagen, eine IV i kommt in einer Formel A gebunden vor, wenn sie unmittelbar auf oder folgt
MehrSeminar 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
Mehr3. Sätze und Formeln
Klaus Mainzer, Die Berechnung der Welt. Von der Weltformel zu Big Data, München 2014 29.07.14 (Verlag C.H. Beck, mit zahlreichen farbigen Abbildungen, geb. 24,95, S.352) (empfohlene Zitierweise: Detlef
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 7: Einführung Aussagenlogik schulz@eprover.org Logisches Schließen 2 gold +1000, 1 per step, Beispiel: Jage den Wumpus Performance measure death 1000 10
MehrBeschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de
Beschreibungslogiken Daniel Schradick 1schradi@informatik.uni-hamburg.de Was sind Beschreibungslogiken? Definition: Formalisms that represent knowledge of some problem domain (the world ) by first defining
MehrDeduktion, logisches Denken
Deduktion, logisches Denken Markus Knauff Max-Planck-Institut für Biologische Kybernetik, Tübingen und Abteilung Kognitionswissenschaft der Universität Freiburg Beitrag für den Band C/II/8 der Enzyklopädie
MehrWas bisher geschah. Aufgaben: Diagnose, Entscheidungsunterstützung Aufbau Komponenten und Funktion
Was bisher geschah Daten, Information, Wissen explizites und implizites Wissen Wissensrepräsentation und -verarbeitung: Wissensbasis Kontextwissen Problemdarstellung fallspezifisches Wissen repräsentiert
MehrMai 2006. Hauptseminar: Nichtrelationale Datenbanken Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln
Hauptseminar: Nichtrelationale Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln Mai 2006 Was ist eine Datenbank? Erweiterung relationaler um eine Deduktionskomponente Diese
MehrWenn P, dann Q: Probleme in der logischen Analyse von Konditionalsätzen. Mitschrift zur Vorlesung
Univ.-Prof. Dr. Reinhard Kamitz VU 501.022, WS 2011/2012: Wenn P, dann Q: Probleme in der logischen Analyse von Konditionalsätzen Mitschrift zur Vorlesung Stefan Kohl www.buzz-steve.at 31. Januar 2012
MehrWS 2009/10. Diskrete Strukturen
WS 29/ Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws9
MehrWissensrepräsentation und -verarbeitung in Logiken. bereinigt Pränex Skolem ( -Eliminierung) Klausel (Menge von Klauseln, Notation ohne Quantoren)
Was bisher geschah Wissensrepräsentation und -verarbeitung in Logiken klassische Aussagenlogik klassische Prädikatenlogik: Wiederholung Syntax, Semantik Normalformen: bereinigt Pränex Skolem ( -Eliminierung)
MehrBinäre Suchbäume (binary search trees, kurz: bst)
Binäre Suchbäume (binary search trees, kurz: bst) Datenstruktur zum Speichern einer endlichen Menge M von Zahlen. Genauer: Binärbaum T mit n := M Knoten Jeder Knoten v von T ist mit einer Zahl m v M markiert.
Mehr5 Logische Programmierung
5 Logische Programmierung Logik wird als Programmiersprache benutzt Der logische Ansatz zu Programmierung ist (sowie der funktionale) deklarativ; Programme können mit Hilfe zweier abstrakten, maschinen-unabhängigen
Mehr5.1 Drei wichtige Beweistechniken... 55 5.2 Erklärungen zu den Beweistechniken... 56
5 Beweistechniken Übersicht 5.1 Drei wichtige Beweistechniken................................. 55 5. Erklärungen zu den Beweistechniken............................ 56 Dieses Kapitel ist den drei wichtigsten
Mehrder einzelnen Aussagen den Wahrheitswert der zusammengesetzten Aussage falsch falsch falsch falsch wahr falsch wahr falsch falsch wahr wahr wahr
Kapitel 2 Grundbegriffe der Logik 2.1 Aussagen und deren Verknüpfungen Eine Aussage wie 4711 ist durch 3 teilbar oder 2 ist eine Primzahl, die nur wahr oder falsch sein kann, heißt logische Aussage. Ein
MehrGrundlagen der Gesprächsführung: Argumentation
Grundlagen der Gesprächsführung: Argumentation Welche sprachlichen Möglichkeiten haben wir, um Einstellungen zu verändern und Handlungen zu beeinflussen? Referent: Daniel Bedra Welche sprachlichen Möglichkeiten
MehrDiskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier fernau@uni-trier.de
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
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 3: Alphabete (und Relationen, Funktionen, Aussagenlogik) Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Oktober 2008 1/18 Überblick Alphabete ASCII Unicode
MehrNichtmonotones Schließen
Was bisher geschah Wissensrepräsentation und -verarbeitung in Zustandsübergangssystemen klassischer Aussagenlogik: Entscheidungstabellen, -bäume, -diagramme Wissensrepräsentation und -verarbeitung durch
MehrAllgemeine 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
MehrThomas Kuhn The Structure of Scientific Revolutions
Thomas Kuhn The Structure of Scientific Revolutions Economic History of Europe before the Industrial Revolution Prof. Komlos,, Dr. Breitfelder Sebastian Koch 25. 06. 2008 1/16 Agenda Thomas Kuhn Wissenschaftstheorie
MehrStichwortverzeichnis. A-Aussage. logisches Quadrat 42
A A-Aussage logisches Quadrat 43 Addition boolesche Algebra 46 Algebra boolesche 46 Algorithmus 306 Alle-Aussage alternative Schreibweise 253 f., 265 erkennen 256 Übersetzung 250 f. Allquantor 242 Definition
MehrLogik und Mengenlehre. ... wenn man doch nur vernünftig mit Datenbanken umgehen können will?
Mengenlehre und Logik: iederholung Repetitorium: Grundlagen von Mengenlehre und Logik 2002 Prof. Dr. Rainer Manthey Informationssysteme 1 arum??? arum um alles in der elt muss man sich mit herumschlagen,......
MehrLogik und Argumentation
Logik und Argumentation Materialien zu einführenden Vorlesungen über formale Logik und Argumentationstheorie Prof. Dr. Torsten Wilholt Institut für Philosophie Leibniz Universität Hannover torsten.wilholt@philos.uni-hannover.de
MehrDIE PARAKONSISTENZ DEUTSCHER GRAMMATIKEN 1
In: Grucza, F. (Hrsg.): Vielheit und Einheit der Germanistik weltweit. Akten des XII. Internationalen Germanistenkongresses Warschau 2010. Band 15. Frankfurt am Main etc.: Lang, 2012, 173-178. ANDRÁS KERTÉSZ
MehrProlog basiert auf Prädikatenlogik
Software-Technologie Software-Systeme sind sehr komplex. Im Idealfall erfolgt die Programmierung problemorientiert, während die notwendige Übertragung in ausführbare Programme automatisch erfolgt. Prolog-Philosophie:
MehrDIPLOMARBEIT. Ein interaktives E-Learning System für die Grundlagen der mathematischen Logik. Ausgeführt am
DIPLOMARBEIT Ein interaktives E-Learning System für die Grundlagen der mathematischen Logik Ausgeführt am Institut für Informationssysteme Arbeitsbereich Wissensbasierte Systeme der Technischen Universität
MehrLeseprobe. Uwe Lämmel, Jürgen Cleve. Künstliche Intelligenz ISBN: 978-3-446-42758-7. Weitere Informationen oder Bestellungen unter
Leseprobe Uwe Lämmel, Jürgen Cleve Künstliche Intelligenz ISBN: 978-3-446-42758-7 Weitere Informationen oder Bestellungen unter http://www.hanser.de/978-3-446-42758-7 sowie im Buchhandel. Carl Hanser Verlag,
MehrWissen Konstrukt oder Rekonstruktion der Popperschen Welt 1? oder Warum sich die ISKO in International Society for Knowledge self-organization
Wissen Konstrukt oder Rekonstruktion der Popperschen Welt 1? oder Warum sich die ISKO in International Society for Knowledge self-organization umbenennen sollte. Walther Umstätter Humboldt-Universität
MehrDeductive Reasoning Agents
Multiagentensysteme Deductive Reasoning Agents Volkan Aksu & Sebastian Ptock Überblick Einleitung Deductive Reasoning Agents Der Staubsauger-Roboter Agentenorientierte Programmierung (AOP) Concurrent MetateM
MehrBaader Nutt 1: Basic Description Logics
Baader Nutt 1: Basic Description Logics Ludwig Maximilians Universität München Sommersemester 2009 Institut: CIS Hauptseminar: Beschreibungslogik Seminarleiter: Hans Leiß, Martin Hofmann Referentin: Natalia
MehrÜbersicht: Moderne Wissenschaftstheorie
Thema: Übersicht: Moderne Wissenschaftstheorie TMD: Kurzvorstellung des Materials: Die Wissenschaftstheorie ist ein Teilgebiet der Philosophie, die sich mit Fragen befasst wie Was macht eine Wissenschaft
Mehr4. Was ist Wissenschaft?
Einführung in das Studium der Management- und Wirtschaftswissenschaften WS 2013/14 4. Was ist Wissenschaft? Internationales Institut für Management und ökonomische Bildung Professur für ABWL, insbes. Personal
MehrKlausur Formale Systeme Fakultät für Informatik WS 2009/2010
Klausur Formale Systeme Fakultät für Informatik WS 2009/2010 Prof. Dr. Bernhard Beckert 18. Februar 2010 Name: Mustermann Vorname: Peter Matrikel-Nr.: 0000000 Klausur-ID: 0000 A1 (15) A2 (10) A3 (10) A4
MehrEntwicklung eines korrekten Übersetzers
Entwicklung eines korrekten Übersetzers für eine funktionale Programmiersprache im Theorembeweiser Coq Thomas Strathmann 14.01.2011 Gliederung 1 Einleitung
Mehr4. AUSSAGENLOGIK: SYNTAX. Der Unterschied zwischen Objektsprache und Metasprache lässt sich folgendermaßen charakterisieren:
4. AUSSAGENLOGIK: SYNTAX 4.1 Objektsprache und Metasprache 4.2 Gebrauch und Erwähnung 4.3 Metavariablen: Verallgemeinerndes Sprechen über Ausdrücke von AL 4.4 Die Sprache der Aussagenlogik 4.5 Terminologie
MehrMethoden der Erkenntnisgewinnung. Seminar Empirische Sozialforschung/ Pflegeforschung Prof. Dr. U. Toellner-Bauer
Methoden der Erkenntnisgewinnung Seminar Empirische Sozialforschung/ Pflegeforschung Prof. Dr. U. Toellner-Bauer Parabel Ein Ichthyologe, ein Fischkundiger, will das Leben im Meer erforschen. Er wirft
Mehr(Analyse und Erörterung)
(Analyse und Erörterung)! Du erfasst das Thema eines Textes, indem du Titel, ggf. Untertitel und Vorspann aufeinander beziehst. Aussageschwerpunkte sind häufig kenntlich gemacht durch Zwischenüberschriften,
MehrVorbereitung auf den Prüfungsteil Schriftlicher Ausdruck
Modellsatz 03 Allgemeines zum Prüfungsteil Schriftlicher Ausdruck Prüfungsziel Im Gegensatz zu den anderen Prüfungsteilen gibt es beim Schriftlichen Ausdruck nur eine Aufgabe. Sie sollen zeigen, dass Sie
MehrGrundlagen der Künstlichen Intelligenz
Grundlagen der Künstlichen Intelligenz 27. Aussagenlogik: Logisches Schliessen und Resolution Malte Helmert Universität Basel 28. April 2014 Aussagenlogik: Überblick Kapitelüberblick Aussagenlogik: 26.
MehrKünstliche Intelligenz Unsicherheit. Stephan Schwiebert WS 2009/2010 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln
Künstliche Intelligenz Unsicherheit Stephan Schwiebert WS 2009/2010 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln Rückblick Agent in der Wumpuswelt konnte Entscheidungen
MehrInterpretationskurs: 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
MehrMathematische Grundlagen der Informatik
Skriptum zur Vorlesung Mathematische Grundlagen der Informatik gehalten in WS 2015/16 von Sven Kosub 4. Februar 2016 Version v4.20 Inhaltsverzeichnis Prolog 1 1 Logik 5 1.1 Aussagen.....................................
MehrRichtlinien der Osteopathie Schule Deutschland zur Abschlussarbeit für die Erlangung der Ausbildungsbezeichnung D.O.OSD.
Richtlinien der Osteopathie Schule Deutschland zur Abschlussarbeit für die Erlangung der Ausbildungsbezeichnung D.O.OSD. 1. Inhalt 1. Präambel... 3 2. Allgemeine Informationen... 3 3. Formatvorgaben...
MehrPhysik in der Praxis: Elektronik
MATHEMATISCH-NATURWISSENSCHAFTLICHE FAKULTÄT I INSTITUT FÜR PHYSIK Physik in der Praxis: Elektronik Bonus-Versuch: Feldeffekt-Transistoren und Einführung in die CMOS-Logik Abgabe am 20.02.2011 Übungsgruppe
MehrPrädikatenlogik - Micromodels of Software
Prädikatenlogik - Micromodels of Software Philipp Koch Seminar Logik für Informatiker Universität Paderborn Revision: 30. Mai 2005 1 Inhaltsverzeichnis 1 Motivation 3 2 Modelle 3 2.1 Definition eines Modells.......................
MehrGrundlagen der Informatik I Informationsdarstellung
Grundlagen der Informatik I Informationsdarstellung Einführung in die Informatik, Gumm, H.-P./Sommer, M. Themen der heutigen Veranstaltung. ASCIi Code 2. Zeichenketten 3. Logische Operationen 4. Zahlendarstellung
MehrEthymemargumentation basiert auf allgemein anerkannten Schlussregeln.
Referat- Sprache in der Werbung Soziologischer / Psychologischer Aspekt der Werbung Quellen: Sprache in der Werbung / Albrecht Greule ; Nina Janich. - Heidelberg : Groos, 1997 Soziologie der Werbung Ein
MehrInhaltsverzeichnis. Vorwort... 5. Abkürzungsverzeichnis... 13
7 Inhaltsverzeichnis Vorwort... 5 Abkürzungsverzeichnis... 13 Abbildungsverzeichnis... 15 1. Kapitel: Fundament des wissenschaftlichen Arbeitens... 17 1.1. Definition von Wissenschaft... 18 1.1.1. Bedeutung
MehrQualitative und Quantitative Forschungsmethoden
Qualitative und Quantitative Forschungsmethoden Unterschiede zwischen den Forschungsstrategien Überprüfendes vs. Entdeckendes Erkenntnisinteresse Ziel ist die Überprüfung von Theorieaussagen. Es werden
Mehr25 kann ohne Rest durch 5 geteilt werden! ist wahr
Lehrbrief 2: Lektion 8 - C -Praxis 4-1 - 5.2 Einfache Entscheidungen mit if und die Vergleichsoperatoren Nun tauchen wir immer tiefer in die Geheimnisse von C ein und beschäftigen uns mit einem sehr wichtigen
MehrRichtig und fair argumentieren
Richtig und fair argumentieren Dieser Artikel zeigt warum Diskussionen sich oft im Kreis drehen. wie man so argumentieren kann, dass Diskussionen vom Fleck kommen. Inhaltsverzeichnis Das Enthymem... 1
MehrMethoden der KI in der Biomedizin Logische Agenten 1
Methoden der KI in der Biomedizin Logische Agenten 1 Karl D. Fritscher Organisatorisches Voraussetzungen: Lehrstoff zu den Themengebieten: a. Einführung in die KI, Expertensysteme b. Problemlösung durch
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 3. Aussagenlogik Einführung: Logisches Schließen im Allgemeinen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Beispiel:
MehrREKURSION UND DIE UNENDLICHKEITSFORDERUNG Geoffrey K. Pullum & Barbara C. Scholz
REKURSION UND DIE UNENDLICHKEITSFORDERUNG Geoffrey K. Pullum & Barbara C. Scholz 1. UNENDLICHKEIT ALS LINGUISTISCHE UNIVERSALIE In vielen kürzlichen Arbeiten stellten Linguisten die Unendlichkeit von Sätzen
MehrÜbung: Einführung in die Politikwissenschaft Wissenschaftliches Arbeiten Herbstsemester 2012
Übung: Einführung in die Politikwissenschaft Wissenschaftliches Arbeiten Herbstsemester 2012 an der Fakultät für Sozialwissenschaften, Fachbereich Politikwissenschaft, der Universität Mannheim 7. Sitzung
MehrModallogik (aussagenlogisch)
Kapitel 2 Modallogik (aussagenlogisch) In diesem Abschnitt wird eine Erweiterung der Aussagenlogik um sogenannte Modalitäten behandelt. Damit erlangt man eine größere Aussagekraft der Sprache, allerdings
MehrWarum Üben großer Mist ist
Warum Üben großer Mist ist Kennst Du das? Dein Kind kommt aus der Schule. Der Ranzen fliegt in irgendeine Ecke. Das Gesicht drückt Frust aus. Schule ist doof! Und dann sitzt ihr beim Mittagessen. Und die
MehrWas sind Naturgesetze?
WWU Münster Seminar über philosophische Aspekte der Physik schriftliche Ausarbeitung des Referats Was sind Naturgesetze? von Dennis Pongs Was sind Naturgesetze? Inhaltsverzeichnis Inhaltsverzeichnis 1
MehrVorgaben für die Abiturprüfung. Fach Betriebswirtschaftslehre mit Rechnungswesen
Vorgaben für die Abiturprüfung in den Bildungsgängen des Beruflichen Gymnasiums Anlagen D 1 D 28 im Jahr 2013 Profil bildender Leistungskurs Fach Betriebswirtschaftslehre mit Rechnungswesen Fachbereich
MehrProfessur 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
MehrProgram = Logic + Control
Program = Logic + Control Prozedurale/imperative Sprachen: Abläufe formulieren Computer führt aus von-neumann-maschine Idee von deklarativen/logischen/funktionalen Programmiersprachen: Zusammenhänge formulieren
MehrÜbungen zum Kapitel "Aussagelogik"
Übungen zum Kapitel "Aussagelogik" 1. Man beweise oder gebe ein Gegenbeispiel: a) Falls F -> G gültig ist und F gültig ist, so ist auch G gültig. b) Falls F -> G gültig ist und F erfüllbar, so ist G erfüllbar.
MehrPhilosophisches 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
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 9: Prädikatenlogik schulz@eprover.org Rückblick 2 Rückblick: Vor- und Nachteile von Aussagenlogik Aussagenlogik ist deklarativ: Syntaxelemente entsprechen
MehrÜbungsaufgabe 7: Ziele der BWL. a) Welche Ziele hat die Betriebswirtschaftslehre als Wissenschaft?
Übungsaufgabe 7: Ziele der BWL a) Welche Ziele hat die Betriebswirtschaftslehre als Wissenschaft? b) Kosiol und Gutenberg vertreten verschiedene Auffassungen, wie ein Betrieb zu kennzeichnen ist. Hat dies
MehrWissenschafts- und Managementtheorien
Wissenschafts- und Managementtheorien Institut für Handel und Marketing Arbeitsbereich Marketing und Innovation Prof. Dr. Thorsten Teichert Von-Melle-Park 5 D-20146 Hamburg Raum 3078 (Sekretariat) Telefon:
MehrBisher angenommen: jeder Spieler kennt alle Teile des Spiels. - Diskontfaktor des Verhandlungspartners
1 KAP 15. Spiele unter unvollständiger Information Bisher angenommen: jeder Spieler kennt alle Teile des Spiels seine Gegenspieler, deren Aktionen, deren Nutzen, seinen eigenen Nutzen etc. Oft kennt man
MehrA.1 Schaltfunktionen und Schaltnetze
Schaltfunktionen und Schaltnetze A. Schaltfunktionen und Schaltnetze 22 Prof. Dr. Rainer Manthey Informatik II Bedeutung des Binärsystems für den Rechneraufbau Seit Beginn der Entwicklung von Computerhardware
MehrPräsuppositionen. Präsuppositionen. Präsuppositionen und wahrheitsfunktionale Bedeutung. Präsuppositionen und konventionelle Implikaturen
Präsuppositionen Präsuppositionen Präsuppositionen sind Bedingungen, die erfüllt sein müssen, bevor ein Ausdruck überhaupt sinnvoll interpretiert werden kann. Beispiele: Ich mußte meine Katze zum Tierarzt
MehrMathematische Grundlagen
Luise Unger In LATEX gesetzt von Luise Unger Mathematische Grundlagen Kurseinheit 1: Grundlagen 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 77 7 7 777 7 77 7777777 77777 7 77 7 7 7 7 7 7 77777777777
MehrEin kausaler Zusammenhang entspricht einer speziellen wahren Implikation. Beispiel: Wenn es regnet, dann wird die Erde nass.
Implikation Implikation Warum ist die Tabelle schwer zu schlucken? In der Umgangssprache benutzt man daraus folgt, also, impliziert, wenn dann, nur für kausale Zusammenhänge Eine Implikation der Form:
Mehr6. Sitzung. Methoden der Politikwissenschaft: Metatheorien, Werturteilsproblematik und politikwissenschaftliche Methoden
6. Sitzung Methoden der Politikwissenschaft: Metatheorien, Werturteilsproblematik und politikwissenschaftliche Methoden Inhalt der heutigen Veranstaltung 1. Metatheorien/Paradigmen 2. Die so genannte Drei-Schulen
MehrEinfü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,]
MehrKünstliche Intelligenz Maschinelles Lernen
Künstliche Intelligenz Maschinelles Lernen Stephan Schwiebert Sommersemester 2009 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln Maschinelles Lernen Überwachtes Lernen
MehrEssaypreis des Zentrums für Wissenschaftstheorie, Münster im Sommersemester 2011. 3. Platz. Tim Melkert
Essaypreis des Zentrums für Wissenschaftstheorie, Münster im Sommersemester 2011 3. Platz Tim Melkert Weder wahr noch falsch? Formalismus und Intuitionismus in Mathematik und Philosophie verfasst im Rahmen
Mehr