Il quadrato aristotelico illustra alcune caratteristiche dei differenti tipi di proposizioni dichiarative confrontandole a due a due. Le proposizioni contraddittorie non possono essere entrambe vere e non possono essere entrambe false. Le proposizioni contrarie non possono essere entrambe vere ma possono essere entrambe false. Due proposizioni (particolari che differiscono per qualità) subcontrarie non possono essere entrambe false. In due proposizioni (una universale e una particolare) subalterne, la verità della universale implica la verità della particolare, ma non viceversa.
