Pakke (logik)

En præmis  er en erklæring, der har til formål at underbygge eller forklare et eller andet argument [1] . I logik er et argument  et sæt af påstande (eller " domme "), hvoraf nogle er præmisser, og andre bekræftende påstande (eller påstande) er logiske konklusioner .

Aristoteles hævdede, at ethvert logisk argument kan reduceres til to præmisser og en konklusion [2] . Pakker er nogle gange udeladt, i hvilket tilfælde de kaldes udeladte lokaler, for eksempel:

Sokrates er dødelig, fordi alle mennesker er dødelige.

Det er klart, at Sokrates er en mand (denne forudsætning er udeladt). Et udvidet argument ville være:

Da alle mennesker er dødelige, og Sokrates er en mand, følger det, at Sokrates er dødelig.

I dette eksempel er de første to uafhængige påstande  - "alle mennesker er dødelige" og "Sokrates er en mand" - præmisserne, mens "Sokrates er dødelig" er konklusionen.

Beviset for konklusionen afhænger både af sandheden af ​​begge præmisser og af argumentets gyldighed.

Noter

1. ↑ "Argument: en sekvens af udsagn, sådan at nogle af dem ( præmisser ) er grunde til at acceptere andre, konklusioner ": Cambridge Dictionary of Philosophy, 2. udg. (Cambridge University Press), red. Robert Audi, 43.
2. ↑ s. 216, Jan Gullberg , Matematik fra tallenes fødsel, W. W. Norton & Company; ISBN 039304002X ISBN 978-0393040029

Ordbøger og encyklopædier	Fantastisk catalansk Britannica (online)