Судження та силогізм у формальній логіці
Контрольная работа - Математика и статистика
Другие контрольные работы по предмету Математика и статистика
?ими (А)
Перетворення
Жоден видатний баскетболіст не є не чорношкірим.
Обернення
Деякі чорношкірі є видатними баскетболістами
Часткове протиставлення
Жоден чорношкірий не є видатним баскетболістом
Жоден англієць не є вегетаріанцем (Е)
Перетворення
Всі англійці не вегетаріанці.
Обернення
Жоден вегетаріанець не є англійцем
Часткове протиставлення
Деякі не-вегетаріанці є англійцями
Деякі президенти є головнокомандуючими (І)
Перетворення
Деякі президенти не являються не головнокомандуючими.
Обернення
Деякі головнокомандуючі є президентами
Часткове протиставлення
Не можна зробити висновок шляхом часткового протиставлення
Деякі льотчики не є камікадзе (О)
Перетворення
Деякі льотчики є не камікадзе
Обернення
Із судження типу (О) не можна зробити висновок шляхом обернення
Часткове протиставлення
Деякі не-камікадзе є льотчиками
3.2 Структура силогізму
Охарактеризуйте структуру (більший та менший засновки, висновок, більший, менший та середній терміни) наступного силогізму:
Жоден футболіст не є космонавтом
Деякі футболісти є чоловіками
Деякі чоловіки не є космонавтами
Жоден футболіст (М) не є космонавтом (Р)
Деякі футболісти (М) є чоловіками (S)
Деякі чоловіки (S) не є космонавтами (Р)
Жоден футболіст (М) не є космонавтом (Р) більший засновок, загальнозаперечувальний (Е)
Деякі футболісти (М) є чоловіками (S) менший засновок, частково стверджувальний (І)
Деякі чоловіки (S) не є космонавтами (Р) висновок, частковозаперечувальний ( О)
Чоловік (S) менший термін, субєкт висновку
Космонавт (Р) більший термін, предикат висновку
Футболіст (М) середній термін, служить в засновках для звязування (S) і (Р) і відсутній у висновку;
У першому засновку середній термін футболіст (М) розподілений, тому що йдеться про всіх футболістів, тобто його обєм повністю виключається з обєму предиката; у другому засновку середній термін (М) не розподілений, тому що йдеться тільки про частину футболістів.
Силогізм побудовано по ІІІ фігурі, Модус ЕІО.
3.3 Альтернативні та розділові силогізми
Визначте, який з наведених нижче силогізмів є альтернативним, а який розділовим. Обґрунтуйте свій вибір.
Або я дізнаюсь про це з телевізійних новин, або з Інтернету
Я не дізнаюсь про це з Інтернету
Я дізнаюсь про це з телевізійних новин
Або він є поляком, або італійцем
Він є поляком
Він не є італійцем
Розглянемо перший силогізм:
Або я дізнаюсь про це з телевізійних новин, або з Інтернету
Я не дізнаюсь про це з Інтернету
Я дізнаюсь про це з телевізійних новин
В даному силогізмі перший засновок є розділовим судженням.
Це розділово-категоричний силогізм, в ньому перший засновок - розділове судження, другий просте категоричне судження
Він побудований по другому заперечувально-стверджуваному модусу (tollendo ponens).
Оскільки дизюнкція не є строгою, силогізм є альтернативним.
Розглянемо другий силогізм
Або він є поляком, або італійцем
Він є поляком
Він не є італійцем
В даному силогізмі перший засновок є розділовим судженням, силогізм має структуру:
Або S є А, або В
S є А
S не є В
Це розділово-категоричний силогізм, в ньому перший засновок - розділове судження, другий просте категоричне судження.
Він побудований по першому ствержувально-заперечувальному модусу (ponendo tollens).
Оскільки дизюнкція є строгою, силогізм є розділовим.
Література
1. Бузук Г.Л., Ивин А.А., Панов М.И. Наука убеждать: логика и риторика в вопросах и ответах. М., 1992.
2. Гжегорчик А. Популярная логика. М., 1979.
3. Зегет В. Элементарная логика. М., 1985.
4. Гетманова А.Д. Учебник по логике. М., 1994.
5. Ивин А.А. По законам логики. М., 1983.
6. Кириллов В.И., Старченко А.А. Логика. Учебник. М., 1987.
7. Краткий словарь по логике. М., 1991.