85689 (574892), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

(N₂, { N₂, N₃, , N₅, , , N₇, }),

в котором содержится 4 пары альтернативных литералов. Это говорит о том, что в структуре имеется коллизия парадокса.

Перейдем к рассмотрению другой коллизии - коллизии цикла. Рассмотрим сначала простой цикл между двумя терминами: ABA. Если сопоставить этот цикл с отношением включения между множествами, то окажется, что в данном случае этот цикл означает, что справедливы два отношения включения AB и BA. А это в свою очередь означает, что наши множества A и B равны друг другу, и соответственно термины, которые обозначают эти множества, имеют одно и то же содержание. Рассмотрим следующий пример.

Пример. Пусть заданы три посылки:

1) Все, что существует, подтверждается экспериментом.

2) Все неизвестное не подтверждается экспериментом.

3) Все известное существует.

Попробуем принять эти три посылки как аксиомы и построим для них соответствующую E-структуру. Обозначим: E - все, что существует, C - все, что подтверждается экспериментом, K - все, что известно. Соответственно обозначает то, что не существует, - то, что не подтверждается экспериментом, - то, что неизвестно. Теперь представим эти посылки в виде формальных суждений:

E C;

;

K E.

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

Из законов алгебры множеств следует (строгое доказательство этого утверждения мы опустим), что для любой последовательности включений множеств, образующих цикл типа ABC … A, справедливо равенство всех множеств, содержащихся в цикле. В нашем примере это означает, что все существующие, подтвержденные в эксперименте и известные явления полностью совпадают друг с другом. Если взять другой полученный в этой задаче цикл, то окажется, что все неизвестные, несуществующие и не подтвержденные в эксперименте явления также эквивалентны друг другу.

В традиционной логике такая ситуация определяется как логическая ошибка "круг в обосновании" (или "порочный круг"). Как тут не вспомнить крылатую фразу из рассказа Чехова: "Этого не может быть, потому что этого не может быть никогда"! Или менее известное в России шуточное высказывание Л. Кэрролла: "Как хорошо, что я не люблю спаржу, - сказала маленькая девочка своему заботливому другу, - ведь если бы я ее любила, то мне пришлось бы ее есть, а я ее терпеть не могу". Все это примеры "порочного круга".

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

Однако коллизия цикла в E-структуре, так же как и коллизия парадокса, не всегда означает ошибку в рассуждении. Здесь многое зависит от конкретных примеров. Рассмотрим пример, в котором коллизия цикла позволяет уточнить свойства объектов, содержащихся в рассуждении.

Пусть известно, что система содержит какие-то объекты с независимыми свойствами E, C и K, и для каждого из этих свойств существует его альтернатива: , , . Например, нам известно, что в каком-то закрытом ящике содержатся предметы с различным сочетанием следующих свойств: они могут быть деревянными (E), либо пластмассовыми ( ); иметь форму шара (C), либо куба ( ); быть красного (K), либо зеленого ( ) цвета. Нам не известно число предметов (их может быть сколь угодно много), но известны некоторые соотношения, которые можно выразить в форме суждений. Примером таких соотношений могут быть следующие:

Все деревянные предметы имеют форму куба (E );

Все предметы зеленого цвета - шары ( C);

Все предметы красного цвета - деревянные (KE).

Требуется определить, какие сочетания свойств невозможны для предметов, находящихся в этом ящике. Нарисуем схему для исходных суждений (рис.7) и добавим к ним контрапозиции исходных суждений (рис.8).

Рис.7 Рис.8

На рисунке 8 отчетливо видны два цикла: E KE и C . Отсюда понятно, что свойства E, , K присущи одному и тому же множеству и не присущи по отдельности другим множествам нашей системы. То же самое можно сказать и относительно свойств , , C. Из этого следует, что в ящике могут находиться только деревянные красные кубы и пластмассовые зеленые шары, а все остальные сочетания свойств исключаются. Например, в ящике не должно быть деревянных предметов зеленого цвета.

Для распознавания коллизии цикла алгоритмическим способом нужно использовать соответствие "CT-замыкание". При этом используется следующий критерий:

Если в CT-замыкании E-структуры существуют пары (E, M), у которых литерал E является элементом множества M, то в E-структуре имеется коллизия цикла, в противном случае коллизия цикла отсутствует.

Анализ коллизий позволяет нам разделить все типы E-структур на два класса: корректные и некорректные E-структуры. Закрепим эту классификацию с помощью строгих определений.

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

Некорректная E-структура называется парадоксальной, если в ней содержится коллизия парадокса, и непарадоксальной в противном случае.

Рассмотренные ранее коллизии можно считать чисто формальными коллизиями, так как они выявляются только на основе сведений, которые содержатся в исходных посылках. Представим теперь ситуацию, когда мы из исходных посылок вывели какие-то следствия и оказалось, что коллизии отсутствуют. Надо бы радоваться, но мы вдруг почему-то решили проверить, насколько наши следствия соответствуют действительности. И вполне возможно, что в следствиях содержатся сведения, которые вступают в конфликт с нашими знаниями. Если у нас есть строгие основания для того, чтобы считать наши знания истинными, то в этом случае можно для данной E‑структуры установить еще один тип коллизии, который мы назовем коллизией неадекватности.

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

Характеристики

Список файлов ответов (шпаргалок)