Логика Курс лекций содержание

Курс лекций 1

СОДЕРЖАНИЕ 2

СПИСОК ИСПОЛЬЗУЕМЫХ ЛОГИЧЕСКИХ СИМВОЛОВ 4

Лекция 1. Логика в структуре человеческого познания. Предмет и структура логики, ее значение и взаимосвязь с другими науками о мышлении 5

Введение 5

§ 1. Логика в структуре человеческого познания. 5

§2. Мышление и язык. 11

§3. Логика и другие науки о мышлении. 11

§4. История логики как науки и структура современной логики. 12

Лекция 2. Исходные понятия формальной логики, ее основные законы и принципы 15

§1. Исходные логические понятия 15

§2. Понятие формально-логического закона 16

Лекция 3. Понятие как исходная логическая форма 19

§1. Общая характеристика понятия как логической формы 19

§2. Структура понятия 20

§3. Виды понятий и отношений между ними 21

Лекция 4. Операции над понятиями 25

§1. Сложение, умножение и вычитание понятий 25

§2. Обобщение, ограничение и деление понятий. Классификация как логическая процедура 25

§3. Определение понятия 27

Лекция 5. Суждение 31

§ 1. Общая характеристика суждения. Простые суждения, их структура и виды 31

§ 2. Простые категорические суждения и их классификация. Отношения между суждениями 33

§3. Операции с простыми категорическими суждениями (непосредственные умозаключения) 37

Лекция 6. Суждение (продолжение) 41

§1. Сложные суждения и их виды 41

§2. Модальность суждения. Виды модальностей 43

Лекция 7. Умозаключение 47

§1. Понятие умозаключения: определение, структура, классификация 47

§2. Простой категорический силлогизм: определение, структура, общие правила 48

§3. Фигуры и модусы простого категорического силлогизма 49

§4. Выводы из сложных суждений 51

§5. Умозаключения индукции и аналогии 52

Лекция 8. Доказательство и опровержение 55

§1. Понятие доказательства и его структура 55

§2. Виды доказательств. Правила доказательств 56

§3. Критика и опровержение 59

Список используемых логических символов

A, B, C... - понятия, а также их объемы, классы;

I, O - универсальный и пустой классы;

p, q, r... - суждения;

A, I, E, O - обозначения типов простых категорических суждений;

 - отрицание или дополнение;

 - объединение (сложение) множеств (классов);

 - пересечение (умножение) множеств (классов);

 - включение некоторого множества в исходное;

 - включение, не исключающее и тождество множеств;

 - включенность исходного множества в другое;

 - включенность, не исключающая и тождество множеств;

 - невключенность исходного множества в другое;

 - включенность элемента в множество;

 - невключенность элемента в множество;

 - коньюнкция;

 - слабая (нестрогая) дизъюнкция;

 - строгая дизъюнкция;

 - импликация;

 - репликация;

,  - эквиваленция (тождество);

L - оператор логической необходимости;

M - оператор логической возможности;

C - оператор логической случайности;

 - оператор онтологической необходимости;

 - оператор онтологической возможности;

 - оператор онтологической случайности;

V - оператор доказанности;

F - оператор опровергнутости;

P - оператор вероятности;

F(d) - оператор деонтического запрета;

O(d) - оператор разрешения;

И - значение истинности “истинно”;

Л - значение истинности “ложно”.