Семинар 4
.docxСеминар 4. Логические основы системного анализа: умозаключение.
Вопросы:
1.Дедуктивные умозаключения.
2.Превращение непосредственных умозаключений.
Дедуктивные умозаключения.
Умозаключение – это форма мышления, в которой из исходных суждений (посылок) при соблюдении правил вывода с необходимостью или вероятностью получается новое истинное суждение (заключение).
Структура умозаключения:
Посылки – исходные истинные суждения
Заключение – новое истинное суждении
Вывод – логический переход от посылок к заключению
Умозаключения делятся на дедуктивные, индуктивные и по аналогии.
Дедуктивные умозаключения – это умозаключения, в которых ход мысли направлен от знаний большей степени общности к знаниям меньшей степени общности (от общего к частному) (выводы из простых суждений).
Непосредственное умозаключение – это дедуктивное умозаключение, в котором заключение выводится из одной посылки, т.е. умозаключение через преобразование исходного суждения. Суть непосредственных умозаключений состоит в том, чтобы, изменяя качественную или количественную характеристику исходного суждения и получая новое истинное суждение, не изменить при этом смысл мысли. Непосредственные умозаключения поясняют смысл высказывания и позволяют исключить неясность и двусмысленность, встречающиеся в обыденной разговорной речи.
2.Превращение непосредственных умозаключений.
Превращение – вид непосредственного умозаключения, в котором заключение получается посредством изменения качества посылки, при этом предикаты посылки и заключения должны быть противоречивыми понятиями.
Общая схема превращения:
S есть Р
S не есть не-Р
Схемы превращений:
(А) Все S есть Р
(Е) Ни одно S не есть не-Р
Например,
Все люди грешны
Ни один человек не является безгрешным
( I ) Некоторые S есть Р
(O) Некоторые S не есть не-Р
Например,
Некоторые комнатные растения ядовиты
Некоторые комнатные растения не являются неядовитыми
(Е) Ни одно S не есть Р
(А) Все S есть не-Р
Например,
Ни один пингвин не живет на Северном полюсе
Все пингвины живут не на Северном полюсе
(О) Некоторые S не есть Р
( I ) Некоторые S есть не-Р
Например,
Некоторые сделки не являются односторонними
Некоторые сделки являются неодносторонними
Упражнение 1
Проверьте, правильно ли произведено превращение приводимых ниже суждений. Если нет, укажите ошибку.
1. Все черепахи – земноводные
Ни одна черепаха не является земноводной
2. Общество – эволюционирующая система
Общество не является эволюционирующей системой
3. Некоторые ромбы не являются квадратами
Некоторые ромбы являются квадратами
4. Ни один приговор суда не должен быть необоснованным
Всякий приговор суда должен быть обоснованным
5. Некоторые студенты – волонтеры
Некоторые студенты не являются волонтерами
6. Ни один пингвин не летает
Пингвины являются нелетающими птицами
7. Некоторым людям не нравится современное искусство
Некоторые люди любят искусство, но не современное
8. Военная функция была одной из главных функций феодального замка
Военная функция не могла не быть одной из главных функций феодального
замка
9. Продуманная регулярность застройки – особенность архитектуры Санкт-Петербурга
Продуманная регулярность застройки является особенностью архитектуры Санкт-Петербурга
10. Ликвидация акционерных обществ не может производиться вне закона
Ликвидация акционерных обществ должна производиться в рамках закона