![]() |
18 февраля в 00:01
|
Дарт Пофигус
Философия основана на логике и может быть проверена Это смотря что считать логикой. В общем случае, это не так. Логические цифровые схемы основаны на логике и они могут быть проверены. Как модель, потому что в реальности есть всякие физические погрешности, ошибки, отклонения, неустойчивые режимы работы... А сама логика может только исчислить правильность логического выражения. Но она не может определить, было ли исходное утверждение верным.Но популярное мнение о том, что есть "логичные" утверждения, а есть "нелогичные" неистребимо. И есть нюанс: даже в математике существуют разные логики, несовместимые между собой. |