ПРОПЕДЕВТИКА в формализованную содержательную логику
Окончательная верификация осуществляется апробацией. Чудес не бывает! То, через что человечество ещё не прошло, то, что ещё не содержится, хотя бы в зародыше, в реальной действительности (выраженной уже в языке категорий) не может попасть в состав системы уравнений. Никакие спекуляции здесь не допустимы, тем более, порождение неологизмов. Почему не являются допустимыми неологизмы? Потому, что их невозможно верифицировать! Синтез СЕТЕЙ категорий это не процесс порождения новых КАТЕГОРИЙ, а процесс поиска ВЗАИМОСВЯЗЕЙ между уже существующими КАТЕГОРИЯМИ. Эти ВЗАИМОСВЯЗИ и есть искомые законы развития!
Как сегодня представляют себе категорию ВЕРИФИКАЦИЯ российские философы можно посмотреть в СПРАВОЧНЫХ МАТЕРИАЛАХ.
- Смотри также Апробация и верификация диссертационных работ...
Генерируемые СЕТИ должны соответствовать Системе аксиом ДЛ. Любое отклонение должно вызывать подозрение, что что-то не так в наших умозаключениях. Полученная СЕТЬ должна быть не просто осмысленной, но соответствовать реальным историческим процессам, их логическому ядру!
Автор отдаёт себе отчёт в том, что подобная аксиоматика очень похожа на Попперовский метод проб и ошибок. Однако, существуют, как минимум, два существенных отличия.
С одной стороны, Система аксиом ДЛ формализует весь процесс и ограничивает в достаточно узком сегменте какую-либо спекуляцию. Ещё более сужает сферу поиска системное исследование проблемы, результатом которого является всегда достаточно компактная выборка категорий (10-20 шт.).
С другой стороны, любая фантазия наталкивается на полное отсутствие исторических примеров! Одновременно в каждой конкретной задаче мы имеем дело не с тысячей КАТЕГОРИЙ, а всего с ОДНИМ - ДВУМЯ ДЕСЯТКАМИ, так как нас всегда направляет такая эвристика как СМЫСЛ получаемых ЗАКЛЮЧЕНИЙ (триад). Диалектическое ТРЕТЬЕ должно вписываться в СЕТЬ как по вертикали, так и по горизонтали, так как оно необходимый атрибут в цепи порождения одних категорий из других... Всё-таки все сети суть предельно абстрактные алгоритмы Общечеловеческой практической ДЕЯТЕЛЬНОСТИ.
Каждая триада проекта СЕТИ верифицируется отдельно. Никакая некорректность не допускается. Все сомнительные части проекта СЕТИ временно отводятся для того, чтобы выявить безусловно истинную часть. Лучше отбросить истинное, чем взять ложное. Из опыта построения СЕТЕЙ категорий известно, что наиболее сомнительными являются правые фланги СЕТЕЙ: чем идеальнее (т.е. ближе к правому краю СЕТИ) атрибут, тем сложнее верифицируется его связь с СЕТЬЮ.
Да, автор согласен, что после того, как сформирована проблемно-ориентированная ПОР, дальнейший процесс построения Сети КАТЕГОРИИ больше напоминает процесс собирания "пазла" (мозаики), чем совершенно алгоритмизованный процесс.
Суть же состоит в том (и об этом писал ещё Гегель), что человек осознаёт смысл своих построений, непрерывно сравнивая получающиеся схемы качественного самодвижения с результатами Общечеловеческого ОПЫТА, Общечеловеческой ПРАКТИКИ, то есть с результатами Общечеловеческой ПОЗНАНИЯ, зафиксированными в Естественном ЯЗЫКЕ. Ссылка на Гегеля, конечно же, не является аргументом: сам-то он такого натворил…
Примечание: О попперовском критерии научности как фальсифицируемости.
Подход Поппера сводится к следующему. Истина существует, но она не явлена. Мы можем высказывать догадки и проверять их опытным путем. Такие догадки в науке называются гипотезами или теориями. Одна из главных особенностей научных гипотез состоит в том, что они исключают возможность определенных событий.
Например, если в качестве гипотезы выдвигается закон тяготения, предметы тяжелее воздуха не должны сами собой отрываться от земли. Поэтому утверждения (и подразумеваемые ими запреты) могут быть дедуцированы из гипотез, которые мы способны проверить. Однако проверка – это не «верификация». Не существует никакой окончательной верификации, потому что мы не можем знать всех относящихся к делу событий – в прошлом, настоящем и будущем.
Проверка – это попытки найти события, которые несовместимы с существующей теорией. Опровержение теории, фальсификация, приводит к прогрессу знания, поскольку заставляет нас выдвигать новые и более совершенные теории, которые в свою очередь подлежат проверке и фальсификации. Наука, таким образом, есть череда проб и ошибок.
По мнению автора этих строк попперовская "дурная бесконечность" ВЕРИФИЦИРУЕМОСТЬ-ФАЛЬСИФИЦИРУЕМОСТЬ, даже если она работает на практике в какой-то области знания, не является критерием научности данного вида знания.
В качестве примера можно обратить внимание на то, что в этой книге были подвергнуты фальсификации такие до сих пор "незыблемые в своей истинности тезисы" как закон отрицания-отрицания, принцип конкретности истины, понятие диктатуры пролетариата, претензия традиционной ФЛ на истинность во всём мысленном универсуме. Однако, всё это ни в коей мере не превращает данную формализованную систему в научную теорию, а философию в науку.
Данная система останется гипотетической теорией (пробной теорией - в терминологии Роджера Пэнроуза) до тех пор, пока не пройдёт длительной апробации в различных областях знания и не проявит себя как инструмент, позволяющий генерировать достоверные логические выводы в граничных условиях справедливости логической парадигмы ДЛ.
Но даже после этого она не превратится в научную теорию... Почему? Потому что данная теория принципиально основывается на непроверяемых экспериментально основаниях. Это только металогика, только метанаука.
Смотри также § 1.5.10. О философии и Философских ЗАКОНАХ в ситуации постмодернизма.
Наука не является примитивной чередой проб и ошибок. Это принципиально сходящийся к ИСТИНЕ процесс, так как наука обладает и исторической памятью и создаёт всё более совершенные инструменты познания на основе уже познанных закономерностей. Таким образом, апробированное научное положение, которое с исторически обусловленной допустимой величиной ОШИБКИ отражает реальность, практически никогда не отвергается полностью, а лишь уточняется: более грубые приближения сменяются более точными.
Сами познаваемые феномены при раздвижении граничных условий их изучения, как правило, проявляют себя для исследователя иначе, чем раньше, так как ОШИБКА прежней логической модели становится недопустимой для практики. И, следовательно, старая логическая модель феномена начинает требовать уточнения. Соответственно изменению модели меняются и объяснения феномена.
Верификация научной теории всегда представляет собой интерсубъективную апробацию теории как нового инструмента познания и завершается профессиональной конвенцией научного сообщества. Такая апробация в любом случае представляет собой неполную индукцию, так как мы не можем проверить истинность испытываемой теории для бесконечного количества объектов и бесконечное число раз.
Но это всё до крайности банально, так как любое наше знание исторически обусловлено и, тем самым, ограничено. Каждая теория суть относительная истина. И будет, со временем, заменена более точной. Но это не означает совсем, что мы должны в познании реальности доходить до крайнего скептицизма и агностицизма.
Ссылки[]
ПРОПЕДЕВТИКА в формализованную содержательную логику
© Dianomik 11:12, июля 3, 2012 (UTC)