Неклассические логики
Курсовой проект - Философия
Другие курсовые по предмету Философия
µ второй, и является в определенном смысле ее обобщением.
3. МОДАЛЬНАЯ ЛОГИКА
Для классической логики вещь существует или не существует, и нет никаких других вариантов. Но как в обычной жизни, так и в науке постоянно приходится говорить не только о том, что есть в действительности и чего нет, но и о том, что должно быть или не должно быть и т.д. Действительный ход событий можно рассматривать как реализацию одной из многих мыслимых возможностей, а действительный мир, в котором мы находимся, как один из бесчисленного множества возможных миров.
В возможного безбрежном океане
Действительное маленький Гольфстрим.
Н. Васильев
Язык классической логики слишком беден, чтобы на нем удалось передать рассуждения не только о реальных событиях (имеющих место в действительном мире), но и о возможных событиях (происходящих в каких-то возможных мирах) или о необходимых событиях (наступающих во всех таких мирах).
3.1 Модальные понятия
Стремление обогатить язык логики и расширить ее выразительные возможности привело к возникновению модальной логики. Ее задача анализ рассуждений, в которых встречаются модальные понятия, служащие для конкретизации устанавливаемых нами связей, их оценки с той или иной точки зрения.
Еще Аристотель начал изучение таких, наиболее часто встречающихся модальных понятий, как необходимо, возможно, случайно. В средние века круг модальностей был существенно расширен, и в него вошли также знает, полагает, было, будет, обязательно, разрешено и т.д.
В принципе число групп модальных понятий и выражаемых ими точек зрения не ограничено. Современная логика выделяет наиболее важные из этих групп и делает их предметом специального исследования. Она изучает также общие принципы модальной оценки, справедливые для всех групп модальных понятий.
Интересную группу составляют, в частности, понятия полагает, сомневается и т.п. Раздел модальной логики, исследующей эти и подобные им понятия, получил название эпистемической логики. В числе самых простых законов этой логики такие положения: Невозможно полагать что-то и вместе с тем сомневаться в этом, Если субъект убежден в чем-то, неверно, что он убежден также в противоположном и т.п.
Временные модальные понятия было, будет, раньше, позже, одновременно и т.п. изучаются логикой времени. Среди элементарных ее законов содержатся утверждения: Неверно, что произойдет логически невозможное событие, Если было, что всегда будет нечто, то оно всегда будет, Ни одно событие не происходит раньше самого себя и т.п.
В последние десятилетия модальная логика бурно развивается, вовлекая в свою орбиту все новые группы модальных понятий. Существенно усовершенствованы способы ее обоснования. Это придало модальной логике новое дыхание и поставило ее в центр современных логических исследований.
3.2 Абсолютные и сравнительные модальности
Все модальные понятия можно разделить на абсолютные и сравнительные. Первые представляют собой характеристики, приложимые к отдельным объектам, вторые относятся к парам объектов, первые являются свойствами объектов, вторые отношениями между объектами. Абсолютными модальными понятиями являются, например, понятия хорошо и плохо, сравнительными понятия лучше и хуже. С точки зрения какой-то системы ценностей невыполнение обещания можно охарактеризовать как негативно ценное (плохое), сказав: Плохо, что данное обещание не выполнено, т.е. приписав определенное свойство конкретному обещанию. Но можно также установить ценностное отношение между невыполнением обещания, и, допустим, воздержанием от обещания, сказав: Лучше не давать обещание, чем не выполнять его.
В логике времени к абсолютным модальностям относятся понятия было (всегда было), есть и будет (всегда будет). Сравнительными модальными понятиями являются раньше, позже и одновременно.
В логике оценок наряду с абсолютными оценочными понятиями хорошо, (оценочно) безразлично и плохо исследуются также сравнительные оценочные понятия лучше, равноценно и хуже.
В логике причинности изучаются отношения ...есть причина... и ...есть следствие..., которые можно рассматривать как сравнительные каузальные модальности. Им соответствует абсолютная каузальная модальность детерминировано (предопределено). Выражение Событие А является причиной события В устанавливает определенное отношение между двумя событиями; выражение Детерминировано наступление события А приписывает этому событию свойство предопределенности.
Влогике истины к абсолютным модальностям относятся понятия истинно, неопределенно и ложно. Этим понятиям можно поставить в соответствие сравнительное модальное понятие вероятности: ...более вероятно, чем.... Выражение Истинно высказывание А устанавливает определенное свойство высказывания, а именно, его соответствие действительности; выражение Высказывание А более вероятно, чем высказывание В указывает отношение двух высказываний с точки зрения их вероятности.
В теории логических модальностей абсолютными понятиями являются логически необходимо, логич?/p>