Семинар 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.