52
L e i p z i g Was von Logik zu halten ist ... Lochmann 1 d e r L o g i k d e r L o g i k W a r u m m a n W a r u m m a n n i c h t u n b e d i n g t n i c h t u n b e d i n g t t r a u e n s o l l t e . . . t r a u e n s o l l t e . . .

L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

Embed Size (px)

Citation preview

Page 1: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann1

d e r L o g i kd e r L o g i k

W a r u m m a nW a r u m m a n

n i c h t u n b e d i n g tn i c h t u n b e d i n g t

t r a u e n s o l l t e . . .t r a u e n s o l l t e . . .

Page 2: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann2

Geschichtliches zur formalisierten Problemlösung

I n h a l t s v e r z e i c h n i s

Formalisierte Logik der "alten" Griechen

Ein praktisches Beispiel aus dem Alltag

Die Meterkonvention

Das Problem der Scholastiker

Was die Scholastiker nicht bedacht hatten ....

Was man mit der Logik anfangen sollte und was nicht ....

I n h a l t s v e r z e i c h n i s

Page 3: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann3

mathematische Verfahren

Assyrer & Babylonier in Mesopotamien ("Zweistromland")

Tabellieren von Funktionen, Basis = 60 Berechnung der SQRT(2)

kannten bereits vor 5.000 bis 10.000 Jahren

vgl. Tafel Plimpton 322

angewandt bei Bewässerung, Getreideanbau

Geschichtliches zur formalisierten Problemlösung - 1

Geschichtliches zur formalisierten Problemlösung

Page 4: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann4

LandvermessungDie Ägypter vor > 4.000 Jahren Nilüberschwemmungen

Umgang mit Zahlen, Berechnen von Fläche usw.

mathematische Verfahren

Assyrer & Babylonier in Mesopotamien ("Zweistromland")

Tabellieren von Funktionen, Basis = 60 Berechnung der SQRT(2)

kannten bereits vor 5.000 bis 10.000 Jahren

angewandt bei Bewässerung, Getreideanbau

Geschichtliches zur formalisierten Problemlösung - 2

Diese Menschen konnten zwar perfekt mit Zahlen umgehen,aber sie hatten noch nicht die Kunst gelernt,die abzubildende Zusammenhänge abstrakt darzustellen.

Page 5: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann5

Die "alten Griechen" erfanden vor 2.500 Jahren einenFormalismus, den wir heute noch benutzen:

Die Darstellung von abstrahierten Zusammenhängenmittels formalisierter Symbole und Operatoren.

LandvermessungDie Ägypter vor > 4.000 Jahren Nilüberschwemmungen

Umgang mit Zahlen, Berechnen von Fläche usw.

mathematische Verfahren

Assyrer & Babylonier in Mesopotamien ("Zweistromland")

Tabellieren von Funktionen, Basis = 60 Berechnung der SQRT(2)

kannten bereits vor 5.000 bis 10.000 Jahren

angewandt bei Bewässerung, Getreideanbau

Geschichtliches zur formalisierten Problemlösung - 3

Page 6: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann6

Die "alten" Griechen formalisiertenbeispielsweise die Logik wie folgt:

A = B

A = C

C = B

Wenn

und wenn

dann folgt

F o r m a l i s i e r t e L o g i k - 1

Page 7: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann7

A = B

A = C

C = B

Ein praktisches Beispiel aus dem Alltag

Page 8: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann8

A = Ur- Kilo

A = C

C = B

Ein praktisches Beispiel aus dem Alltag

Page 9: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann9

A = Ur- Kilo

A = C

C = B

Ein praktisches Beispiel aus dem Alltag

Page 10: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann10

Metall-Teil = Ur- Kilo

A = C

C = B

Ein praktisches Beispiel aus dem Alltag

Page 11: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann11

1 kg Gewicht = Ur- Kilo

A = C

C = B

Ein praktisches Beispiel aus dem Alltag

Page 12: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann12

1 kg Gewicht = Ur- Kilo

1 kg Gewicht = C

C = B

Ein praktisches Beispiel aus dem Alltag

Page 13: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann13

1 kg Gewicht = Ur- Kilo

1 kg Gewicht = Tüte mit Mehl

C = B

Ein praktisches Beispiel aus dem Alltag

Page 14: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann14

1 kg Gewicht = Ur- Kilo

1 kg Gewicht = Tüte mit Mehl

Tüte mit Mehl = Ur- Kilo

Ein praktisches Beispiel aus dem Alltag

Page 15: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann15

1 kg Gewicht = Ur- Kilo

1 kg Gewicht = Tüte mit Mehl

In der Tüte ist 1 kg Mehl !

Ein praktisches Beispiel aus dem Alltag

Page 16: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann16

Ein praktisches Beispiel aus dem Alltag

Mit dieser Art Logik lässt sich nämlich viel anfangen:

Beispiel Handel:Wenn man an einer zentralen Stelle festlegt,was 1 kg Mehl, 1 Barrel Öl, 1 to Stahl, ... kosten,dann kann man den Handel erheblich vereinfachen,denn jeder kann prüfen

- wie viel das ist und - was es dann kostet.

Man muss dann nur festlegen, wie schwer 1 kg ist ...Das "Normal" der Masseneinheit Kilogramm ist dasUrkilogramm: Ein Zylinder aus Platin-Iridiummit 39 mm Durchmesser und 39 mm Höhe.

Dieses Urkilogramm wird im Jagdschloss von Breteuil aufbewahrt.

Page 17: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann17

"Normale" für den heutigen Welthandel:

Die französische Revolution beschleunigt dieDiskussion über die Einführung von Normalen fürMasse, Länge, Volumina und Zeit.Die Meterkonvention wird von 17 Ländern unter-schrieben. In Jagdschloss von Breteuil Gründungdes Bureaus International des Poids et Mesures.

1792

1875

1875 Das Deutsche Reich ist Gründungsmitglied.

1884 Großbritannien tritt der Meterkonvention bei.1878 Die USA treten der Meterkonvention bei.

.....

1977 Die VR China tritt der Meterkonvention bei.

1957 Die Republik Indien tritt der Meterkonvention bei......

D i e M e t e r k o n v e n t i o n

Page 18: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann18

Der ehrgeizige Ansatz der Scholastiker - 1

Der ehrgeizige Ansatz der Scholastiker

Im frühen Mittelalter hatte sich das Bedürfnis entwickelt, die theologische Lehren der Bibel und der Kirchenväter auch philosophisch zu durchdringen und "Einklang" herzustellen zwischen Theologie und Philosophie.

Diese Bewegung (9.-12. Jh.) wurde Scholastik genannt.

Das wichtigste mentale Werkzeug dabei wardie logische Beweisführung.

Page 19: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann19

Im frühen Mittelalter hatte sich das Bedürfnis entwickelt, die theologische Lehren der Bibel und der Kirchenväter auch philosophisch zu durchdringen und "Einklang" herzustellen zwischen Theologie und Philosophie.

In der Hochscholastik (12. Jh.) wurde die Philosophie der alten Griechen (u.a. Aristoteles) und ihre griechischen und arabischen Erklärer in die christliche Philosophie und Theologie integriert.

Scholastik (9.-12. Jh.)

... und schon gab es Probleme !

Der ehrgeizige Ansatz der Scholastiker - 2

Page 20: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann20

Um zu verstehen, warum die Scholastiker Probleme

Und wenn man dabei noch etwas genauer hinschaut, dann findet man mancherlei ironische Wendungen und Überraschungen, die die Geschichte parat hält.

mit der Logik der "alten Griechen" bekamen, müssen wir zunächst noch einige weitere Ausflüge in die Geschichte Europas machen.

Der ehrgeizige Ansatz der Scholastiker - 3

Page 21: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann21

Aristoteles (384 - 322 B.C.) war ab 342 – 336 B.C. Lehrervon Alexander des Großen (356 - 323 B.C.)Aristoteles gilt u.a. auch als der Begründer der Logik.

Die Lehren und Erkenntnisse der griechische Philosophen hatten auch im römischen Reich großen Einfluss auf alleGebiete in Politik, Wissenschaft und Kultur.

Allerdings hatten die ersten Christen zunächst ganz andere Sorgen, als sich mit klar strukturiertem Denken und logischen Beweisführungen auseinander zusetzen.

Folglich vergaß man diese alten Philosophen nicht einfach,sondern verdammte sie als "unchristlich" und "heidnisch".(Vgl. "Im Namen der Rose")

Der ehrgeizige Ansatz der Scholastiker - 4

Page 22: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann22

Muslimischen Mauren beherrschten weite Teile Spaniens

Diese von Muslimen beherrschten Regionen entwickeltensich zu großer kultureller und wirtschaftlicher Blüte mitgroßer Ausstrahlung auf das mittelalterliche Abendland.

U.a. brachten die Mauren auch die Lehren von Aristoteles und anderer Philosophen des alten Griechenlandes wieder zurück nach Zentraleuropa.

Dieses Gedankengut wurde dann von den Scholastikern aufgegriffen, insbesondere das Denken Aristoteles ....

von 711 bis 1492 mit weitgehender Toleranz gegenüber Juden und Christen.

Und so kamen die Lehren der "alten Griechen" über denUmweg Nord-Afrika und Muslime zurück nach Europa ....

Der ehrgeizige Ansatz der Scholastiker - 5

Page 23: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann23

Zurück zur Aufgabe der Scholastiker:

Man wollte die theologischen Lehren der Bibel auch philosophisch durchdringen und "Einklang" herzustellen zwischen Theologie und Philosophie.

Quaestio

Dazu hatte man die scholastische Methode entwickelt:

klar herausgearbeitete FrageDistinctio

Logico Disputatio

scharfe Abgrenzung und Unterscheidung der verwendeten Begriffelogische Beweisführung Erörterung der Gründe und Gegengründe im formgerechten Streitgespräch

Der ehrgeizige Ansatz der Scholastiker - 6

Page 24: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann24

Irgendwann nahm einer der Scholastiker

A = B

A = C

C = B

Wenn

und wenn

dann folgt

die von den "alten Griechen" übernommene formale Logik

wendete diese formale Logik wie folgt an:

Der ehrgeizige Ansatz der Scholastiker - 7

Page 25: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann25

A = Menschen

A = C

B = C

Der ehrgeizige Ansatz der Scholastiker - 8

Page 26: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann26

Alle Neger = Menschen

A = C

B = C

Der ehrgeizige Ansatz der Scholastiker - 8

Page 27: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann27

Alle Neger = Menschen

Alle Neger = C

B = C

Der ehrgeizige Ansatz der Scholastiker - 8

Page 28: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann28

Alle Neger = Menschen

Alle Neger = Schwarz

B = C

Der ehrgeizige Ansatz der Scholastiker - 8

Page 29: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann29

Alle Neger = Menschen

Alle Neger = Schwarz

Alle Menschen = C

Der ehrgeizige Ansatz der Scholastiker - 8

Page 30: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann30

Alle Neger = Menschen

Alle Neger = Schwarz

Alle Menschen = Schwarz

Dies ist offensichtlich falsch – aber warum?

Der ehrgeizige Ansatz der Scholastiker - 8

Page 31: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann31

... natürlich hat der (vorlaute) "Volksmund" gleich eine Begründung parat:

vergleichen !

Man kann

nicht mit

Das Problem der Scholastiker - 1

Page 32: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann32

Das Problem der Scholastiker war nicht,

Die Ironie dabei ist, dass der Weg zu diesem Nachweis bereits in der Scholastischen Methode enthalten war.

Das eigentliche Problem der Scholastiker war, dass es ihnen nicht gelang,einen formal "sauberen" Denkansatz zu finden,mit dem nachgewiesen werden konnte, warum dieser logische Schluss falsch ist.

dass diese Logik falsche Ergebnisse lieferte.

Leider waren die Scholastiker aufgrund ihres "selektiven Weltbildes" nicht in der Lage, diesen Wegzu finden und beschreiten.

Das Problem der Scholastiker - 2

Page 33: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann33

Das Problem der Scholastiker war nicht,

Die Ironie dabei ist, dass der Weg zu diesem Nachweis bereits in der Scholastischen Methode enthalten war.

Das eigentliche Problem der Scholastiker war, dass es ihnen nicht gelang,einen formal "sauberen" Denkansatz zu finden,mit dem nachgewiesen werden konnte, warum dieser logische Schluss falsch ist.

dass diese Logik falsche Ergebnisse lieferte.

Leider waren die Scholastiker aufgrund ihres "selektiven Weltbildes" nicht in der Lage, diesen Wegzu finden und beschreiten.

Mehr hierzu im nächster Vortrag !

Das Problem der Scholastiker - 3

Page 34: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann34

Nochmals die Grundzüge der scholastische Methode:

Quaestio klar herausgearbeitete FrageDistinctio

Logico Disputatio

scharfe Abgrenzung und Unterscheidung der Begriffelogische Beweisführung Erörterung der Gründe und Gegengründe im formgerechten Streitgespräch

Das Problem der Scholastiker - 4

Page 35: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann35

Die von den "alten Griechen" übernommene Logicokonnte es nicht sein, denn diese hatte sich inzwischenim ganzen Abendland bei vielen Gelegenheiten bewährt.

Nochmals die Grundzüge der scholastische Methode:

Quaestio klar herausgearbeitete FrageDistinctio

Logico Disputatio

scharfe Abgrenzung und Unterscheidung der Begriffelogische Beweisführung Erörterung der Gründe und Gegengründe im formgerechten Streitgespräch

Das Problem der Scholastiker - 5

Page 36: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann36

Quaestio und Disputatio konnten ebenfalls nicht die Ursache sein, denn diese hatten mit der eigentlichenBeweisführung nichts zu tun.

Nochmals die Grundzüge der scholastische Methode:

Quaestio klar herausgearbeitete FrageDistinctio

Logico Disputatio

scharfe Abgrenzung und Unterscheidung der Begriffelogische Beweisführung Erörterung der Gründe und Gegengründe im formgerechten Streitgespräch

Das Problem der Scholastiker - 6

Page 37: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann37

Nochmals die Grundzüge der scholastische Methode:

Quaestio klar herausgearbeitete FrageDistinctio

Logico Disputatio

scharfe Abgrenzung und Unterscheidung der Begriffelogische Beweisführung Erörterung der Gründe und Gegengründe im formgerechten Streitgespräch

Distinctio schien ebenfalls über jeden Zweifel erhaben, denn die Begriffe Menschen und Neger sind eindeutig.

Und so dauerte es noch ein paar Jahrhunderte (!) bis jemand herausfand, dass die Lösung dieses Problems doch in der falschen Anwendung der Distinctio lag.

Das Problem der Scholastiker - 7

Page 38: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann38

1874 veröffentlichte Georg Cantor (1845 - 1918)

Die Mengenlehre behandelt die Beziehungen zwischen Mengen und ihren Elementen.

seine ersten Schriften zur Mengenlehre.

Die Lösung des Problems der Scholastiker - 1

Page 39: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann39

Wenn MZ die Mengen aller Zahlen zwischen 0 und 9 ist,

MZ = {0,1,2,3,4,5,6,7,8,9}

und wenn M5 die Mengen aller Zahlen zwischen 0 und 5 ist,

M5 = {0,1,2,3,4,5},

Georg Cantor (1845 - 1918) und die Mengenlehre.

Beispiele:

dann ist M5 eine "echte" Teilmenge von MZ;

dann ist 1 ist sowohl ein Element der Menge MZ als auch ein Element der Menge M5;

dann ist 7 ist ein Element der Menge MZ, aber nicht ein Element der Menge M5;

wenn MX = {0,1,2,3,4,5}, dann sind die Mengen MX und M5 identisch.

Georg Cantor (1845 - 1918) und die Mengenlehre

Page 40: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann40

... oder angewandt auf das Problem der Scholastiker:

Wir definieren:

und B ist die Menge aller Menschen

oder

A ist die Menge aller Neger

A = { x B x hat schwarze Haut }

Der mengentheoretische Ansatz - 1

Page 41: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann41

dieselbe Lebewesen, was nicht stimmt, wie jeder weiß.

Wenn gilt:

A B heißt das auf Hochdeutsch:Die Begriffe Menschen und Neger bezeichnen

Denn: Es gibt viele Menschen, deren Hautfarbe "nicht schwarz" ist.

dieselbe Lebewesen.

Der mengentheoretische Ansatz - 2

Page 42: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann42

Der mengentheoretische Ansatz - 3

Page 43: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann43

Daher gilt:

A B oder auf Hochdeutsch:Der Begriff Neger bezeichnet eine echte Teilmengeder Menge aller Menschen.

Dann gilt eben nicht:

A B oder auf Hochdeutsch:Die Begriffe Menschen und Neger bezeichnen dieselbe Lebewesen, was nicht stimmt, wie jeder weiß.

Denn: Es gibt viele Menschen, deren Hautfarbe "nicht schwarz" ist.

Der mengentheoretische Ansatz - 4

Page 44: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann44

Cantor hat formalisiert, was die Mathematiker - undund vor ihnen - auch die Philosophen schon lange interessiert hatte:

Vereinfacht heißt das bezüglich unserer Betrachtungen:

Ein Skalar ist eine Größe ohne "Dimension". Beispiels- weise ist 1 kg eine Größe, die nur durch einen einzigenZahlenwert und sonst nichts repräsentiert wird.

Eine Menge ist eine Zusammenfassung von bestimmten wohl zu unterscheidenden Objekten der Anschauungoder des Denkens, welche die Elemente der Mengegenannt werden, zu einem Ganzen (O-Ton Cantor).

Die Cantor'sche Mengenlehre und die Scholastiker - 1

Page 45: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann45

Die Cantor'sche Mengenlehre und die Scholastiker - 2

Die Scholastiker hatten die von den Griechen übernommene formale Logik

korrekt angewendet die scholastischen Methode korrekt angewendet

und doch falsche Ergebnisse erhalten, weil sie zwei Denkfehler begangen hatten.

Page 46: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann46

Was die Scholastiker nicht bedacht hatten ....

Die Scholastiker hatten zwar eine logische Beweis-führung (Logico) gefordert, aber nicht bedacht, dassdie mentalen Werkzeuge, die man zu einer "logischen Beweisführung" benötigt, abhängig sein könnten von den verwendeten Kategorien von Begriffen.

Die Scholastiker hatten zwar gefordert, dieBegriffe scharf abzugrenzen und zu unterscheiden (Distinctio), aber sie hatten übersehen, dass es unterschiedliche Kategorien von Begriffen gibt, Skalare, z.B. Gewichte Mengen, z.B. Menschen

(1)

(2)

Was die Scholastiker nicht bedacht hatten ....

Page 47: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann47

Für die, die es immer genau wissen wollen: Auch die von Cantor formulierte Mengenlehre ist nichtwiderspruchsfrei (B. Russellsche Antinomie, 1901). Ohne lange in der Theorie zu weilen, hier ein solches Paradoxon, das schon die "alten Griechen" beschäftigt hat: Epimenides, der Kreter, sagte: Alle Kreter lügen.

Na, können Sie das Paradoxon auflösen?

Nein? Kein Problem! Die Menschheit versucht es schon seit 2300 Jahren ohne Erfolg!

Die Mengenlehre und die Russellsche Antinomie

Page 48: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann48

Was sollten wir aus diesem Exkurs durch 5000 JahrenMenschheitsgeschichte mitnehmen?

1. Die formale Logik ist ein wunderbares mentalesWerkzeug, vorausgesetzt, man weis, wie und woranman sie "richtig" anwendet.

2. Man sollte die Begriffe und die dahinter stehendenRealitäten sorgfältig prüfen, insbesondere wenn essich dabei um "Mengen" handelt.

3. Da es offensichtlich vielen Menschen schwer fällt, dieverwendeten Begriffe zu prüfen, eignen sich "logischen Zusammenhänge" hervorragend, vorsichtig formuliert,zum "Umfunktionieren" von wahren Zusammenhängen.

Was man mit der Logik anfangen sollte und was nicht ....

Page 49: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann49

Beispiel 1: Stimmt folgende Aussage? Es gibt eine statistisch signifikante Korrelation zwischender Gruppe der Menschen, die sehr alt werden, und derGruppe der Menschen, die regelmäßig Wein trinken. Daher sollten alle Menschen regelmäßig Wein trinken. Die Schlussfolgerung ist falsch! Die statistisch signifikante Korrelation besteht zwischender Gruppe der Menschen, die sehr alt werden, und derGruppe der Menschen, die regelmäßig "alles" mäßig tut,z.B. auch Wein trinken.

Was man mit der Logik anfangen sollte und was nicht ....

Page 50: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann50

Beispiel 2: Stimmt folgende Aussage? Durch Verkürzen der wöchentlichen Arbeitszeit kann manArbeitsplätze schaffen: Wenn eine Stadt 1000 Müllwerkerà 40 h/Woche beschäftigt (= 40.000 h/Woche), kann durchVerkürzen der wöchentlichen Arbeitszeit auf 35 h/Wochedie Anzahl der benötigten Müllwerker auf 1143 erhöhtwerden (= 40.000/35). Die Schlussfolgerung ist falsch! Vielleicht geht das bei Müllwerkern, weil die jeweilige Stadt einfach die Gebühren erhöhen kann und Müllwerkermit wenig Aufwand angelernt werden können. Aber wiesieht es bei Entwicklern, Verkäufern, Controller mit langer Ausbildung und vieljähriger Berufspraxis aus?

Was man mit der Logik anfangen sollte und was nicht ....

Page 51: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann51

Gebrauchen Sie Ihren Verstand! Sind Sie kritisch!

2. Werden wirklich wichtige Eigenschaften der verwendeten Begriffe in der Schlussfolgern benutzt?

I h r e S c h l u s s f o l g e r u n g e n

Ihre Schlussfolgerungen

Überprüfen Sie erst einmal gründlich das Folgende,bevor Sie einer "logischen Aussage" folgen:

1. Hat der Verfasser der "logischen Aussage" die verwendeten Begriffe "richtig" erfasst?

3. Sind die verwendeten Eigenschaften der Begriffewirklich relevant bezüglich der benutzten Logik?

Welchen Nutzen hat der Verfasser der "logischenAussage" wenn Sie seiner Schlussfolgerung folgen?

4.

Page 52: L e i p z i g Was von Logik zu halten ist...Lochmann 1 d e r L o g i k  W a r u m m a n n i c h t u n b e d i n g t t r a u e n s o l l t e

L e i p z i gWas von Logik zu halten ist ...Lochmann52

Vielen Dankfür´s

Zuhören !

www.lochmann.com