Почему? Нет. Логика - это правила вычисления. Их, логик, кстати много разных, не только классическая же.

BlameMe, ))) какой я комменто бнаружила!) спустя две недели))


ну не знаю. мне часто кажется, что все логики - это наборы штампов. когда-то они основывались на опыте эмпирическом, но сейчас то уже нет, а есть большая вероятность. что в жизни уже все изменилось и случилось противоположное))
а какие логики есть???
с другой стороны у меня сейчас такой период отрицания всего разумного, что насадили мне родители)))

[J.Eo],
Даже классическая логика бывает разная: если говорить о диалектической логике (логике обычных разговоров), то такое возможно. Однако, формальная логика - это та же (обычно бинарная) математика. Упрощенно "ИЛИ" - это сложение, "И" - умножение. Апельсин желтый, апельсин круглый, верно ли что апельсин желтый и круглый? Преобразуется в "a=1; b=1; a*b=1*1 = 1".
Есть квантовая логика, согласующаяся с поведением квантовомеханических систем.
Есть конструктиваня логика, где нет закона исключения третьего.
Есть модальная логика, с добавлением формальных описательных модальностей к предикатам.
Есть многозначные логики, в которых истинность высказываний принимает больше форм, чем "истинно" (1) и "ложно" (0) - например "не определено" (-1). Есть в которых истинность принимает бесконечное количество значений от 1 до 0: например 0.1 - скорее всего ложно, 0.5 - не определено, 0.678 - ближе к правде, 0.99 - почти истина.
Есть комбинаторная логика - оперирующая функциями вместо предикатов, она легла в основу языков программирования.
Просто надо же задать какие-то правила формального языка? Доказательством, как и для любой научной теории, является совпадение с экспериментами и эффективность применения.