Семинар 3. Классическая логика предикатов

Вопросы:

1. Язык классической логики предикатов.

2. Аналитические таблицы КЛП.

3. Основные законы КЛП.

Темы рефератов и докладов

Основные категории нелогических терминов естественного языка.

Разрешимость и неразрешимость логических теорий.

Литература

Бочаров В.А., Маркин В.И. Основы логики. — М., ФОРУМ-ИНФРА-М, 2005.

Войшвилло Е.К., Дегтярёв М.Г. Логика. — М., ВЛАДОС-ПРЕСС, 2001.

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

Кириллов В.И., Старченко А.А. Логика. — М., Юристъ, 2005.

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

Арутюнова Н.Д. Предложение и его смысл. — М., 1976.

Арутюнова Н.Д. Типы языковых значений. — М., 1988.

Гильберт Д., Аккерман В. Основы теоретической логики. — М., 1947.

Карри Х.Б. Основания математической логики. — М., 1969.

Клини С. Математическая логика. — М., 1973.

Кэролл Льюис. Логическая игра. — М., 1991.

Павилёнис Р.И. Проблема смысла: современный логико-философский анализ языка. — М., 1983.

Степанов Ю.С. Имена. Предикаты. Предложения. — М., 1981.

Степанов Ю.С. В трехмерном пространстве языка. — М.. 1981.

Френкель А., Бар-Хиллел Й. Основания теории множеств. — М., 1966.

Чёрч А. Введение в математическую логику. — М., 1960.

Семинар 4. Силлогистика

Вопросы:

1. Классификация простых категорических высказываний.

2. Непосредственные умозаключения.

3. Простой категорический силлогизм.

4. Энтимемы и полисиллогизмы.

Темы рефератов и докладов

Виды простых высказываний.

Особые правила фигур простого категорического силлогизма.

Литература

Бочаров В.А., Маркин В.И. Основы логики. — М., ФОРУМ-ИНФРА-М, 2005.

Войшвилло Е.К., Дегтярёв М.Г. Логика. — М., ВЛАДОС-ПРЕСС, 2001.

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

Кириллов В.И., Старченко А.А. Логика. — М., Юристъ, 2005.

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

Аристотель Соб.Соч. в 4-х т., Т.2. – М., 1978.

Бочаров В.А. Аристотель и традиционная силлогистика. – М., 1984.

Гильберт Д., Аккерман В. Основы теоретической логики. — М., 1947.

Карри Х.Б. Основания математической логики. — М., 1969.

Клини С. Математическая логика. — М., 1973.

Кэролл Льюис. Логическая игра. — М., 1991.

Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. — М., 1975.

Маркин В.И. Силлогистические теории в современной логике. – М., 1991.

Тарский А. Введение в логику и методологию дедуктивных наук. — М., 1953.

Уёмов А.И. Логические ошибки. — М., 1957.

Френкель А., Бар-Хиллел Й. Основания теории множеств. — М., 1966.

Чёрч А. Введение в математическую логику. — М., 1960.

Семинар 5. Понятие

Вопросы:

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

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

3. Отношения между понятиями.

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

Темы рефератов и докладов

Понятие и слово.

Способы образования понятий.

Операции с объемами понятий.

Литература

Бочаров В.А., Маркин В.И. Основы логики. — М., ФОРУМ-ИНФРА-М, 2005.

Войшвилло Е.К., Дегтярёв М.Г. Логика. — М., ВЛАДОС-ПРЕСС, 2001.

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

Кириллов В.И., Старченко А.А. Логика. — М., Юристъ, 2005.

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

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

Кубрякова Е.С. Номинативный аспект речевой деятельности. — М., 1986.

Лайонз Дж. Введение в теоретическую лингвистику. — М., 1978.

Павилёнис Р.И. Проблема смысла: Современный логико-философский анализ языка. — М., 1983.

Степанов Ю.С. Имена. Предикаты. Предложения. — М., 1981.

Тарский А. Введение в логику и методологию дедуктивных наук. — М., 1953.

Тондл Л. Проблемы семантики. — М., 1975.

Фреге Г. Мысль: логическое исследование. // Философия. Логика. Язык. — М., 1987.

Фреге Г. Логика и логическая семантика. — М., 2001.

Френкель А., Бар-Хиллел Й. Основания теории множеств. — М., 1966.

Хомский Н. Язык и мышление. — М., 1972.

Чейф У.Л. Значение и структура языка. — М.,1975.

Семинар 6. Определение

Вопросы:

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

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

3. Неявные определения.

Темы рефератов и докладов

Определение, описание, характеристика.

Значение определений в науке и юриспруденции.

Ошибки, возможные в определении.

Литература

Бочаров В.А., Маркин В.И. Основы логики. — М., ФОРУМ-ИНФРА-М, 2005.

Войшвилло Е.К., Дегтярёв М.Г. Логика. — М., ВЛАДОС-ПРЕСС, 2001.

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

Кириллов В.И., Старченко А.А. Логика. — М., Юристъ, 2005.

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

Арутюнова Н.Д. Предложение и его смысл. — М., 1976.

Вригт Г.Х. Логико-философские исследования. — М., 1986.

Гильберт Д., Аккерман В. Основы теоретической логики. — М., 1947.

Горский Д.П. Определение. — М., 1985.

Кэролл Льюис. История с узелками. — М., 1975.

Кэролл Льюис. Логическая игра. — М., 1991.

Павилёнис Р.И. Проблема смысла: Современный логико-философский анализ языка. — М., 1983.

Степанов Ю.С. Имена. Предикаты. Предложения. — М., 1981.

Степанов Ю.С. В трехмерном пространстве языка. — М., 1981.

Тарский А. Введение в логику и методологию дедуктивных наук. — М., 1953.

Уёмов А.И. Логические ошибки. — М., 1957.

Фреге Г. Логика и логическая семантика. — М., 2001.

Хинтикка Я. Логико-эпистемологические исследования. — М., 1980.

Чёрч А. Введение в математическую логику. — М., 1960.

Семинар 7. Правдоподобные рассуждения

Вопросы:

1. Понятие вероятности.

2. Индуктивные умозаключения.

3. Умозаключения по аналогии.

4. Методы установления причинных зависимостей.

Темы рефератов и докладов

Классическая и статистическая вероятность.

Обобщающая индукция.

Понятие о причинной зависимости.

Литература

Бочаров В.А., Маркин В.И. Основы логики. — М., ФОРУМ-ИНФРА-М, 2005.

Войшвилло Е.К., Дегтярёв М.Г. Логика. — М., ВЛАДОС-ПРЕСС, 2001.

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

Кириллов В.И., Старченко А.А. Логика. — М., Юристъ, 2005.

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

Кайберг Г. Вероятностная и индуктивная логика. — М., 1978.

Лебедев С.А. Индукция как метод научного познания. – М., 1980.

Лихтенберг Б.Л. Вероятностная парадоксальность индуктивной логики Р.Карнапа и Я.Хинтикки. Методы логического анализа. — М., 1977.

Меськов В.А.С. Логика квантовой механики. — М., 1984.

Поппер К. Логика и рост научного знания. — М., 1983.

Уёмов А.И. Логические ошибки. — М., 1957.

Штофф В.А. Моделирование и философия. — М., 1966.

 

ТЕМЫ, ВЫНОСИМЫЕ НА САМОСТОЯТЕЛЬНОЕ ИЗУЧЕНИЕ

ТЕОРИЯ ДЕДУКТИВНЫХ РАССУЖДЕНИЙ.

Дедукция как способ теоретического познания. Деление теорий на содержательные, формализованные и формальные. Исчисления как особая разновидность формальных теорий. Исчисление высказываний и исчисление предикатов первого порядка. Формулировка правил вывода натурального исчисления высказываний. Определение вывода и определение доказательства. Эвристические приемы: прямые и косвенные выводы. Кванторные правила вывода в исчислении предикатов первого порядка. Завершенный вывод и завершенное доказательство в исчислении предикатов первого порядка.

Вопросы для контроля:

1. В чем отличие натуральных исчислений высказываний и предикатов от классической логики высказываний и классической логики предикатов?

2. Как осуществляется доказательство теорем в натуральном исчислении высказываний?

3. Как осуществляется доказательство теорем в натуральном исчислении предикатов?

Рекомендуемая литература

Основная:

Бочаров В.А., Маркин В.И. Основы логики. — М., 2002.

Войшвилло Е.К., Дегтярёв М.Г. Логика. — М., 1999.

Зегет В. Элементарная логика. — М., 1985.

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

Ивлев Ю.В. Логика. — М., 1998.

Кириллов В.И., Старченко А.А. Логика. — М., 2002.

Свинцов В.И. Логика. — М., 1987.

Формальная логика – Л.,1977.

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

Гильберт Д., Аккерман В. Основы теоретической логики. — М., 1947.

Карри Х.Б. Основания математической логики. — М., 1969.

Клини С. Математическая логика. — М., 1973.

Кэролл Льюис. Логическая игра. — М., 1991.

Степанов Ю.С. Имена. Предикаты. Предложения. — М., 1981.

Степанов Ю.С. В трехмерном пространстве языка. — М.. 1981.

Френкель А., Бар-Хиллел Й. Основания теории множеств. — М., 1966.

Чёрч А. Введение в математическую логику. — М., 1960.

ТЕМАТИКА РЕФЕРАТОВ

Основные этапы исторического развития логики.

Мышление как предмет логики и психологии.

Критерий правильности умозаключений.

Искусственные языки в современной логике.

Значение логики в правотворческой и правоприменительной деятельности.

Роль логики в формировании управленческих решений.

Логический смысл пропозициональных связок.

Значение условно-категорических умозаключений для подтверждения и опровержения научных гипотез.

Состав и способы аргументации.

Виды простых высказываний.

Особые правила фигур простого категорического силлогизма.

Понятие и слово.

Способы образования понятий.

Операции с объемами понятий.

Определение, описание, характеристика.

Значение определений в науке и юриспруденции.

Ошибки, возможные в определении.

Классическая и статистическая вероятность.

Обобщающая индукция.

Понятие о причинной зависимости.

 

 

СПИСОК ВОПРОСОВ ДЛЯ ПОДГОТОВКИ К ЗАЧЕТУ

1. Основные формы рационального познания как предмет логики.

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

3. Логические законы и логические теории.

4. Логика и язык.

5. Сложные высказывания, их виды.

6. Условия истинности сложных высказываний.

7. Таблицы истинности классической логики высказываний.

8. Условные и условно-категорические умозаключения.

9. Разделительно-категорические умозаключения.

10. Условно-разделительные умозаключения.

11. Объединенная классификация простых категорических высказываний.

12. Условия истинности простых категорических высказываний.

13. Отношения между высказываниями по истинности.

14. Логический квадрат. Умозаключения по логическому квадрату.

15. Непосредственные умозаключения: превращение и обращение.

16. Непосредственные умозаключения: противопоставление предикату.

17. Состав простого категорического силлогизма, его фигуры и модусы.

18. Общие правила простого категорического силлогизма.

19. Энтимемы и полисиллогизмы.

20. Общая характеристика понятия, его объем и содержание.

21. Деление понятий по объемной характеристике.

22. Деление понятий по типу репрезентируемых предметов.

23. Деление понятий по содержательной характеристике.

24. Операции с объемами понятий: объединение и пересечение.

25. Операции с объемами понятий: вычитание и дополнение.

26. Типы совместимости понятий.

27. Типы несовместимости понятий.

28. Операции обобщения и ограничения понятий.

29. Операция деления понятия. Правила деления.

30. Классификация. Виды классификаций.

31. Определение. Требования, предъявляемые к определениям.

32. Явное определение, его виды.

33. Логическое и правдоподобное следование. Вероятность.

34. Индуктивные умозаключения: нестатистическая индукция.

35. Индуктивные умозаключения: статистическая индукция.

36. Метод сходства и метод сопутствующих изменений.

37. Метод различия и совместный метод сходства и различия.

38. Умозаключения по аналогии.

39. Состав аргументации: тезис, аргументы, форма доказательства.

40. Непрямые способы аргументации: рассуждения по правилу дедукции и от противного.

41. Непрямые способы аргументации: рассуждения сведением к абсурду и перебором случаев.