Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow Логика

Альтернативные теории и паранесуперечлива логика

Мотивы выбора между различными системами научного знания имеют прагматический характер.

А. Пуанкаре

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

Если теории создают в результате синтеза различных научных принципов и методологических подходов или на стыке разных наук, то они не являются альтернативными, и с логической точки зрения их относят к особому типу научных теорий - интегративных, синтетических.

Метод альтернатив - метод современной науки, сущность которого заключается в построении научных теорий, находящихся в отношении несовместимости.

Формообразования альтернативных теорий имеет такую последовательность: построение теории; критика теории с альтернативного взгляда; установление истинности или ложности каждого из построенных теорий на основании верифицируемости и фальсифікованості; определение співістинності или співхибності альтернативных теорий.

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

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

В логическом аспекте альтернативные теории определяют как противоречащие друг другу, но допускают их співістинність или пение-ложь.

Співістинність - две альтернативные теории об один и тот же объект, что противоречат друг другу, но могут быть одновременно истинными.

Співістинність альтернативных теорий означает: если альтернативные теории создаются на принципах рациональности, логической обоснованности и не противоречат фактическим данным, то признается их співістинність по значению истинности.

Співхибність - две альтернативные теории об один и тот же объект, которые могут быть одновременно ложными. Співхибність альтернативных теорий означает: если альтернативные теории не создают на принципах рациональности, логической обоснованности и противоречат фактическим данным, то определяют их співхибність по значению истинности.

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

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

В математике ярким примером альтернативных теорий является евклидова и неевклидова геометрии. Следствием создания евклидовой и неевклидовой геометрий стало то, что несколько различных теорий одинаково хорошо согласуются с исследуемыми данными о структуре пространства. Из этого следует: природа построена не на чисто математической основе. Математика как ключ к реальности была потеряна (Г. Клаин).

В физике примером альтернативных теорий является квантовая и корпускулярные теории света, основанием для создания которых является корпускулярно-волновой дуализм света.

В современной психологии сосуществуют альтернативные теории сознания, мышления (Г.Хант).

В логике исторически сформировались альтернативные теории (формально-логические системы) в рамках символической логики, которые получили название классической и неклассической логики (см. 4), разные теории дедуктивного вывода (формальная и неформальная теории вывода).

На современном этапе развития науки логики развивается неформальная логика, ее трактуют как альтернативу чисто формальной логике.

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

На основании активизации знания о альтернативные теории в науке в 50-60-х годах XX в. начала формироваться новая логическая теория, которая получила название "паранесуперечлива логика ".

Паранесуперечлива логика (греч. para - префикс, означающий суміжність, перемещение, изменение, выступление) - направление современных логических исследований, формально-логическая система, которая строится на основании определения сферы действия закона непротиворечивости, формальное выражение которого -" (А Л-и А), что означает: с определенной точки зрения любое ограничение сферы действия закона непротиворечивости приводит к классу паранесуперечливих логик.

Другое название паранесуперечливої логики - "параконсистентна логика" (лат. consisto - состоять из чего-то).

Выявление ограниченности сферы действия закона непротиворечивости логично предопределяет неуниверсальность этого закона. Впервые идею о неуниверсальность закона непротиворечивости подал Аристотель, то есть он сформулировал вопрос о сферу действия упомянутого закона как логическую проблему.

Идеи паранесуперечливої (параконсистентної) логики были сформулированы в логических работах М. Васильева и Я. Лукасевича, а как особые системы они стали формироваться в 60-80-х годах XX ст. (система С. Яськовського, система Н. да Косты, система Д. Маркони и др.) и интенсивно развиваются в наше время.

Различные паранесуперечливі логические системы создают на следующих общих принципах:

1. В любой паранесуперечливій логике определяют сферу действия закона (принципа) непротиворечивости.

2. Систему S называют противоречивой, если она содержит одновременно теорему (А) и ее отрицание - теорему (-А), или в пределах этой системы существует формула вида А, которую можно доказать вместе с ее отрицанием, то есть H А л и-o А, где А - формула, -и - символ отрицания, Ь- - символ дедуктивного вывода.

3. Система S непротиворечива, если в ней нет одновременно теоремы (А) и ее отрицание - теоремы (-А), то есть свойство доводить одновременно формулу вида А и ее отрицание -" А ей было не свойственно.

Паранесуперечливу логику создают на общих принципах построения современных неклассических логик. Различают семантику и синтаксис паранесуперечливої логики.

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

Синтаксис паранесуперечливої логики содержит алфавит, правила построения формул из символов алфавита, правила вывода новых формул, правила интерпретации.

Алфавит - знаки искусственного языка, на основании которых создают формально систему 5. К ним относятся:

5" - формальная система; х, у, 2 - індивідні переменные; А, В, С - выражения (формулы); Л, V, ->, =, -и - символы для предложений ним связь конъюнкции, дизъюнкции, импликации, эквивалентности, отрицания.

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

Dfl - система 5 называется тривиальной, если множество доказанных формул этой системы совпадают с множеством всех формул этой системы.

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

Df2 - систему 5 называют нетривиальным, если в ней есть определенная формула вида А, которую можно доказать вместе с ее отрицанием и А, но нельзя доказать любую формулу, то есть выводить "все, что угодно".

2)/3 - систему 5, которая удовлетворяет и)/2, то есть она противоречивая, но нетривиальная, называют паранесуперечливою или параконсистентною.

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

Интерпретация паранесуперечливої логики может быть выполнена в тех познавательных ситуациях в сфере науки, философии, права и т.п., когда в этих сферах создают альтернативные теории. Она имеет такую последовательность: осуществляется логический анализ научной теории с точки зрения паранесуперечливої логики.

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

2. Теория непротиворечива, если в ней не приходится одновременно тезис (Т) и антитеза (-> Т).

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

4. Теория, которая удовлетворяет определенным условиям (Df3), называется паранесуперечливою.

5. Альтернативными есть две теории, которые создаются с целью описания и объяснения одного и того же объекта познания, и они определяются как співістинні.

6. Класс альтернативных теорий - множество таких теорий, которым присуще свойство "быть паранесуперечливими".

На основании логического анализа альтернативных теорий определяют, можно ли их отнести к классу теорий, которым присуще свойство быть паранесуперечливими. Так, средствами паранесуперечливої логики можно осуществить анализ в сфере науки и философии, где создано немало альтернативных теорий; в сфере права - при условии сформулювання альтернативных кодексов, и если устанавливают их співістинність, то определяют их пара непротиворечивость.

 
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 
Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Естествознание
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Недвижимость
Педагогика
Политология
Политэкономия
Право
Психология
Региональная экономика
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика
Прочее