LVA - Wissenschaftsphilosophie WS

Präsentation zum Thema: "LVA - Wissenschaftsphilosophie WS"—  Präsentation transkript:

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

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

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

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

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

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

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