2,7K подписчиков
Однажды при обсуждении задачи «Tertium datur» выяснилось вот что. Большая часть комментаторов, замечу, кстати, как и законодатель Украины, написавший приведённые мною нормы, рассуждали на уровне двузначной логики. Причём именно на уровне логики классической, аристотелевой, неинтуиционистской. Явно или неявно подразумевалось действие закона исключённого третьего. Между тем, закон исключённого третьего — закон лишь классической логики. Мало того, это даже не просто абы что, а просто аксиома, которая просто принимается изначально (а может и не приниматься!)...
1 год назад