Dianomica вики
Advertisement
A dl s banner 1

Dianomika

ПРОПЕДЕВТИКА в формализованную содержательную логику

СОДЕРЖАНИЕ





"Существует ли в мире знание столь достоверное,                                                                         
что никакой разумный человек                                                            
не мог бы подвергнуть его сомнению?"                                  
Бертран РАССЕЛ (1872—1970), "Проблемы философии".                                 



Здесь наступает самый сложный и ответственный этап. Полученный в § 2.4.1 пока ещё гипотетический проект СЕТИ категорий проверяется на соответствие Общечеловеческой ПРАКТИКЕ. Осуществляется поиск интерпретаций в реальности. При наличии хоть малейших сомнений процесс повторяется. То есть мы опять возвращаемся к изучению вопроса в соответствие с Принципом системности и повторяем выборку, формирующую проблемно-ориентированную ПОР ДЛ.

Таким образом, СЕТЬ категорий создаётся итерационно - методом последовательных приближений:


Метод суть принципиально итерационный и рефлексивный процесс.


Concretizacia





§ 2.5.2.1. Интерпретация.[]


Как сегодня представляют себе категорию ИНТЕРПРЕТАЦИЯ российские философы можно посмотреть в СПРАВОЧНЫХ МАТЕРИАЛАХ.

Интерпретация суждений, составленных из единичных понятий и (или) универсалий, в режиме реального времени ("здесь и сейчас") представляет собой одно целое с процессом верификации:


"Чашка стоит на столе".


Процесс интерпретации абстракций состоит в создании взаимнооднозначных соответствий между абстракциями (понятиями, входящими в суждение) и рассматриваемыми "здесь и сейчас" предметами:


"Это чашка?"

"Да, это чашка".

"Это стол?"

"Да, это стол".

"Чашка стоит?"

"Да, чашка стоит".


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

Представим себе теперь более сложный пример: с космодрома в Центр управления полётом (находящийся за тысячи километров от космодрома) приходит доклад:


"Ракета стоит на пусковом столе".


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

Кроме того, необходимо ещё и дополнительно учитывать объективность ОШИБКИ, возникающей в канале связи, например, временную задержку.


Интерпретация суждения (установка взаимнооднозначных соответствий) происходит, так как передающий сообщение и принимающий его прекрасно понимают о какой конкретно ракете и стартовой позиции идёт речь, однако верифицировать на истинность "здесь и сейчас" сообщение невозможно.

Верификация в этом случае осуществляется привлечением сообщений дополнительных (сторонних) наблюдателей. То есть неотъемлемой частью верификации становится установление интерсубъективности суждения. Причём процессы интерпретации и верификации складываются в общий процесс КОНКРЕТИЗАЦИИ:


"Когда была установлена ракета?"

"Не было ли сбоев и отказов?"

"Действовал ли персонал безошибочно?" и т.п.


Таким образом, в процессе интерпретации происходит процесс восхождения от абстрактного к конкретному, аналогичный процессу, происходящему при формировании сообщения (генерации описания - логической модели), когда от отражаемого КОНКРЕТНОГО переходят к АБСТРАКТНОМУ по цепи:


СОЗЕРЦАНИЕ Implik ПРЕДСТАВЛЕНИЕ Implik ВООБРАЖЕНИЕ Implik ОБОБЩЕНИЕ Implik ИДЕАЛИЗАЦИЯ Implik ФОРМАЛИЗАЦИЯ Implik АБСТРАГИРОВАНИЕ (смотри Рис. 2.1.3.3).


В процессе вывода в ДЛ и ПРЕДМЕТ рассмотрения является категорией и его логическая модель (эндогенная и экзогенная сети) состоит из категорий. Таким образом, мы ставим в соответствие категории сгенерированную модель, составленную также из категорий. Каким образом эта модель интерпретируется?


а) Интерпретация абстрактной триады в ДЛ:[]


Triada h

На Рис.2.4.2.1 представлена произвольно взятая из сети триада. В логической парадигме ДЛ КАТЕГОРИЯ на определённом этапе своего качественного саморазвития порождает АНТИКАТЕГОРИЮ.

АНТИКАТЕГОРИЯ, являясь результатом отрицания КАТЕГОРИИ, содержит значительную часть внутреннего содержания КАТЕГОРИИ.



Рис.2.5.2.1. Абстрактная триада.


Дальнейшее самодвижение этой диады (КАТЕГОРИИ и АНТИКАТЕГОРИИ) приводит к порождению на определённом этапе качественного саморазвития МЕТАКАТЕГОРИИ, внутреннее содержание которой богаче, чем сумма качеств вступивших во взаимодействие категорий.

Это происходит не только в связи с "материализацией" связей между взаимодействующими категориями (КАТЕГОРИЕЙ и АНТИКАТЕГОРИЕЙ), но и в связи с тем, что МЕТАКАТЕГОРИЯ рождается из двух источников:

- за счёт внутреннего развития;

- за счёт внешнего развития.


Таким образом, развиваясь в двух пространственно-временных измерениях, каждая категория сети, упрощённо говоря, порождается как субстратом и акциденцией своей эндогенной сети, так и прокатегорией и контракатегорией своей экзогенной сети.


S A P C

Рис.2.4.2.2. Упрощённая схема порождения произвольной КАТЕГОРИИ.


Например, для категории ПОЗНАНИЕ:


Pozn shema

Рис.2.4.2.3. Упрощённая схема категории ПОЗНАНИЕ.


б) Интерпретация конкретной триады в ДЛ:[]


Сгенерированная с помощью Правил вывода гипотетическая сеть КАТЕГОРИИ (логическая модель) сначала проверяется на соответствие системе аксиом ДЛ. Так, например, в логической модели не может быть никаких "синонимов" для КАТЕГОРИЙ уже имеющих своё место в Общей Диалектической СЕТИ (Принцип СХЕМАТИЗМА).

Интерпретация конкретной триады в ДЛ суть проверка на соответствие Общечеловеческой ПРАКТИКЕ (требуется достаточно репрезентативная выборка, а не частный пример). Эта проверка осуществляется путём аппликации (наложения) логической модели на реальную общечеловеческую деятельность, то есть путём постановки ряда мысленных экспериментов. При этом в обязательном порядке учитывается, что логическая модель суть предельная идеализация и описывает исключительно "основную гармоническую составляющую" реального процесса развития.


В качестве примера смотри процесс вывода и интерпретацию эндогенной сети категории ПАРАДОКС (§ 2.6.)


В общем случае после установления абстрактного закона развития сначала он подвергается ИНТЕРПРЕТАЦИИ, которая одновременно порождает ВЕРИФИКАЦИЮ, и совместно эти два процесса представляют собой процесс КОНКРЕТИЗАЦИИ (то есть переход от абстрактного к конкретному).

На этапе ИНТЕРПРЕТАЦИИ абстрактного закона развития осуществляется максимально практически возможная (хотелось бы сказать "репрезентативная") постановка мысленных экспериментов в поисках КОНТРПРИМЕРА, который бы опровергал, фальсифицировал данный закон развития. Если такового КОНТРПРИМЕРА не находится, то установленный абстрактный закон развития принимается как "кандидат в законы развития". Очень часто в дальнейшем опровергающий КОНТРПРИМЕР удаётся найти. Именно поэтому "кандидат в законы развития " никогда сразу в общую Диалектическую СЕТЬ не встраивается, а откладывается "в долгий ящик"!



Справочные материалы[]




См. также[]



Литература[]



Ссылки[]



ДАЛЕЕ...


СОДЕРЖАНИЕ

ПРОПЕДЕВТИКА в формализованную содержательную логику




© Dianomik (обсуждение) 05:43, июня 14, 2013 (UTC)


Advertisement