Fesapo, 4. figur: e(dyr, enhjørning) a(enhjørning, dyr_med_horn) Ergo: o(dyr_med_horn, dyr e(mand, gift_ungkarl) a(gift_ungkarl, mand) Ergo: o(mand, mand)

Præsentationer af emnet: "Fesapo, 4. figur: e(dyr, enhjørning) a(enhjørning, dyr_med_horn) Ergo: o(dyr_med_horn, dyr e(mand, gift_ungkarl) a(gift_ungkarl, mand) Ergo: o(mand, mand)"— Præsentationens transcript:

1 Fesapo, 4. figur: e(dyr, enhjørning) a(enhjørning, dyr_med_horn) Ergo: o(dyr_med_horn, dyr e(mand, gift_ungkarl) a(gift_ungkarl, mand) Ergo: o(mand, mand)

2 Venn-diagrammer Hvordan kan man afgøre spørgsmål om syllogismers gyldighed? Allerede Euler (1707-83) foreslog en grafisk metode (de såkaldte ”euler cirkler”). Metoden blev forbedret af den engelske logiker John Venn (1834-1923). Man taler om Venn- diagrammer. John Venn SP M

3 Alle A er BNogle A er B svarende til: a(A,B)svarende til: i(A,B) Ingen A er BNogle A er ikke B svarende til: e(A,B)svarende til: o(A,B) Venn-diagrammer

4

5 e(AR,SR) i(BR,SR) Ergo: e(BR,AR) e(AR,SR) i(BR,SR) Ergo: o(BR,AR) e(AR,SR) a(BR,SR) Ergo: e(BR,AR) SR: Reklamer, der er skadelige for børn. BR: Børnereklamer AR: Acceptable reklamer UR: Underholdende reklamer

6 e(AR,SR) i(BR,SR) Ergo: e(BR,AR) e(AR,SR) i(BR,SR) Ergo: o(BR,AR) e(AR,SR) a(BR,SR) Ergo: e(BR,AR) BR SR AR + - - ? BR SR AR - - --

7 “En Steen kand ikke flyve” “(Morlille) kand ikke flyve” “Ergo: Morlille er en Steen” “En Steen kand ikke... tale” “Morlille kand tale” “Ergo: Morlille er ingen Steen” Eksempler fra Holbergs Erasmus Montanus UGYLDIG GYLDIG

8 e(sten,flyvende_ting) e(morlille,flyvende_ting) Ergo: a(morlille,sten) e(sten,talende_ting) a(morlille,talende_ting) Ergo: e(morlille,sten) Eksempler fra Holbergs Erasmus Montanus UGYLDIG GYLDIG sten morlille flyvende_ting - - - + sten morlille talende_ting - - - -

9 Gyldige syllogismer - klassisk set 1. figur: barbara, celarent, darii, ferio, (barbarix, feraxo) 2. figur: cesare, camestres, festino, baroco, (camestrop, cesarox) 3. figur: darapti, disamis, datisi, felapton, bocardo, ferison 4. figur: bramantip, camenes, dimaris, fesapo, fresison, (camenop) Bemærk, at klassisk (aristotelisk) gyldighed ikke er helt det samme som Venn- gyldighed. De “afledede” i parenteserne samt de understregede regnes nu for problematiske. – Kun de 15 syllogismer, der er angivet med rødt, er Venn-gyldige.

10 Problem vedr. fesapo i 4. figur: Ingen mænd er gifte ungkarle Alle gifte ungkarle er mænd Ergo: Nogle mænd er ikke mænd e(mand,gift_ungkarl) a(gift_ungkarl,mand) Ergo: o(mand,mand) Klassisk reaktion: Syllogismen en gyldig, men konklusionen er falsk, fordi præmis 2 er falsk. Moderne reaktion: Begge præmisser er sande, men syllogismen en ugyldig. Det er baggrunden for den falske konklusion.