- •Донбасский институт техники и менеджмента международного научно-технического университета «логика»
- •Тема 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 Правило о связи тезиса и аргумента:
- •Литература.
Тема 7: доказательство План
7.1. Структура доказательства.
7.2. Правила доказательства и возможные ошибки в процессе доказательства.
7.3. Софизмы.
7.4.Контрольные вопросы.
7.5.Упражнения.
7.1.Невозможно переоценить значение доказательств в нашей жизни и особенно в науке. И тем не менее доказательства встречаются не так часто, как хотелось бы. К доказательствам прибегают все, но редко кто задумывается над тем, что означает «доказать», почему доказательство «доказывает», всякое ли утверждение можно доказать или опровергнуть, все ли нужно доказывать и т.п.
Наше представление о доказательстве как особой интеллектуальной операции формируется в процессе проведения конкретных доказательств. По мере своего развития мы усваиваем правила корректного мышления, учимся отличать демагогию, сумбур от правильного мышления. Правила мышления - это светофор хода мыслей - какую мысль надо пропустить, какую остановить.
В процессе рассуждений обычно связывают силлогизмы таким образом, что вывод одного силлогизма становится одной из посылок второго и т.д. Такие ряды силлогизмов называют полисиллогизмами. Они служат для доказательств определенной точки зрения.
Доказательство – это рассуждения, устанавливающее истинность какого – либо утверждения путем приведения утверждений, истинность которых уже доказана.
В доказательстве различают тезис, основание (аргументы) и демонстрацию.
Тезис - точка зрения, которая обосновывается в доказательстве.
Аргументы – положения, с помощью которых обосновывается тезис.
Демонстрация – логическая связь между аргументами и тезисом.
Понятие доказательства всегда предполагает указание посылок, на которые опирается тезис, и тех логических правил, по которым осуществляется преобразования утверждений в ходе доказательств.
К примеру, надо доказать тезис « Все металлы проводят электрический ток». Подбираем в качестве аргументов утверждения, которые являются, во-первых, истинными и из которых, во-вторых, логически вытекает тезис. В качестве таких утверждений можно принять, в частности, следующие: « Все вещества, имеющие в своей кристаллической решетке свободные электроны, проводят электрический ток» и « Все металлы имеют в своей кристаллической решетке свободные электроны». Строим умозаключение: Все вещества, имеющие в своей кристаллической решетке свободные электроны (М)проводят электрический ток(Р)
Все металлы (S)имеют в своей кристаллической решетке свободные электроны(М)
Все металлы (S)проводят электрический ток(Р).
Данное умозаключение является правильным. Оно представляет собой категорический силлогизм, построенный по 1-й фигуре
Данный силлогизм можно рассматривать как первую ступень полисиллогизма в процессе обоснования доказательства.
М P
Посылки его истинны, значит, умозаключение является доказательством исходного тезиса.
Доказательство – это правильное умозаключение с истинными посылками.
Логическую основу каждого доказательства (его схему) составляет логический закон.
Названные элементы этой формы мышления составляют структуру доказательства: тезис, аргументы, демонстрация доказательства.
Обоснование тезиса зависит от культуры человека, от уровня его подготовленности.
7.2. Правил доказательства много, они являются разновидностями проявления основных законов логики. Эти правила можно сгруппировать по структурным элементам доказательства.