Перечень основных символов классической формальной логики
· 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. Берков В.Ф. Логика [Текст] : учеб. для вузов / В. Ф. Берков, Я. С. Яскевич, В. И. Павлюкевич. — 8-е изд. — Мн. : ТетраСистемс, 2006. — 412 с.
2. Бочаров В.А. Основы логики [Текст] / В. А. Бочаров, В. И. Маркин. — М. : Форум : ИНФРА-М, 2009. — 334 с.
3. Брюшинкин В.Н. Логика [Текст] : Учеб. для гуманитар. вузов и фак., изучающих логику / В. Н. Брюшинкин. — 3-е изд. — М. : Гардарики, 2001. — 334 с.
4. Гетманова А.Д. Логика. Углубленный курс [Текст] : учеб. пособие для вузов / А. Д. Гетманова, 2008. — 191 с.
5. Зайцев Д.В. Теория и практика аргументации [Текст] : учеб. пособие для вузов / Д. В. Зайцев. — М. : Форум, 2010. — 223 с.
6. Ивин А.А. Практическая логика [Текст] : учеб. пособие / А. А. Ивин. — М. : Изд.-торг. дом ГРАНД: ФАИР-пресс, 2002. — 288 с.
7. Ивин А.А. Современная логика [Текст] / А. А. Ивин. — Фрязино : ВЕК 2, 2009. — 381 с.
8. Ивин А.А. Теория аргументации [Текст] : учеб. пособие для вузов / А.А. Ивин. — М. : Гардарики, 2000. — 414 с.
9. Колмогоров А.Н. Математическая логика [Текст] / А. Н. Колмогоров, А. Г. Драгалин. — 3-е изд. — М. : КомКнига. 2006. — 240 с.
10. Поварнин С.И. Спор : о теории и практике спора [Текст] / С. И. Поварнин. — 3-е изд. — Москва : Флинта : Наука, 2009. — 116 с.
11. Рузавин Г.И. Основы логики и аргументации [Текст] : учеб. пособие для студ. высш. учеб. завед. гуманитарно-социальных спец. / Г. И. Рузавин. — М. : ЮНИТИ, 2007. — 320 с.
12. Хоменко И.В. Логика. Теория и практика аргументации [Текст] : учеб. для вузов / И. В. Хоменко. — М. : Юрайт, 2010. — 314 с.
ОГЛАВЛЕНИЕ
| ПРЕДИСЛОВИЕ....................................................................................................... | ||
| Часть III. ЛОГИКА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ........................... | ||
| Введение...................................................................................................................... | ||
| Тема 7. Классическая логика высказываний.......................................................... | ||
| §7.1. Общая характеристика и особенности языка классической логики высказываний (КЛВ)............................................................................................................ | ||
| §7.2. Пропозициональные связки; образование формул КЛВ............................... | ||
| §7.3. Истинностная функция пропозициональных связок, табличное определение истинности....................................................................................................... | ||
| §7.4. Виды и взаимоотношения формул и схем КЛВ............................................. | ||
| §7.5. Схемы некоторых законов КЛВ....................................................................... | ||
| §7.6. Основные виды дедуктивных рассуждений, выраженные ЯКЛВ................ | ||
| Тема 8. Классическое исчисление высказываний.................................................. | ||
| §8.1. Логический смысл исчислений........................................................................ | ||
| §8.2. Классическое натуральное исчисление высказываний. Правила вывода…. | ||
| §8.3. Выводы и доказательства................................................................................. | ||
| §8.4. Эвристики натурального исчисления высказываний.................................... | ||
| Тема 9. Язык и исчисление классической логики предикатов............................. | ||
| §9.1. Общая характеристика классической логики предикатов............................ | ||
| §9.2. Язык классической логики предикатов.......................................................... | ||
| §9.3. Запись имён и высказываний на ЯКЛП: термы и формулы.......................... | ||
| §9.4. Законы классической логики предикатов....................................................... | ||
| §9.5. Исчисление предикатов первого порядка....................................................... | ||
| Контрольные вопросы........................................................................................ | ||
| Часть IV. ТЕОРИЯ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ..................... | ||
| Введение...................................................................................................................... | ||
| Тема 10. Основы формализации рассуждений с правдоподобным следованием.................................................................................................................................. | ||
| §10.1. Понятие о правдоподобном (вероятностном) рассуждении....................... | ||
| §10.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность......................................................................................................... | ||
| §10.3. Статистическая (апостериорная) вероятность........................................................ | ||
| §10.4. Исчисление условной вероятности................................................................ | ||
| §10.5. Принцип обратной дедукции......................................................................... | ||
| Тема 11. Разновидности индукции.......................................................................... | ||
| §11.1. Понятие индукции в традиционной и современной логике........................ | ||
| §11.2. Классификация видов индукции по характеру следования........................ | ||
| §11.3. Индуктивные методы установления причинных связей............................. | ||
| Тема 12.Умозаключения по аналогии. Гипотеза и гипотетико-дедуктивный метод............................................................................................... | ||
| §12.1. Аналогия: виды, приёмы повышения степени вероятности....................... | ||
| §12.2. Гипотеза: виды, построение, этапы организации......................................... | ||
| §12.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод.................................................................................................... | ||
| Контрольные вопросы........................................................................................ | ||
| Часть V. ОСНОВЫ АРГУМЕНТАЦИОННОГО ПРОЦЕССА..................... | ||
| Введение...................................................................................................................... | ||
| Тема 13. Логические основы аргументации......…………….….............………... | ||
| §13.1. Основы теории аргументации........................................................................ | ||
| §13.2. Состав аргументации. Структура аргументационного процесса……...… | ||
| §13.3. Доказательство и опровержение в аргументации…………..…….............. | ||
| §13.4. Правила и логические ошибки в доказательстве и опровержении........… | ||
| Тема 14. Внелогическая составляющая аргументационного процесса................ | ||
| §14.1. Спор и его виды……………..……………………………………................. | ||
| §14.2. Тактика спора……………..……………………………................................. | ||
| §14.3. Софистика. Уловки в полемике и эклектике……………............................ | ||
| Контрольные вопросы......................................................................................... | ||
| Перечень основных символов классической формальной логики................ | ||
| Библиографический список................................................................................... |
Редактор
ИД № от .10.2012 г.
Свод. темплан 2012 г.
Подписано в печать .10.2012. Формат 60´84 1/16. Бум. офсетная.
Отпечатано на дупликаторе. Усл. печ. л. . Уч.-изд. л..
Тираж экз. Заказ №
_____________________________________________________________________________________________________________
Издательство ОмГТУ. Омск, пр. Мира 11
Типография ОмГТУ
[1]Рассел Б. История западной философии. В 3 кн. [Текст] / Б. Рассел. — Новосибирск : Изд-во Новосиб. ун-та, 1999. — с. 506.