9 Exkurs: Syllogistik
|
|
- Fritzi Fanny Langenberg
- vor 5 Jahren
- Abrufe
Transkript
1 eminar: Einführung in die Logik 1/8 9 Exkurs: yllogistik 1 Allgemeines Aristoteles ( v. Chr.) Das erste ystem der Logik wurde von Aristoteles im 4. Jh. v. Chr. entwickelt (im Organon, v.a. in der Ersten Analytik oder der Lehre vom chluss). Kennzeichen der Aristotelischen yllogistik: Kanon des schlüssigen Folgerns systematisch (zielt auf Vollständigkeit und wechselseitige Reduktion der syllogistischen Figuren) formal (konkrete Prädikate werden durch Platzhalter- Buchstaben ersetzt, die logische Form wird explizit gemacht)
2 eminar: Einführung in die Logik 2/8 2 Kategorische Aussagen Die yllogistisk beschäftigt sich nur mit den logischen Zusammenhängen zwischen Aussagen ganz bestimmter Formen. Diese heißen»kategorische Aussagen«. Es handelt sich dabei um generelle Aussagen, in denen zwei Begriffe, das»ubjekt«und das»prädikat«, zueinander in Beziehung gesetzt werden. Es gibt vier Formen kategorischer Aussagen: A: Alle chwäne sind weiß. allgemein affirmativ I: Einige chwäne sind weiß. partikular affirmativ E: Kein chwan ist weiß. allgemein negativ O: Einige chwäne sind nicht weiß. partikular negativ Problem: Inwieweit implizieren allgemeine Aussagen, dass der ubjekt-begriff nicht leer ist? Aristoteles diskutiert dieses Problem nicht, sondern geht stillschweigend von der Vorraussetzung aus, dass alle Begriffe, die in kategorischen Aussagen vorkommen, nicht leer sind.
3 eminar: Einführung in die Logik 3/8 3 Das»Quadrat der Gegensätze«Alle chwäne sind weiß konträr Kein chwan ist weiß subalterniert kontradiktorisch subalterniert Einige chwäne sind weiß subkonträr Einige chwäne sind nicht weiß Zwei ätze sind kontradiktorisch: (i) sie können nicht beide wahr sein, und (ii) sie können nicht beide falsch sein konträr: (i) sie können nicht beide wahr sein, aber (ii) sie können beide falsch sein subkonträr: (i) sie können beide wahr sein, aber (ii) sie können nicht beide falsch sein. Ein atz a ist einem atz b subalterniert: Wenn a wahr ist, kann b nicht falsch sein. (Vorraussetzung: nicht leere Begriffe!)
4 eminar: Einführung in die Logik 4/8 4 Prinzip des yllogismus: Jeder yllogismus besteht aus genau drei Aussagen, zwei Prämissen und einer Konklusion Alle Urteile sind generelle Urteile und haben eine der vier Formen A, E, I und O. Es kommen nur drei verschiedene (nicht-leere) Begriffs-Ausdrücke vor Jeder Ausdruck kommt in zwei der drei Aussagen vor. Der Begriffs-Ausdruck, der in beiden Prämissen vorkommt, heißt»terminus medius«, der ubjekt-ausdruck der Konklusion heißt»terminus minor«und der Prädikat- Ausdruck der Konklusion heißt»terminus major«.
5 eminar: Einführung in die Logik 5/8 5 chematisierung des yllogismus Der ubjekt-ausdruck der Konklusion wird systematisch durch den atz-buchstaben»«ersetzt. Der Prädikat-Ausdruck der Konklusion wird systematisch durch den atz-buchstaben»«ersetzt. Der verbliebene Ausdruck in den Prämissen der Konklusion wird systematisch durch den atz-buchstaben»«ersetzt. Dann wir das yllogismus-chema wie folgt aufgebaut: 1. atzschema mit»«und»p«obersatz (major) 2. atzschema mit»«und»«untersatz (minor) atzschema mit»«und»p«chlusssatz Beispiel: Alle enschen sind sterblich. Alle Griechen sind enschen. Alle Griechen sind sterblich Alle sind P Alle sind Alle sind P
6 eminar: Einführung in die Logik 6/8 6 Die syllogistischen Figuren Es gibt vier so genannte Figuren: I: P P II: P P III: P IV: P P P In jeder Figur können Vier verschiedene Arten von Obersätzen, vier verschiedene Arten von Untersätzen und vier verschiedene Arten von chlusssätzen miteinander kombiniert werden. Das ergibt 4x4x4 = 64 Argument- chemata pro Figur und also 256 syllogistische Argument- chemata (so genannte odi) insgesamt. Aufgabe der yllogistik: Die Frage zu beantworten, welche dieser odi korrekt sind, welche nicht, und nach welchen Regeln wir bestimmen können, ob ein odus korrekt ist.
7 eminar: Einführung in die Logik 7/8 7 Immanuel Kant über die Aristotelische yllogistik (Kritik der reinen Vernunft, B VIII):»Daß die Logik diesen sicheren Gang [einer Wissenschaft, J.L.] schon von den ältesten Zeiten her gegangen sei, läßt sich daraus ersehen, daß sie seit dem Aristoteles keinen chritt rückwärts hat tun dürfen, wenn man ihr nicht etwa die Wegschaffung einiger entbehrlichen ubtilitäten, oder deutlichere Bestimmung des Vorgetragenen, als Verbesserung anrechnen will, welches aber mehr zur Eleganz, als zur icherheit der Wissenschaft gehört. erkwürdig ist noch an ihr, daß sie auch bis jetzt keinen chritt vorwärts hat tun können, und also allem Ansehen nach geschlossen und vollendet zu sein scheint.«
8 eminar: Einführung in die Logik 8/8 8 Defizite der yllogistik Das ystem ist zu starr und erfasst daher zu wenig schlüssige Argumentformen: Nicht alle ätze lassen sich in die vier genannten Formen bringen. Was ist mit: 1. ingulären Aussagen: okrates ist ein ensch. 2. Relationalen Aussagen: Jeder liebt jemanden. Nicht alle Argumente haben zwei Prämissen. Was ist mit: Peter ist verheiratet. Also: Peter ist nicht unverheiratet Kaum ein Argument hat die schematische Form eines yllogismus. Was ist mit: Peter ist aurer. Alle aurer sind Frühaufsteher. Kein Frühaufsteher kann auf Dauer mit einem Langschläfer zusammenleben. arianne ist tudierende. Alle tudierenden sind Langschläfer. Also kann Peter nicht auf Dauer mit arianne zusammenleben.
Traditionelle Logik. Dr. Uwe Scheffler. Januar [Technische Universität Dresden]
Traditionelle Logik Dr. Uwe cheffler [Technische Universität Dresden] Januar 2011 Wer und Wann Aristoteles, 4. Jh. v.chr. chüler latons Lehrer von Alexander dem Großen Organon Von den Kategorien (Categoriae)
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 21.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 21. Dezember 2016 Süddeutsche Zeitung, 8. Januar 2010 Prädikate L = lang sein
MehrDie neue Prädikatenlogik P2
Joachim Stiller Die neue Prädikatenlogik P2 Versuch einer Begründung Alle Rechte vorbehalten Die neue Prädikatenlogik P2 In diesem Aufsatz möchte ich einmal versuchen, meine neue Prädikatenlogik P2 zu
MehrRhetorik und Argumentationstheorie.
Rhetorik und Argumentationstheorie 3 [frederik.gierlinger@univie.ac.at] Teil 3 Widerlegungsstrategien I 2 Widerlegung von Argumenten Allgemeine Hinweise Ein Argument kann widerlegt werden indem gezeigt
MehrArgumentationstheorie 10. Sitzung
Argumentationstheorie 10. Sitzung sind Schlüsse wie Alle Säugetiere sind Tiere. Alle Hunde sind Säugetiere. Alle Hunde sind Tiere. Prof. Dr. Ansgar Beckermann Wintersemester 2004/5 Alle S sind M Alle S
MehrAristoteles logische Werke: Das Organon ( Werkzeug, erste Silbe betont!)
1 2 Behauptung: Die erste Logik in Europa ist eine Erfindung des griechischen Philosophen Aristoteles (384-323 v. Chr.). Literaturtips: Ernst Tugendhat / Ursula Wolf, Logisch-semantische Propädeutik, Stuttgart
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 9.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 9. November 2016 Weitere Begriffe Eine Zuweisung von Wahrheitswerten W bzw. F
Mehr7 Gültigkeit und logische Form von Argumenten
7 Gültigkeit und logische Form von Argumenten Zwischenresümee 1. Logik ist ein grundlegender Teil der Lehre vom richtigen Argumentieren. 2. Speziell geht es der Logik um einen spezifischen Aspekt der Güte
Mehr1 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/26
7 8 3 3 7 2 8 2 8. /2 Sudoku 2 2 3 3 7 7 8 8 8 Füllen Sie die leeren Felder so aus, dass in jeder Zeile, in jeder Spalte und in jedem 3x3 Kästchen alle Zahlen von bis stehen.. 2/2 Warum? 7 8 3 3 7 2 8
MehrEinführung in die formale Logik. Prof. Dr. Andreas Hüttemann
Einführung in die formale Logik Prof. Dr. Andreas Hüttemann Textgrundlage: Paul Hoyningen-Huene: Formale Logik, Stuttgart 1998 1. Einführung 1.1 Logische Folgerung und logische Form 1.1.1 Logische Folgerung
MehrSudoku. Warum 6? Warum 6?
. / Sudoku Füllen Sie die leeren Felder so aus, dass in jeder Zeile, in jeder Spalte und in jedem x Kästchen alle Zahlen von bis stehen.. / Warum?. / Warum?. / Geschichte der Logik Syllogismen (I) Beginn
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 19.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 19. Oktober 2016 Eine Annäherung Suche auf Spiegel online nach logisch Anderseits
MehrVorlesung Einführung in die Logik Prädikatenlogik. Philipp Etti (Institut für Logik+Wissenschaftstheorie)
Vorlesung Einführung in die Logik Prädikatenlogik Philipp Etti (Institut für Logik+Wissenschaftstheorie) www.etti.de.gg Aussagenlogik versus Prädikatenlogik AL: * Aussagenlogik Prädikatenlogik * Aussage
MehrFormale Logik - SoSe 2012
2.44 % Formale Logik - SoSe 2012 Versuch einer Zusammenfassung Malvin Gattinger http://xkcd.com/435/ 4.88 % Gliederung Einleitung Was ist Logik? Begriffsklärungen Sätze und Wahrheit Argumente und Gültigkeit
Mehr2.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ÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER
ÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER WOZU PRÄDIKATENLOGIK (PL)? Aussagenlogik (AL) betrachtet Sätze / Argumente immer nur bezüglich ihrer aussagenlogischen Struktur. Ein Satz wie (1) Jaime
MehrFormale Methoden II. Gerhard Jäger. SS 2005 Universität Bielefeld. Teil 3, 12. Mai Formale Methoden II p.1/23
Formale Methoden II SS 2005 Universität Bielefeld Teil 3, 12. Mai 2005 Gerhard Jäger Formale Methoden II p.1/23 Logische Folgerung Definition 6 (Folgerung) Eine Formel ϕ folgt logisch aus einer Menge von
MehrDIE LOGIK ODER DIE KUNST DES DENKENS
ANTOINE ARNAULD DIE LOGIK ODER DIE KUNST DES DENKENS 1972 WISSENSCHAFTLICHE BUCHGESELLSCHAFT DARMSTADT INHALT Hinweis 1 Erste Abhandlung, in welcher der Plan dieser neuen Logik aufgezeigt wird 2 Zweite
MehrFormale 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
MehrGeometrie 0.1. Homepage zur Veranstaltung: Lehre Geometrie
Geometrie 0.1 Geometrie Homepage zur Veranstaltung: http://www.juergen-roth.de Lehre Geometrie Geometrie 0.2 Inhaltsverzeichnis Geometrie 0 Geometrie!? 1 Axiome der Elementargeometrie 2 Kongruenzabbildungen
MehrWenn alle Bären pelzig sind und Ned ein Bär ist, dann ist Ned pelzig.
2.2 Logische Gesetze 19 auch, was für Sätze logisch wahr sein sollen. Technisch gesehen besteht zwar zwischen einem Schluss und einem Satz selbst dann ein deutlicher Unterschied, wenn der Satz Wenn...dann
Mehr1 Einführung in die Prädikatenlogik
1 Einführung in die Prädikatenlogik Die Aussagenlogik behandelt elementare Aussagen als Einheiten, die nicht weiter analysiert werden. Die Prädikatenlogik dagegen analysiert die elementaren Aussagen und
MehrDie Induktion und ihre Widersacher
Joachim Hofmann Die Induktion und ihre Widersacher DR. HÄNSEL-HOHENHAUSEN FRANKFURT A.M.. MÜNCHEN. MIAMI. NEW YORK INHALTSVERZEICHNIS EINLEITUNG UND ANSATZ 9 ERSTES BUCH: DIE INDUKTION HISTORISCH 13 ERSTER
MehrDie 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
MehrEs gibt kein Seeungeheuer in Loch Ness, denn wenn es ein Seeungeheuer in Loch Ness gibt, dann sind dort Fauna oder Flora stark geschädigt. Aber weder
Erste Sitzung Ein Argument ist eine Menge von Sätzen, der eine Menge von Satzäußerungen entspricht, in welcher für einen Satz (der Konklusion) der Anspruch erhoben wird, er ergebe sich aus den anderen
MehrÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER
ÜBUNG ZUM GRUNDKURS LOGIK SS 2016 GÜNTHER EDER WOZU PRÄDIKATENLOGIK (PL)? Aussagenlogik (AL) betrachtet Sätze / Argumente immer nur bezüglich ihrer aussagenlogischen Struktur. Ein Satz wie (1) Jaime mag
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 26.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 26. Oktober 2016 Informationen zur Veranstaltung http://home.mathematik.uni-freiburg.de/junker/
MehrMethodologie der Sozialwissenschaften
Karl-Dieter Opp Methodologie der Sozialwissenschaften Einführung in Probleme ihrer Theorienbildung und praktischen Anwendung 6. Auflage VS VERLAG FÜR SOZIALWISSENSCHAFTEN Inhaltsverzeichnis Vorwort 10
Mehr7 Bedeutung und Logik
7 Bedeutung und Logik 7.1 Logische Eigenschaften von Sätzen 7.2 Logische Beziehungen zwischen Sätzen 7.3 Logische Beziehungen und Bedeutungsbeziehungen 7.4 Formale Semantik Johannes Dölling: Semantik und
MehrErinnerung 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
MehrKünstliche Intelligenz Softwaretechnologie: Prolog
Künstliche Intelligenz Softwaretechnologie: Prolog Stephan Schwiebert sschwieb@spinfo.uni-koeln.de Wiederholung Konzepte logische Äquivalenz Die Aussagen p und q sind genau dann äquivalent, wenn sie unter
MehrZweite und dritte Sitzung
Zweite und dritte Sitzung Mengenlehre und Prinzipien logischer Analyse Menge Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohlunterschiedenen Objekten unserer Anschauung und unseres Denkens
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
MehrKlassische Aussagenlogik
Eine Einführung in die Logik Schon seit Jahrhunderten beschäftigen sich Menschen mit Logik. Die alten Griechen und nach ihnen mittelalterliche Gelehrte versuchten, Listen mit Regeln zu entwickeln, welche
MehrMethoden 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
MehrAussagenlogik: Lexikon, Syntax und Semantik
Einführung in die Logik - 2 Aussagenlogik: Lexikon, Syntax und Semantik Wiederholung: Was ist Logik? Logik : Die Lehre» vom formal korrekten Schließen» von den Wahrheitsbedingungen von Sätzen Unter welchen
MehrErkenntnis: Was kann ich wissen?
Erkenntnis: Was kann ich wissen? Philosophie Die Grundfragen Immanuel Kants Hochschule Aalen, 26.03.18 Karl Mertens Immanuel Kant, Logik (AA IX, 23-25, bes. 25): "Philosophie ist also das System der philosophischen
Mehr7 Bedeutung und Logik
7.1 Logische Eigenschaften von Sätzen 7.2 Logische Beziehungen zwischen Sätzen 7.3 Logische Beziehungen und Bedeutungsbeziehungen 7.4 Formale Semantik 7.1 Logische Eigenschaften von Sätzen Ein Satz φ ist
MehrFrege 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
MehrDie Logik der Sprache PL
II Die Logik der Sprache PL 16 Der Aufbau der Sprache PL Ein Beispiel Problem (1) Alle Menschen sind sterblich. Sokrates ist ein Mensch. Also: Sokrates ist sterblich. Intuitiv ist dieses Argument gültig.
MehrMathematische Grundlagen der Computerlinguistik I
1. Übungsblatt (Mengenlehre) I. Gegeben seien die Mengen: A = {a,b,c,2,3}, B = {a,b}, C = {c, 2}, D = {a,b,c}, E = {a,b,{c}}, F =, G = {{a,b}, {c,2}} Beantworte folgende Fragen mit wahr oder falsch (1-12),
MehrBen-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
MehrFormale 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
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
Mehr1. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik
1. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik Ulrich Furbach Christian Schwarz Markus Kaiser Arbeitsgruppe Künstliche Intelligenz Fachbereich Informatik, Universität Koblenz-Landau
MehrEinführung in die Logik
Joachim Stiller Einführung in die Logik Präsentation Alle Rechte vorbehalten 2.1 Logik Übersicht - Die klassische Logik von Aristoteles - Die Begriffe - Die Definitionslehre - Die Kategorien - Die Urteile
MehrEinführung in die Semantik, 5. Sitzung Aussagenlogik
Einführung in die, 5. Sitzung Aussagenlogik Göttingen 9. November 2006 Aussagenlogik Warum die formalen Sprachen der Logik? formale Sprachen haben wie jede Sprache ein Vokabular, eine und eine. Die Relation
MehrReferenten: 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.
MehrMethodologie der Sozialwissenschaften
Karl-Dieter Opp Methodologie der Sozialwissenschaften Einführung in Probleme ihrer Theorienbildung und praktischen Anwendung 3., voll ig neubearbeitete Auflage Westdeutscher Verlag Inhaltsverzeichnis Vorwort
MehrSeminar Übergänge. Einstieg: Kartenaufgabe. Gliederung
Einstieg: Kartenaufgabe Gegeben sind vier Karten. Jede Karte hat auf der einen Seite einen Buchstaben und auf der anderen Seite eine Zahl. Seminar Übergänge Thema: Logische Probleme Thomas Hellwig, Thomas
MehrLogik I. Symbole, Terme, Formeln
Logik I Symbole, Terme, Formeln Wie jede geschriebene Sprache basiert die Prädikatenlogik erster Stufe auf einem Alphabet, welches aus den folgenden Symbolen besteht: (a) Variabeln wie zum Beispiel v 0,v
MehrWas ist Wissenschaftstheorie?
Was ist Wissenschaftstheorie? Taher Brumand Ary Mahmoud Ary Mahmoud & Taher Brumand 1 Inhalt Wissenschaftstheorie Was ist Wissenschaft? Moderne Wissenschaftstheorie Immanuel Kant Was sind wissenschaftliche
MehrMetasprache und Sprache
Metasprache und Sprache Womit und worüber wir reden Prädikatenlogik Uwe Scheffler [Technische Universität Dresden] Oktober 2012 Theorien als sprachliche Objekte Eine Theorie ist eine Menge von Sätzen.
MehrLogik 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
Mehr1 Aussagenlogischer Kalkül
1 Aussagenlogischer Kalkül Ein Kalkül in der Aussagenlogik soll die Wahrheit oder Algemeingültigkeit von Aussageformen allein auf syntaktischer Ebene zeigen. Die Wahrheit soll durch Umformung von Formeln
MehrWissenschaftliches Arbeiten
Teil 7: Argumentieren und Begründen 1 Grundregel: Spezifisch argumentieren Wissenschaftliches Arbeiten Nie mehr zeigen, als nötig oder gefragt ist. Sonst wird das Argument angreifbar und umständlich. Schwammige
MehrWissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel
Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie Prof. Dr. Jörg Rössel Ablaufplan 1. Einleitung: Was ist Wissenschaft(stheorie) überhaupt? 2. Was sind wissenschaftliche Theorien?
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 31 Die Logik der Quantoren Till Mossakowski Logik 2/ 31 Wahrheitsfunktionale Form
MehrÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER
ÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER WIEDERHOLUNG: SPRACHE DER PL Die Sprache der PL enthält (1) Einfache Individuenterme: Individuenkonstanten (a, b, c, ) und Individuenvariablen (x, y, z,
MehrEinfü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)
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
MehrWissenschaftliches Arbeiten und Methodenlehre 1 Teil A: Wissenschaftstheoretische Grundlagen
Wissenschaftliches Arbeiten und Methodenlehre 1 Teil A: Wissenschaftstheoretische Grundlagen WS 2014/2015 Prof. Dr. Richard Roth 1 Inhaltsverzeichnis A. Wissenschaftstheoretische Grundlagen 1 Wissenschaft
MehrSemantik und Pragmatik
Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 3, 29. April 2005 Gerhard Jäger Semantik und Pragmatik p.1/26 Übersetzung Deutsch Aussagenlogik Motivation für Übersetzung: Deutsch als Objektsprache:
MehrWissenschaftliches 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
MehrMetasprache und Sprache
Metasprache und Sprache Womit und worüber wir reden Prädikatenlogik Uwe Scheffler [Technische Universität Dresden] Oktober 2013 Reste Naive Mengenlehre haben wir drauf, hier noch ein Rest! Uwe Scheffler
MehrWas 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
MehrArgumentationstheorie 7. Sitzung
Erinnerung rgumentationstheorie 7. Sitzung Prof. Dr. nsgar Beckermann intersemester 2004/5 a priori a posteriori Eine ussage ist a priori wahr, wenn man ihre ahrheit ohne Rückgriff auf Erfahrung (allein
MehrDallmann, 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.:
MehrZusammenhänge präzisieren im Modell
Zusammenhänge präzisieren im Modell Dr. Roland Poellinger Munich Center for Mathematical Philosophy Begriffsfeld Logik Mathematik und Logik Die Mathematik basiert auf logisch gültigen Folgerungsschritten
MehrEinführung in die Argumentationslehre
Joachim Stiller Einführung in die Argumentationslehre Präsentation Alle Rechte vorbehalten 3.1 Argumentationslehre: Übersicht - Fehlargumente - Persönlicher Angriff, Argumentum ad personam - Totschlagargument
Mehr2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises
2 Der Beweis Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises Satz und Beweis Ein mathematischer Satz besteht aus einer Voraussetzung und einer Behauptung. Satz und Beweis Ein mathematischer
MehrMathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik
Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Grundbegriffe der Aussagenlogik 1 Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen
Mehrb. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente
II. Zur Logik 1. Bemerkungen zur Logik a. Logisches Gebäude der Mathematik: wenige Axiome (sich nicht widersprechende Aussagen) bilden die Grundlage; darauf aufbauend Lehrsätze unter Berücksichtigung der
MehrMathematische 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
MehrEDITH SCHMID UND EMIL KRAUCH FREGE II SINN UND BEDEUTUNG
EDITH SCHMID UND EMIL KRAUCH FREGE II SINN UND BEDEUTUNG AUFBAU Einführung Ausgangslage Problemstellung Sinn und Bedeutung Freges Argument vom Erkenntniswert Exkurs: Semiotik Sätze Zusammenfassung Reflexion
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 14.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 14. Dezember 2016 Die formale Sprache der Prädikatenlogik: Zeichen Benutzt werden
MehrDefinitionsversuche zum Begriff Recht
Definitionsversuche zum Begriff Recht Recht ist die Wirklichkeit, die den Sinn hat, der Gerechtigkeit zu dienen. (Gustav Radbruch, aus: Rechtsphilosophie) The prophecies of what the courts will do in fact,
MehrKapitel 1.5 und 1.6. Ein adäquater Kalkül der Aussagenlogik
Kapitel 1.5 und 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2010/11) Kapitel 1.5 und 1.6: Kalküle 1 /
MehrOJB - Test Logik (einfach)
OJB - Test Logik (einfach) Offene Jugendberufshilfe Kölner Str. 139 51379 Leverkusen Tel. 02171-49955 Web: www.ojb-lev.de E-Mail: ojb-lev@kja.de 1 I. Was ist richtig? Wähle aus a, b, c, oder d. Aufgabe
MehrQuantoren, Skopus, Negation
Quantoren, Skopus, Negation (31a) Einige Säugetiere leben im Wasser. (31b)? Säugetiere leben im Wasser. (31b')? Alle Säugetiere leben im Wasser. 1. Existenzaussagen x es gibt ein oder mehrere x, auf die
MehrZur Antinomienlehre. C. Beisbart. Kant, KrV, TU Dortmund, Sommersemester Sitzung vom
Zur Antinomienlehre C. Beisbart Kant, KrV, TU Dortmund, Sommersemester 2008 Sitzung vom 8.7.2008 Zitate nach der Meiner Ausgabe (J. Timmermann), Hervorhebungen meist der Meiner Ausgabe nachempfunden. Umfang:
MehrMusterlö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
MehrEinleitung. Teil I: Theorien von Vagheit
Einleitung Teil I: Theorien von Vagheit 7 Sorites Paradoxien 7 Vagheit 8 Michael Tye: Dreiwertige Logik 11 Kenton Machina: Grade von Wahrheit 13 Rosanna Keefe: Supervaluationismus 14 Timothy Williamson:
Mehr17 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
MehrDe Morgan sche Regeln
De Morgan sche Regeln Durch Auswerten der Wahrheitswertetabelle stellen wir fest, dass allgemeingültig ist; ebenso (p q) p q (p q) p q. Diese beiden Tautologien werden als die De Morgan schen Regeln bezeichnet,
MehrII. Ethik und vorphilosophisches moralisches Bewußtsein Die Ethik als praktische Wissenschaft Die Irrtums-Theorie...
Inhalt Aus dem Vorwort zur ersten Auflage... 11 Vorwort zur fünften Auflage... 11 Abkürzungen... 12 A. Begriff und Aufgabe der Ethik... 13 I. Die Ausgangsfrage... 13 1. Die Frage nach dem schlechthin richtigen
MehrJunktoren der Aussagenlogik zur Verknüpfung zweier Aussagen A, B
Junktoren der Aussagenlogik zur Verknüpfung zweier Aussagen A, B Name Zeichen Bedeutung Wahrheitstafel Bemerkung mit zugehöriger Dualzahl ---------------------------------------------------------------------------------------------------------------
MehrFriedo Ricken. Allgemeine Ethik. Grundkurs Philosophie 4. 3., erweiterte und überarbeitete Auflage. Verlag W. Kohlhammer Stuttgart Berlin Köln
Friedo Ricken Allgemeine Ethik Grundkurs Philosophie 4 3., erweiterte und überarbeitete Auflage Verlag W. Kohlhammer Stuttgart Berlin Köln Inhalt Aus dem Vorwort zur ersten Auflage 9 Vorwort zur dritten
MehrVorlesung Mathematik I für Wirtschaftswissenschaftler. Universität Leipzig, WS 16/17
Vorlesung Mathematik I für Wirtschaftswissenschaftler Universität Leipzig, WS 16/17 Prof. Dr. Bernd Kirchheim Mathematisches Institut kirchheim@math.uni-leipzig.de 1 / 19 Dies ist der Foliensatz zur Vorlesung
MehrAnalyse ethischer Texte
WEITERBILDUNGSSTUDIENGANG ANGEWANDTE ETHIK SOMMERSEMESTER 2005 Prof. Dr. Kurt Bayertz Analyse ethischer Texte 23. Juli 2005 I. Was sind Argumente? Zunächst eine allgemeine Charakterisierung von Argumenten
MehrLogik. Logik. Vorkurs Informatik Theoretischer Teil WS 2013/ September Vorkurs Informatik - Theorie - WS2013/14
Logik Logik Vorkurs Informatik Theoretischer Teil WS 2013/14 30. September 2013 Logik > Logik > logische Aussagen Logik Logik > Logik > logische Aussagen Motivation Logik spielt in der Informatik eine
MehrEine Untersuchung zu Verstand und Vernunft
Joachim Stiller Eine Untersuchung zu Verstand und Vernunft Eine Untersuchung Alle Rechte vorbehalten Eine Untersuchung zu Verstand und Vernunft Was ist der Unterschied zwischen Verstand und Vernunft? Zunächst
MehrKapitel 1.5. Ein adäquater Kalkül der Aussagenlogik. Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls
Kapitel 1.5 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 1/30 Syntaktischer
MehrDiskrete 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
MehrDie transzendentale Dialektik
Die transzendentale Dialektik Claus Beisbart Seminar Kant, Kritik der reinen Vernunft, TU Dortmund Sitzung vom 1.7.2008 47 Seiten Zitate nach Meiner-Ausgabe, Timmermann, Hrsg. Der Kontext Elementarlehre
Mehr{P} S {Q} {P} S {Q} {P} S {Q} Inhalt. Hoare-Kalkül. Hoare-Kalkül. Hoare-Tripel. Hoare-Tripel. Hoare-Tripel
Inhalt Hoare-Kalkül Formale Verifizierung Hoare-Kalkül while-sprache Terminierung Partielle / totale Korrektheit 4.0 Hoare-Kalkül entwickelt von C.A.R. (Tony) Hoare (britischer Informatiker), 1969 formales
Mehr