Логика и теория аргументации. Скачков А.С. - 69 стр.

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

                               Глава шестая

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

              6.1. Общая характеристика и особенности языка
                 классической логики высказываний (КЛВ)

   Логика высказываний, в отличие от рассмотренной выше силлогистики, отно-
сящейся к типу формализованных теорий, является содержательной теорий. В
теориях последнего типа дедукция не является необходимым элементом и в слу-
чае использования применяется лишь для связи некоторых отдельных положений
теории.
                                     69