Александр Ивин - Логика. Учебное пособие. Издание 2-е
- Название:Логика. Учебное пособие. Издание 2-е
- Автор:
- Жанр:
- Издательство:Знание
- Год:1998
- Город:М.
- ISBN:5-07-002820-0
- Рейтинг:
- Избранное:Добавить в избранное
-
Отзывы:
-
Ваша оценка:
Александр Ивин - Логика. Учебное пособие. Издание 2-е краткое содержание
Книга доступно, ясно и вместе с тем строго и систематично излагает основы логики – науки о принципах правильного мышления. Главное внимание уделяется тому, чтобы дать общее представление о законах нашего мышления, показать логический анализ в действии, в применении к содержательно интересным проблемам, встречающимся в повседневной практике.
Книга предназначена для преподавателей и учителей, студентов и учащихся старших классов школ, гимназий, лицеев и колледжей, для широкого круга читателей, интересующихся логикой и, в частности, для тех, кто в силу обстоятельств никогда не изучал эту науку.
Логика. Учебное пособие. Издание 2-е - читать онлайн бесплатно полную версию (весь текст целиком)
Интервал:
Закладка:
Все законы трехзначной логики Лукасевича оказались также законами и классической логики; обратное, однако, не имело места. Ряд классических законов отсутствовал в трехзначной логике. Среди них были закон противоречия, закон исключенного третьего, законы косвенного доказательства и др. То, что закона противоречия не оказалось в трехзначной логике, не означало, конечно, что она была в каком-то смысле противоречива или некорректно построена.
Э. Пост подходил к построению многозначных логик чисто формально. Пусть 1 означает истину, а 0 – ложь. Естественно допустить тогда, что числа между единицей и нулем обозначают какие-то уменьшающиеся к нулю степени истины.
Такой подход вполне правомерен на первом этапе. Но чтобы построение логической системы перестало быть чисто техническим упражнением, а сама система – сугубо формальной конструкцией, в дальнейшем необходимо, конечно, придать ее символам определенный логический смысл, содержательно ясную интерпретацию. Вопрос о такой интерпретации – это как раз самая сложная и спорная проблема многозначной логики. Как только между истиной и ложью допускается что-то промежуточное, встает вопрос: что, собственно, означают высказывания, не относящиеся ни к истинным, ни к ложным? Кроме того, введение промежуточных степеней истины изменяет обычный смысл самих понятий истины и лжи. Приходится поэтому не только придавать смысл промежуточным степеням, но и переистолковывать сами понятия истины и лжи.
Было много попыток содержательно обосновать многозначные логические системы. Однако до сих пор остается спорным, являются ли такие системы просто «интеллектуальным упражнением» или они все же говорят что-то о принципах нашего мышления.
Многозначная логика никоим образом не отрицает и не дискредитирует двузначную. Напротив, первая позволяет более ясно понять идеи, лежащие в основе второй, и является в определенном смысле ее обобщением.
3. Модальная логика
Для классической логики вещь существует или не существует, и нет никаких других вариантов. Но как в обычной жизни, так и в науке постоянно приходится говорить не только о том, что есть в действительности и чего нет, но и о том, что должно быть или не должно быть и т.д. Действительный ход событий можно рассматривать как реализацию одной из многих мыслимых возможностей, а действительный мир, в котором мы находимся, – как один из бесчисленного множества возможных миров.
В возможного безбрежном океане
Действительное – маленький Гольфстрим.
Язык классической логики слишком беден, чтобы на нем удалось передать рассуждения не только о реальных событиях (имеющих место в действительном мире), но и о возможных событиях (происходящих в каких-то возможных мирах) или о необходимых событиях (наступающих во всех таких мирах).
Стремление обогатить язык логики и расширить ее выразительные возможности привело к возникновению модальной логики. Ее задача – анализ рассуждений, в которых встречаются модальные понятия, служащие для конкретизации устанавливаемых нами связей, их оценки с той или иной точки зрения.
Еще Аристотель начал изучение таких, наиболее часто встречающихся модальных понятий, как «необходимо», «возможно», «случайно». В средние века круг модальностей был существенно расширен, и в него вошли также «знает», «полагает», «было», «будет», «обязательно», «разрешено» и т.д.
В принципе число групп модальных понятий и выражаемых ими точек зрения не ограничено. Современная логика выделяет наиболее важные из этих групп и делает их предметом специального исследования. Она изучает также общие принципы модальной оценки, справедливые для всех групп модальных понятий.
Интересную группу составляют, в частности, понятия «полагает», «сомневается» и т.п. Раздел модальной логики, исследующей эти и подобные им понятия, получил название эпистемической логики. В числе самых простых законов этой логики такие положения: «Невозможно полагать что-то и вместе с тем сомневаться в этом», «Если субъект убежден в чем-то, неверно, что он убежден также в противоположном» и т.п.
Временные модальные понятия «было», «будет», «раньше», «позже», «одновременно» и т.п. изучаются логикой времени. Среди элементарных ее законов содержатся утверждения: «Неверно, что произойдет логически невозможное событие», «Если было, что всегда будет нечто, то оно всегда будет», «Ни одно событие не происходит раньше самого себя» и т.п.
В последние десятилетия модальная логика бурно развивается, вовлекая в свою орбиту все новые группы модальных понятий. Существенно усовершенствованы способы ее обоснования. Это придало модальной логике новое дыхание и поставило ее в центр современных логических исследований.
Все модальные понятия можно разделить на абсолютные и сравнительные. Первые представляют собой характеристики, приложимые к отдельным объектам, вторые относятся к парам объектов, первые являются свойствами объектов, вторые – отношениями между объектами. Абсолютными модальными понятиями являются, например, понятия «хорошо» и «плохо», сравнительными – понятия «лучше» и «хуже». С точки зрения какой-то системы ценностей невыполнение обещания можно охарактеризовать как негативно ценное («плохое»), сказав: «Плохо, что данное обещание не выполнено», т.е. приписав определенное свойство конкретному обещанию. Но можно также установить ценностное отношение между невыполнением обещания, и, допустим, воздержанием от обещания, сказав: «Лучше не давать обещание, чем не выполнять его».
В логике времени к абсолютным модальностям относятся понятия «было» («всегда было»), «есть» и «будет» («всегда будет»). Сравнительными модальными понятиями являются «раньше», «позже» и «одновременно».
В логике оценок наряду с абсолютными оценочными понятиями «хорошо», «(оценочно) безразлично» и «плохо» исследуются также сравнительные оценочные понятия «лучше», «равноценно» и «хуже».
В логике причинности изучаются отношения «…есть причина…» и «…есть следствие…», которые можно рассматривать как сравнительные каузальные модальности. Им соответствует абсолютная каузальная модальность «детерминировано (предопределено)». Выражение «Событие А является причиной события В» устанавливает определенное отношение между двумя событиями; выражение «Детерминировано наступление события А» приписывает этому событию свойство предопределенности.
В логике истины к абсолютным модальностям относятся понятия «истинно», «неопределенно» и «ложно». Этим понятиям можно поставить в соответствие сравнительное модальное понятие вероятности: «…более вероятно, чем…». Выражение «Истинно высказывание А» устанавливает определенное свойство высказывания, а именно, его соответствие действительности; выражение «Высказывание А более вероятно, чем высказывание В» указывает отношение двух высказываний с точки зрения их вероятности.
Читать дальшеИнтервал:
Закладка: