Логические основы теории аргументации.

 

Доказательство как логико-методологическая форма научного познания. Структура доказательства: тезис, аргумент, демонстрация. Опровержение как логико-методологическая форма научной критики.

Виды доказательства: прямое и косвенное. Прямое доказательство. Косвенное доказательство: а) доказательство от противного (апогогическое),доказательство через исключение альтернатив (отрицающе-утверждающий способ рассу:ждения в разделительно-категорическом умозаключении). Вида опровержения: прямое и косвенное. Косвенное - опровержение путем сведения к абсурду.

Требования к тезису: тезис должен нуждаться в доказательстве, тезис должен быть ясен (после всех уточнений тезис не должен изменяться).

Тезис и вид суждения. Тезис, выраженный общим суждением, легко опровергается, но трудно доказывается. Тезис, выраженный частным суждением, тяжело опровергать, но легко доказывать. Требования к тезису, выраженного сложным суждением. Возможные эквивалентные преобразования тезиса, выраженного сложный суждением. Тезис и модальность суждения. Логические ошибки в отношении тезиса: потеря тезис, подмена тезиса (полная или частичная).

Требования к аргументам: аргументы должны быть истинными утверждениями (в силу соответствия фактам или как прежде доказанным положения), независимость обоснования аргументов от тезиса, совокупность аргументов должна быть непротиворечивой, совокупность аргументов должна быть достаточной для вывода тезиса. Логические ошибки в отношении аргумента: ложный аргумент, предвосхищение основания, противоречивые аргументы. Нелояльные аргументы, как разновидность ошибочных аргументов: аргумент к авторитету, аргумент к публике, аргумент к силе, жалости, тщеславию и др.

Требования к демонстрации: не нарушать правил вывода. Ошибки в демонстрации: логический круг, нарушение соответствующих правил вывода. Параллогизм, софизм.

Планы семинарских занятий(с указаниями к самостоятельной подготовке)

Понятие.(2 часа).

I.Общая характеристика понятий. Содержание и объем понятия. Виды понятий.

2. Вида отношений между понятиями.

3. Логические операции с понятиями. Обобщение и ограничение понятий.

4. Логическая операция деления понятий. Виды деления. Правила и возможные ошибки в делении понятий.

5. Логическая операция определения понятий. Правила определения и возможные ошибки в определениях понятий. Виды определений.

 

Литература.

1.Бочаров В.А., Маркин В.И. Основы логики. 1998 г. (2000, 2002)

2. Войшвилло Е.К. Понятие как форма мышления. М., 1989.

3. Горский Д.П. Определение. М. 1974.

4. Ивлев Ю.В. Логика. М., 2001.

5. Солодухин О. А. Логика. Ростов-на-Дону. Феникс.2000г.

 

ВОПРОСЫ ДЛЯ САМОПРОВЕРКИ

1. Общая характеристика понятий.

2. Виды понятий.

3. Операция ограничения, обобщения и деления понятий

4. Теоретико-познавательные характеристики определений.

5. Явные и неявные определения.

 

РЕКОМЕНДАЦИИ.

Лучше пользоваться книгой «Ивлев Ю.В. Логика», глава «Понятие». Практические навыки решения задач по этой теме рассматриваются в аудитории. Эта тема обычно не вызывает затруднений. Для более глубокого изучения темы "Понятие" рекомендуем изучить монографии: Войшвилло Е.К. Понятие как форма мышления. М., 1989., и Горский Д.П. Определение. М. 1974.

 

Классическая логика высказываний. Теория моделей(2 час).

1. Понятие формализованного языка. Формальный язык логики высказываний. Понятие формулы, подформулы.

2. Логические условия истинности высказываний. Таблицы истинности. Классификация формул по логическим условиям истинности.

3. Логические отношения между формулами по истинности и ложности. Понятие о функциональной полноте систем логических связок

4. Отношение логического следования. Корректные и надежные рассуждения.

5. Аналитические таблицы.

Литература

1. Бочаров В.А., Маркин В. И. Основы логики. М., 1994.Гл.3, §3.

2. Войшвилло Е.К. Символическая логика: классическая и релевантная М.,1987. Гл. 3, §4.

Литература

1. Бочаров В.А., Маркин В. И. Основы логики. М., 1994.Гл.3, §3.

2. Войшвилло Е.К. Символическая логика: классическая и релевантная М.,1987. Гл. 3, §4.

3. Солодухин О. А. Логика. Ростов-на-Дону. Феникс.2000г.Гл. 3

РЕКОМЕНДАЦИИ

В этой теме важно научиться пользоваться таблицами истинности и на основании этого усвоить классификацию формул по логическим условиям истинности, разобраться с понятием логического следования (лучше пользоваться учебником: Солодухин О. А. Логика. Ростов-на-Дону. Гл.3). Надо также усвоить метод аналитических таблиц(лучше по учебнику Бочаров В.А., Маркин В. И. Основы логики. М., 1994.Гл.3, §3.)

С практической точки зрения важно знать, как проверить, что данная формула является общезначимой (логическим законом) либо противоречивой, как проверить, что из данных посылок логически следует заключение? Метод аналитических таблиц - удобный инструмент для указанных проверок.

Надо изучить указанные параграфы из учебников, разобраться в примерах, в которых используется метод аналитических таблиц. Проверить себя на каком либо примере известной Вам общезначимой и противоречивой формулы.

ВОПРОСЫ ДЛЯ САМОПРОВЕРКИ.

1. Что значит утверждение: логика высказываний разрешима.

2. Что значит, что построение аналитической таблицы для анализируемой формулы покоится на рассуждении от противного?

3.Что такое правило редукции? Сформулируйте правила.

4.Укажите, применение, каких правил редукции расщепляет (разбивает) некоторый данный список формул на два подсписка формул?

5. Дайте определение аналитической таблицы.

6.Что значит, что данный подсписок формул замкнут?

7.Дайте определение понятие замкнутой аналитической таблицы.

8. Дайте определение общезначимой и противоречивой формулы в терминах понятия "замкнутая таблица".

9. Постройте аналитические таблицы для данных формул в предположении, что они необщезначимы: (А É (ВÉ С)) É (В É (А ÉС)), ((А É В)ÉА)ÉА, (А É В) É ((А & С) É(В &С)), (А ÉВ) É((А Ú С) É(В Ú С)).

10. Постройте аналитические таблицы для данных формул в предположении, что они не являются противоречивыми: (А É (ВÉ С)) & (В&Ø (А ÉС)),

((А É В)ÉА) &ØА, Ø ((А É В) É ((А & С) É(В &С))), (А ÉВ) & Ø ((А Ú С) É(В Ú С)).