Septem artes liberales

2. Septem artes liberales grammatik retorik dialektik trivium musik aritmetik geometri astronomi quadrivium

3. Det medeltida universitetet medicinska fakulteten teologiska fakulteten juridiska fakulteten filosofiska fakulteten (artes-fakulteten) quadrivium trivium

4. Logik står ibland för metodik, men Aristoteles tillämpade inte direkt sin logik på de vetenskaper som han grundlade. Aristoteles klassificeringsmetod bygger på definition genom genus proximum et differentia specifica (närmaste högre klass och särskiljande kännetecken) Aristoteles tillämpade sin klassifieringsmetod på djurarterna i Egeiska havet och grundade härigenom vetenskapen zoologi.

5. Aristoteles zoologi fyrfotadjursom föder levande ungar äggläggandefyrfotadjur fåglar valdjur fiskar mjukdjur djurmed mjukt skal flerfotadeleddjur fotlösa skaldjur bloddjur djur blodlösa djur (växter)

6. Deduktion ochinduktion

7. ”Välgrundade” vetenskapliga (slut)satser förutsätter giltiga eller åtminstone trovärdiga slutledningar.

8. premiss 1 Alla filosofer är dödliga. premiss 2Sokrates är filosof. slutsats Sokrates är dödlig. premiss 1Sokrates dog. premiss 2Platon dog. premiss 3Aristoteles dog. slutsatsAlla filosofer är dödliga.

9. premiss 1Sokrates dog. premiss 2Platon dog. premiss 3Aristoteles dog. : premiss nJacques Derrida dog. slutsats(Alla) filosofer är dödliga.

10. Deduktion betyder (ofta) slutledning från allmänna premisser till partikulära slutsatser. Induktion betyder (ofta) slutledning från individuella premisser eller fakta till allmänna slutsatser.

12. Människor är dödliga. (premiss) Filosofer är människor. (premiss) Alltså, är filosofer dödlig. (slutsats)

13. Människor är dödliga. (premiss) Filosofer är människor. (premiss) Alltså, är filosofer dödlig. (slutsats)

15. dödliga människor filosofer x Sokrates

17. p(x) = x är filosof q(x) = x är människa r(x) = x är dödlig x(q(x)  r(x)) x(p(x)  q(x)) x(p(x)  r(x))

19. Kråkan lägger ägg. (premiss) Bofinken lägger ägg. (premiss) Storken lägger ägg. (premiss) Alltså, lägger pingvinen ägg. (slutsats)

21. Kråkan kan flyga. (premiss) Bofinken kan flyga. (premiss) Storken kan flyga. (premiss) Alltså, kan pingvinen flyga. (slutsats)

22. Deduktiva slutsatser är giltiga och med nödvändighet och sanna, om premisserna är sanna. Induktiva slutsatser är med (större eller mindre) sannolikhet sanna, om premisserna är sanna.

23. Logiska och matematiska slutsatser är i regel deduktiva. (undantag: matematisk induktion) Empirism betyder i regel ett ställningstagande för induktion, fastän redan empiristen David Hume (1711-1776) ifrågasatte induktionens tillförlitlighet.

24. Organon (verktyg, redskap) är titeln på Aristoteles samlade verk i logik, dvs deduktiva slutledningar. I Novum organum (det nya redskapet) från 1620 lanserade Bacon en induktiv metod för kunskapsinhämtande. Bacon förespråkade en empirisk metod som innebar att dra slutsatser från upprepade iakttagelser.

25. Induktionsproblemet ”Humes problem” Hur kan man veta att en induktion är tillförlitlig, då induktionens tillförlitlighet bygger på en induktiv slutledning från våra erfarenheter?

26. premiss 1 Ståhlberg var man. premiss 2 Relander var man. premiss 3 Svinhufvud var man. premiss 4 Kallio var man. premiss 5 Ryti var man. premiss 6Mannerheim var man. premiss 7Paasikivi var man. premiss 8Kekkonen var man. premiss 9Koivisto är man. premiss 10Ahtisaari är man. slutsatsAlla finska presidenter är män. slutsatsHalonen är man.

27. Hypoteser och teorier

28. Hypoteser Hypoteser är antaganden, icke verifierade påståenden. Hypoteser är förslag till teorier eller teorier som inte bevisats eller verifierats.

29. Teorier Teorier är styrkta eller bevisade hypoteser. En teori är en omfattande förklaring av fenomen eller av samband mellan fakta. Ordet teori används i vardagsspråket även som synonym till hypotes. Skillnaden mellan hypotes och teori är relativ. Enligt vissa vetenskapsfilosofer (Popper m.fl.) kan hypoteser/teorier aldrig slutgiltigt verifieras.