Перечень основных символов классической формальной логики

· 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 ¹/₁₆. Бум. офсетная.

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

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

^{_____________________________________________}

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

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

[1]Рассел Б. История западной философии. В 3 кн. [Текст] / Б. Рассел. — Новосибирск: Изд-во Новосиб. ун-та, 1999. — с. 506.