1 / 25

Stoikernes udsagnslogiske slutninger: Hvis det første, så det andet. Men det første.

Stoikernes udsagnslogiske slutninger: Hvis det første, så det andet. Men det første. Altså det andet. (Modus Ponens) Hvis det første, så det andet. Men ikke det andet. Altså ikke det første. (Modus Tollens) Ikke både det første og det andet. Men det første.

stacie
Download Presentation

Stoikernes udsagnslogiske slutninger: Hvis det første, så det andet. Men det første.

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Stoikernes udsagnslogiske slutninger: Hvis det første, så det andet. Men det første. Altså det andet. (Modus Ponens) Hvis det første, så det andet. Men ikke det andet. Altså ikke det første. (Modus Tollens) Ikke både det første og det andet. Men det første. Altså ikke det andet. Det første eller det andet. Men ikke det første. Altså det andet.

  2. Brug af teorien Teoretisk spørgsmål Teoretisk svar abstraktion konkretisering Praktisk svar Praktisk spørgsmål

  3. Hvis Hans er fynbo, så er han dansker. • Hvis Rundetårn ligger i Århus, så er der et kirketårn i Århus. • Hvis 1=2, så er månen en grøn ost. • Hvis Rundetårn ligger i Århus, så er 1 og 2 forskellige . • Hvis H.C. Andersen var dansker, så er 2 et lige primtal. • Hvis Cæsar havde deltaget i Koreakrigen, så ville han have brugt atomvåben. • Hvis Cæsar havde deltaget i Koreakrigen, ville han have brugt katapult.

  4. Forgrenet tid ~m b m ~m ~b b: brandøvelse m m: mange omkommer

  5. Arthur Norman Prior (1914–69) Tidslogikkens grundlægger http://www.prior.aau.dk

  6. Øvelse 3 I hvert af nedenstående tilfælde er der angivet 2 præmisser. Overvej i hvert af tilfældene, hvad man kan slutte (om noget overhovedet!) fra præmisserne. 1) Hvis Hans er hjemme, så er Grethe hjemme. Grethe er hjemme. 2) Hvis Hans er hjemme, så er Grethe hjemme. Hans er hjemme. 3) Hvis Hans er hjemme, så er Grethe hjemme. Grethe er ikke hjemme. 4) Hvis Hans er hjemme, så er Grethe hjemme. Hans er ikke hjemme.

  7. Hvis Hans er hjemme, så er Grethe hjemme. Hans er hjemme. Ergo: Grethe er hjemme Hvis Hans er hjemme, så er Grethe hjemme. Grethe er ikke hjemme. Ergo: Hans er ikke hjemme.

  8. Hvis Hans er hjemme, så er Grethe hjemme. Hans er hjemme. Ergo: Grethe er hjemme p  q p Ergo: q (modus ponens) Hvis Hans er hjemme, så er Grethe hjemme. Grethe er ikke hjemme. Ergo: Hans er ikke hjemme.

  9. Hvis Hans er hjemme, så er Grethe hjemme. Hans er hjemme. Ergo: Grethe er hjemme p  q p Ergo: q (modus ponens) Hvis Hans er hjemme, så er Grethe hjemme. Grethe er ikke hjemme. Ergo: Hans er ikke hjemme. p  q ~q Ergo: ~p (modus tollens)

  10. Husk: ’Og’, , er kun sand ved S-S, ellers falsk. ’Eller’, , er kun falsk ved F-F, ellers sand. ’Hvis…så’, , er kun falsk ved S-F, ellers sand.

  11. Sammensat implikation Brug af teorien Beregning af sandhedsværdier Teoretisk: abstraktion konkretisering Praktisk: Praktisk svar om gyldighed Udsagnslogisk argument

  12. Sammensat implikation Brug af teorien Beregning af sandhedsværdier Teoretisk: abstraktion konkretisering Praktisk: Praktisk svar om gyldighed Udsagnslogisk argument Hvis p så q p Ergo: q

  13. Sammensat implikation Brug af teorien Beregning af sandhedsværdier Teoretisk: p  q, p├q abstraktion konkretisering Praktisk: Praktisk svar om gyldighed Udsagnslogisk argument Hvis p så q p Ergo: q

  14. ((p  q)  p) q Sammensat implikation Brug af teorien Beregning af sandhedsværdier Teoretisk: p  q, p├q abstraktion konkretisering Praktisk: Praktisk svar om gyldighed Udsagnslogisk argument Hvis p så q p Ergo: q

  15. Beregningen giver S i alle mulige tilfælde. ((p  q)  p) q Sammensat implikation Brug af teorien Beregning af sandhedsværdier Teoretisk: p  q, p├q abstraktion konkretisering Praktisk: Praktisk svar om gyldighed Udsagnslogisk argument Hvis p så q p Ergo: q

  16. Beregningen giver S i alle mulige tilfælde. ((p  q)  p) q Sammensat implikation Brug af teorien Beregning af sandhedsværdier Teoretisk: p  q, p├q abstraktion konkretisering Praktisk: Praktisk svar om gyldighed Udsagnslogisk argument Hvis p så q p Ergo: q Det udsagnslogiske argument er gyldigt.

  17. Undersøgelse af modus ponens: p, p  q ├ q Husk: ’Og’, , er kun sand ved S-S, ellers falsk. ’Eller’, , er kun falsk ved F-F, ellers sand. ’Hvis…så’, , er kun falsk ved S-F, ellers sand.

  18. Undersøgelse af modus ponens: p, p  q ├ q Husk: ’Og’, , er kun sand ved S-S, ellers falsk. ’Eller’, , er kun falsk ved F-F, ellers sand. ’Hvis…så’, , er kun falsk ved S-F, ellers sand.

  19. Undersøgelse af modus ponens: p, p  q ├ q Husk: ’Og’, , er kun sand ved S-S, ellers falsk. ’Eller’, , er kun falsk ved F-F, ellers sand. ’Hvis…så’, , er kun falsk ved S-F, ellers sand.

  20. Undersøgelse af modus ponens: p, p  q ├ q Husk: ’Og’, , er kun sand ved S-S, ellers falsk. ’Eller’, , er kun falsk ved F-F, ellers sand. ’Hvis…så’, , er kun falsk ved S-F, ellers sand.

  21. Undersøgelse af modus ponens: p, p  q ├ q Husk: ’Og’, , er kun sand ved S-S, ellers falsk. ’Eller’, , er kun falsk ved F-F, ellers sand. ’Hvis…så’, , er kun falsk ved S-F, ellers sand.

  22. Undersøgelse af modus ponens: p, p  q ├ q Husk: ’Og’, , er kun sand ved S-S, ellers falsk. ’Eller’, , er kun falsk ved F-F, ellers sand. ’Hvis…så’, , er kun falsk ved S-F, ellers sand.

  23. Beregningen giver S i alle mulige tilfælde. ((p  q)  ~q) ~p Sammensat implikation Brug af teorien Beregning af sandhedsværdier Teoretisk: p  q, ~q├~p abstraktion konkretisering Praktisk: Praktisk svar om gyldighed Udsagnslogisk argument Hvis p så q ~q Ergo: ~p Det udsagnslogiske argument er gyldigt.

  24. Undersøgelse af modus tollens: ~q, p  q ├ ~p Husk: ’Og’, , er kun sand ved S-S, ellers falsk. ’Eller’, , er kun falsk ved F-F, ellers sand. ’Hvis…så’, , er kun falsk ved S-F, ellers sand.

More Related