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

ЛОГИКА

Курс лекций
СОДЕРЖАНИЕ

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

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

Введение_________________________________________________________ 5

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дата добавления: 2015-06-27