Противоречие смерти подобно... Философский очерк о логическом противоречии
|
|
Возрастное ограничение: |
0+ |
Жанр: |
Философия |
Издательство: |
Проспект |
Дата размещения: |
17.10.2016 |
ISBN: |
9785392227747 |
Язык:
|
|
Объем текста: |
271 стр.
|
Формат: |
|
|
Оглавление
Предисловие
Глава 1. Некоторые общие проблемы логики
Глава 2. Стандартное истолкование логического закона противоречия
Глава 3. Плюрализм в понимании логического противоречия
Глава 4. Противоречие в коннексивной логике
Глава 5. Противоречие в диалектической логике
Глава 6. Объединенная теория импликации
Глава 7. Интуитивная логика
Глава 8. Логическое противоречие в человеческой истории
Для бесплатного чтения доступна только часть главы! Для чтения полной версии необходимо приобрести книгу
Глава 6. ОБЪЕДИНЕННАЯ ТЕОРИЯ ИМПЛИКАЦИИ
1. Виды импликаций
Импликация — бинарная пропозициональная связка, позволяющая из двух высказываний получить новое (импликативное) высказывание.
Примеры импликаций:
― «Если идет дождь, то земля является мокрой»;
― «Если день, то светло»;
― «Если все греки люди и все люди смертны, из этого логически следует, что все греки смертны»;
― «Если бы в науке не было элементов догматизма, она не смогла бы развиваться»;
― «Нагревание металлического стержня является причиной его удлинения»;
― «Сухая погода лучше дождливой»;
― «Обильный снегопад прошел раньше, чем ударил мороз»;
― «Существование жизни на других планетах еще сомнительнее, чем наличие в космосе черных дыр» и т. п.
Необходимость большого числа примеров импликативных высказываний связана с многообразием возможных импликаций и с отсутствием ясного общего определения понятия импликации.
Это понятие является одним из центральных понятий современной логики, и как таковое оно не допускает общего определения, не зависящего от конкретной логической системы или какого-то множества родственных систем.
В этом нет ничего странного. В логике отсутствует общее определение понятия высказывания, приложимое во всех ее разделах. Нет общих определений таких ключевых логических понятий, как логический закон, доказательство и т. д.
Стандартные, нестандартные и промежуточные импликации
Все импликации можно разделить на три вида:
― стандартные импликации, для которых выполняется принцип «всякое высказывание имплицирует само себя»;
― нестандартные импликации, для которых выполняется принцип «неверно, что всякое высказывание имплицирует само себя»;
― промежуточные импликации, для которых не выполняется ни принцип «каждое высказывание имплицирует само себя», ни принцип «неверно, что каждое высказывание имплицирует само себя».
Стандартные импликации обычно (но не всегда) выражаются в естественном языке с помощью условного высказывания; нестандартные импликации обычно выражаются с помощью других языковых средств (хотя иногда такие импликации выражаются с помощью «если, то»).
Стандартная импликация является рефлексивным отношением; нестандартная импликация иррефлексивна; промежуточная импликация не является ни рефлексивной, ни иррефлексивной.
Примерами стандартных импликаций могут служить двузначная истинностно-функциональная импликация, называемая также «материальной», различные многозначные истинностно-функциональные импликации, строгая импликация К. И. Льюиса, сильная импликация Р. Аккермана, интуиционистская импликация, временно-логические импликации Диодора и Филона и др.
Вряд ли возможно определить точные условия, позволяющие рассматривать то или иное логическое отношение как стандартную импликацию. Вместе с тем полезно и для многих целей достаточно указать хотя бы некоторые из этих условий, не претендуя на достижение однозначного определения стандартного импликативного отношения.
Высказывалось мнение, что имеется всего одно такое условие — правило отделения, по которому если высказывания «р» и «р имплицирует q» доказаны, то должно считаться доказанным и высказывание «q». К этому условию самим определением стандартной импликации мы присоединили закон тождества (→ — импликация):
р → р.
Иногда к двум указанным условиям добавляются еще два, говорящие об удовлетворении требованиям, налагаемым первым и вторым законами гипотетического силлогизма:
(р → q) ((q → r) (р → r)),
(q → p) → ((r → q) → (r → p)).
Представляется, однако, что последние два условия приложимы не ко всем стандартным импликациям. Некоторые из них не являются транзитивными. Таковы, в частности, некоторые типы отношения логического следования, в случае которых допущение транзитивности ведет к явно парадоксальным с точки зрения логической интуиции следствиям.
К нестандартным импликациям относятся каузальная импликация (если принимается принцип, что ничто не является причиной самого себя), предпочтение («состояние дел, описываемое высказыванием р, предпочитается состоянию дел, описываемому высказывание q», или просто «р предпочитается q», «p лучше q»), временное предшествование («событие, описываемое высказыванием р, произошло раньше события, описываемого высказыванием q», или «р раньше q») и др.
Примером промежуточной импликации может служить известная еще с античности так называемая коннексивная импликация, о которой более подробно говорится далее.
Вряд ли можно сформулировать такое определение импликации, которое охватывало бы стандартные, промежуточные и нестандартные импликации.
Примерным образом задачу импликации можно выразить так: сопоставление двух высказываний и вместе с тем их противопоставление, характер которого меняется от одной импликации к другой. Образно говоря: «первое и вместе с ним, но в силу него, второе».
Сходным образом обстоит дело и с модальными понятиями. Никакого точного определения модального понятия не существует, круг таких понятий размыт и лишен ясных границ. Логическая и онтологическая необходимость явно относятся к модальным понятиям; но существуют модальные системы, в которых исходными понятиями являются понятия «ортодоксия, что…» и «ересь, что…».
Импликация и условная связь
Отношения между импликацией и условной связью, выражаемой в обычном языке с помощью грамматической конструкции «если… то…», сложны. Здесь достаточно остановиться на двух ошибочных предположениях, часто высказываемых относительно этих отношений:
― всякая импликация выражается (или может быть выражена) в обычном языке с помощью условной связи; иногда импликация даже определяется как средство представления в искусственных языках логики условной связи;
― всякое условное высказывание выражает некоторое импликативное отношение.
Действительно, некоторые импликации выражаются в обычном языке с помощью «если, то». Это — материальная импликация, строгая импликация, каузальная импликация, коннексивная импликация и др. Вместе с тем, если понятию импликации придается широкий смысл, как это делается нами, то ясно, что не каждую импликацию можно представить в форме условного высказывания. Нельзя преобразовать в высказывание с «если, то» утверждение о предпочтении одного состояния другому, о предшествовании двух событий и т. д.
Противоречие смерти подобно... Философский очерк о логическом противоречии
Проблемы современной логики рассматриваются с точки зрения одной из центральных ее категорий – понятия логического противоречия. Анализируются многообразные функции логического противоречия в процессах коммуникации. Дается обзор возможных истолкований логического противоречия в логике. Вводятся новые, пока не исследовавшиеся понятия логического противоречия и импликации. Строится диалектическая логика, являющаяся одним из разделов формальной логики и предполагающая неклассическое понимание противоречия и логического закона противоречия. Показывается, что существуют разные ветви пропозициональной логики, опирающиеся на свои специфические понятия логического противоречия. Выявляется связь прикладной, или интуитивной, логики с культурой своего времени, прослеживаются изменения истолкования логического противоречия на протяжении человеческой истории.
Философия Ивин А.А. Противоречие смерти подобно... Философский очерк о логическом противоречии
Философия Ивин А.А. Противоречие смерти подобно... Философский очерк о логическом противоречии
Проблемы современной логики рассматриваются с точки зрения одной из центральных ее категорий – понятия логического противоречия. Анализируются многообразные функции логического противоречия в процессах коммуникации. Дается обзор возможных истолкований логического противоречия в логике. Вводятся новые, пока не исследовавшиеся понятия логического противоречия и импликации. Строится диалектическая логика, являющаяся одним из разделов формальной логики и предполагающая неклассическое понимание противоречия и логического закона противоречия. Показывается, что существуют разные ветви пропозициональной логики, опирающиеся на свои специфические понятия логического противоречия. Выявляется связь прикладной, или интуитивной, логики с культурой своего времени, прослеживаются изменения истолкования логического противоречия на протяжении человеческой истории.
|