- •История развития логики:
- •Виды понятий:
- •Отношения между понятиями:
- •Привила и ошибки:
- •Деление понятий. Виды и классификация.
- •Правила и ошибки в делении понятий:
- •Ограничение и обобщение понятий
- •Определение и структура суждения. Суждения и предложения.
- •Деление суждений. Виды простых суждений.
- •Деление суждений по модальности.
- •Категорические суждения и их виды (деление по количеству и качеству):
- •Распределенность терминов в категорических суждениях.
- •Отношения между суждениями (логический квадрат)
- •Операции простых суждений (обращение, превращение, противопостановление)
- •Сложные суждения (определение, логические связки, формулы).
- •Необходимые и достаточные условия истинности суждений (таблицы истинности).
- •Понятие о логическом законе. Закон тождества
- •Закон непротиворечия
- •Определение и структура умозаключения. Понятие логического следования
- •Классификация умозаключений
- •Дедуктивные умозаключения. Опосредованные и непосредственные умозаключения
- •Обращение и превращение умозаключений
- •Определение и состав простого категорического силлогизма
- •Общие правила простого категорического силлогизма
- •Фигуры силлогизма:
- •Модусы силлогизма
- •Специальные правила фигур простого категорического силлогизма.
- •1. Правила терминов
- •2. Правила посылок
- •Условно-категорический силлогизм. Истинные модусы.
- •Разделительно-категорический силлогизм
- •Методы установления причинной связи
- •Методы установления причинной связи
- •1.Тезис и лозунг.
- •2.Формула Цицерона.
- •Правила и ошибки доказательства и опровержения.
- •Построение гипотезы и этапы ее развития.
- •Правила постановки простых и сложных вопросов
-
Закон непротиворечия
Закон непротиворечия - это логический закон, согласно которому не могут быть одновременно истинными взаимно исключающие друг друга мысли: "В данный момент снег идет" и "В данный момент снег не идет", "Этот цветок роза" и "Этот цветок ромашка" и т.п. С точки зрения логики объединение таких мыслей может быть только ложным, и ни в коем случае не истинным. ЗН - суровый контролер наших рассуждений. Именно от его соблюдения зависит исходная согласованность наших мыслей, продолжающая линию закона тождества на устойчивость нашего мышления. Логика различает два типа несовместимости мыслей:
а) Формальную несовместимость, которая имеет место между некоторой мыслью и ее формальным отрицанием: "Снег идет" и "Снег не идет", где одна мысль есть непосредственное формальное отрицание ("не", "нет") другой.
б) Содержательную (предметную) несовместимость, которая имеет место в связи с несовместимостью самих признаков внутри соответствующих вещей: "Цветок - роза" и "Цветок - ромашка". Эта несовместимость определяется не по формально-логическим законам, а по законам развития самих вещей.
-
Закон исключенного третьего - это закон традиционной формальной логики, согласно которому из двух формально противоречащих друг другу мыслей (мысли и ее формального отрицания, А и не-А) одна обязательно должна быть истинной, а вторая ложной. Как видно, этот закон распространяется только на один вид несовместимости - формальной. Он ничего не говорит о содержательной (предметной) несовместимости. С точки зрения этого закона содержательно несовместимые мысли могут быть одновременно ложными. Хотя, по закону непротиворечия, они не могут быть одновременно истинными. Закон исходит из общетеоретического допущения, что всякий предмет, вещь могут либо обладать (хотя бы в какой-то степени), либо не обладать некоторым (произвольным) признаком: быть или не быть человеком, цветком, розой, ромашкой и так далее.
-
Закон достаточного основания - это закон, согласно которому, чтобы считать некоторую мысль истинной или ложной, мы должны располагать некоторым строгим доказательством. Под доказательством при этом понимается специальная процедура установления соответствия мысли действительности. Так, чтобы в данный момент убедиться, что мысль "На улице светит солнце" истинна, достаточно выглянуть на улицу и убедиться (с помощью органов чувств), что это на самом деле так. Так устанавливается (т.н. остенсивное доказательство) истинность многих сиюминутных положений. Но совсем иначе выясняется истинность (ложность) положений типа: "Вчера в это время на улице светило солнце", "Завтра в это же время будет солнечно" и т.п.
-
Определение и структура умозаключения. Понятие логического следования
Умозаключение – это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение. Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называют новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом. Как и любая другая форма мышления, умозаключение, так или иначе, воплощается в языке. Если понятие выражается отдельным словом (или словосочетанием), а суждение – отдельным предложением (или сочетанием предложений), то умозаключение всегда есть связь нескольких предложений.