Основы формальной логики (учебно-методическое пособие для студентов вечернего и заочного отделения) (стр. 5 из 7)
Некоторые Р суть S ни один Р не суть S
О. Частноотрицательные суждения не обращаются
Некоторые S не суть Рнекоторые студенты не изучают логику
Некоторые Р не суть S
КОНТРОЛЬНЫЕ ВОПРОСЫ:
1. Что такое суждение как логическая форма мышления?
2. Какова структура и виды атрибутивных суждений?
3. Как распределены термины в простых атрибутивных суждениях?
4. Какие отношения между суждениями выражаются посредством логического квадрата?
5. В чем суть логических операций превращения, обращения и противопоставления?
6. УМОЗАКЛЮЧЕНИЕ: СУЩНОСТЬ И СТРУКТУРА
Все знания о мире делятся на непосредственные (эмпирические) и опосредованные (выводные). В первом случае это результат непосредственного изучения окружающего мира. Но большая часть знаний получается опосредованно, выводным путем, путем логической обработки опытного материала.
Например, зная, что все продукты, изготовленные для продажи – товар, а машина – тоже продукт, делаем вывод о ее товарном характере. Вывод об этом свойстве получается путем умозаключения, с помощью которого из содержания исходных суждений извлекается новое знание.
Итак, умозаключение – это форма мышления, посредством которой из одного или нескольких определений, истинность которых доказана, с необходимостью выводится суждением, несущее новое знание. Структура умозаключения содержит посылки и вывод или заключение.
Посылки – это суждения, из которых делается вывод. Они содержат известное знание и должны быть истинными. Вывод (заключение) – новое суждение, полученное из посылок в ходе умозаключающей деятельности.
ВИДЫ УМОЗАКЛЮЧЕНИЙ:
| По количеству посылок | По характеру посылок и связок | По направлению мысли |
| - Непосредственные - Дедуктивные - Индуктивные - Традуктивные (по аналогии) | - Категорические - Разделительные - Условные - Разделительно-категорические - Условно-категорические - Условно-разделительные | - Дедуктивные - Индуктивные - Традуктивные |
При получении истинного вывода необходимо строго руководствоваться нормативными требованиями мышления с учетом характера фигур, правил терминов и посылок умозаключения:
Правила терминов:
1. Из двух отрицательных посылок нельзя сделать вывода.
2. Из двух частных посылок нельзя сделать вывода.
3. Если одна из посылок отрицательная, то и заключение отрицательное.
4. Если одна из посылок частная, то заключение частное.
Модус, или вид, это качественные и количественные разновидности посылок и вывода из них. Всего из 256 модусов – 19 правильных. Модус характеризует соблюдение правил и истинности вывода.
Правильные модусы:
1 фигура: ААА, ЕАЕ, АJJ, EJO.
2 фигура: AEE, AOO, EAE, EJO.
3 фигура: AAJ, EAO, JAJ, OAO, EJO.
4 фигура: AAJ, AEE, JAJ, EAO, EJO.
При характеристике сложных, развернутых силлогизмов следует обратиться к соответствующим разделам учебной литературы. Следует обратить внимание на виды полисиллогизма (прогрессивный и регрессивный силлогизм) и его разновидность – сорит. При их характеристике необходимо подчеркнуть, что они способствуют более быстрой переработке информации и решению задач, упрощают процесс оценки обстановки и принятия решения.
Энтимема (в уме) – сокращенный категорически силлогизм, в котором пропущена посылка или заключение, когда не требуется высказывать известные истины. Например: Все студенты должны добросовестно учиться, а ты студент.
Пропущено заключение…. Все студенты должны добросовестно учиться.
Ты - студент
Ты должен добросовестно учиться.
При анализе дедуктивной логики, позволяющей получить частный вывод на основе одной общей и одной частной посылок, студенту следует обратить внимание на требования Аристотеля к структуре и правилам вывода силлогизма. Типичной формой дедукции является простой категорический силлогизм, в котором из двух категорических суждений (посылок), связанных общим термином, получается новое суждение – вывод.
Все студенты (S) знают логику (Р).
Иванов (S) – студент (Р)
Иванов (S) – знает логику (Р)
Посылки связаны общим термином – студенты (М – медиум, посредник). М. – входит в посылки, но отсутствует в заключении. В выводе предикат (знает логику) шире субъекта по объему. Поэтому предикат вывода – больший термин, а субъект вывода – меньший термин. Соответственно, посылки в которые входят больший и меньший термины, называются большей посылкой и меньшей посылкой. В зависимости от положения среднего термина зависит качественный и количественный характер вывода. Существуют четыре положения среднего термина, что соответствует четырем фигурам категорического силлогизма:
I M P II. P M 
S M S M S – P S – P
III. M P IV. P M 
M S M S  |  |
S – P S – P
Например, во второй фигуре:
Ни одна книга (Р) не есть периодическое издание (М).
Журнал (S) – периодическое издание (М)
Журнал (S) не является книгой(Р).
Студенту следует разобрать и запомнить особые правила терминов и посылок простого категорического силлогизма.
Правила фигур включает:
I фигура: большая посылка – общая, меньшая утвердительная.
II фигура: большая посылка – общая, одна из посылок – отрицательная
III фигура: меньшая посылка – утвердительная, заключение частное.
IV фигура: общеутвердительного заключения не дает.
Более глубокое представление о содержании дедуктивной логики дают по характеру посылок и выводов дают условные, условно – категорические и разделительные силлогизмы. В условном умозаключении обе посылки и вывод – условные суждения. Его структура: «Если А, то В».
Условно – категорическое умозаключение содержит одной из посылок условное суждение, другой – простое категорическое суждение. Достоверное заключение, с необходимостью следующее из посылок дает утверждающий и отрицающий модусы. Его схема: Если А, то В. А
В
Отрицающий модус позволяет строить достоверные умозаключения от отрицания следствия и отрицанию основания. Например: Если А, то В. не В.
Не А
Если студент знает логику, то он правильно мыслит.
Студент неправильно мыслит.
Студент не знает логики.
Вероятный вывод дают умозаключения, где мысль движется в направлении обратном утверждающему модусу или обратном отрицающему модусу.
В разделительном силлогизме одна из посылок должна быть разделительным суждением. В умозаключении по утверждающе – отрицающему модусу производится отрицание последством утверждения.
Наука бывает фундаментальной или прикладной.
Данная наука - прикладная
Следовательно, данная наука не может быть фундаментальной.
В разделительном силлогизме по отрицающие – утверждающему модусу утвержение производится путем отрицания. Например А или В. не – А.
В
Кроме того, студенту следует обратить внимание на условно – разделительное умозаключение, где одна посылка условная, другая разделительная. Это умозаключение называют лематическим (предположительно слепым). Оно может быть дилеммой, трилеммой и т.д.
КОНТРОЛЬНЫЕ ВОПРОСЫ:
1. Какие бывают виды умозаключений?
2. Какие правила вывода действуют в простом категорическом силлогизме?
3. Что такое модус простого категорического силлогизма?
4. Что такое полисиллогизм, какова его структура и разновидности?
5. Какие бывают виды и какова структура сложных силлогизмов?
7. ИНДУКТИВНЫЕ И ТРАДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.
Индуктивные умозаключения являются разновидностью выводного знания при его движении от фактов к обощениям. Индуктивные умозаключения образуются в ходе практической деятельности, при сравнении однородных явлений и поиске их общей причины. Индукция – это умозаключение от знания меньшей степени общности к знанию большей степени общности. Схема индуктивного мышления.
Предметы А,В,С,D имеют признак Р
Предметы А, В, С, D принадлежат классу S
Следовательно все S есть Р
Основанием индуктивного мышления служат объективные, закономерные связи и отношения, где предметы должны быть однотипными (одного класса). В индуктивном умозаключении даже из достоверных посылок, вывод, как правило, вероятностный.