[QUOTE]Ким Валерий пишет:
логика - это формализованная объективная закономерность[/QUOTE]
Да но какое она имеет отношение к абстрагированиям объективной реальности, хотя бы и формализованной ОР. Здесь, в ДК, многократно отмечалось, что формальная логика не в состоянии отражать объективные закономерности. Логические цепочки способны привести к абсурду, причем, немедленно. Возможно, потому, что нет "меры универсальной" даже для математических абстракций, исходя из теоремы Хаусдорфа. Можно признать некоторую достоверность, логического соотношения между двумя объектами, называя это причинно-следственной связью. Дальнейшее развитие событий может быть "никоим образом" не связано с предидущим этапом и может происходить в "любом направлении". Поэтому, думается, что в математике необходимо ввести представление о "векторе разития", определяющую алгоритм, структуру процесса. Понятно, что это, по сути,просто попытка отразить "логику" развития, но все-таки лучше, чем "логика" Аристотеля, которая есть всего лишь , его "метод", "анализ" и не более. Мы же из этого "метода" строим "математику" и имеем наглость ждать от нее результатов прорисовывания структур, закономерностей и что, самое удивительное, находим. Но бывают и сбои, конечно. Обращающий на себя внимание из них - это кавардак с точки зрения "аристотелевской", Евклида математики в микромире, а теперь еще и в мегамире, если довериться выводам, в стиле рассуждений ГР. Но я повторяюсь, вся наука у нас зиждется, в основном, на опытных данных, эмпирических формулах и только поэтому, сугубая примитивность, если не сказать большее, "логической" математики не столь заметна.
Изменено:
Алексей Трофимов - 12.12.2008 22:51:56