Syllogism
Ensyllogism(klassisk grekiska:συλλογισμός, "slutsats", "slutledning" ) kan direkt jämföras med enslutledningsregel,det vill säga ett sätt att från tvåpremisserdra enslutsats.Begreppet härstammar frånAristotelesoch hans syllogism räknas som en av det exakta tänkandets största triumfer.
Som en ingrediens i västerländsk utbildning var Aristoteles lära om syllogismerna länge ett sidostycke tillEuklides;i många länder ingick den i gymnasiernas läroplan långt in på 1900-talet.
Exempel på syllogismer är följande:
- Premiss: Alla A är B
- Premiss: Alla B är C
- Slutsats: Alla A är C
- Premiss: Alla A är B
- Premiss: Några A är C
- Slutsats: Några B är C
En känd syllogism är:
- Premiss: Alla människor är dödliga.
- Premiss: Sokrates är en människa.
- Slutsats: Alltså är Sokrates dödlig.[1]
Den polske logikernJan Łukasiewicz(1878–1956) anser dock att den historiskt riktiga formen för en syllogism, och i överensstämmelse med Aristoteles intentioner, är att den framställs medkonditionalsats.Han ger ett exempel med utgångspunkt frånslaget vid Salamis.Om någraatenareföll i sjön och alla som föll i sjön blev blöta, blev några atenare blöta.
Den grekiske medicinarenGalenos(129–199) skrev drygt femhundra år efter Aristoteles enavhandlingom syllogismerna i vilken han ordnade dem iaxiomochteoremenligt Euklides förebild igeometrien.Den italienske matematikernSaccherividareutvecklade i början av 1700-talet, i verketLogica demonstrativa,Galenos idé om enaxiomatiskteori för de aristoteliska syllogismerna.
Se även
[redigera|redigera wikitext]Källor
[redigera|redigera wikitext]- G.H. von Wright,Logik, filosofi och språk,Berlingska, Lund 1957.
- Günther Patzig,Die Aristotelische Syllogistik,1959.
- William och Martha Kneales,The Development of Logic,1962.
Noter
[redigera|redigera wikitext]- ^John Stuart Mill,A System of Logic, Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence, and the Methods of Scientific Investigation,3rd ed., vol. 1, chapter 2 (London: John W. Parker, 1851), sid. 190.
|