- •Донбасский институт техники и менеджмента международного научно-технического университета «логика»
- •Тема 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 A
B
Е
сли
B, то С B
C
Если A, то C A
C
Роль связки
выполняет следствие первого суждения(В), которое является основанием во
втором суждении.
Пример.
Если студент работает систематически (А),то он успешно сдает сессию(В).
Е
сли
студент успешно сдает сессию(В),то
он получает моральное поощрение(С).
Если студент работает систематически (А),то он получает моральное поощрение(С).
Логическая структура данного условного умозаключения
A → B
B → C
A → C
6.7.Умозаключение, одна из посылок которого является разделительным суждением (дизъюнкция, союз «или»), называется разделительным умозаключением.
Такое умозаключение образует два вида:
разделительно- категорическое умозаключение;
условно- разделительное умозаключение.
1. Рассмотрим разделительно- категорическое умозаключение, в котором одна из посылок- разделительное, а другая посылка и заключение- категорические суждения.
Пример.
На заседании директоров некоторого
концерна генеральный директор произнес
следующую фразу: «Мы согласимся с
условиями банка и возьмем ссуду (А)или мы потерпим банкротство(В).Но
мы ведь с вами не пойдем на
банкротство(
).Вывод: мы возьмем ссуду(А).
Запишем логическую структуру данного разделительно- категорического умозаключения.
А
В,
- отрицающе-утверждающий модус (modus
tollendo ponens)
А
В этом модусе меньшая посылка (В)- категорическое суждение, отрицающееодин из элементов дизъюнкции («мы, ведь, с вами не пойдем на банкротство»).
Заключение - также категорическое суждение, утверждающеедругой её элемент («мы возьмем ссуду»).
Разновидности данного модуса:
;
;
К каждой разновидности модуса можно подобрать содержательный пример.
В данном умозаключении союз «или» – строгая дизъюнкция.
В любом из модусов одна посылка- категорическое суждение, отрицающее один из элементов дизъюнкции, а другая и заключение- категорическое суждение утверждающее другой её элемент. Возможен вариант разделительно-категорического умозаключения, когда применяется не строгая дизъюнкция.
Например,
модус
можно интерпретировать так: «Мы не
согласимся с условиями банка
(А) или потерпим банкротство (В). Но
мы ведь согласимся с условиями банка
(А) и потерпим банкротство (В)»
(т.е. можно принять условия банка и при
этом потерпеть поражение).
Пример:
О
ратор
говорит: «Или мы победим (А), или
страна пойдёт по пути полного развала
экономики (В). Но мы победим обязательно
(А), отсюда следует вывод: страна не
пойдёт по пути полного развала экономики
(
)».
Запишем логическую структуру данного
умозаключения.
![]()
Рассмотрим все варианты модусов разделительно-категорического умозаключения.
А
V В,А
;А V В, В
![]()
![]()
- это утвердительно - отрицающий модус (modus ponendo tollens).
Элементы разделительного суждения называются альтернативами (взаимно исключающие решения).
Чтобы вывод по модусу был правильным, надо всегда перебирать все варианты альтернатив.
2. Рассмотримусловно-разделительное умозаключение , в котором большая посылка – условное, а меньшая – разделительное суждения.
Так как ставится условие, то возникает проблема выбора решений – дилемма, (от лат.llema – «предположение»). Она может содержать несколькоальтернатив(от лат.alternare – «чередоваться»; одна из двух или нескольких исключающих друг друга возможностей).
Пример
Если Адействовал по собственному побуждению, то он негодяй(В).
Если Адействовал не по собственному побуждению, то он игрушка в руках другого(С).
Н
оА действовал или по собственному
желанию(А)или нет(А).
Следовательно, Аили негодяй(В), или игрушка в руках другого(С).
Запишем логическую структуру этого примера:
- конструктивная дилемма.
