Oppositionens torg

Oppositionens kvadrat , i traditionell logik, ett diagram som visar fyra former av ett kategoriskt förslag ( qv ), eller uttalande, med samma ämne och predikat, tillsammans med deras parvisa förhållanden:

Oppositionens torg

där A, E, I och O är av formerna "Every S is P ", "No S is P ", "Some S is P " och "Some S is not P. " Som visas på torget, "Varje svan är vit" är motsatsen till "Ingen svan är vit" och det motsägelsefulla med "Vissa svanar är inte vita." Slutsatser som dras från en av dessa former till en annan (som i subalternation) sägs erhållas genom omedelbar slutsats.