<...> Он нашел четыре закона логики: 1. Тождество – одно понятие должно иметь постоянный и неизменный смысл. 2. Противоречия – два явления не могут быть истинны в одно и тоже время. 3. Закон исключения третьего – одно из противоположных суждений истинно. 4. Закон достаточного основания – каждая мысль должна быть доказана.<...>