Geum.ru

Программа дисциплины логика для направления 030100. 62 Философия подготовки бакалавра

Вид материалаПрограмма дисциплины

Содержание


Раздел III. Элементы традиционной логики Тема 1. Традиционная теория понятия
Тема 2. Силлогистика
Раздел IV. Классическая логика
Подобный материал:
1   2   3   4   5   6   7   8

Раздел III. Элементы традиционной логики

Тема 1. Традиционная теория понятия


Имя, смысл, понятие. Способы образования и виды понятий. Понятия, псевдопонятия и комплексы. Китайская иероглифика и категория «мин» (имя – понятие). Мин как знак и репрезентативная абстракция. Конфуцианский принцип «исправления имен» (чжэн мин) и природная теория имен. Проблема имен (мин) и реалий (ши) в «школе имен» (мин цзя). Школа «отделения твердого от белого» и «парадокс белой лошади» Гуньсунь Луна. Античные теории именования: натурализм против конвенционализма. Софистический конвенционализм. Диалог Платона «Кратил»: именование как деятельность. Аристотель о несовершенстве умозаключений «от знаков».

Классическая теория понятия. Содержание и объем понятия. Закон обратного отношения между объемами и содержаниями понятий. Обобщение и ограничение понятий. Отношения между понятиями по объему. Типы совместимости и несовместимости понятий. Булевы операции с объемами понятий.

Деление понятий. Структура и виды деления. Дихотомическое деление и деление по видоизменению признака. Ошибки в делении. Классификация и категоризация. Естественные и искусственные классификации. Категориальные ошибки.

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

Номинальные и реальные, явные и неявные определения. Индуктивные определения. Методологические требования к определениям. Приемы, сходные с определением.

Идея и понятие. Эссенциализм классической теории понятия и её альтернативы. Теория прототипов и принцип «семейного сходства». Понятийные и фреймовые модели представления знания.

Литература

Основная

Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 279 – 422


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

Гуньсунь Лун // Древнекитайская философия. М.: Мысль, 1973, т. 2, с. 58 - 65

Платон. Кратил // Платон. Собрание соч. в 4 т. М.: Мысль, 1990, т. 1, с. 613 - 681

Аристотель. Об истолковании // Сочинения в 4-х т., Т. 2, М.: Мысль, 1978, с. 93-116

Ансельм Кентерберийский. Прослогион // Ансельм Кентерберийский. Сочинения. М.: Канон, 1995, 123 – 165

Кант И. Критика чистого разума // Кант И. Собрание сочинений в восьми томах, М.: Изд-во Чоро, 1994, т.3, 448 - 454

Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М., 1989

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

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

Асмус В.Ф. Логика М.: Эдиториал УРСС, 2001

Ахманов А.С. Логическое учение Аристотеля. М.: Едиториал УРСС, 2002

Гофман И. Анализ фреймов: эссе об организации повседневного опыта. М.: Институт фонда «Общественное мнение», 2002

Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001

Комментарий Прокла на платоновский диалог «Кратил» // Материалы к исследованиям по истории платонизма. Вып. 2, СПб.: СПб: Наука, 2000

Котарбиньский Т. Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 2000

Крушинский А.А. Язык и мышление в Древнем Китае // Вопросы философии, 2007, №5 Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004

Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004

Родин А.В. Математика Евклида в свете философии Платона и Аристотеля. М.: Наука, 2003

Субботин А.Л. Классификация. М.: Изд-во ИФ РАН,, 2001

Драгалина-Черная Е.Г Тяжба о «ста талерах»: via eminentiae // Кантовский сборник, 2009, 2 (30)

Тема 2. Силлогистика



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

«Индийская силлогистика» как аргументативная и семиотическая деятельность. Логика ньяя о суждении как восприятии: концепция «проникновения сущностей». Буддистская логика о восприятии как суждении: статика значений и динамика реальности. Спор буддистов и найяиков о семантико-онтологическом статусе небытия.

Аристотелевская силлогистика как теория формальных отношений в сфере общих терминов. Непосредственные силлогистические рассуждения: по логическому квадрату, обращение, превращение, противопоставление субъекту и предикату. Простой категорический силлогизм: термины, фигуры, модусы. Общие правила силлогизма и свойства правильных модусов различных фигур. Проверка правильности силлогизма по общим правилам и круговым схемам. Сложные и сокращенные силлогизмы.

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

Литература

Основная

Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 242 - 273

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

Ахманов А.С. Логическое учение Аристотеля. М.: Едиториал УРСС, 2002

Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс – Традиция, 2011

Бочаров В.А. Аристотель и традиционная логика. М.: Изд-во МГУ, 1984

Брюшинкин В.Н. Логика. М.: Гардарики, 2001

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001

Зильберман Д.В. Генезис значения в философии индуизма. М.: Наука, 1998Бочаров В.А. Инголлс Д.Г.Х. Введение в индийскую логику навья-ньяя. М.: Наука, 1975

Канаева Н.А., Заболотных Э.П. Проблема выводного знания в Индии. Логико-эпистемологические воззрения Дигнаги и его идейных преемников. М.: Восточная литература, 2002

Базаров А.А. Институт философского диспута в тибетском буддизме. СПб.: Наука, 1998

Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005

Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004

Щербатской Ф.И. Теория познания и логика по учению позднейших буддистов. СПб.; Университетская книга, 1995

Маркин В.И. Силлогистические теории в современной логике. М.: Изд-во МГУ, 1986

Е.Г.Драгалина-Черная. Онтология отрицания: присутствие отсутствия vs. отсутствие присутствия // Логический анализ языка. Ассерция и негация. М.: Индрик, 2009


Раздел IV. Классическая логика


Тема 1. Классическая логика высказываний

Понятия логической теории и логического исчисления. Синтаксический и семантический подходы к логическому следованию.

Язык классической логики высказываний. Взаимная выразимость функций истинности. Функционально полные системы пропозициональных связок. Табличное построение классической логики высказываний. Законы классической логики высказываний. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам. Сокращенные таблицы истинности и семантические (аналитические) таблицы.

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

Аксиоматические формальные теории. Логические и прикладные формальные теории. Виды аксиоматик. Формальные аксиоматики. Независимость аксиом и «воображаемые аксиоматики» формальных теорий. Аксиоматический подход к построению исчисления высказываний. Исчисления с конечным числом аксиом и правилом подстановки. Исчисления со схемами аксиом.

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

Альтернативные интерпретации классической логики высказываний: алгебраические семантики и контактно-релейные схемы.

Литература

Основная

Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 85 - 159

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

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

Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005

Анисов А.М. Современная логика. М.: Изд-во ИФ РАН, 2002

Брюшинкин В.Н. Логика. М.: Гардарики, 2001

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001

Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005

Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000