3. Восстановить энтимему: Все птички летают, и все поющие летают.

M⁺ Р^-

А: Все поющие - летают. Б.П

.

S⁺ Р^-

А: Все птички – летают.

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

Таким образом, получаем:

М⁺ Р^-

А: Все поющие - летают. Б.П.

S⁺ М^-

А: Все птички – поют. М.П.

S⁺ Р^-

А: Все птички – летают

Мы видим, что рассуждение идёт по I фигуре, модус ААА соответствует данной фигуре. Правила посылок, терминов и фигур не нарушены, следовательно, энтимема верна.

4. Ребенок болен или переутомлен. Если у него повышенная температура, то он болен. Но температура не повышенная, значит он переутомлён.

Сложное умозаключение по схеме логики высказываний.

A - ребенок болен

B - переутомлен

C - повышена температура

Метод от противного:

Допустим наша формула ложна. Мы нашли значения переменных, при которых формула принимает значение лжи. Значит наше предположение верно, формула ложна.

__

(АѶВ)˄(СА)˄СВ

А	В	С	С	АѶВ	СА	(АѶВ)˄( СА)˄С	
и	и	и	л	л	и	л	и
и	и	л	и	л	л	л	и
и	л	и	л	и	и	л	и
и	л	л	и	и	и	и	л
л	и	и	л	и	л	л	и
л	и	л	и	и	и	л	и
л	л	и	л	л	л	л	и
л	л	л	и	л	и	л	и

5. Привести пример ошибки в аргументах доказательства.

1. Правило: в определении не должно быть порочного круга. Пример ошибки: еда- это то, что едят.

6. Правильно ли выполнено деление понятия? Федеральные суды РФ подразделяются на Конституционный суд РФ, федеральные суды общей юрисдикции, федеральные арбитражные суды и районные суды.

Деление понятия «Федеральные суды РФ» произведено неверно, т.к. деление должно быть непрерывным, а в данном случае в родовое понятие «федеральные суды» видовое понятие «Конституционный суд РФ» не входит.

Билет 16

1. Произвести ограничение понятия : сигарета.

Ограничить понятие – это значит перейти от родового понятия к видовому, когда происходит уменьшение объема и увеличения у понятия видообразующих признаков.

Ограничим: сигарета «BOND»

2. Сделать все логические необходимые заключения из суждения по логическому квадрату: Все самки птицы гамаюн выкармливают птенцов.

S⁺ P^-

A: Все самки птицы гамаюн есть вскармливающие птенцов.

Нам дано суждение вида А и оно истинно.

S⁺ P⁺

Е: Все самки птицы гамаюн не есть вскармливающие птенцов.

Суждения вида А и Е находятся в отношении противоположности. А противоположные суждения не могут быть одновременно истинными, т.е. если одно истинно, то другое ложно с необходимостью. Противоположные суждения могут быть одновременно ложными, но если одно ложно, то другое может быть как истинным, так и ложным. Следовательно, если суждение вида А истинно, то Е с необходимостью ложно.

S^- P⁺

О: Некоторые самки птицы гамаюн не есть вскармливающие птенцов.

Суждения вида А и О находятся в отношении противоречия. Противоречащие суждения не могут быть ни одновременно ложными, ни одновременно истинными, т.е. если одно ложно, то другое истинно с необходимостью и если одно истинно, то другое ложно с необходимостью. Если суждение вида А истинно, то О ложно с необходимостью.

S^- P^-

J: Некоторые самки птицы гамаюн есть вскармливающие птенцов.

Суждения вида А и J находятся в отношении подчинения. Из истинности общего суждения вида А истинность частного суждения вида J следует с необходимостью. Но если общее суждении ложно, что частное неопределенно. Следовательно, если суждение вида А истинно, то J истинно с необходимостью.