Forutsetninger
En forutsetning er en proposisjon , en bekreftelse avansert til støtte for en konklusjon . Begrepet premiss kommer fra den latinske praemissa , implisitt sententia , proposisjon fremmet, fra prae , forward og mittere , å sende. I en syllogisme kalles de to første premissene major og minor . Forutsetningen er alltid avansert til støtte for konklusjonen.
Historie
Aristoteles sa at ethvert logisk argument kan reduseres til to premisser og en konklusjon. For eksempel :
“Sokrates er dødelig fordi alle mennesker er dødelige. "
Den fullstendige begrunnelsen er som følger:
Fordi alle mennesker er dødelige og Sokrates er en mann, så er Sokrates dødelig.
I dette eksemplet er de uavhengige leddene som kommer foran kommaet (dvs. "alle mennesker er dødelige" og "Sokrates er en mann") premissene, mens "Sokrates er dødelig" er konklusjonen . Beviset for en konklusjon avhenger av både sannheten i premissene og gyldigheten av argumentet. Theophrastus , elev og etterfølger av Aristoteles , avviste bruken av det bestemte premisset; han kaller argumentet "ved tillegg" av: hva A blir bekreftet, blir B også bekreftet; A blir hevdet av C - derfor blir B hevdet av C.
Bibliografi
-
(en) Peter Hilton og Jan Gullberg, Matematikk - Fra fødselen av tall , WW Norton & Company ,1997, 1128 s. ( ISBN 978-0393040029 ) , s. 216.
Referanser
- Gullberg , s. 216
- Fragment 114