От Сепулька Ответить на сообщение
К alex~1 Ответить по почте
Дата 23.01.2005 20:43:11 Найти в дереве
Рубрики Прочее; Россия-СССР; Версия для печати

опять не для Алекса-1, а для всех остальных

Алекс-1 просто не понимает, что говорит ему "культурно обусловленная личность", поэтому создает себе некий "фетиш" врага (этой самой "культурно обусловленной личности"), приписывает ему определенные (искаженные) высказывания, а потом тщательно этот фетиш избивает.

А теперь рассмотрим, что сказал Алекс-1 и как это стыкуется с тем, что говорят "культурно обусловленные" личности.

>>Объективная истина - такое содержание человеческих знаний, к-рое не зависит от воли и желаний субъекта. Истина не конструируется по воле и желанию людей, а определяется содержанием отражаемого объекта, что и обусловливает ее объективность.

Содержание человеческих знаний всегда определяется вовсе не только содержанием "отражаемого" объекта, но и наличием тех моделей, которые уже до этого были созданы обществом или человечеством (кто сейчас вдруг захочет построить математику с нуля?). А эти модели несовершенны (т.к. неполностью соответствуют реальности) и никогда не будут совершенны, т.к. человечество в принципе не может приблизиться к полной модели реальности. Модель - всегда лишь модель, даже если в какой-то своей части хорошо стыкуется с практикой. Поэтому "культурно обусловленные" личности, в отличие от некультурно (видимо) обусловленных, и говорят, что объективной истины в этом смысле знать нельзя - модель всегда будет в чем-то не совпадать с реальностью, даже если она хорошая (т.е. имеет широкое применение на практике, и, следовательно, в значительной части состыкуется с материальным миром). Поэтому и вводится теория парадигм - теория разных моделей, которые, заменяя собой одна другую, все лучше и лучше "работают" на практике (в этой теории возникает и важный нюанс: действительно ли это улучшение будет идти бесконечно или же в итоге скажется несовершенство тех моделей, которые были положены в основу этих парадигм, и улучшения практически будут незаметны).
В частности, комбинаторика и логика вообще - это хорошие модели реальности, но при этом именно модели (т.к. не "отражают" полностью "поведение" мира).

>Я сослался на теорему Геделя. Это предельно абстрактная теорема. Ей неважно, какой культурно-обусловленный смысл стоит за элементами языка и операциями. В ней доказывается наличие определенных объективных связей.

В теореме Геделя (если имеется в виду "та самая" его теорема) как раз и доказывается, что логика является неполной моделью реальности: "при определенных условиях в любом языке существуют истинные, но недоказуемые утверждения."

> Я последние лет пятнадцать писал программы, которые, будучи откомпилированными, т.е. превращенными в набор машинных команд, способны опереировать с теми ТИПАМИ ДАННЫХ (т.е. с сущностями, которые на уровне проектирования программы являются, конечно, идеальными), которые еще не созданы, а МОГУТ БЫТЬ созданы позднее. Причем таких типов может быть бесконечное множество.

Ну и что? Ну есть в мире определенные закономерности. И никто это не отрицает.
А оспаривается возможность их постичь именно до состояния объективной истины.

Остальное комментировать не буду, т.к. это из разряда как раз приписывания собеседнику собственного понимания его слов и упорного избиения этого понимания.