Контрольная работа: Судження та силогізм у формальній логіці

Часткове протиставлення

Не можна зробити висновок шляхом часткового протиставлення

Деякі льотчики не є камікадзе (О)

Перетворення

Деякі льотчики є не камікадзе

Обернення

Із судження типу (О) не можна зробити висновок шляхом обернення

Часткове протиставлення

Деякі не-камікадзе є льотчиками

3.2 Структура силогізму

Охарактеризуйте структуру (більший та менший засновки, висновок, більший, менший та середній терміни) наступного силогізму:

Жоден футболіст не є космонавтом

Деякі футболісти є чоловіками

Деякі чоловіки не є космонавтами

Жоден футболіст (М) не є космонавтом (Р)

Деякі футболісти (М) є чоловіками (S)

Деякі чоловіки (S) не є космонавтами (Р)

Жоден футболіст (М) не є космонавтом (Р) – більший засновок, загальнозаперечувальний (Е)

Деякі футболісти (М) є чоловіками (S) – менший засновок, частково стверджувальний (І)

Деякі чоловіки (S) не є космонавтами (Р) – висновок, частковозаперечувальний ( О)

Чоловік (S) – менший термін, суб’єкт висновку

Космонавт – (Р) – більший термін, предикат висновку

Футболіст (М) – середній термін, служить в засновках для зв’язування (S) і (Р) і відсутній у висновку;

У першому засновку середній термін футболіст (М) розподілений, тому що йдеться про всіх футболістів, тобто його об’єм повністю виключається з об’єму предиката; у другому засновку середній термін (М) не розподілений, тому що йдеться тільки про частину футболістів.

Силогізм побудовано по ІІІ фігурі, Модус ЕІО.

3.3 Альтернативні та розділові силогізми

Визначте, який з наведених нижче силогізмів є альтернативним, а який розділовим. Обґрунтуйте свій вибір.

Або я дізнаюсь про це з телевізійних новин, або з Інтернету

Я не дізнаюсь про це з Інтернету