Аристотель ввел три основных закона логического мышления.
Тождество: А = А. Любое понятие есть то, чем оно является. А является А и ничем другим.
Непротиворечивость: А и не А не могут одновременно быть истинными. Ничто не может быть и не быть.
Исключенное третье: все может только быть или не быть. А может быть истинно, либо не А может быть истинно, третьего не дано. То есть высказывание и его отрицание не могут оба быть истинны.