LVA - Wissenschaftsphilosophie WS

Slides:



Advertisements
Ähnliche Präsentationen
BIFEP: Gaspreise der Stadtwerke sind Abzocke !. Canis: Pullover- ausgabe bei den Stadtwerken.
Advertisements

Auftrieb in Flüssigkeiten und Gasen
Frame-Logik Eine Einführung Andreas Glausch.
5. Aussagenlogik und Schaltalgebra
Organisatorisches Klausur für Übungsschein (Anfang Januar)
Syntax der Aussagenlogik
Break-even-point = Nutzschwelle
Teil 7 Grundlagen Logik.
Diplomkolloquium Stefan Polzin
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (05 – Reguläre Ausdrücke) Prof. Dr. Th. Ottmann.
Mathematische und logische Grundlagen der Linguistik
Fantasieregel Die Aussagenlogik
Die Rolle der Gedächtnisorganisation 3. Sitzung am 06. Mai 04
Die Logik der Quantoren Universität Hannover Philosophisches Seminar Referent: Klaus Boye
COMENIUS 08/09 Alternative Energiequellen Kernfusion.
In Sachen PISA: Argumentationshilfen zu EDMOND Düsseldorf, Dr. Joachim Paul.
Deduktives Denken Logisches Schließen
Einführung in die Methoden der Psychologie Tutorium 1.4
Addierwerke.
1 Klassen (1) Eine Klasse beschreibt eine Menge von Objekten mit gemeinsamer Struktur gemeinsamem Verhalten gemeinsamen Beziehungen gemeinsamer Semantik.
Textformatierung wurde Weitgehends von den Gruppen übernommen Schwarzer Streifen unten für Fremdwörtererklärungen Schwarzer Streifen unten.
Das Fachreferat CC Monika Uhlemair.
01 1 Dateneingabe Die Daten der Schüler können über die Tabelle eingegeben werden. In der Schule sind diese Daten aber bereits abgespeichert. Der Systembetreuer.
Potenzfunktionen Nullstellenberechnungen
Vukovic, Marbot, Fanton.
Quality-Gate III Die Konzepte
Problemlösen Problemlösen Prof. Dr. Bernd Schmidt
Vorbereitung zur Reife- und Diplomprüfung Statistik
WiSe 2010/11 LR 13: Klassenmanagment
Binäre Bäume Louis Moret und Reto Huber, 5. 11
HORIZONT 1 XINFO ® Das IT - Informationssystem PO-Scanner HORIZONT Software für Rechenzentren Garmischer Str. 8 D München Tel ++49(0)89 /
Chair of Software Engineering Einführung in die Programmierung Prof. Dr. Bertrand Meyer Vorlesung 5: Invarianten und Logik.
Technische Information. © Sistema GeoDAT, S.L. 01/08/2004Sistema GeoDAT, S.L.2 SERVER … Betriebssysteme … –Microsoft Windows Server 2000 oder –Microsoft.
Religion unterrichten – aber wie ? Einführung in die Planung und
Einführung in die Programmierung Prof. Dr. Bertrand Meyer
Lebenslauf Berufserfahrung Weiterbildung Ausbildung Schulbildung
NIN-Arbeitsblätter Paul-Emile Müller
Hauptschule/Werkrealschule - Realschule - Gymnasium ?
Seite 1 Computeria Wallisellen Peter Furger PC Akademie Steinacherstr. 44 Excel (Auszug) Seite 1.
Daten verwalten (2) Agenda für heute, 29. April 2009
Daten verwalten (2) Agenda für heute, 30. April 2008
Context of Legal Logic chello.at Visualization of Legal Theory.
Logische Grundlagen J. W. v. Goethe: Faust, 1. Teil MEPHISTOPHELES:
Checkliste für die Einleitung
Agenda für heute, 20. November 2009
Agenda für heute, 21. November 2008
Fachschaft Mathematik und Informatik
Gruppeneinteilung Gruppe 1Gruppe 2Gruppe 3Gruppe 4.
Hauptschule - Realschule - Gymnasium ?
WS 14/15 Fachdidaktik- Organisation Übungen Erste Übungsgruppe ab Mo. 27.Okt. (Präsenzübungen, heute online) Ab Mo. 27.Oktober wöchentliche Übungsblätter.
Aussagenlogik G. Laner 03/04
.. ß 01 Es war ein tolles Fest.
Staudinger Wer bin ich?. Staudinger Wer bin ich? Technische Hinweise Nutzen: Anklicken eines Puzzlesteins  Entfernen Klick neben das Puzzlefeld  nächste.
Michael Müller Präsident Köln 08. November 2014 The Global IRU Taxi Service Quality Network Köln, G T N.
Kapitel 4: Aussagen-, Prädikatenlogik
Grundlagen der mathematischen Logik
(Wirtschafts-)mathematik I Mathe im Wandel der Zeit Volksschule 1960: Ein Bauer verkauft einen Sack Kartoffeln für 50 DM. Die Erzeugerkosten betragen 40.
Mechanik I Lösungen.
Von Bits, Bytes und Raid Eine Schnuppervorlesung Inhalt
X. Übungsblatt – Aufgabe X a)Beschreiben Sie den allgemeinen Aufbau einer Zahl N in einem polyadischen Zahlensystem. Übung zu Grundlagen der Technischen.
1 Vo#8 Prädikatenlogik Semantik, Zuzana Tuhárska, Matej-Bel- Universität in Banská Bystrica.
Meine Ballonfahrt Eine Ballonfahrt die ist lustig, zuerst abladen, alles beischleifen, Ballon, Korb und Gasflaschen den Ballon aufheizen, starten, dann.
Methodenlehre der Rechtswissenschaft
Methodenlehre der Rechtswissenschaft
Argumentum a fortiori (Erst-Recht-Schluss)
Logik in der Informatik IV
[Titel] Abstract Daten und Methoden Ergebnisse Conclusio
Argumentum a fortiori (Erst-Recht-Schluss)
Workshop beleuchtetes Holzherz:
 Präsentation transkript:

LVA - Wissenschaftsphilosophie WS2001 08.11.01 Logik Kerngedanke (Semantischer Aufbau) Bespiel für die „Form eines Schlusses“ A oder B (1. Prämisse = 1. Voraussetzung) nicht A (2. Prämisse = 2. Voraussetzung) _________________________ B KONKLUSION   LVA - Wissenschaftsphilosophie WS2001 08.11.01

LVA - Wissenschaftsphilosophie WS2001 08.11.01 Logik Kerngedanke (Semantischer Aufbau) Technische Notationen: : = vel (einschließlich oder) : = et (und) : = non (nicht) : = materiale Implikation (ensprcht nicht dem allagssprachlichen » wenn, dann« sondern eher dem Ausdruck: » das eine nicht ohne das andere« (cf Bochensky) LVA - Wissenschaftsphilosophie WS2001 08.11.01

LVA - Wissenschaftsphilosophie WS2001 08.11.01 Logik Kerngedanke (Semantischer Aufbau) Beispiel einer Überprüfungsstruktur   Wenn T, dann I nicht I nicht T Modus Tollens { [ (p  q)   q ]   p } LVA - Wissenschaftsphilosophie WS2001 08.11.01

LVA - Wissenschaftsphilosophie WS2001 08.11.01 Logik Kerngedanken (Semantischer Aufbau) Wahrheitswert-TABELLEN (Auswahl) p q  p  q p  q p  q p  q W F LVA - Wissenschaftsphilosophie WS2001 08.11.01

LVA - Wissenschaftsphilosophie WS2001 08.11.01 Logik Kerngedanke (Semantischer Aufbau) [ ( p  q )   p ]  q W F W F W F F W F W W F W W F W F Nachweis, dass die obige Formel eine „Tautologie“ ist ! LVA - Wissenschaftsphilosophie WS2001 08.11.01

LVA - Wissenschaftsphilosophie WS2001 08.11.01 Logik Kerngedanke (Semantischer Aufbau) [ ( p  q )   p ]  q F W F W W F F F ! WIDER SPRUCH ! F LVA - Wissenschaftsphilosophie WS2001 08.11.01

LVA - Wissenschaftsphilosophie WS2001 08.11.01 Logik Kerngedanke (Semantischer Aufbau) [ ( p  q )   p ]  q F W F W W F F F ! WIDER SPRUCH ! F LVA - Wissenschaftsphilosophie WS2001 08.11.01