Курс лекций Рекомендовано редакционно-издательским советом Орелгту в качестве учебного пособия Орел 2005
| Вид материала | Курс лекций |
- Конспект лекций Рекомендовано в качестве учебного пособия Редакционно-издательским, 1023.31kb.
- Прокурор в уголовном процессе, 2839.04kb.
- Нефтяное товароведение, 1449.59kb.
- А. С. Калмыкова Главный внештатный детский инфекционист, 1294.52kb.
- Учебное пособие Рекомендовано в качестве учебного пособия Редакционно-издательским, 2331.42kb.
- Рекомендовано в качестве конспекта лекций Редакционно-издательским советом Томского, 1088.59kb.
- И. З. Шарипов материаловедение рекомендовано редакционно-издательским советом угату, 1223.16kb.
- Пособие подготовлено на кафедре экономической теории © Новосибирский государственный, 754.49kb.
- А. В. Терентьев менеджмент организации курсовое и диплом, 2230.76kb.
- Методические указания к курсовому и дипломному проектированию Москва 2007, 873.19kb.
5.5 Типы и виды модальных суждений
В любом суждении утверждается наличие или отсутствие той или иной ситуации. Однако некоторые ситуации в жизни не просто наличествуют или отсутствуют, но наличествуют или отсутствуют случайно или необходимо. Если же мы говорим о будущем, то можем характеризовать отдельные ситуации как возможные или необходимые, или как невозможные и т.п. Одни действия и поступки людей в обществе разрешены, другие даже обязательны, а некоторые – запрещены. Что касается суждений о наших знаниях, то знания, о которых идет речь в суждении, могут быть доказанными или недоказанными, достоверными или нет и т.п.
В зависимости от того, содержат ли суждения подобные характеристики явлений, событий, процессов и т.д., они подразделяются на ассерторические и модальные.
Ассерторические - это суждения, которые содержат только некоторую информацию и не содержат оценки этой информации.
Пример. «Человек – мыслящее существо»; «Некоторые лебеди белые».
Модальные - это суждения, которые содержат оценку заключенной в них информации.
Пример. «На Марсе, возможно, есть жизнь»; «Каждый человек обязан соблюдать закон»; «Возможно, что существуют внеземные цивилизации»; «Обыск обязательно производится в присутствии понятых»; «Иногда отличные оценки студенты получают на экзаменах случайно».
Модальными являются все суждения, выражающие законы конкретных наук. Утверждая наличие какой-либо связи в формулировках законов науки, мы утверждаем необходимый характер этой связи.
В некоторых случаях в модальных суждениях характеристика ситуаций, о которых в них говорится, не выражается явно, но подразумевается.
Примеры: «Ни один человек не может жить без пищи»; «Некоторые люди не могут лгать».
Выделяют несколько типов модальностей, а внутри каждого типа – несколько видов. Виды модальностей соответствуют так называемым модальным операторам – специальным словам, с помощью которых и осуществляется оценка (характеристика) заключенной в суждении информации.
Алетическая модальность. Ее виды: «необходимо», «возможно», «невозможно», «случайно».
Пример. «Завтра возможен дождь».
Между операторами этой модальности существуют следующие соотношения:
«Необходимо А» ~ «Невозможно не-А».
«Возможно А» ~ «Не необходимо не-А».
«Случайно А» ~ «Возможно А и возможно не-А».
Алетические модальности имеют особую значимость в науке. Науку, прежде всего, интересуют закономерные связи между явлениями, причинная обусловленность явлений, возможность или невозможность некоторых явлений при тех или иных обстоятельствах. Вообще когда говорят о науке, то имеют в виду систему необходимого знания.
Вопросы о том, что значит необходимость некоторой связи явлений или некоторого события, какой смысл имеет утверждение о возможности чего-либо, какие нужны основания для признания истинности утверждений о необходимости или возможности каких-то ситуаций, не являются в сколько-нибудь достаточной степени выясненными ни в философии, ни в логике. В философии обычно ограничиваются некоторыми метафорами вроде того, что необходимое – это «прочное, устойчивое в явлениях».
Деонтическая модальность – это характеристики действий и поступков людей в обществе. Ее виды: «обязательно», «разрешено», «запрещено», «безразлично».
Пример. «Посторонним вход запрещен».
Между операторами этой модальности существуют такие соотношения:
«Обязательно А» ~ «Не разрешено не-А».
«Разрешено А» ~ «Не обязательно не-А».
«Запрещено А» ~ «Не разрешено А» или «Обязательно не-А».
Эпистемическая модальность указывает на научную достоверность содержащейся в суждении информации, т.е. это – характеристики наших знаний. Виды эпистемической модальности: «доказано», «опровергнуто», «возможно» (допустить, что истинно некоторое высказывание), «знает», «верит», «убежден», «сомневается».
Пример. «Доказано, что Земля вращается вокруг Солнца».
Взаимосвязи между операторами этой модальности следующие:
«Доказано А» ~ «Опровержимо не-А».
«Доказано не-А» ~ «Опровержимо А».
Кроме названных, довольно часто встречаются аксиологическая модальность («хорошо», «плохо») и временная модальность («всегда», «иногда», «никогда» и т.д.).
Для записи модальных высказываний приняты следующие обозначения:
Алетическая модальность: (N) - необходимость; (M) - возможность; ∆ (S) - случайность.
Деонтическая модальность: О – обязательно; Р – разрешено; З – запрещено.
Эпистемическая модальность: Д – доказано; Оп – опровергнуто; К – знает.
Пример. «КА» означает: «Некто знает, что имеет место ситуация А».
5.6 Отношения между категорическими суждениями
Умение обращаться с отношениями между суждениями – важная составляющая логической культуры, позволяющая в общении, например в споре, легко находить суждения, следующие из данных суждений, противоречащие им и т.д. Это необходимо для развития аргументов в пользу своего тезиса и критики чужих тезисов и аргументов. Вступая в спор, нужно знать, какие суждения совместимы друг с другом, а какие – нет, к чему обязывает принятие тех или иных суждений, а к чему – нет и т.п.
Пример. Допустим, если кто-то пытается доказать, что все великие люди низкого роста, и вы в качестве возражения приводите суждение «Все великие люди высокого роста», будет нелегко и, скорее всего, невозможно отстоять это мнение. В то же время могут возникнуть другие вопросы. Например, если мы отрицаем суждение «Все великие люди низкого роста», обязывает ли это признать истинность суждения «Некоторые великие люди низкого роста» или «Все великие люди не низкого роста» и т.п.
Среди отношений между простыми суждениями наиболее важными являются отношения между категорическими суждениями.
Прежде всего, это отношения сравнимости-несравнимости. Категорические суждения называются сравнимыми, если их термины (субъект и предикат) совпадают с точностью до перестановки.
Пример. Суждения «Все студенты являются веселыми людьми» и «Все веселые люди являются студентами» - сравнимые.
Категорические суждения называются несравнимыми, если в одном из них есть термин, не входящий в другое.
Пример. Суждения «Все студенты являются веселыми людьми» и «Все студенты являются находчивыми людьми» - несравнимы.
Сравнимые суждения могут быть совместимыми и несовместимыми. Сравнимые категорические суждения называются совместимыми, если они могут быть вместе истинными.
Пример. Суждения «Все великие люди низкого роста» и «Некоторые великие люди низкого роста» - совместимые.
Сравнимые категорические суждения называются несовместимыми, если они не могут быть вместе истинными.
Пример. Суждения «Все великие люди низкого роста» и «Некоторые великие люди не являются людьми низкого роста» - несовместимые.
Отношения совместимости и несовместимости, в свою очередь, делятся на виды. Для систематизации и наглядного представления этих отношений еще в средние века был придуман так называемый «логический квадрат» (рис. 15).
К отношению совместимости относятся подчинение и субконтрарность (частичная совместимость).
Отношение подчинения имеет место между суждениями А и I, а также между Е и О. При этом суждения А (Е) называются подчиняющими, а суждения I (О) – подчиненными. Это отношение характеризуется следующим образом: если подчиняющее суждение А (Е) истинно, то подчиненное суждение I (О) истинно; если подчиненное суждение I (О) ложно, то подчиняющее суждение А (Е) ложно; подчиняющее и подчиненное суждения могут быть вместе ложны.
Субконтрарность имеет место между суждениями I и О. Эти суждения не могут быть вместе ложными. В то же время они могут быть вместе истинными, либо одно суждение может быть истинным, а другое – ложным.
Рис. 15. «Логический квадрат»
К отношению несовместимости относятся контрадикторность (противоречие) и контрарность (противоположность). Отношение контрадикторности часто называют также отношением контрадикторной противоположности.
В отношении контрадикторности находятся суждения вида А и О, а также суждения вида Е и I. Контрадикторные суждения не могут быть вместе истинны и вместе ложны.
Контрарность имеет место между суждениями А и Е. Контрарные суждения не могут быть вместе истинными. В то же время они могут быть вместе ложными.
Рассмотренные отношения между простыми категорическими суждениями можно представить в виде схемы (рис. 16).
Рис. 16. Отношения между категорическими суждениями