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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дедуктивные умозаключения

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

Все дедуктивные умозаключения делятся на непосредственные умозаключения и силлогизмы – умозаключения, в которых из двух суждений выводится третье. Силлогизмы, в свою очередь, делятся по характеру составляющих их суждений на категорический, условный, разделительный и их комбинации: условно-категорический, разделительно-категорический и условно-разделительный силлогизмы. По составу и полноте речевого выражения выделяют простые, сложные, сокращённые и сложносокращённые силлогизмы.

Умозаключения, содержащие сложные суждения (Выводы логики высказываний) Условные умозаключения

Чисто условный силлогизм – умозаключение, в котором обе посылки являются условными суждениями.

Если а, то b		а  b
Если b, то c		b  с
Если а, то с		а  с

Это отношение суждений выражается формулой: следствие следствия есть следствие основания.

Условно-категорический силлогизм – умозаключение, в котором одна посылка – условное суждение, а другая посылка и заключение – категорические суждения.

Этот силлогизм имеет два правильных и два неправильных модуса: утверждающие и отрицающие.

1. Правильный утверждающий модус (modus ponens) выражается формулой:

а  b
	а
b

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

а  b
b
вероятно, а

2. Правильный отрицающий модус (modus tollens):

а  b
¬b
¬а

Если отрицается основание условной посылки, то вывод может быть только вероятным. Это неправильный отрицающий модус условно-категорического вывода

а  b
¬а
вероятно, ¬b