Классическая логика высказываний

А.С. Скачков

ЛОГИКА И ТЕОРИЯ АРГУМЕНТАЦИИ:

II.

Логика высказываний и предикатов, теория правдоподобных рассуждений, основы аргументационного процесса

Учебное пособие

Омск

Издательство ОмГТУ

УДК

ББК

С42

Рецензенты:

И.А. Бондаренко, д-р филос. наук, проф. кафедры философии

Омского государственного университета;

В.В. Николин, д-р филос. наук, проф. кафедры философии

Омского государственного педагогического университета

Скачков А.С.

С42 Логика и теория аргументации: II. Логика высказываний и предикатов, теория правдоподобных рассуждений, основы аргументационного процесса: Учеб. пособие. — Омск: Изд-во ОмГТУ, 2012. — с.

Учебное пособие «Логика и теория аргументации: II. Логика высказываний и предикатов, теория правдоподобных рассуждений, основы аргументационного процесса» является вторым, заключительным блоком авторского переиздания исправленной, расширенной, дополненной и подразделённой на 2-а блока в связи с учебными и организационными требованиями и задачами, предъявляемыми к студентам, изучающим дисциплину «Логика и теория аргументации», работы «Логика и теория аргументации: Учеб. пособие», изданной ОмГТУ в 2005 году. Данное пособие может быть так же рекомендовано для дополнительного чтения по курсу «Философия» студентам, интересующимся теорией и методологией познания.

Печатается по решению редакционно-издательского совета Омского государственного технического университета.

УДК

ББК

технический университет, 2012

ПРЕДИСЛОВИЕ

В данном 2-м блоке учебного пособия «Логика и теория аргументации» рассмотрены три, включающие восемь тем, раздела: «Логика высказываний и предикатов» (3-и учебных темы); «Теория правдоподобных рассуждений» (3-е темы); «Основы аргументационного процесса» (2-е темы). В отношении их изучения предъявляются те же требования, действуют те же методические рекомендации, что зафиксированы в «Предисловии» к предыдущему 1-у блоку учебного пособия, а именно: «Логика и теория аргументации: I. Предмет, основные понятия, разновидности логики и силлогистическая теория дедуктивных рассуждений». Структурные и содержательные параметры данного блока также в целом идентичны структурным и содержательным параметрам предыдущего блока. Так, например, библиографический список данного блока представлен работами не только общего характера, но и специальными, напрямую обращёнными именно к содержанию являющихся существенно разными конкретных разделов, тем и подтем, что прямо аналогично библиографическому списку 1-го блока. Единственным небольшим структурным отличием от предыдущего блока пособия в данном блоке является текст справочного характера, а именно: «Перечень основных символов классической формальной логики».

ЧАСТЬ III

ЛОГИКА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ

Введение

В данном разделе рассматриваются основные содержательные теории математической логики: классическая логика высказываний и классическая логика предикатов, аппарат которых был частично затронут (в большей степени в связи с анализом логических форм и прежде всего — дедуктивных умозаключений) в предыдущих разделах. Подобного рода теории требуют сугубо символического описания, поэтому их изучение необходимо начинать с освоения алфавита и языка, наиболее простой вариант которых представлен в классической логике высказываний. И классическая логика высказываний и классическая логика предикатов, использующие специфические алфавиты и языки, требуют прежде всего выработки умения осуществлять правильные записи высказывательных форм естественного языка (строить формулы высказываний и термы имён). Такие записи позволяют строго логически выявлять смыслы каких угодно высказывательных форм, избегая неточностей при дальнейшем оперировании с ними. Формулы данных логических теорий могут фиксировать как рассуждения с логическим следованием от посылок к заключению, так и нарушения законов логики и логически недетерминированные высказывания. Важнейшей задачей поэтому является освоение процедур выявления логической сути следования от одних суждений в рассуждении к другим. Для определения истинностных значений формул в классической логике высказываний применяется табличный метод, использование которого в дальнейшем будет распространено и на вероятностные рассуждения. Использование метода истинностных таблиц позволяет осуществить формализованное описание истинностной функции пропозициональных связок, а также исчислять значения «истина» и «ложь» любой формулы классической логики высказывний. Данный метод позволяет практически решать задачу определения вида формулы, выделить те из формул, что являются логическими законами, определять логические отношения между формулами. Следует запомнить и применять в аргументировании тождественно-истинные формулы, фиксирующие основные виды дедуктивных рассуждений. Построение формул и термов в классической логике предикатов так же необходимо для выявления законов логики, отношений между формулами, что осуществляется на более глубоком, чем в классической логике высказываний, уровне анализа. Оперирование же логическими формами в чистом виде является задачей, которая решается в ходе исчисления высказываний и предикатов. Умение выполнять такую задачу означает, что обучаемый освоил систему законов классической логики высказываний и предикатов и умеет эвристически использовать некоторые из них в виде специальных правил исчислений, т. е. умеет на уровне оперирования логическими формами строить обоснования и доказательства. Поскольку же процесс исчисления может быть при выработавшихся навыках абстрагирования от содержания обращён к конкретным содержательным рассуждениям, то умение исчислять высказывания и предикаты становится базой для понимания процедур доказательства и опровержения, рассматриваемых в следующем учебном разделе.

Тема седьмая

КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ