- •А.С. Скачков
- •Предисловие
- •Часть III логика высказываний и предикатов Введение
- •Тема седьмая классическая логика высказываний
- •§7.1. Общая характеристика и особенности языка классической логики высказываний (клв)
- •§7.2. Пропозициональные связки; образование формул клв
- •§7.3. Истинностная функция пропозициональных связок, табличное определение истинности
- •§7.4. Виды и взаимоотношения формул и схем клв
- •§7.5. Схемы некоторых законов клв
- •7.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •Тема восьмая классическое исчисление высказываний
- •§8.1. Логический смысл исчислений
- •§8.2. Классическое натуральное исчисление высказываний. Правила вывода
- •А, в ________ . А в
- •§8.3. Выводы и доказательства
- •§8.4. Эвристики натурального исчисления высказываний
- •Тема девятая язык и исчисление классической логики предикатов
- •§9.1. Общая характеристика классической логики предикатов
- •§9.2. Язык классической логики предикатов
- •§9.3. Запись имён и высказываний на яклп: термы и формулы
- •§9.4. Законы классической логики предикатов
- •§9.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Часть IV теория правдоподобных рассуждений Введение
- •Тема десятая основы формализации рассуждений с правдоподобным следованием
- •§10.1. Понятие о правдоподобном (вероятностном) рассуждении
- •§10.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •§10.3. Статистическая (апостериорная) вероятность
- •§10.4. Исчисление условной вероятности
- •§10.5. Принцип обратной дедукции
- •Тема одиннадцатая разновидности индукции
- •§11.1. Понятие индукции в традиционной и современной логике
- •§11.2. Классификация видов индукции по характеру следования
- •§11.3. Индуктивные методы установления причинных связей
- •Тема двенадцатая умозаключения по аналогии, гипотеза и гипотетико-дедуктивный метод
- •§12.1. Аналогия: виды, приёмы повышения степени вероятности
- •§12.2. Гипотеза: виды, построение, этапы организации
- •§12.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Часть V основы аргументационного процесса Введение
- •Тема тринадцатая логические основы аргументации
- •§13.1. Основы теории аргументации
- •§13.2. Состав аргументации. Структура аргументационного процесса
- •§13.3. Доказательство и опровержение в аргументации
- •§13.4. Правила и логические ошибки в доказательстве и опровержении
- •Тема четырнадцатая внелогическая составляющая аргументационного процесса
- •§14.1. Спор и его виды
- •§14.2. Тактика спора
- •§14.3. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
МИНОБРНАУКИ РОСИИ
_________
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Омский государственный технический университет»
_________________________________________________________________________
А.С. Скачков
ЛОГИКА И ТЕОРИЯ АРГУМЕНТАЦИИ:
II.
Логика высказываний и предикатов, теория правдоподобных рассуждений, основы аргументационного процесса
Учебное пособие
Омск
Издательство ОмГТУ
2012
УДК
ББК
С42
Рецензенты:
И.А. Бондаренко, д-р филос. наук, проф. кафедры философии
Омского государственного университета;
В.В. Николин, д-р филос. наук, проф. кафедры философии
Омского государственного педагогического университета
Скачков А.С.
С42 Логика и теория аргументации : II. Логика высказываний и предикатов, теория правдоподобных рассуждений, основы аргументационного процесса : Учеб. пособие. — Омск : Изд-во ОмГТУ, 2012. — с.
Учебное пособие «Логика и теория аргументации : II. Логика высказываний и предикатов, теория правдоподобных рассуждений, основы аргументационного процесса» является вторым, заключительным блоком авторского переиздания исправленной, расширенной, дополненной и подразделённой на 2-а блока в связи с учебными и организационными требованиями и задачами, предъявляемыми к студентам, изучающим дисциплину «Логика и теория аргументации», работы «Логика и теория аргументации : Учеб. пособие», изданной ОмГТУ в 2005 году. Данное пособие может быть так же рекомендовано для дополнительного чтения по курсу «Философия» студентам, интересующимся теорией и методологией познания.
Печатается по решению редакционно-издательского совета Омского государственного технического университета.
УДК
ББК
© А.С. Скачков, 2012
© Омский государственный
технический университет, 2012
Предисловие
В данном 2-м блоке учебного пособия «Логика и теория аргументации» рассмотрены три, включающие восемь тем, раздела: «Логика высказываний и предикатов» (3-и учебных темы); «Теория правдоподобных рассуждений» (3-е темы); «Основы аргументационного процесса» (2-е темы). В отношении их изучения предъявляются те же требования, действуют те же методические рекомендации, что зафиксированы в «Предисловии» к предыдущему 1-у блоку учебного пособия, а именно: «Логика и теория аргументации : I. Предмет, основные понятия, разновидности логики и силлогистическая теория дедуктивных рассуждений». Структурные и содержательные параметры данного блока также в целом идентичны структурным и содержательным параметрам предыдущего блока. Так, например, библиографический список данного блока представлен работами не только общего характера, но и специальными, напрямую обращёнными именно к содержанию являющихся существенно разными конкретных разделов, тем и подтем, что прямо аналогично библиографическому списку 1-го блока. Единственным небольшим структурным отличием от предыдущего блока пособия в данном блоке является текст справочного характера, а именно: «Перечень основных символов классической формальной логики».
Часть III логика высказываний и предикатов Введение
В данном разделе рассматриваются основные содержательные теории математической логики: классическая логика высказываний и классическая логика предикатов, аппарат которых был частично затронут (в большей степени в связи с анализом логических форм и прежде всего — дедуктивных умозаключений) в предыдущих разделах. Подобного рода теории требуют сугубо символического описания, поэтому их изучение необходимо начинать с освоения алфавита и языка, наиболее простой вариант которых представлен в классической логике высказываний. И классическая логика высказываний и классическая логика предикатов, использующие специфические алфавиты и языки, требуют прежде всего выработки умения осуществлять правильные записи высказывательных форм естественного языка (строить формулы высказываний и термы имён). Такие записи позволяют строго логически выявлять смыслы каких угодно высказывательных форм, избегая неточностей при дальнейшем оперировании с ними. Формулы данных логических теорий могут фиксировать как рассуждения с логическим следованием от посылок к заключению, так и нарушения законов логики и логически недетерминированные высказывания. Важнейшей задачей поэтому является освоение процедур выявления логической сути следования от одних суждений в рассуждении к другим. Для определения истинностных значений формул в классической логике высказываний применяется табличный метод, использование которого в дальнейшем будет распространено и на вероятностные рассуждения. Использование метода истинностных таблиц позволяет осуществить формализованное описание истинностной функции пропозициональных связок, а также исчислять значения «истина» и «ложь» любой формулы классической логики высказывний. Данный метод позволяет практически решать задачу определения вида формулы, выделить те из формул, что являются логическими законами, определять логические отношения между формулами. Следует запомнить и применять в аргументировании тождественно-истинные формулы, фиксирующие основные виды дедуктивных рассуждений. Построение формул и термов в классической логике предикатов так же необходимо для выявления законов логики, отношений между формулами, что осуществляется на более глубоком, чем в классической логике высказываний, уровне анализа. Оперирование же логическими формами в чистом виде является задачей, которая решается в ходе исчисления высказываний и предикатов. Умение выполнять такую задачу означает, что обучаемый освоил систему законов классической логики высказываний и предикатов и умеет эвристически использовать некоторые из них в виде специальных правил исчислений, т. е. умеет на уровне оперирования логическими формами строить обоснования и доказательства. Поскольку же процесс исчисления может быть при выработавшихся навыках абстрагирования от содержания обращён к конкретным содержательным рассуждениям, то умение исчислять высказывания и предикаты становится базой для понимания процедур доказательства и опровержения, рассматриваемых в следующем учебном разделе.