Глава LXIII. О суждении, утверждении и отрицании
Следует заметить, что как утверждение, так и отрицание называются суждением. Утверждение показывает, что принадлежит какому-либо предмету, т.е. чем является какой-либо предмет: например, Сократ мудр, Сократ прогуливается. Отрицание, напротив, показывает, что не принадлежит какому-либо предмету, т.е. чем какой-либо предмет не является: например, такой-то не мудр, такой-то не прогуливается.
Всякому утверждению соответствует противоположное ему отрицание, равно как и всякому отрицанию – противоположное ему утверждение. Отрицание, противоположное утверждению, и утверждение, противоположное отрицанию, называется противоречием. Одно из них необходимо ложно, а другое – необходимо истинно.