- •Донбасский институт техники и менеджмента международного научно-технического университета «логика»
- •Тема 1 Предмет формальной логики и ее значение План
- •Не можем заполнить, возвышают
- •Религия – не наука
- •Тема 2 Суждение План.
- •Некоторые адвокаты – не юристы
- •Для логического отношения «подчинение» характерны две зависимости:
- •При истинности общего суждения (подчиняющего) частное (подчиненное) всегда будет истинным, но не наоборот.
- •При ложности частного суждения (подчиненного) общее (подчиняющее) будет ложным, но не наоборот. Примеры:
- •Аналогично
- •3. Противные (контрарные) суждения – это а-е, которые не могут быть одновременно истинными, но могут быть одновременно ложными.
- •Следовательно, а и е
- •Тема 3. Законы логики. Значение законов логики. План.
- •3.2. Закон непротиворечия. Противоречащие суждения не могут бытьодновременно истинными или одновременно ложными.
- •Например: “Если дом высокий, то он высокий”
- •3.4.Закон исключенного третьего. Из двух суждений, в одном из которых что-то утверждается, а в другом отрицается, одно необходимо истинно, второе – ложно и третьего не дано.
- •Тема 4 Сложные суждения План:
- •4.2. Для работы со сложными суждениями союзы обозначим условно:
- •Союз «и» имеет соединительный смысл. Союз «или» разделительный смысл. Он используется и в строго разделительном смысле:
- •1. Конъюнкция – это сложное суждение, состоящее из нескольких простых, связанных логической связкой «и».
- •Из задач о лжецах и рыцарях: «аборигены говорят либо истину, либо ложь»
- •3. Импликация – это сложное суждение, состоящее из двух простых, связанных логической связкой «если…, то…».
- •4. Эквиваленция (двойная импликация) – это сложное суждение, состоящее из двух суждений, связанных двойной условной зависимостью.
- •Принцип решения этих задач - составление таблиц истинности и составление
- •Тема 5. Понятие.
- •5.4. Логические операции с понятиями: деление и расчленение.Операция деления понятия – это логический прием, раскрывающий объем понятия путем вычленения в нем отдельных видов объектов.
- •При делении каждому члену деления присваивается признак, присущий
- •Тема 6. Умозаключение. План.
- •6.1.Знания об окружающем мире мы получаем двумя способами:
- •I фигура II фигура III фигура IV фигура
- •I. Правила терминов:
- •II. Правила посылок.
- •Вторая посылка
- •6.4. 1. Модусы простого категорического силлогизма – это разновидность силлогизма, различающиеся количественными и качественными характеристиками посылок.
- •6.6. Чисто условным называется умозаключение, обе посылки которого и заключение являются условными суждениями.
- •Дилемма называется конструктивной, если большая посылка содержит утверждающие альтернативы.
- •- Это конструктивная дилемма.
- •I Некоторые преступления (s-) остаются безнаказанными (м-).
- •Тема 7: доказательство План
- •I Правила по отношению к тезису доказательства:
- •II Правило по отношению к аргументам:
- •III Правило о связи тезиса и аргумента:
- •Литература.
6.6. Чисто условным называется умозаключение, обе посылки которого и заключение являются условными суждениями.
Его логическая структура такова:
Если A, то B AB
Если B, то С BC
Если A, то C AC
Роль связки выполняет следствие первого суждения(В), которое является основанием во втором суждении.
Пример.
Если студент работает систематически (А),то он успешно сдает сессию(В).
Если студент успешно сдает сессию(В),то он получает моральное поощрение(С).
Если студент работает систематически (А),то он получает моральное поощрение(С).
Логическая структура данного условного умозаключения
A → B
B → C
A → C
6.7.Умозаключение, одна из посылок которого является разделительным суждением (дизъюнкция, союз «или»), называется разделительным умозаключением.
Такое умозаключение образует два вида:
разделительно- категорическое умозаключение;
условно- разделительное умозаключение.
1. Рассмотрим разделительно- категорическое умозаключение, в котором одна из посылок- разделительное, а другая посылка и заключение- категорические суждения.
Пример.
На заседании директоров некоторого концерна генеральный директор произнес следующую фразу: «Мы согласимся с условиями банка и возьмем ссуду (А)или мы потерпим банкротство(В).Но мы ведь с вами не пойдем набанкротство().Вывод: мы возьмем ссуду(А).
Запишем логическую структуру данного разделительно- категорического умозаключения.
А В,- отрицающе-утверждающий модус (modus tollendo ponens)
А
В этом модусе меньшая посылка (В)- категорическое суждение, отрицающееодин из элементов дизъюнкции («мы, ведь, с вами не пойдем на банкротство»).
Заключение - также категорическое суждение, утверждающеедругой её элемент («мы возьмем ссуду»).
Разновидности данного модуса:
; ;
К каждой разновидности модуса можно подобрать содержательный пример.
В данном умозаключении союз «или» – строгая дизъюнкция.
В любом из модусов одна посылка- категорическое суждение, отрицающее один из элементов дизъюнкции, а другая и заключение- категорическое суждение утверждающее другой её элемент. Возможен вариант разделительно-категорического умозаключения, когда применяется не строгая дизъюнкция.
Например, модусможно интерпретировать так: «Мы не согласимся с условиями банка (А) или потерпим банкротство (В). Но мы ведь согласимся с условиями банка (А) и потерпим банкротство (В)» (т.е. можно принять условия банка и при этом потерпеть поражение).
Пример:
Оратор говорит: «Или мы победим (А), или страна пойдёт по пути полного развала экономики (В). Но мы победим обязательно (А), отсюда следует вывод: страна не пойдёт по пути полного развала экономики ()».
Запишем логическую структуру данного умозаключения.
Рассмотрим все варианты модусов разделительно-категорического умозаключения.
А V В,А ;А V В, В
- это утвердительно - отрицающий модус (modus ponendo tollens).
Элементы разделительного суждения называются альтернативами (взаимно исключающие решения).
Чтобы вывод по модусу был правильным, надо всегда перебирать все варианты альтернатив.
2. Рассмотримусловно-разделительное умозаключение , в котором большая посылка – условное, а меньшая – разделительное суждения.
Так как ставится условие, то возникает проблема выбора решений – дилемма, (от лат.llema – «предположение»). Она может содержать несколькоальтернатив(от лат.alternare – «чередоваться»; одна из двух или нескольких исключающих друг друга возможностей).
Пример
Если Адействовал по собственному побуждению, то он негодяй(В).
Если Адействовал не по собственному побуждению, то он игрушка в руках другого(С).
НоА действовал или по собственному желанию(А)или нет(А).
Следовательно, Аили негодяй(В), или игрушка в руках другого(С).
Запишем логическую структуру этого примера:
- конструктивная дилемма.