Paket (logik)

En premiss  är ett påstående avsett att underbygga eller förklara något argument [1] . I logik är ett argument  en uppsättning propositioner (eller " bedömningar "), av vilka några är premisser och andra jakande propositioner (eller propositioner) är logiska slutsatser .

Aristoteles hävdade att alla logiska argument kan reduceras till två premisser och en slutsats [2] . Paket utelämnas ibland, i så fall kallas de utelämnade lokaler, till exempel:

Sokrates är dödlig eftersom alla människor är dödliga.

Det är tydligt att Sokrates är en man (denna premiss är utelämnad). Ett utökat argument skulle vara:

Eftersom alla människor är dödliga, och Sokrates är en man, följer att Sokrates är dödlig.

I det här exemplet är de två första oberoende propositionerna  - "alla människor är dödliga" och "Sokrates är en man" - premisserna, medan "Sokrates är dödlig" är slutsatsen.

Beviset för slutsatsen beror både på sanningen i båda premisserna och på argumentets giltighet.

Anteckningar

  1. "Argument: en sekvens av uttalanden så att vissa av dem ( premisser ) är skäl för att acceptera andra, slutsatser ": Cambridge Dictionary of Philosophy, 2nd ed. (Cambridge University Press), red. Robert Audi, 43.
  2. s216, Jan Gullberg , Matematik från siffrornas födelse, W. W. Norton & Company; ISBN 039304002X ISBN 978-0393040029