"... имеются явно противоречащие друг другу утверждения, которые не могут быть вместе истинными; но они, конечно, не могут быть и все ложными, хотя последнее утверждение скорее могло бы показаться вероятным, если исходить из того, что было сказано". Аристотель, Метафизики, 4, 8. Tertium non datur - третье не дается (третьего не дано). Известное и часто встречающееся латинское выражение. Но откуда оно пошло, что значит и о каком третьем идет в нем речь? Этим выражением формулируется один из трех законов логики - закон исключенного третьего. К этому закону сводятся другие два: закон тождества и закон (не)противоречия. Это получается приведением формализованного вида законов тождества и (не)противоречия к нормальному виду. Как это происходит, об этом будет сказано отдельно. Какое третье не дано? Речь о третьем суждении, которое невозможно если даны два противоречащих друг другу суждения. Например, если предположено, что все звезды светят отраженным светом, то можно утверждать, что Солнце