Subalternering

Subalternering är en omedelbar slutledning som endast görs mellan A (Alla S är P ) och I (Vissa S är P ) kategoriska propositioner och mellan E (No S är P eller ursprungligen, No S är P ) och O (Några S är inte P eller ursprungligen, inte varje S är P ) kategoriska satser av den traditionella kvadraten av opposition och den ursprungliga kvadraten av opposition. Om A -satsen är sann kan vi omedelbart dra slutsatsen att I är sant. Om E -satsen är sann kan vi omedelbart dra slutsatsen att O är sant. Omvänt , om I :et är falskt kan vi omedelbart dra slutsatsen att A också är falskt, liksom om O är falskt så är E falskt. Men om A -satsen är falsk kommer det inte att säga oss något om sanningsvärdet av I- satsen. På samma sätt, om E -propositionen är falsk, kommer det inte att säga oss något om sanningsvärdet för O -propositionen.

Ett exempel på en subalternering är "Om alla leoparder är däggdjur, så är vissa leoparder däggdjur."

När slutsatsen tillämpas felaktigt kallas den syllogistiska felslutningen en otillåten subalternering .