ПРОГРАММЫ КУРСОВ ПО ЛОГИКЕ
для студентов отделения философии
факультета гуманитарных и социальных наук
РОССИЙСКИЙ УНИВЕРСИТЕТ ДРУЖБЫ НАРОДОВ
В.Б. П Е Т Р О В
ПРОГРАММЫ КУРСОВ ПО ЛОГИКЕ
для студентов отделения философии
факультета гуманитарных и социальных наук
МОСКВА
Издательство Российского Университета Дружбы Народов
1999
У Т В Е Р Ж Д Е Н О
РИС Ученого совета Российского
университета дружбы народов
Петров В.Б.
Программы курсов по логике для студентов отделения философии факультета
гуманитарных и социальных наук.
М.: Изд-во РУДН, 1999.-28 с.
Программа курса Логика рассчитана на 159 часов аудиторных занятий. Она
включает основные понятия логики, базовые
логические теории и обзор главных направлений развития современной логики.
Структура курса ориентирована как на методику чтения
лекций, так и на проведение семинарских занятий список литературы, рекомендованной
в рамках настоящей программы, содержит
соответствующие монографии по каждому разделу курса.
Программа нацелена на глубокое и всестороннее освещение логики как фундаментальной
для философского образования
теоретической дисциплины.
Программа курса Математическая логика рассчитана на 54 часа аудиторных
занятий.
Программа спецкурса индуктивная логика рассчитана на 51 час аудиторных
занятий.
Петров Василий Борисович - доцент кафедры онтологии и теории познания.
Основное направление научно-исследовательской
работы: логика и методология индукции. Подготовлено на кафедре онтологии
и теории познания. Ответственный редактор - профессор
В.М. Найдыш.
Издательство Российского университета дружбы народов 1998 г.
ИНДУКТИВНАЯ ЛОГИКА
(программа спецкурса)
Традиционное и современное понимание индукции
Критика индукции в методологии науки
Традиционная индукция
Логика подтверждения
Классическая интерпретации вероятности
Статистическая и субъективная интерпретация вероятности
Логическая интерпретация вероятности, индуктивная логика
Р. Карнапа
Финская школа индукции
Индуктивная логика Г. Рейхенбаха. Теория индукции И.
Леви
Гипотетико-дедуктивный и гипотетико-индуктивный
методы исследования
Индуктивная модальная логика
Индукция и немонотонные умозаключения
Индукция в нечеткой логике
Индуктивная логика как модель процесса познания
Научная теория и ее структура
Функции научной теории
Методы формирования научных понятий
ПРОБЛЕМЫ ИНДУКЦИИ В МЕТОДОЛОГИИ НАУКИ
Традиционное и современное понимание индукции. Индукция как логика и индукция
как метод. Методологический и логический
эмпиризм.
Критика причинности Д. Юмом. Распространение этой критики на индукцию.
Проблема обоснования индукции и проблема ее
оправдания.
Критика индукции К. Поппером. Метод проб и ошибок.
Глобальное и локальное оправдание. Основные условия для индукции: изменяемость
объекта исследования, существование
причинных зависимостей в области исследования, наличие объяснительной
модели или возможности ее построения.
ТРАДИЦИОННАЯ ИНДУКЦИЯ И УСЛОВИЯ ЕЕ ПРИМЕНЕНИЯ
Индукция как рассуждение от частного к общему. Обобщающая индукция. Полная
и неполная индукция. Популярная и научная
индукция.
Статистическая индукция. Приемы, повышающие правдоподобие заключения при
неполной и статистической индукции. Применение
статистической индукции в эмпирических исследованиях. Проблематичность
индуктивных заключений.
Аналогия как вид правдоподобных рассуждений. Аналогия свойств и аналогия
отношений. Научная и популярная аналогия.
Основные приемы, повышающие степень правдоподобия умозаключений по аналогии.
Аналогия как метод познания. Использование
аналогий при выдвижении гипотез.
Аналогия и моделирование. Виды моделей. Модели в науке.
Методы установления причинных связей Бэкона-Милля. Понятия причины и следствия
(действия), необходимого условия,
достаточного условия, необходимого и достаточного условия. Каузальные
и функциональные зависимости.
Метод сходства как метод нахождения достаточного условия. Возможности
применения этого метода.
Метод различия как метод нахождения необходимого условия, условия применения
этого метода. Наиболее сильные и наиболее
слабые необходимые условия и достаточные условия.
Объединенный метод сходства и различия как метод обнаружения необходимого
и достаточного условия.
Метод сопутствующих изменений как способ нахождения количественных соотношений
характеристик причины (условия) и
следствия (обусловленного явления). Условия применения этого метода.
Метод остатков и проблематичность его применения в эмпирических исследованиях.
Эвристическое значение методов
установления причинных связей.
СОВРЕМЕННЫЕ ТЕОРИИ ИНДУКЦИИ
Индукция как логика открытия и как логика подтверждения. Отношение подтверждения
между посылками (свидетельствами) и
заключением (гипотезой). Гипотеза как форма развития знания. Гипотезы
общие и частные, описательные и объяснительные.
Основные свойства отношения подтверждения и их взаимная совместимость.
Парадоксы подтверждения. Парадокс ворона,
парадокс идеального свидетельства. Степень подтверждения и условная вероятность.
Основные интерпретации понятия "вероятность":
классическая, статистическая, субъективная, логическая (индуктивная).
Классическая интерпретация вероятности. Понятия исхода, универсального
(полного) множества событий, невозможного события.
Принцип индифферентности. Аксиомы исчисления вероятностей. Границы применимости
классической интерпретации вероятностей.
Парадокс Бертрана.
Статистическая интерпретация вероятности. Эмпирические последовательности
событий. Проблема короткой последовательности.
Нулевая гипотеза. Ошибки первого и второго рода. Статистические правила
принятия и отвержения гипотез. Границы применимости
статистической интерпретации вероятности.
Субъективная интерпретация вероятности. Проблема когерентности степеней
уверенности субъекта. Переоценка вероятностей
событий в свете новых экспериментальных данных. Теорема Байеса. Границы
применимости субъективной интерпретации вероятности.
Логическая интерпретация вероятности. Логическое следование и логическая
несовместимость как крайние точки вероятностной
шкалы. Условная вероятность как частичное следование и как степень совместимости
двух утверждений. Построение индуктивной
логики как вероятностной.
Система индуктивной логики Р. Карнапа. Q-предикаты. Понятие описания состояния
и описания структуры. Функция подтверждения.
Априорная и апостериорная вероятность. Основные теоретические результаты:
нулевая подтверждаемость универсальных высказываний,
свободный методологический параметр и континуум индуктивных методов. Инструменталистская
трактовка научных законов.
Аксиоматизация индуктивной логики Р. Карнапа.
Финская школа индукции. Понятие конституэнты. Подтверждаемость универсальных
высказываний в индуктивной системе Я.
Хинтикки. Индуктивная логика как логика принятия. Критерии подтверждения
гипотез и критерии их принятия. Отвержение и
неотвержение гипотез. Парадоксы принятия.
Системы индуктивной логики, основанные на статистической интерпретации
вероятности. Индуктивная логика Г. Рейхенбаха.
Вероятность как предел относительной частоты. Критерий сходимости последовательности.
Теория индукции И. Леви. Понятия исходного фонового знания и множества
возможных ответов. Функции содержательной емкости
и эпистемической полезности гипотез. Правило принятия И. Леви.
Гипотетико-дедуктивный и гипотетико-индуктивный методы исследования. Конкурирующие
гипотезы. Эвристические правила
выдвижения гипотез. Зависимость гипотез от объяснительной модели и цели
исследования. Критерии обоснованности научных гипотез.
Роль экспериментов в проверке гипотез. Гипотезы ad hoc.
Индуктивная модальная логика. Пропозициональные индуктивные модальные
исчисления (аксиомы, правила, основные теоремы).
Семантика возможных миров и вероятностная семантика для индуктивной модальной
логики. Философская интерпретация индуктивных
модальностей.
Индукция и немонотонность вывода. Понятие о немонотонных логиках. Логики
умолчаний, немонотонные модальные логики, логики
очерчивания.
Правила вывода с умолчаниями. Нормальные и полунормальные умолчания. Умолчания
как правила выдвижения и как правила
принятия гипотез.
Индуктивные выводы в нечеткой логике. Понятия нечеткой информации и нечеткого
множества. Нечетко истинные, нечетко ложные
и нечетко близкие формулы. Правила нечеткого вывода как правила принятия
гипотез с низким пороговым значением. Лотерейный
парадокс в нечеткой логике. Нефальсифицируемость предпосылок правил нечеткого
вывода.
Индуктивная логика как модель процесса познания. Возможность построения
универсальной индуктивной логики. Отношение
индуцируемости как логическое отношение между высказываниями. Выдвижение,
подтверждение, опровержение и принятие гипотез как
логико-эпистемические процедуры. Связь этих процедур с отношением индуцируемости
и взаимосвязь в процессе исследования.
Аксиоматические индуктивные исчисления высказываний, базирующиеся на отношении
индуцируемости и их семантика.
ИНДУКТИВНАЯ ЛОГИКА КАК СРЕДСТВО АНАЛИЗА
НАУЧНЫХ ТЕОРИЙ
Методологическое значение индуктивной логики. Научная теория, ее структура.
Эмпирические и теоретические термины.
Формирование научных теорий.
Функции научных теорий: описание, объяснение и предсказание. Дедуктивно-номологическая
модель объяснения. Понятия
индуктивной и дедуктивной систематизации. Дилемма теоретика.
Анализ, синтез, абстрагирование, идеализация как методы формирования научных
понятий. Виды абстрагирования и анализа. Факты,
обобщения и законы. Эмпирические и теоретические законы. Рамсей-элиминация.
Интерпретация теоретических терминов.
Диспозиционные предикаты и частичные определения. Логическая и аналитическая
истинность.
ЛИТЕРАТУРА.
Основная:
1. Бочаров В.А., Маркин В.И. Основы логики. М., 1994
2. Войшвилло Е.К. Понятие как форма мышления. М., 1989
3. Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной
методологии. М., 1994
4. Ивлев Ю.В. Логика., М. 1992
5. Кайберг Г. Вероятность и индуктивная логика. М., 1978
6. Костюк В.Н. Элементы модальной логики. Киев, 1978
7. Светлов В.И. Современные индуктивные концепции. Л., 1988
8. Гемпель К.Г. Логика объяснения. М. 1998.
Дополнительная:
1. Берка К. Измерения. М., 1987
2. Вригт Г.-Х. Логические исследования. М., 1986
3. Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике.
М., 1991
4. Джини К. Логика в статистике. М. 1973
5. Иванов В.Г. Лезгина М.Л. Детерминация научного поиска. Л., 1978
6. Индуктивная логика и формирование научного знания. М., 1987
7. Исследования по логике научного познания. М., 1990
8. Ишмуратов А.Т. Логический анализ практических рассуждений. Киев, 1987
9. Лакатос И. Доказательства и опровержения. М., 1967
10. Логика и компьютер. М., 1990
11. Логический подход к искусственному интеллекту. М., 1990
12. Методология развития научного знания. М. 1982
13. Методы логического анализа. М., 1977
14. Модальные и интенсиональные логики и их применение к проблемам методологии
науки. М., 1984
15. Поппер К.Р. Логика и рост научного знания. М., 1983
16. Рузавин Г.И. Научная теория: логико-методологический анализ. М., 1978
17. Смирнов В.А. Логические методы анализа научного знания. М., 1987
18. Хинтикка Я. Логико-эпистемологические исследования. М., 1980
19. Целищев В.В. Логическая истина и эмпиризм. Новосибирск, 1974
