[gav]

Feeleen

Мыслима, но это не так распространено, как формальная логика

Приведите, пожалуйста, ссылки на серьезные работы по логике, где бы не использовалась формальная логика.

вы смешиваете форм-ю логику и математическую, это разные понятия

По-моему, это одно и тоже. В чем разница?

систематизация и непротиворечивость возможны и без математики

Хорошо, какими другими средствами это возможно?

Реальность слишком сложна, чтобы ее описать математикой - т.е. схематично, отвлекаясь от содержания на максимально возможное расстояние, выражаясь образно

Реальность, может быть, и сложна. Но научное знание вполне может быть и должно быть подвергнуто проверке на непротиворечивость.

вообще-то он объясняет, почему мат методы НЕ МОГУТ быть использованы для основного пласта знания биологических и социальных наук.

А мне кажется, что он говорит об органиченности математического метода, как инструмента познания, а не о невозможности описания объектов реального мира в математическом виде. Это разные вещи. Только лишь построением формальных систем и доказательством теорем (математический метод) вскрыть некоторые моменты качественного описания явлений нельзя. Об этом и говорит Колмогоров. Но о том, что возможности математики для описания объектов различных наук ограничены он не говорит. Нужно использовать качественный анализ, интуицию и т.п. Но о том, что результаты исследований не нужно проверять на непротиворечивость и представлять в систематизированном формализованном виде - Колмогоров не говорит.