[sova]

Сообщение от Djay

И только "шаг вправо - влево" и хана всей логике. Логика хороша там, где известен хотя бы алгоритм. А нет его, не создан исчо - и шо будем делать? Моделировать, правильно.

Вот именно, что все рассуждения существуют внутри моделей. И они-то как раз замечательно проверяемы на логичность. Наверняка для каждой логичной (правильной с точки зрения логики) модели можно найти тоже логичную, но гораздо точнее моделирующую реальность, но это уже другой вопрос, никак не отменяющий проверяемость любой модели (и любого рассуждения) на логичность, т.е. отсутствие противоречий.