классической формальной логики

· a Ù b, a × b, a & b, “a и b” — конъюнкция;

· a Ú b, “a или b” — нестрогая дизъюнкция;

· a Ú b, “a или b” — строгая дизъюнкция;

· a É b, “a имплицирует b” (“если a, то b”) — материальная импликация;

· a ® b, “a имплицирует b” (“если a, то b”) — релевантная импликация;

· a º b, a «b, a ~ b, “a эквивалентно b” (“a, если и только если b”) —эквиваленция;

· a, Ø a, ~ a, “не-a” — отрицание a;

· (" x), “для всех x” — квантор общности;

· ($ x), “существует x, такое, что” — квантор существования;

· a, b, c, …, p, q… — переменные для высказываний;

· X Ì U — класс X включается в класс U;

· х Î U — элемент х принадлежит классу U;

· │= — отношение логического следования;

· ║= — отношение правдоподобного следования.

Библиографический список

1. Асмус В. Ф. Проблема интуиции в философии и математике: Очерк истории XVII – начало ХХ века. — М.: Едиториал УРСС, 2004. — 312 с.

2. Берков В. Ф., Яскевич Я. С., Павлюкевич В. И. Логика. — Мн.: НТООО «Тетра Системс», 1997. — 480 с.

3. Библер В. С. На гранях логики культуры. Книга избранных очерков. — М.: Русское феноменологическое общество, 1997. — 440 с.

4. Бочаров В. А. Аристотель и традиционная логика: Анализ силлогистических теорий. — М.: Изд-во МГУ, 1984. — 136 с.

5. Войшвилло Е. К., Дегтярев М. Г. Логика: Учеб. для вузов. — М.: Гуманит. изд. центр ВЛАДОС, 1998. — 528 с.

6. Гетманова А. Д. Учебник по логике. — М.: ЧеРо, 1997. — 304 с.

7. Гжегорчик А. Популярная логика. Общедоступный очерк логики предложений. — М.: Наука, 1979. — 112 с.

8. Горский Д. В. Определение. — М.: Мысль, 1974. — 312 с.

9. Гудстейн Р. Л. Математическая логика. — М.: Изд-во иностр. лит., 1961. — 164 с.

10. Жоль К. К. Логика в лицах и символах. — М.: Педагогика–Пресс, 1993. — 256 с.

11. Зегет В. Элементарная логика. — М.: Высш. шк., 1985. — 256 с.

12. Горский Д. П., Ивин А. А., Никифоров А. Л. Краткий словарь по логике. —М.: Просвещение, 1991. — 208 с.

13. Ивин А. А. Искусство правильно мыслить. — М.: Просвещение, 1991. — 224 с.

14. Карри Х. Основания математической логики. — М.: Мир, 1969. — 568 с.

15. Клини С. К. Математическая логика. — М.: Мир, 1973. — 480 с.

16. Колмогоров А. Н., Драгалин А. Г. Введение в математическую логику. —М.: Изд-во МГУ, 1982. — 120 с.

17. Кондаков Н. И. Введение в логику. — М.: Наука, 1967. — 468 с.

18. Кондаков Н. И. Логический словарь-справочник. — М.: Наука, 1976. — 720 с.

19. Коул М., Скрибнер С. Культура и мышление. — М.: Прогресс, 1977. — 262 с.

20. Кэррол Л. История с узелками. — М.: Мир, 1973. — 408 с.

21. Кэрролл Л. Логическая игра. — М.: Наука, 1991. — 192 с.

22. Латотин Л. А., Макаренков Ю. А., Николаева В. В., Столяр А. А. Математическая логика. — Мн.: Высш. шк., 1991. — 269 с.

23. Мартишина Н. И., Махова Н. П. Логика: Учеб. пособие. — Омск: Изд-во ОмГТУ, 1998. — 40 с.

24. Минто В. Дедуктивная и индуктивная логика. — Екатеринбург: Изд-во «Деловая книга», 1997. — 432 с.

25. Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. — М.: Прогресс, 1965. — 368 с.

26. Стяжкин Н. И. Формирование математической логики. — М.: Наука, 1967. — 508 с.

27. Субботин А. Л. Теория силлогистики в современной формальной логике. — М.: Наука, 1965. — 124 с.

28. Уёмов А.И. Задачи и упражнения по логике: Учеб. пособие для пед. ин-тов и филол. фак. ун-тов. — М.: Высш. шк., 1961. — 352 с.

29. Формальная логика / Под ред. И.Н. Бродского и И.Я. Чупахина. — Л.: Изд-во ЛГУ, 1977. — 360 с.

30. Шёнфилд Дж. Математическая логика. — М.: Наука, 1975. — 528 с.

 

 

ОГЛАВЛЕНИЕ

 

ПРЕДИСЛОВИЕ.................................................................................................
ЧАСТЬ I. ПРЕДМЕТ, ОСНОВНЫЕ ПОНЯТИЯ И РАЗНОВИДНОСТИ ЛОГИКИ...............................................................................................................
Введение................................................................................................................
Глава 1.Предмет, условия возникновения, виды и основоположения логики.....................................................................................................................
1.1. Объектное и предметное значение логики..................................................
1.2. Разновидности и исторический аспект логики как науки..........................
1.3. Основные положения и понятия классической формальной логики........
Глава 2.Семантика и основные законы классической формальной логики.....................................................................................................................
2.1. Семантические категории и логическая форма...........................................
2.2. Закон мышления. Принципы (законы) классической формальной логики.............................................................................................................................
2.3. Частные законы формальной логики и логическое следование................
	Контрольные вопросы....................................................................................
	Варианты домашнего задания к разделу «Предмет, основные понятия и разновидности логики»............................
	Список рекомендуемой литературы……………….................…................
ЧАСТЬ II. СИЛЛОГИСТИЧЕСКАЯ ТЕОРИЯ ДЕДУКТИВНЫХ РАССУЖДЕНИЙ................................................................................................
Введение................................................................................................................
Глава 3. Особенности аристотелевской и традиционной силлогистики........
3.1. Общая характеристика и язык силлогистики..............................................
3.2. Логическая структура категорических высказываний...............................
3.3. Общая качественно-количественная классификация категорических суждений................................................................................................................
3.4. Позитивная и негативная разновидности традиционной силлогистики.............................................................................................................................
3.5. Модельные схемы и распределённость (нераспределённость) терминов простых категорических высказываний..............................................................
Глава 4. Умозаключения позитивной традиционной силлогистики...............
4.1. Отношения между силлогистическими формулами простых атрибутивных категорических суждений.......................................................................
4.2. Логический квадрат. Умозаключения по логическому квадрату..............
4.3. Непосредственные дедуктивные преобразования суждений в позитивной силлогистике...................................................................................................
4.4. Общая характеристика и логическая структура простого категорического силлогизма...................................................................................................
4.5. Модельные схемы простого категорического силлогизма........................
4.6. Правила простого категорического силлогизма..........................................
4.7. Сложные, сокращённые и сложносокращённые формы простого категорического силлогизма................................................................................
Глава 5. Умозаключения негативной традиционной силлогистики...............
5.1. Операция терминного отрицания................................................................
5.2. Непосредственные дедуктивные умозаключения преобразованием суждений в негативной силлогистике.....................................................................
5.3. Негативный категорический силлогизм.......................................................
	Контрольные вопросы....................................................................................
	Варианты домашнего задания к разделу «Силлогистическая теория дедуктивных рассуждений»............................
	Список рекомендуемой литературы……………….................…................
ЧАСТЬ III. ЛОГИКА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ...................
Введение................................................................................................................
Глава 6. Классическая логика высказываний...................................................
6.1. Общая характеристика и особенности языка классической логики высказываний (КЛВ)..................................................................................................
6.2. Пропозициональные связки; образование формул КЛВ............................
6.3. Истинностная функция пропозициональных связок. Табличное определение истинности...............................................................................................
6.4. Виды и взаимоотношения формул и схем КЛВ..........................................
6.5. Схемы некоторых законов КЛВ....................................................................
6.6. Основные виды дедуктивных рассуждений, выраженные ЯКЛВ.............
Глава 7. Классическое исчисление высказываний...........................................
7.1. Логический смысл исчислений.....................................................................
7.2. Классическое натуральное исчисление высказываний. Правила вывода...
7.3. Выводы и доказательства..............................................................................
7.4. Эвристики натурального исчисления высказываний.................................
Глава 8. Язык и исчисление классической логики предикатов......................
8.1. Общая характеристика классической логики предикатов..........................
8.2. Язык классической логики предикатов........................................................
8.3. Запись имён и высказываний на ЯКЛП: термы и формулы.......................
8.4. Законы классической логики предикатов....................................................
8.5. Исчисление предикатов первого порядка....................................................
	Контрольные вопросы....................................................................................
	Варианты домашнего задания к разделу «Логика высказываний и предикатов»....……………………....................
	Список рекомендуемой литературы……………….................…................
ЧАСТЬ IV. ТЕОРИЯ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ.............
Введение................................................................................................................
Глава 9. Основы формализации рассуждений с правдоподобным следованием...........................................................................................................
9.1. Понятие о правдоподобном (вероятностном) рассуждении......................
9.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность....................................................................................................
9.3. Статистическая (апостериорная) вероятность.......................................................
9.4. Исчисление условной вероятности...............................................................
9.5. Принцип обратной дедукции........................................................................
Глава 10. Разновидности индукции...................................................................
10.1. Понятие индукции в традиционной и современной логике.....................
10.2. Классификация видов индукции по характеру следования.....................
10.3. Индуктивные методы установления причинных связей..........................
Глава 11.Умозаключения по аналогии. Гипотеза и гипотетико-дедуктивный метод...............................................................................................
11.1. Аналогия: виды, приёмы повышения степени вероятности....................
11.2. Гипотеза: виды, построение, этапы организации......................................
11.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод...............................................................................................
	Контрольные вопросы....................................................................................
	Варианты домашнего задания к разделу «Теория правдоподобных рассуждений»....……………………................
	Список рекомендуемой литературы……………….................…................
ЧАСТЬ V. ОСНОВЫ АРГУМЕНТАЦИОННОГО ПРОЦЕССА..............
Введение.................................................................................................................
Глава 12. Логические основы аргументации......……………...........………...
12.1. Основы теории аргументации.....................................................................
12.2. Состав аргументации. Структура аргументационного процесса….....…
12.3. Доказательство и опровержение в аргументации………………….........
12.4. Правила и логические ошибки в доказательстве и опровержении......…
Глава 13. Внелогическая составляющая аргументационного процесса.........
13.1. Спор и его виды……………………………………………………............
13.2. Тактика спора……………………………………………............................
13.3. Софистика. Уловки в полемике и эклектике…………………….............
	Контрольные вопросы....................................................................................
	Варианты домашнего задания к разделу «Основы аргументационного процесса»....……………………..................
	Список рекомендуемой литературы……………….................…................
Варианты комплексного задания для проведения итоговой аттестации...
Перечень основных символов классической формальной логики...........
Библиографический список..............................................................................

 

Редактор Т. А. Жирнова

ИД №06039 от 12.10.2001 г.

Свод. темплан 2005 г.

Подписано в печать 1.09.05. Формат 60´84 ¹/₁₆. Бум. офсетная.

Отпечатано на дупликаторе. Усл. печ. л. 11,5. Уч.-изд. л. 11,5.

Тираж 100 экз. Заказ №

^{_____________________________________________________________________________________________________________}

Издательство ОмГТУ. Омск, пр. Мира 11

Типография ОмГТУ