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

Министерство экономического развития и торговли

Российской Федерации



Государственный университет –




Факультет философии Программа дисциплины ЛОГИКА



для направления 030100.62 - Философия

подготовки бакалавра


Авторы Драгалина-Черная Е.Г., Макеева Л.Б.

edragalina@hse.ru

lmakeeva@hse.ru


Рекомендована секцией УМС факультета философии
Председатель

Б.Н.Кашников

____________________________

«____» _______________2011г.


^ Утверждена УС факультета философии

Ученый секретарь

____________________________

«____» _______________2011г.
Одобрена на заседании кафедры онтологии, логики и теории познания
Зав. кафедрой Порус В.Н.

____________________________

«_____» _____________2011г.

Москва, 2011


^ ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

Курс логики на отделении философии философского факультета НИУ-ВШЭ читается в течение 6-ти модулей (3-х модулей на первом курсе бакалавриата и 3-х модулей - на втором курсе). Чтение этого курса преследует следующие основные цели:


ознакомление с логическими принципами анализа информации и принятия рациональных решений;

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

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

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

оценка философского значения и границ метода формализации, знакомство с теоретико-модельными и теоретико-доказательственными свойствами формальных теорий, анализ методологического значения «ограничительных» теорем о выразительных, вычислительных и дедуктивных возможностях формализмов;

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



Роль учебного курса логики на философском факультете НИУ-ВШЭ оценивается, исходя из многовековой традиции, рассматривающей логику как «органон философии» и включающей её в тривиум - фундамент классического образования. Логическая грамотность – не дополнение, а базисный компонент профессиональной компетентности любого гуманитария, в особенности, философа. Эта профессиональная компетентность предъявляет особые требования к аналитической культуре, предполагая систематическое и осознанное обращение к логическим методам. Изучение логики образует базисный компонент профессиональной подготовки философа, поскольку способствует формированию культуры мышления, прививает способность логически правильно выстраивать и анализировать философские аргументы, помогает понять роль логики в современных философских исследованиях. Аналитический стиль философствования, овладение которым невозможно без обстоятельного ознакомления с логикой, обязателен для современных профессиональных философов независимо от того, какими проблемами они занимаются и к какой философской «епархии» себя причисляют.

Экспансия дисциплин когнитивного цикла - стратегического менеджмента, программной инженерии, когнитивной психологии, когнитивной лингвистики, семиотики - во все без исключения области профессиональной подготовки студентов НИУ-ВШЭ предъявляет новые требования к уровню владения ими методами математической логики. Разумное сочетание методов современной математической логики с проблематикой традиционной логики, имеющей безусловное общегуманитарное значение, является сегодня центральной задачей преподавания логики студентам - гуманитариям. В связи с развитием компьютерных технологий особое внимание в разделах курса, связанных с изучением математической логики, уделяется теоретико-модельным и теоретико-доказательственным свойствам формальных теорий, анализу методологического значения «ограничительных» теорем о выразительных, вычислительных и дедуктивных возможностях формализмов, связанных с выявлением принципов и границ метода формализации. Систематическое обращение к металогическим вопросам поможет осознать логику как явление культуры, составить представление об основных этапах её развития на фоне смены исторических типов рациональности и послужит введением в методологическую проблематику современных неклассических логик, связанную со спецификой неклассической науки и неклассической рациональности.

Индуктивная и вероятностная логика, изучаемая студентами второго курса, имеют особое значение для тех, кто готовится стать философом, в силу ряда причин. Во-первых, хотя с XVII в. индукция находилась в центре внимания многих выдающихся ученых и философов, и было предпринято немало усилий для ее логического анализа, современное состояние индуктивной логики разительно отличается от состояния дедуктивной логики, которая изучается студентами-философами на первом курсе. Дедуктивная логика, по крайней мере в своих основных разделах, является общепризнанной и хорошо проработанной научной дисциплиной: основные ее понятия имеют точные определения, процедуры и правила строго сформулированы, существует общее согласие логиков относительно построения ее основных теорий. Индуктивная логика довольно далека от такого благополучного состояния; среди логиков нет принципиального согласия относительно определения многих ее ключевых понятий и трактовки основных принципов и правил, поэтому существующие теории в индуктивной и вероятностной логике можно рассматривать как блоки в системе, которую еще только предстоит возвести. Любая научная дисциплина в подобном состоянии в значительно большей степени нуждается в философском осмыслении ее проблем и методов, а потому служит полем для философских дискуссий. Во-вторых, и как следствие первого, многие темы в курсе индуктивной и вероятностной логики являются по своему характеру чисто философскими (например, проблема оправдания индукции, индукция как метод познания, природа вероятности и т.п.), и, наконец, в-третьих, исследования по индуктивной и вероятностной логике сохраняют тесную и непосредственную связь с такими философскими дисциплинами, как философия науки, эпистемология и философская логика. Таким образом, философский потенциал индуктивной логики огромен, что превращает ее в важный предмет изучения для студентов-философов.

Разделы курса, связанные с изучением индуктивной и вероятностной логики студентамами отделения философии факультета философии НИУ-ВШЭ, преследует следующие цели:

• содействовать развитию логической культуры студентов, формированию у них навыков критического мышления и обоснованного рассуждения;

• расширить спектр логических знаний у студентов-философов, включив в него исследования по индуктивной и вероятностной логике, дать четкое и ясное представление о видах и критериях сильных индуктивных рассуждений, о значении проблемы индукции для построения индуктивной и вероятностной логики, о применении понятия вероятности для анализа индуктивных рассуждений;

• продемонстрировать тесную связь исследований по индуктивной и вероятностной логике с проблемами в философии науки, эпистемологии, философской логике;

• привить практические навыки решения логических задач и выполнения упражнений по индуктивной и вероятностной логике;

• научить студентов четко распознавать логические ошибки и просчеты в индуктивных рассуждениях.

В результате усвоения раздела курса, посвященного индуктивной и вероятностной логике, студент должен

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

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

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

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

Курс логики на философском факультете НИУ-ВШЭ завершается углубленным изучением ключевых проблем логической семантики. Проблематика смысла и значения, уходящая корнями в сакраментальный для любого философствующего субъекта вопрос «Что все это значит?», образует ядро не только современной аналитической философии, но также феноменологии, герменевтики и всех направлений философии, апеллирующих к «трансцендентальной смысловой реальности». Вместе с тем, выявление принципов и границ формализации знания, тесно связанное с задачами преодоления семантических парадоксов, предполагает обращение к таким теоретико-модельным свойствам формальных теорий как полнота, непротиворечивость, компактность, категоричность, а также к точным результатам современной математической логики о выразительных и дедуктивных возможностях формализмов. Построение точных семантик для неклассических логических систем служит эффективным средством аналитической реконструкции традиционных онтологических и эпистемологических проблем, связанных с категориями истинности, необходимости, долженствования, сущности и существования, знания и веры. Обращение к концептуальному аппарату теории речевых актов позволяет включить в сферу логического анализа не только синтаксис и семантику, но и прагматику языка.

Обучение логическим приемам аргументации - рационального обоснования мнений и действий - традиционная составляющая курса логики. Этот раздел курса предполагает обращение к широкому спектру задач обоснования, таким как выдвижение и проверка гипотез, аргументированные ответы на вопросы, поиск оснований для целевого поведения и ценностных суждений, обоснование принимаемых способов структурирования проблемы и выбора одной их альтернатив её решения, доказательность рассуждений в контексте публичного дискурса. Критический потенциал логики, связанный с анализом и нейтрализацией различных форм демагогического манипулирования, обострит чуткость специалиста - философа к идеологическим коннотациям философской терминологии, к фантомным идеологемам и категориальным ошибкам в философском дискурсе. Понимание принципов рационально-логической организации текста – необходимый компонент профессиональной подготовки философа. Владение концептуальным аппаратом логики поможет ему критически оценивать философскую аргументацию, рационализировать и упростить решение многих проблем: находить противоречия и выявлять импликативные отношения между аргументами, исключать информационную избыточность текстов. Знакомство с логической семантикой послужит стимулом к осознанию специфики семиосферы, критическому анализу семантики философского дискурса с точки зрения соотношения его «материи» и «формы».

Курс логики на философском факультете НИУ-ВШЭ охватывает шесть модулей и включает чтение лекций и проведение семинарских занятий. Проведение семинарских занятий по логике связано с обучением практическим навыкам корректных логических операций и является необходимым компонентом курса логики. Учебным планом предусмотрены 5 контрольных работ, два зачета и два экзамена. Первый зачет проводится в конце первого модуля на первом курсе в письменной форме, предполагая ответы на тестовые вопросы и решение задач. Второй зачет проводится на втором курсе в конце второго модуля в устной форме и включает ответы на теоретические вопросы и выполнение практических упражнений. Изучение курса логики для студентов первого и второго курсов бакалавриата завершается устными экзаменами, включающими теоретические вопросы и решение задач.

Настоящая программа составлена профессором кафедры онтологии, логики и теории познания факультета философии ГУ-ВШЭ, доктором философских наук Драгалиной-Черной Еленой Григорьевной (часть 1 «Дедуктивная логика» и часть 3 «Логическая семантика») и доцентом кафедры онтологии, логики и теории познания факультета философии ГУ-ВШЭ, кандидатом философских наук Макеевой Лолитой Брониславовной (часть 2 «Индуктивная и вероятностная логика»).


Тематический план учебной дисциплины


^ ЧАСТЬ 1. ДЕДУКТИВНАЯ ЛОГИКА


№

Название

Темы

Всего

часов

Аудиторные часы

^ Самостоятельная работа

Лекции

Сем. и практ.

занятия




^ Раздел I. Предмет логики

22

6

4

12




^ Раздел II. Основы логической семиотики

34

8

6

20



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

12

12

40

3.1.
^ Традиционная теория понятия
32

6

6

20

3.2.
Силлогистика
32

6

6

20



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

24

22

50

4.1.

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

49

12

12

25

4.2.

Классическая логика предикатов

47

12

10

25




Итого:

216

50

44

122


^ Формы рубежного контроля и структура итоговой оценки по первой части курса

текущий контроль (доклады, обсуждения, решение задач);

промежуточный контроль (написание трех аудиторных контрольных работ, включающих решение задач - по 60 мин.);

итоговый контроль (письменный зачет, включающий ответы на тестовые вопросы и решение задач - 120 минут, и устный экзамен, включающий теоретические вопросы и решение задач – 120 минут);

итоговая оценка по учебной дисциплине складывается из следующих элементов: работа на практических занятиях (30%), три письменные аудиторные контрольные работы (20%), письменный зачет (20%), устный экзамен (30%).



^ ЧАСТЬ 2. ИНДУКТИВНАЯ И ВЕРОЯТНОСТНАЯ ЛОГИКА


№ пп

Название

темы

Всего

часов

Аудиторные часы

Самостоятельная работа

Лекции

^ Сем. и практ. занятия

1.

Предмет индуктивной логики

10

2

2

6

2.

Основные виды правдоподобных рассуждений

18

4

4

10

3.

Проблема индукции

12

2

2

8

4.

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

16

4

4

8

5.

Индуктивная логика и вероятность

10

2

2

6

6.

Исчисление вероятностей

12

2

2

8

7.

Основные интерпретации вероятности их использование для построения вероятностной логики

24

6

4

14




Итого:

102

22

20

60



^ Формы рубежного контроля и структура итоговой оценки по второй части курса

• текущий контроль (выступления и решение задач в ходе семинарских занятий, выполнение домашних заданий);

• промежуточный контроль (написание одной контрольной работы (60 мин.), содержащей как теоретические вопросы, так и упражнения);

• итоговый контроль (устный зачет, включающий в себя ответ на два теоретических вопроса и решение одной задачи);

• итоговая оценка по учебной дисциплине складывается из следующих элементов: работа на практических занятиях (30%), письменная аудиторная контрольная работа (30%), устный зачет (40%).


^ ЧАСТЬ 3. ЛОГИЧЕСКАЯ СЕМАНТИКА


№

Название

Темы

Всего

Часов

Аудиторные часы

^ Самостоятельная работа

Лекции

Сем. и практ.

Занятия




Раздел 1. Становление и этапы развития логической семантики


34

8

6

20




Раздел 2. Семантические основания неклассических логических систем



32

6

6

20



Раздел 3. Семантическое обоснование логики. Выразительные, вычислительные и дедуктивные возможности формализмов



23

4

4

15




Раздел 4. Семантика и прагматика. Теория речевых актов. Аргументативные речевые акты.



25

6

4

15




Итого:

114

24

20

70


Формы рубежного контроля и структура итоговой оценки по третьей части курса

текущий контроль (доклады, обсуждения, решение задач);

промежуточный контроль (написание аудиторной контрольной работы, включающей тестовые вопросы и решение задач - 60 мин.);

итоговый контроль (устный экзамен, включающий теоретические вопросы и решение задач – 120 минут);

итоговая оценка по учебной дисциплине складывается из следующих элементов: работа на практических занятиях (30%), письменная аудиторная контрольная работа (30%), устный экзамен (40%).



^ Формы рубежного контроля и структура итоговой оценки по курсу логики

Итоговая оценка по учебной дисциплине складывается из следующих элементов:

Работа на практических занятиях (доклады, обсуждения, решение задач) – 25 % итоговой оценки

5 письменных домашних работы (300 мин.) - 25 % итоговой оценки

2 зачета (240 мин.) – 20 % итоговой оценки

2 устных экзамена(240 мин.) – 30 % итоговой оценки


Базовый учебник


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


Содержание программы


^ ЧАСТЬ 1. ДЕДУКТИВНАЯ ЛОГИКА

(автор – Е.Г.Драгалина-Черная)


Раздел I. Предмет логики


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

Логика в системе культуры. Когнитивные предпосылки возникновения теории рассуждений. Аристотель – «отец логики». Паралогизмы, парадоксы и софизмы. Логика и софистика. Истинность, правильность и софистический кайрос. Основные этапы развития логики. Логика традиционная и теоретическая. Формирование и современное состояние символической логики.

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

Логика и металогика. Логика как философская наука. Значение логики.


Литература

Основная

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

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

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

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

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

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

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

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

Солсо Р. Когнитивная психология. М.: Тривола, 2002

Величковский Б.М. Когнитивная наука. Основы психологии познания. М.: Смысл, 2006

Карпенко А.С. Предмет логики в свете основных тенденций её развития // Логические исследования. Выпуск 11, М.: Наука, 2004

Кассен Б. Эффект софистики. М, СПб, 2000

Противоположности и парадоксы. М.: Канон+,2008

Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. М., 2001

Драгалина-Черная Е.Г. Смеяться или плакать? Парадокс как несмешная шутка // Логический анализ языка. Языковые механизмы комизма. М.: Индрик, 2007


^ Раздел II. Основы логической семиотики


Язык как информационная знаковая система. Знак и информация. Виды знаков и их функционирование в культуре. Иконические знаки, индексы и символы. Сигналы и символы. Понятие семиотической ситуации. Основные семиотические аспекты языка: синтаксис, семантика, прагматика. Семиозис как когнитивный процесс.

Функции языка. Естественные и искусственные языки. Язык-объект и метаязык.

Логические и дискриптивные термины. Формализация и символизация. Логика в поисках «идеального языка». Картезианская Mathesis Universalis и Lingua Characteristica Лейбница. Программа «логической критики» естественного языка и возникновение символической логики. Принципы построения формализованных логических языков.

Смысл и значение знака. Денотация и коннотация. Референциальная непрозрачность. Интенсиональные и экстенсиональные контексты. Проблема значения общих имен: номинализм и платонизм.

Язык и онтология. Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна.

Литература

Основная

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


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

Декарт Р. Размышления о первой философии // Декарт Р. Сочинения. М.: Мысль, 1994, т.2

Лейбниц Г.В. Общие исследования, касающиеся анализа понятий и истин // Лейбниц Г.В. Соч. в 4-х томах. Т.3. М., 1984

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996

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

Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999

Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001

Лайонс Д. Лингвистическая семантика. Введение. М.: Языки славянских культур, М., 2003

Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и искусства. М., 2000

Пирс Ч.С. Учение о знаках: Разделение знаков. Икона, индекс, символ // Пирс Ч.С. Избранные философские произведения. М.: Логос, 2000, с. 176 – 222

Противоположности и парадоксы, М.: Канон+, 2008

Семиотика. М.: Радуга, 1983

Смирнова Е.Д. Основы логической семантики. М., 1990

Сепир Э. Избранные труды по языкознанию и культурологи. М.: Прогресс, 1993

Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000

Эко У. Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004

Савельев А.Л.. История идеи универсальной грамматики (с древнейших времен и до Лейбница). СПб.: Издательство С.-Петербургского университета, 2006

Эко У. Поиски совершенного языка в европейской культуре. СПб.: Alexandria, 2007

Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР, 2006

^ Раздел 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
^ Тема 2. Классическая логика предикатов

Язык первопорядковой логики предикатов. Свободные и связанные индивидные переменные. Экзистенциальная и универсальная квантификация. Кванторы как функции выбора и как второпорядковые предикаты.

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

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

Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и неполнота, неразрешимость классического исчисления предикатов первого порядка.

Первопорядковая логика предикатов и традиционная логика. Понятие как специфицированная переменная. Принципы погружения традиционной силлогистики в логику предикатов первого порядка.

Расширения стандартной первопорядковой логики предикатов. Логика предикатов с равенством. Ограниченные и обобщенные кванторы. Языки высших порядков. Квантификация и онтологические допущения языка: критерий Куайна и его альтернативы.


Литература

Основная

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


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

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

Куайн У. Философия логики. М.: Канон+, 2008

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

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

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

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

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

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

Драгалина-Черная Е.Г. Границы логики: онтологический поворот // Философия науки, № 14, ИФ РАН, 2009


Драгалина-Черная Е.Г. Логика и онтология обобщенной квантификации // Логический анализ языка. Квантификативный аспект языка. М.: Индрик, 2005


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



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

Психологизм в логике и логицизм в психологии

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

Античные софизмы и парадоксы

Логическое учение Аристотеля. Силлогистика Аристотеля и современная логика

Виды знаков и их функционирование в культуре. Образ, знак, символ

Функции языка. Естественные и искусственные языки. Формализованные языки и формальные онтологии

Национальные языки и национальные образы мира. Логико-философский анализ гипотезы лингвистической относительности

Традиционная теория понятия и ей альтернативы. Теория прототипов и принцип «семейного сходства». Фреймовые модели представления знания

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

Мин как знак и репрезентативная абстракция. Школа «отделения твердого от белого» и парадокс «белой лошади»

Классификация и категоризация. Естественные и искусственные классификации. Категориальные ошибки

Теория определения и диэреза у Платона и Аристотеля

Диалог Платона «Кратил»: именование как деятельность.

Спор об универсалиях. Номинализм и реализм в средневековой и современной логике

Логика онтологического аргумента: от Ансельма к Канту.

Принципы построения эротетической логики. Провокационные вопросы и демагогические ответы.

Методологические трудности традиционной силлогистики. Силлогистические теории в современной логике

«Универсальная характеристика» и «всеобщая математика»: сходство и различие исследовательских программ.

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

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

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