text: Он сформулировал логические законы: закон тождества — понятие должно употребляться в одном и том же значении в ходе рассуждений; закон противоречия — «не противоречь сам себе»; закон исключённого третьего — «А или не-А истинно, третьего не дано».