Литература

Основная

1. Брюшинкин В. Н. Практический курс логики для гуманитариев. М., 1996. С. 106–175.

2. Войшвилло Е. К. Дегтярев М. Г. Логика. М., 1998. С. 277–333.

3. Кириллов В. И., Старченко А. А. Логика. М., 1999. С. 63–108.

4. Светлов В. А. Практическая логика. СПб., 1995. С. 66–113.

5. Светлов В. А. Практическая логика. СПб., 1997. С. 75–127.

6. Фатиев Н. И. Логика. СПб., 1994. С. 19–62. А также новые издания: 2002, 2006.

Дополнительная

1. Аристотель. Об истолковании // Соч.: В 4 т. М., 1976. Т. 2.

2. Ивин А. А. Практическая логика. Задачи и упражнения. М., 1996.

3. Кириллов В. И. Упражнения по логике. М., 1997.

4. Фатиев Н. И. Возможные миры в философии и логике. Иркутск, 1983.

 

Тема 4. Основные формально-логические законы

Требования к мышлению, предъявляемые логикой.

Закон тождества. Последовательность человеческого мышления. Ошибки в рассуждениях, связанные с нарушением закона тождества.

Закон противоречия. Непротиворечивость и человеческое мышление. Ошибки в рассуждениях, связанные с нарушением закона противоречия.

Закон исключенного третьего. Определенность в человеческом мышлении. Характер нарушений и границы применения закона исключенного третьего. Закон достаточного основания. Обоснованность выводов в человеческом мышлении. Характер нарушений требований закона достаточного основания.

Литература

Основная

1. Брюшинкин В. Н. Практический курс логики для гуманитариев. М., 1996. С. 157–175.

2. Войшвилло Е. К. Дегтярев М. Г. Логика. М., 1998. С. 27–33.

3. Кириллов В. И., Старченко А. А. Логика. М., 1999. С. 12–18.

4. Светлов В. А. Практическая логика. СПб., 1995. С. 8–21.

5. Светлов В. А. Практическая логика. СПб., 1997. С. 12–24.

6. Фатиев Н. И. Логика. СПб., 1994. С. 62–72. А также новые издания: 2002, 2006. 

Дополнительная

1. Ивин А. А. Практическая логика. Задачи и упражнения. М., 1996.

2. Кириллов В. И. Упражнения по логике. М., 1997.

 

Тема 5. Умозаключение (I вариант)

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

Дедуктивные умозаключения. Определение и структура дедуктивного умозаключения. Дедуктивные умозаключения с одной, двумя и более посылками. Дедукция как общая теория вывода необходимых следствий из известных (истинных) посылок.

Решение дедуктивных умозаключений с одной посылкой. Понятие (семантической) информации, сообщаемой простым (общеутвердительным, общеотрицательным, частноутвердительным и частноотрицательным) суждением. Дерево простого суждения. Означенное дерево и его виды — прямое, обратное и обратно–противоположное. Приведение посылок к нормальной форме. Правила маркировки и правила вывода общих и частных заключений.

Решение дедуктивных умозаключений с двумя посылками. Силлогистика Аристотеля как исторически первая теория дедуктивных умозаключений с двумя посылками. Понятие простого силлогизма. Функции среднего (исключаемого термина. Силлогистическое дерево и его виды. Правила маркировки и вывода общих и частных заключений.

Решение дедуктивных умозаключений с тремя и более посылками. Понятие сложного силлогизма. Дерево сложного силлогизма и его виды — прямое и обратно–противоположное. Правила маркировки и вывода общих и частных заключений.

Восстановление пропущенных посылок в дедуктивных умозаключениях. Правила построения деревьев и вывода пропущенных посылок.

Понятие дедуктивного доказательства и опровержения. Логическое следование заключения из посылок и истинность посылок как необходимые и вместе достаточные условия дедуктивного доказательства и опровержения. Структура дедуктивного доказательства и опровержения: понятие тезиса, аргументов и демонстрации. Требования к тезису, аргументам и демонстрации. Виды дедуктивного доказательства и дедуктивного опровержения. Типичные ситуации дедуктивного доказательства и опровержения.

Недедуктивные умозаключения. Определение недедуктивного умозаключения. Структура недедуктивного умозаключения и его основные виды — индукция и аналогия.

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

Понятие недедуктивного доказательства и опровержения. Методы выявления причинной связи Дж. С. Милля, обратная дедукция С. Джевонса, метод испытания гипотез У. Уэвелла, “дедуктивный метод” Ш. Холмса, абдукция Ч. Пирса, обратная (индуктивная) вероятность Т. Байеса.

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