- •Тема I. Логика как наука. Основные законы логики
- •1.1. Основные формы мышления
- •1.2. Основные законы логики
- •Резюме по теме
- •Тема 2. Понятие как форма мышления. Логические операции с понятиями
- •2.1. Логическая структура понятия. Закон обратного отношения между объёмом и содержанием понятия
- •2.2. Обобщение и ограничение понятий
- •2.3. Виды понятий. Логическая характеристика понятия
- •2.4. Отношения между понятиями
- •2.4.1. Совместимые понятия
- •2.4.2. Несовместимые понятия
- •2.5. Определение понятий
- •2.5.1. Способы определения
- •2.5.2. Правила и ошибки определения
- •2.6. Деление понятий
- •2.6.1. Виды деления
- •2.6.2. Правила и ошибки деления
- •Резюме по теме
- •Тема 3. Суждение как форма мышления. Виды суждений
- •3.1. Простые суждения. Структура простых суждений
- •3.1.1. Виды простых суждений
- •3.1.2. Категорические суждения и их виды
- •3.1.3. Распределённость терминов в категорических суждениях
- •3.2. Отношения между простыми категорическими суждениями по истинности. Логический квадрат
- •3.3. Сложные суждения
- •3.4. Модальные суждения
- •Резюме по теме
- •Тема 4. Умозаключение как форма мышления. Дедукция и индукция
- •4.1. Дедуктивные умозаключения
- •4.1.1. Умозаключения, содержащие сложные суждения (Выводы логики высказываний)
- •4.1.2. Простой категорический силлогизм
- •4.1.3. Сокращённый силлогизм (энтимема)
- •4.2. Индуктивные умозаключения
- •4.2.1. Индуктивные методы установления причинных связей
- •4.2.2. Умозаключение по аналогии
- •Резюме по теме
- •Тема 5. Логические основы аргументации. Логика вопросов и ответов
- •5.1. Обоснование
- •5.2. Опровержение
- •1. Критика тезиса:
- •5.3. Общие правила аргументации
- •5.3.1. Правила тезиса
- •5.3.2. Правила аргументов
- •1. Аргумент к авторитету
- •5.4.1. Виды вопросов
- •5.4.2. Виды ответов
- •Резюме по теме
3.4. Модальные суждения
Модальность (от лат. "modus" – мера, наклонение) – это характеристика особой связи между понятиями простого суждения или суждениями сложного высказывания. Эта связь может быть: сильной положительной, слабой или сильной отрицательной.
Слова, выражающие модальность, называются в логике модальными понятиями, или модальными операторами, или модальными функторами.
В современной логике общей теории модальных систем пока нет. В рамках символической (математической) логики разработано множество аксиоматических систем, использующих методы исчисления высказываний, связанных с многозначной и вероятностной логиками.
По сферам применения все модальные понятия распадаются на группы, число которых, в принципе, не ограничено, но логика занимается лишь важнейшими из них.
ТИП МОДАЛЬНОСТИ |
О П Е Р А Т О Р Ы
| ||
Алетическая |
|
|
|
1.Логическая |
логически необходимо |
логически возможно |
логически невозможно |
2.Физическая |
физически необходимо |
физически возможно |
физически невозможно |
Деонтическая |
обязательно |
разрешено |
запрещено |
Эпистемическая |
доказано |
проблематично |
опровергнуто |
Аксиологическая |
|
|
|
1.Абсолютная |
хорошо |
безразлично |
плохо |
2.Относительная |
лучше |
безразлично |
хуже |
Вопросы для повторения
1. Что называется суждением, как оно выражается в речи?
2. Что такое простое суждение, какова его структура?
3. Какие виды простых суждений существуют?
4. Что называется количеством и качеством категорических суждений?
5. Как классифицируются простые категорические суждения?
6. Что называется распределённостью терминов в суждении? Каковы правила распределённости терминов?
7. Какие отношения по истинности существуют между простыми суждениями?
8. Что такое сложное суждение?
9. Каковы правила истинности сложных суждений? Что такое таблицы истинности?
10. Что называется модальностью суждений? Каковы её основные виды?
11. Перечислите модальные операторы, раскройте их содержание.
Резюме по теме
Суждение – это основная форма мысли с точки зрения цели и результата мышления – нахождения и выражения истины. Именно суждение выявляет смысл понятия (правильное определение имеет вид суждения), из суждений строится вывод, суждение составляет предпосылку вопроса и является формой ответа на вопрос. Поэтому знание и умение правильно использовать все многообразие суждений – необходимая и важнейшая часть логической культуры мышления. Понимание содержания высказывания предполагает не только узнавание лексических значений всех слов и понятий как элементов, из которых оно состоит, но и адекватное различение структуры (простой или сложной), модальности целого выражения и отдельных его составляющих. Этому учит логика суждений.
Тема 4. Умозаключение как форма мышления. Дедукция и индукция
Умозаключение – форма мышления, в которой из одного или нескольких суждений, называемых посылками (основаниями), выводится новое суждение, называемое заключением или следствием, выводом.
Пример: |
"Все люди смертны. | ||
|
Сократ – человек. |
| |
|
Сократ смертен". |
Структура любого умозаключения включает посылки (два первые суждения в примере), заключение (третье суждение) и логическую связь между посылками и заключением (обозначается чертой следования). Логическая связь – это степень необходимости признания истинности заключения при согласии с истинными посылками. В правильном выводе заключение следует из посылок.
Все умозаключения по силе следования делятся на дедуктивные (необходимые выводы из истинных посылок) и индуктивные (вероятные выводы из истинных посылок).