Co-premiss

En co-premiss är en premiss i resonemang och informell logik som inte är det huvudsakliga stödjande skälet för ett påstående eller ett lemma , utan är logiskt nödvändigt för att säkerställa giltigheten av ett argument . En förutsättning för sig, eller en grupp av samlokaler kan utgöra ett skäl.

Logisk struktur

Varje betydelsefull term eller fras som förekommer i en premiss för ett enkelt argument, bör också förekomma i påståendet/slutsatsen eller i en co-premiss. Men detta i sig garanterar inte ett giltigt argument, se felslutet i den ofördelade mitten för ett exempel på detta.

Ibland kommer en samförutsättning inte att uttryckligen anges. Denna typ av argument är känd som ett "enthymematiskt" argument, och sampremissen kan hänvisas till som en "dold" eller en "ostatlig" sampremiss och kommer ofta att bli föremål för en slutsatsinvändning . I denna argumentationskarta över ett enkelt argument är de två skälen till huvudpåståendet samlokaler och inte separata skäl för att tro att påståendet är sant. De är båda nödvändiga för att säkerställa att argumentet som helhet behåller logisk giltighet.

I det här exemplet är "Vad Bibeln säger är sant" en dold medförutsättning.