Бакалаврская программа №520400 Кафедра Онтологии и теории познания Направление : Социология Дисциплина : Символическая логика Кредит

Вид материалаПрограмма

Содержание


Условия и критерии выставления оценок: 4
Бочаров В.А., Маркин В.И.
Костюк В.Н.
Вригт Г.-Х.
Методы логического анализа. М., 1977 Модальные
Целищев В.В.
Бочаров В.А., Маркин В.И.
Светлов В.И.
Бочаров В.А., Маркин В.И.
Бочаров В.А., Маркин В.И.
Бочаров В.А., Маркин В.И.
Светлов В.И.
Внутрисеместровая аттестация
Светлов В.И.
Светлов В.И.
Костюк В.Н.
Подобный материал:
РОССИЙСКИЙ УНИВЕРСИТЕТ ДРУЖБЫ НАРОДОВ


БАКАЛАВРСКАЯ ПРОГРАММА № 520400


Кафедра Онтологии и теории познания


Направление: Социология

Дисциплина: Символическая логика

Кредит 3


(IV семестр, лекций – 36 часов, самостоятельная работа – 72 часа)


Статус ОПД.В.06 (дисциплина по выбору)


Преподаватель: д.ф.н., проф. Ледников Е.Е.

Кафедра: Онтологии и теории познания (каб. №607)


Часы консультаций (индивидуальной работы со студентами):

по назначению или договоренности


Телефон: 434-50-88

Email:


СОДЕРЖАНИЕ


Описание курса 3

Цель курса: 3

Содержание курса: 3

Организационно-методическое построение курса. 3

Обязательная литература: 3

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

Условия и критерии выставления оценок: 4

Балльная структура оценки: 4

Шкала оценок: 4

Правила выполнения письменных работ (эссе и контрольных тестовых работ) 4

Академическая этика 4

Темы лекций 4

Неделя I: 5

Неделя II: 5

Неделя III: 5

Неделя IV: 5

Неделя V: 6

Неделя VI: 6

Неделя VII: 6

Неделя VIII: 6

Неделя IX: 6

Неделя X: 6

Неделя XI: 7

Неделя XII: 7

Неделя XIII: 7

Неделя XIV: 7

Неделя XV: 7

Неделя XVI: 8

Неделя XVII: 8

Неделя XVIII: 8



Описание курса




Цель курса:


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

Содержание курса:


Традиционное и современное понимание индукции. Индукция как логика и индукция как метод. Критика причинности Д. Юмом. Критика индукции К. Поппером. Индукция как рассуждение от частного к общему. Обобщающая индукция. Аналогия как вид правдоподобных рассуждений

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

Индукция как логика открытия и как логика подтверждения. Основные свойства отношения подтверждения и их взаимная совместимость. Парадоксы подтверждения. Степень подтверждения и условная вероятность. Основные интерпретации понятия "вероятность": классическая, статистическая, субъективная, логическая (индуктивная). Система индуктивной логики Р. Карнапа. «Финская школа» индукции. Индуктивная логика как логика принятия. Критерии подтверждения гипотез и критерии их принятия. Парадоксы принятия. Индуктивная модальная логика. Философская интерпретация индуктивных модальностей.

Индукция и немонотонность вывода. Индуктивные выводы в нечеткой логике. Индуктивная логика как модель процесса познания.

Организационно-методическое построение курса.


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

Обязательная литература:


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

Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии. М., 1994

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

Костюк В.Н. Элементы модальной логики. Киев, 1978

Логика и компьютер. Выпуск 4. М., 1998.

Логический подход к искусственному интеллекту. М., 1990

Светлов В.И. Современные индуктивные концепции. Л., 1988

Гемпель К.Г. Логика объяснения. М. 1998.

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


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

Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. М., 1991

Джини К. Логика в статистике. М. 1973

Индуктивная логика и формирование научного знания. М., 1987

Исследования по логике научного познания. М., 1990

Методология развития научного знания. М. 1982

Методы логического анализа. М., 1977

Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984

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

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

Целищев В.В. Логическая истина и эмпиризм. Новосибирск, 1974

Условия и критерии выставления оценок:


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

Балльная структура оценки:



Внутрисеместровая аттестация – 40 баллов

Итоговая работа – 40 баллов

Самостоятельные работы и домашние задания - 28 баллов.

Всего – 108 баллов.

Шкала оценок:











Неуд

3

4

5

Кредит

Сумма баллов

F

FX

E

D

C

B

A

2

2+

3

3+

4

5

5+

3

108

менее 37

37

55

64

73

91

100

Пояснение оценок














































A

Выдающийся ответ



















B

Очень хороший ответ
















C

Хороший ответ



















D

Достаточно удовлетворительный ответ










E

Отвечает минимальным требованиям удовлетворительного ответа

FX

Оценка 2+ (FX) означает, что студент может добрать баллы только до минимального удовлетворительного ответа

F

Неудовлетворительный ответ (либо повтор курса в установленном порядке, либо основание для отчисления)

Правила выполнения письменных работ (эссе и контрольных тестовых работ)


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

Академическая этика


При написании работ не допускаются попытки списывания и замены вариантов задания. Результаты таких работ аннулируются, повторное написание работ не допускается.

Темы лекций




Неделя I:


Традиционное и современное понимание индукции. Индукция как логика и индукция как метод. Методологический и логический эмпиризм.

Критика причинности Д. Юмом. Распространение этой критики на индукцию. Проблема обоснования индукции и проблема ее оправдания.

Критика индукции К. Поппером. Метод проб и ошибок.

Литература:

Обязательная:

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

Войшвилло Е.К., Дегтярев М.Г. Логика. М., 1998, с. 387-418.

Светлов В.И. Современные индуктивные концепции. Л., 1988 с. 6-17.

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

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

Неделя II:


Глобальное и локальное оправдание. Основные условия для индукции: изменяемость объекта исследования, существование причинных зависимостей в области исследования, наличие объяснительной модели или возможности ее построения.

Литература:

Обязательная:

Светлов В.И. Современные индуктивные концепции. Л., 1988 с. 6-17.

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

Неделя III:


Индукция как рассуждение от частного к общему. Обобщающая индукция. Полная и неполная индукция. Популярная и научная индукция. Статистическая индукция. Проблематичность индуктивных заключений.

Аналогия как вид правдоподобных рассуждений. Аналогия свойств и аналогия отношений. Научная и популярная аналогия. Аналогия как метод познания. Использование аналогий при выдвижении гипотез. Аналогия и моделирование. Виды моделей. Модели в науке.

Литература:

Обязательная:

Бочаров В.А., Маркин В.И. Основы логики. М., 2003 с. 212-234

Войшвилло Е.К., Дегтярев М.Г. Логика М., 1998, с. 418-432

Неделя IV:


Методы установления причинных связей Бэкона-Милля. Понятия причины и следствия (действия), необходимого условия, достаточного условия, необходимого и достаточного условия. Каузальные и функциональные зависимости. Метод сходства как метод нахождения достаточного условия. Возможности применения этого метода. Метод различия как метод нахождения необходимого условия, условия применения этого метода. Наиболее сильные и наиболее слабые необходимые условия и достаточные условия. Объединенный метод сходства и различия как метод обнаружения необходимого и достаточного условия.

Метод сопутствующих изменений как способ нахождения количественных соотношений характеристик причины (условия) и следствия (обусловленного явления). Условия применения этого метода. Метод остатков и проблематичность его применения в эмпирических исследованиях. Эвристическое значение методов установления причинных связей.

Литература:

Обязательная:

Бочаров В.А., Маркин В.И. Основы логики. М., 2003, 235-256

Войшвилло Е.К., Дегтярев М.Г. Логика М., 1998, с. 432-441

Неделя V:


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

Литература:

Обязательная:

Бочаров В.А., Маркин В.И. Основы логики. М., 2003 с. 212-221.

Войшвилло Е.К., Дегтярев М.Г. Логика. М., 1998 с. 456-466.

Неделя VI:


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

Литература:

Обязательная:

Светлов В.И. Современные индуктивные концепции. Л., 1988 с. 38-70.

Гемпель К.Г. Логика объяснения. М. 1998 с. 32-88.

Неделя VII:


Степень подтверждения и условная вероятность. Основные интерпретации понятия "вероятность": классическая, статистическая, субъективная, логическая (индуктивная).

Литература:

Обязательная:

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

Неделя VIII:


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

Литература:

Обязательная:

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

Неделя IX:


Внутрисеместровая аттестация

Неделя X:


Статистическая интерпретация вероятности. Эмпирические последовательности событий. Проблема короткой последовательности. Нулевая гипотеза. Ошибки первого и второго рода. Статистические правила принятия и отвержения гипотез. Границы применимости статистической интерпретации вероятности.

Субъективная интерпретация вероятности. Проблема когерентности степеней уверенности субъекта. Переоценка вероятностей событий в свете новых экспериментальных данных. Теорема Байеса. Границы применимости субъективной интерпретации вероятности.


Литература:

Обязательная:

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

Светлов В.И. Современные индуктивные концепции. Л., 1988 с. 163-188.

Неделя XI:


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

Система индуктивной логики Р. Карнапа. Q-предикаты. Понятие описания состояния и описания структуры. Функция подтверждения. Априорная и апостериорная вероятность. Основные теоретические результаты: нулевая подтверждаемость универсальных высказываний, свободный методологический параметр и континуум индуктивных методов. Инструменталистская трактовка научных законов. Аксиоматизация индуктивной логики Р. Карнапа.

Литература:

Обязательная:

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

Светлов В.И. Современные индуктивные концепции. Л., 1988, с. 91-128.

Неделя XII:


«Финская школа» индукции. Понятие конституэнты. Подтверждаемость универсальных высказываний в индуктивной системе Я. Хинтикки. Индуктивная логика как логика принятия. Критерии подтверждения гипотез и критерии их принятия. Отвержение и неотвержение гипотез. Парадоксы принятия.

Литература:

Обязательная:

Светлов В.И. Современные индуктивные концепции. Л., 1988 с. 189-218.

Неделя XIII:


Системы индуктивной логики, основанные на статистической интерпретации вероятности. Индуктивная логика Г. Рейхенбаха. Вероятность как предел относительной частоты. Критерий сходимости последовательности.

Литература:

Обязательная:

Светлов В.И. Современные индуктивные концепции. Л., 1988, с. 70-90.

Неделя XIV:


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

Литература:

Обязательная:

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

Неделя XV:


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

Литература

Обязательная:

Костюк В.Н. Элементы модальной логики. Киев, 1978. С.109-127.

Неделя XVI:


Индукция и немонотонность вывода. Понятие о немонотонных логиках. Логики умолчаний, немонотонные модальные логики, логики очерчивания.

Правила вывода с умолчаниями. Нормальные и полунормальные умолчания. Умолчания как правила выдвижения и как правила принятия гипотез.

Литература:

Обязательная:

Логический подход к искусственному интеллекту. М., 1990 с. 156-184.

Неделя XVII:


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

Литература:

Обязательная:

Логика и компьютер. Выпуск 4. М., 1998, с. 111-120.

Неделя XVIII:


Итоговая работа.