Общая характеристика умозаключений

Тема IV. Умозаключение

Контрольные вопросы

Модальные суждения

Модальность (от лат. "modus" – мера, наклонение) – это характеристика особой связи между понятиями простого суждения или суждениями сложного высказывания. Эта связь может быть: сильной положительной, слабой или сильной отрицательной.

Слова, выражающие модальность, называются в логике модальными понятиями, или модальными операторами, или модальными функторами.

В современной логике общей теории модальных систем пока нет. В рамках символической (математической) логики разработано множество аксиоматических систем, использующих методы исчисления высказываний, связанных с многозначной и вероятностной логиками.

По сферам применения все модальные понятия распадаются на группы, число которых, в принципе, не ограничено, но логика занимается лишь важнейшими из них.

ТИП МОДАЛЬНОСТИ	О П Е Р А Т О Р Ы
Алетическая
1.Логическая	логически необходимо	логически возможно	логически невозможно
2.Физическая	физически необходимо	физически возможно	физически невозможно
Деонтическая	обязательно	разрешено	запрещено
Эпистемическая	доказано	проблематично	опровергнуто
Оценочная
1.Абсолютная	хорошо	безразлично	плохо
2.Относительная	лучше	безразлично	хуже

1. Что называется суждением, как оно выражается в речи?

2. Что такое простое суждение, какова его структура?

3. Какие виды простых суждений существуют?

4. Что называется количеством и качеством категорических суждений?

5. Как классифицируются простые категорические суждения?

6. Что называется распределённостью терминов в суждении? Каково правило распределённости терминов?

7. Какие отношения по истинности существуют между простыми суждениями?

8. Что такое сложное суждение?

9. Каковы правила истинности сложных суждений? Что такое таблицы истинности?

10.Что называется модальностью суждений? Каковы её основные виды?

11. Перечислите модальные операторы, раскройте их содержание.

Умозаключение – форма мышления, в которой из одного или нескольких суждений, называемых посылками (основаниями), выводится новое суждение, называемое заключением или следствием, выводом.

Пример:	"Все люди смертны.
	Сократ – человек.
	Сократ смертен".

Структура любого умозаключения включает посылки (два первые суждения в примере), заключение (третье суждение) и логическую связь между посылками и заключением (обозначается чертой следования). Логическая связь – это степень необходимости признания истинности заключения при согласии с истинными посылками. В правильном выводе заключение следует из посылок.

Все умозаключения по силе следования делятся на дедуктивные (необходимые выводы из истинных посылок) и индуктивные(вероятные выводы из истинных посылок).