Размещено на http://www.allbest.ru/

22

ГОУ ВПО «ВОЛГОГРАДСКАЯ АКАДЕМИЯ ГОСУДАРСТВЕННОЙ СЛУЖБЫ»

КАФЕДРА ФИЛОСОФИИ И КУЛЬТУРОЛОГИИ

УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС

Дисциплина: Логика

Специальность: «Государственное и муниципальное управление».

Разработчик: к.филос.н., доцент Задорин В.В.

Волгоград 2006

Содержание

логика методический учебный задача

1. Рабочая программа по логике

1.1 Цели и задачи преподавания курса

1.2 Требования к уровню освоения дисциплины

1.3 Тематический план лекций и семинаров

1.4 Учебно-методическое обеспечение дисциплины

Содержание лекций

Планы семинарских занятий

Темы, выносимые на самостоятельное изучение

Список вопросов для подготовки к зачету

Список основной и дополнительной литературы

Материалы промежуточного контроля

2. Методические рекомендации по изучению логики для студентов

3. Материалы тестовой системы по решению задач по темам лекций

4. Словарь основных терминов

1. Рабочая программа

1.1 Цели и задачи преподавания курса

Логика относится к числу тех фундаментальных общенаучных дисциплин, которые студентами специальности «Государственное и муниципальное управление» изучаются по выбору. Настоящий курс имеет свой целью изложение основ логического анализа и аргументации в том виде, как это принято в учебной практике последних десятилетий. Основными задачами курса являются следующие: раскрытие содержания важнейших понятий современной логики, формирование у студентов навыков корректного осуществления логических процедур и аргументации. Все это должно способствовать становлению развитой культуры мышления.

Содержание курса расчленяется на семь тем, которые в совокупности раскрывают основное содержание современной логики. Первая тема имеет вводный характер: здесь определяется предмет логики как науки и указывается на важность ее изучения для формирования культуры мышления, вводятся ключевые понятия логической формы и логического закона, правильности построения рассуждений. Вторая тема посвящена рассмотрению наиболее простой логической - теории классической логики высказываний, которая позволяет доказывать правильность таких часто встречающихся форм умозаключений, как: условно-категорические, разделительно-категорические и условно-разделительные. В третьей теме исследуется более сложная логическая теория - классическая логика предикатов, дающая средства более глубокого анализа рассуждений за счет фиксирования логической формы простых высказываний. Исторически первая логическая теория - силлогистика составляет содержание четвертой темы курса. Здесь изучаются основания правильности построения умозаключений состоящих из простых категорических атрибутивных высказываний: непосредственных, простого категорического силлогизма, сокращенных и сложных силлогизмов. Пятая тема - понятие, посвящена изучению способов образования понятий, операций с их объемами и содержаниями, процедур деления понятия и классификации. В шестой теме исследуется такая незаменимая в научной деятельности и юридической практике операция как определение, рассматриваются виды последней и правила ее осуществления. В завершающей седьмой теме анализируются широко распространенные правдоподобные умозаключения: индуктивные и по аналогии, а также методы установления причинно-следственных связей.

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

1.2 Требования к уровню освоения дисциплины

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

1.3 Тематический план лекций и семинаров

№ п\п	Наименование тем	Всего часов	в том числе	Форма контроля
			лекции	семинары
1	Предмет и значение логики	4	2	2
2	Классическая логика высказываний	6	2	4
3	Классическая логика предикатов	4	2	2
4	Силлогистика	6	4	2
5	Понятие	6	4	2
6	Определение	4	2	2
7	Правдоподобные рассуждения	4	2	2
	Итого	34	18	16	зачет

Тематический план лекций и семинаров (заочное отделение)

	Наименование тем	Всего часов	в том числе	Форма контроля
			лекции	семинары
1	Классическая логика высказываний	4	2	2
2	Силлогистика	4	2	2
3	Понятие	2	2
	Итого	10	6	4	зачет

1.4 Учебно-методическое обеспечение

Содержание лекций

ТЕМА 1. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ

Историческое развитие логики. Значение «Органона» Аристотеля в формировании логической науки и построении исторически первой теории дедуктивных рассуждений - силлогистики. Индуктивная логика Ф.Бэкона и Дж.Милля. Математизация и символизация логики от Лейбница до Рассела. Традиционная и современная логика. Классические и неклассические логические теории. Аксиоматический и алгебраический методы, методы формализованных языков и исчислений современной логики. Современная логика как нормативная наука о формах и приемах рационального познания. Познание чувственное и рациональное. Язык как сущностная характеристика рационального познания. Языки естественные и искусственные, объектные языки и метаязыки. Синтаксический, семантический и прагматический аспекты изучения языка. Знак, его значение и смысл. Знаки описательные и неописательные, пустые и непустые. Основные формы рационального познания: понятие, высказывание, умозаключение. Определение логической формы. Правильная и неправильная логические формы. Логические законы. Выделение класса логических законов как одна из важнейших задача построения логических теорий.

Основные категории: рациональное познание, язык, знак, логическая форма, логический закон.

ТЕМА 2. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ

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

Основные категории: простые высказывания, сложные высказывания, законы КЛВ, условно-категорические, разделительно-категорические, условно-разделительные умозаключения.

ТЕМА 3. КЛАССИЧЕСКАЯ ЛОГИКА ПРЕДИКАТОВ

Классическая логика предикатов - логика предикатов первого порядка. Язык логики предикатов. Имена, предметные функторы и предикаторы как основные категории нелогических терминов. Алфавит классической логики предикатов: предметные, предметно-функциональные и предикаторные константы; предметные переменные; пропозициональные связки и кванторы, скобки. Правила построения термов и формул КЛП. Синтаксические понятия языка КЛП: область действия квантора, свободные и связанные вхождения переменных, свободные и связанные переменные, замкнутый терм, замкнутая формула. Область интерпретации (универсум рассуждения). Интерпретационная функция. Интерпретация предметных, предметно-функциональных и предикаторных констант. Модели КЛП. Правила установления значения термов. Условия истинности и ложности элементарных формул. Условия истинности и ложности формул, главным знаком которых является: 1) пропозициональная связка, 2) квантор. Законы, выполнимые и невыполнимые формулы КЛП. Разрешимость логической теории. Метод аналитических таблиц. Правила редукции. Определение аналитической таблицы. Понятие замкнутой аналитической таблицы. Критерии общезначимости формул. Схемы основных законов КЛП.

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

ТЕМА 4. СИЛЛОГИСТИКА

Объединенная классификация простых категорических атрибутивных высказываний. Алфавит и правила построения формул силлогистики. Семантика силлогистики: условия истинности простых категорических высказываний. Распределенность и нераспределенность терминов в простых категорических высказываниях. Отношения между высказываниями по истинности. Логический квадрат. Непосредственные умозаключения: 1)умозаключения по логическому квадрату, 2)обращение, 3)превращение, 4)противопоставление предикату. Простой категорический силлогизм: его состав, фигуры и модусы. Общие правила простого категорического силлогизма. Энтимемы и полисиллогизмы.

Основные категории: простое категорическое высказывание, непосредственное умозаключение, простой категорический силлогизм, энтимема и полисиллогизм.

ТЕМА 5. ПОНЯТИЕ

Общая характеристика понятия. Объем и содержание понятия. Запись понятий с помощью универсалий. Классификация понятий по объемной характеристике: пустые и непустые, универсальные и неуниверсальные, единичные и общие. Классификация понятий по типу обобщаемых предметов: об индивидах, n-ках предметов, свойствах, отношениях, предметно-функциональных характеристиках, множествах; конкретные и абстрактные понятия, собирательные и несобирательные. Классификация понятий по синтаксической структуре универсалий, выражающих их содержание: простые и сложные, положительные и отрицательные, относительные и безотносительные. Булевы операции с объемами понятий: объединение, пересечение, вычитание и дополнение. Отношения между понятиями. Сравнимые и несравнимые понятия. Фундаментальные отношения сравнимых понятий: совместимость, включение и исчерпывание. Нефундаментальные отношения непустых и неуниверсальных понятий: тождество, подчинение, перекрещивание, дополнительность, противоречие, соподчинение. Закон обратного отношения между объемами и содержаниями понятий. Операции обобщения и ограничения понятий. Деление понятия, его правила. Делимое понятие, члены деления, основание деления. Деление дихотомическое и по видоизменению основания. Классификация. Виды классификаций.

Основные категории: понятие, объем и содержание понятия, фундаментальные и нефундаментальные отношения между понятиями.

ТЕМА 6. ОПРЕДЕЛЕНИЕ

Общая характеристика определения. Требования, предъявляемые к определениям: ясность и четкость, отсутствие «порочного круга». Отличие определений от описания и сравнения. Явные и неявные определения. Структура явного определения. Деление явных определений по языковым категориям определяемой части на: 1) определения имени, 2) определения универсалий, 3) определения высказывательной формы, 4) определения функционального выражения. Родо-видовые и не родо-видовые явные определения. Структура неявного определения. Виды неявных определений: индуктивные, рекурсивные, аксиоматические. Определения реальные и номинальные.

Основные категории: определение, явное определение, реальное и номинальное определения.

ТЕМА 7. ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ

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

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

Планы семинарских занятий

Семинар 1. Предмет и значение логики

Вопросы:

1. История логики.

2. Основные формы рационального познания.

3. Язык как предмет логики.

4. Логическая форма.

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

Основные этапы исторического развития логики.

Мышление как предмет логики и психологии.

Критерий правильности умозаключений.

Искусственные языки в современной логике.

Значение логики в правотворческой и правоприменительной деятельности.

Роль логики в формировании управленческих решений.

Литература

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

Войшвилло Е.К., Дегтярёв М.Г. Логика. -- М., ВЛАДОС-ПРЕСС, 2001.

Ивлев Ю.В. Логика. -- М., Логос, 2001.

Кириллов В.И., Старченко А.А. Логика. -- М., Юристъ, 2005.

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

Айер А. Язык, истина и логика. // Аналитическая философия. Избранные тексты. -- М., 1993.

Асмус В.Ф. Логика. -- М., 1947.

Гильберт Д., Аккерман В. Основы теоретической логики. -- М., 1947.

Зегет В. Элементарная логика. -- М., 1985.

Ивин А.А. Искусство правильно мыслить. -- М., 1990.

Ивин А.А. Практическая логика. Задачи и упражнения. -- М., 1996.

Лайонз Дж. Введение в теоретическую лингвистику. -- М., 1978.

Льюис К.И. Виды значения. // Семиотика. -- М., 1983.

Моррис Ч.У. Основания теории знаков. // Семиотика. -- М., 1983.

Павилёнис Р.И. Проблема смысла: современный логико-философский анализ языка. -- М., 1983.

Пельц Е. Семиотика и логика. // Семиотика. -- М., 1983.

Попов П.С., Стяжкин Н.И. Развитие логических идей от античности до эпохи Возрождения. -- М., 1974.

Свинцов В.И. Логика. -- М., 1987.

Сергеич П. Искусство речи на суде. - М., 1988.

Стяжкин Н.И. Формирование математической логики. -- М., 1967.

Степанов Ю.С. Семиотика. -- М., 1971.

Степанов Ю.С. В трехмерном пространстве языка. -- М., 1981.

Тарский А. Введение в логику и методологию дедуктивных наук. -- М., 1953.

Тондл Л. Проблемы семантики. -- М., 1975.

Треушников М.К. Доказательство и доказывание в советском гражданском процессе. - М., 1982.

Фреге Г. Мысль: логическое исследование. // Философия. Логика. Язык. -- М., 1987.

Фреге Г. Логика и логическая семантика. -- М., 2001.

Формальная логика - Л.,1977.

Хомский Н. Язык и мышление. -- М., 1972.

Чейф У.Л. Значение и структура языка. -- М., 1975.

Семинар 2. Классическая логика высказываний

Вопросы:

1. Язык классической логики высказываний.

2. Таблицы истинности КЛВ.

3. Условно-категорические, разделительно-категорические и условно-разделительные умозаключения.

4. Способы непрямой аргументации.

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

Логический смысл пропозициональных связок.

Значение условно-категорических умозаключений для подтверждения и опровержения научных гипотез.

Состав и способы аргументации.

Литература

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

Войшвилло Е.К., Дегтярёв М.Г. Логика. -- М., ВЛАДОС-ПРЕСС, 2001.

Ивлев Ю.В. Логика. -- М., Логос, 2001.

Кириллов В.И., Старченко А.А. Логика. -- М., Юристъ, 2005.

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

Арутюнова Н.Д. Предложение и его смысл. -- М., 1976.

Алексеев А.П. Аргументация. Познание. Общение. - М, 1991.

Асмус В.Ф. Учение логики о доказательстве и опровержении. -- М., 1954.

Доказательство и понимание. -- Киев, 1986.

Еемерен Ф.Х. ван, Гроотендорст Р. Аргументация, коммуникация, ошибки. Л., 1992.

Ивин А.А. Искусство правильно мыслить. -- М., 1990.

Ивин А.А. Теория аргументации. - М., 2000.

Карри Х.Б. Основания математической логики. -- М., 1969.

Клини С. Математическая логика. -- М., 1973.

Кэролл Льюис. История с узелками. -- М., 1975.

Кэролл Льюис. Логическая игра. -- М., 1991.

Лакатос И. Доказательства и опровержения. -- М., 1967.

Логика: наука и искусство. М., 1993.

Падучева Е.В. Высказывание и его соотнесенность с действительностью. -- М., 1985.

Уёмов А.И. Логические ошибки. -- М., 1957.

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

Чёрч А. Введение в математическую логику. -- М., 1960.

Семинар 3. Классическая логика предикатов

Вопросы:

Язык классической логики предикатов.

Аналитические таблицы КЛП.

Основные законы КЛП.

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

Основные категории нелогических терминов естественного языка.

Разрешимость и неразрешимость логических теорий.

Литература

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

Войшвилло Е.К., Дегтярёв М.Г. Логика. -- М., ВЛАДОС-ПРЕСС, 2001.

Ивлев Ю.В. Логика. -- М., Логос, 2001.

Кириллов В.И., Старченко А.А. Логика. -- М., Юристъ, 2005.

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

Арутюнова Н.Д. Предложение и его смысл. -- М., 1976.

Арутюнова Н.Д. Типы языковых значений. -- М., 1988.

Гильберт Д., Аккерман В. Основы теоретической логики. -- М., 1947.

Карри Х.Б. Основания математической логики. -- М., 1969.

Клини С. Математическая логика. -- М., 1973.

Кэролл Льюис. Логическая игра. -- М., 1991.

Павилёнис Р.И. Проблема смысла: современный логико-философский анализ языка. -- М., 1983.

Степанов Ю.С. Имена. Предикаты. Предложения. -- М., 1981.

Степанов Ю.С. В трехмерном пространстве языка. -- М.. 1981.

Френкель А., Бар-Хиллел Й. Основания теории множеств. -- М., 1966.

Чёрч А. Введение в математическую логику. -- М., 1960.

Семинар 4. Силлогистика

Вопросы:

Классификация простых категорических высказываний.

Непосредственные умозаключения.

Простой категорический силлогизм.

Энтимемы и полисиллогизмы.

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

Виды простых высказываний.

Особые правила фигур простого категорического силлогизма.

Литература

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

Войшвилло Е.К., Дегтярёв М.Г. Логика. -- М., ВЛАДОС-ПРЕСС, 2001.

Ивлев Ю.В. Логика. -- М., Логос, 2001.

Кириллов В.И., Старченко А.А. Логика. -- М., Юристъ, 2005.

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

Аристотель Соб.Соч. в 4-х т., Т.2. - М., 1978.

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

Гильберт Д., Аккерман В. Основы теоретической логики. -- М., 1947.

Карри Х.Б. Основания математической логики. -- М., 1969.

Клини С. Математическая логика. -- М., 1973.

Кэролл Льюис. Логическая игра. -- М., 1991.

Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. -- М., 1975.

Маркин В.И. Силлогистические теории в современной логике. - М., 1991.

Тарский А. Введение в логику и методологию дедуктивных наук. -- М., 1953.

Уёмов А.И. Логические ошибки. -- М., 1957.

Френкель А., Бар-Хиллел Й. Основания теории множеств. -- М., 1966.

Чёрч А. Введение в математическую логику. -- М., 1960.

Семинар 5. Понятие

Вопросы:

Общая характеристика понятия.

Виды понятий.

Отношения между понятиями.

Операции ограничения, обобщения и деления понятий.

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

Понятие и слово.

Способы образования понятий.

Операции с объемами понятий.

Литература

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

Войшвилло Е.К., Дегтярёв М.Г. Логика. -- М., ВЛАДОС-ПРЕСС, 2001.

Ивлев Ю.В. Логика. -- М., Логос, 2001.

Кириллов В.И., Старченко А.А. Логика. -- М., Юристъ, 2005.

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

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

Кубрякова Е.С. Номинативный аспект речевой деятельности. -- М., 1986.

Лайонз Дж. Введение в теоретическую лингвистику. -- М., 1978.

Павилёнис Р.И. Проблема смысла: Современный логико-философский анализ языка. -- М., 1983.

Степанов Ю.С. Имена. Предикаты. Предложения. -- М., 1981.

Тарский А. Введение в логику и методологию дедуктивных наук. -- М., 1953.

Тондл Л. Проблемы семантики. -- М., 1975.

Фреге Г. Мысль: логическое исследование. // Философия. Логика. Язык. -- М., 1987.

Фреге Г. Логика и логическая семантика. -- М., 2001.

Френкель А., Бар-Хиллел Й. Основания теории множеств. -- М., 1966.

Хомский Н. Язык и мышление. -- М., 1972.

Чейф У.Л. Значение и структура языка. -- М.,1975.

Семинар 6. Определение

Вопросы:

Общая характеристика определений.

Явные определения.

Неявные определения.

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

Определение, описание, характеристика.

Значение определений в науке и юриспруденции.

Ошибки, возможные в определении.

Литература

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

Войшвилло Е.К., Дегтярёв М.Г. Логика. -- М., ВЛАДОС-ПРЕСС, 2001.

Ивлев Ю.В. Логика. -- М., Логос, 2001.

Кириллов В.И., Старченко А.А. Логика. -- М., Юристъ, 2005.

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

Арутюнова Н.Д. Предложение и его смысл. -- М., 1976.

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

Гильберт Д., Аккерман В. Основы теоретической логики. -- М., 1947.

Горский Д.П. Определение. -- М., 1985.

Кэролл Льюис. История с узелками. -- М., 1975.

Кэролл Льюис. Логическая игра. -- М., 1991.

Павилёнис Р.И. Проблема смысла: Современный логико-философский анализ языка. -- М., 1983.

Степанов Ю.С. Имена. Предикаты. Предложения. -- М., 1981.

Степанов Ю.С. В трехмерном пространстве языка. -- М., 1981.

Тарский А. Введение в логику и методологию дедуктивных наук. -- М., 1953.

Уёмов А.И. Логические ошибки. -- М., 1957.

Фреге Г. Логика и логическая семантика. -- М., 2001.

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

Чёрч А. Введение в математическую логику. -- М., 1960.

Семинар 7. Правдоподобные рассуждения

Вопросы:

Понятие вероятности.

Индуктивные умозаключения.

Умозаключения по аналогии.

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

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

Классическая и статистическая вероятность.

Обобщающая индукция.

Понятие о причинной зависимости.

Литература

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

Войшвилло Е.К., Дегтярёв М.Г. Логика. -- М., ВЛАДОС-ПРЕСС, 2001.

Ивлев Ю.В. Логика. -- М., Логос, 2001.

Кириллов В.И., Старченко А.А. Логика. -- М., Юристъ, 2005.

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

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

Лебедев С.А. Индукция как метод научного познания. - М., 1980.

Лихтенберг Б.Л. Вероятностная парадоксальность индуктивной логики Р.Карнапа и Я.Хинтикки. Методы логического анализа. -- М., 1977.

Меськов В.А.С. Логика квантовой механики. -- М., 1984.

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

Уёмов А.И. Логические ошибки. -- М., 1957.

Штофф В.А. Моделирование и философия. -- М., 1966.

Темы, выносимые на самостоятельное изучение

ТЕОРИЯ ДЕДУКТИВНЫХ РАССУЖДЕНИЙ.

Дедукция как способ теоретического познания. Деление теорий на содержательные, формализованные и формальные. Исчисления как особая разновидность формальных теорий. Исчисление высказываний и исчисление предикатов первого порядка. Формулировка правил вывода натурального исчисления высказываний. Определение вывода и определение доказательства. Эвристические приемы: прямые и косвенные выводы. Кванторные правила вывода в исчислении предикатов первого порядка. Завершенный вывод и завершенное доказательство в исчислении предикатов первого порядка.

Вопросы для контроля:

В чем отличие натуральных исчислений высказываний и предикатов от классической логики высказываний и классической логики предикатов?

Как осуществляется доказательство теорем в натуральном исчислении высказываний?

Как осуществляется доказательство теорем в натуральном исчислении предикатов?

Рекомендуемая литература

Основная:

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

Войшвилло Е.К., Дегтярёв М.Г. Логика. -- М., 1999.

Зегет В. Элементарная логика. -- М., 1985.

Ивин А.А. Практическая логика. Задачи и упражнения. -- М., 1996.

Ивлев Ю.В. Логика. -- М., 1998.

Кириллов В.И., Старченко А.А. Логика. -- М., 2002.

Свинцов В.И. Логика. -- М., 1987.

Формальная логика - Л.,1977.

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

Гильберт Д., Аккерман В. Основы теоретической логики. -- М., 1947.

Карри Х.Б. Основания математической логики. -- М., 1969.

Клини С. Математическая логика. -- М., 1973.

Кэролл Льюис. Логическая игра. -- М., 1991.

Степанов Ю.С. Имена. Предикаты. Предложения. -- М., 1981.

Степанов Ю.С. В трехмерном пространстве языка. -- М.. 1981.

Френкель А., Бар-Хиллел Й. Основания теории множеств. -- М., 1966.

Чёрч А. Введение в математическую логику. -- М., 1960.

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

Основные этапы исторического развития логики.

Мышление как предмет логики и психологии.

Критерий правильности умозаключений.

Искусственные языки в современной логике.

Значение логики в правотворческой и правоприменительной деятельности.

Роль логики в формировании управленческих решений.

Логический смысл пропозициональных связок.

Значение условно-категорических умозаключений для подтверждения и опровержения научных гипотез.

Состав и способы аргументации.

Виды простых высказываний.

Особые правила фигур простого категорического силлогизма.

Понятие и слово.

Способы образования понятий.

Операции с объемами понятий.

Определение, описание, характеристика.

Значение определений в науке и юриспруденции.

Ошибки, возможные в определении.

Классическая и статистическая вероятность.

Обобщающая индукция.

Понятие о причинной зависимости.

Список вопросов для подготовки к зачету

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

Логическая форма. Критерий правильности умозаключений.

Логические законы и логические теории.

Логика и язык.

Сложные высказывания, их виды.

Условия истинности сложных высказываний.

Таблицы истинности классической логики высказываний.

Условные и условно-категорические умозаключения.

Разделительно-категорические умозаключения.

Условно-разделительные умозаключения.

Объединенная классификация простых категорических высказываний.

Условия истинности простых категорических высказываний.

Отношения между высказываниями по истинности.

Логический квадрат. Умозаключения по логическому квадрату.

Непосредственные умозаключения: превращение и обращение.

Непосредственные умозаключения: противопоставление предикату.

Состав простого категорического силлогизма, его фигуры и модусы.

Общие правила простого категорического силлогизма.

Энтимемы и полисиллогизмы.

Общая характеристика понятия, его объем и содержание.

Деление понятий по объемной характеристике.

Деление понятий по типу репрезентируемых предметов.

Деление понятий по содержательной характеристике.

Операции с объемами понятий: объединение и пересечение.

Операции с объемами понятий: вычитание и дополнение.

Типы совместимости понятий.

Типы несовместимости понятий.

Операции обобщения и ограничения понятий.

Операция деления понятия. Правила деления.

Классификация. Виды классификаций.

Определение. Требования, предъявляемые к определениям.

Явное определение, его виды.

Логическое и правдоподобное следование. Вероятность.

Индуктивные умозаключения: нестатистическая индукция.

Индуктивные умозаключения: статистическая индукция.

Метод сходства и метод сопутствующих изменений.

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

Умозаключения по аналогии.

Состав аргументации: тезис, аргументы, форма доказательства.

Непрямые способы аргументации: рассуждения по правилу дедукции и от противного.

Непрямые способы аргументации: рассуждения сведением к абсурду и перебором случаев.

Список основной и дополнительной литературы

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

2. Войшвилло Е.К., Дегтярёв М.Г. Логика. М., ВЛАДОС-ПРЕСС, 2001.

3. Ивин А.А. Логика. М., ФАИР-ПРЕСС, 2001.

4. Ивлев Ю.В. Логика. М., Логос, 2001.

5. Кириллов В.И., Старченко А.А. Логика. М., Юристъ, 2005.

6. Рузавин Г.И. Логика. М., ЮНИТИ, 2004.

7. Асмус В.Ф. Логика. М., 1947.

8. Асмус В.Ф. Учение логики о доказательстве и опровержении. М., 1954.

9. Арутюнова Н.Д. Предложение и его смысл. М., 1976.

10. Арутюнова Н.Д. Типы языковых значений. М., 1988.

11. Бизам Д., Герцег Я. Игра и логика. М., 1975.

12. Войшвилло Е.К. Понятие как форма мышления. М., 1989.

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

14. Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.

15. Горский Д.П. Определение. М., 1985.

16. Доказательство и понимание. Киев, 1986.

17. Еемерен Ф.Х. ван, Гроотендорст Р. Аргументация, коммуникация, ошибки. Л., 1992.

18. Зегет В. Элементарная логика. М., 1985.

19. Ивин А.А. Искусство правильно мыслить. М., 1990.

20. Ивин А.А. Логика. М., 1999.

21. Ивин А.А. Логика норм. М.. 1973.

22. Ивин А.А. Практическая логика. Задачи и упражнения. М., 1996.

23. Ивин А.А. Основания логики оценок. М., 1970.

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

25. Карри Х.Б. Основания математической логики. М., 1969.

26. Клини С. Математическая логика. М., 1973.

27. Кэролл Льюис. История с узелками. М., 1975.

28. Кэролл Льюис. Логическая игра. М., 1991.

29. Лайонз Дж. Введение в теоретическую лингвистику. М., 1978.

30. Логика: наука и искусство. М., 1993.

31. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1975.

32. Павилёнис Р.И. Проблема смысла: Современный логико-философский анализ языка. М., 1983.

33. Попов П.С., Стяжкин Н.И. Развитие логических идей от античности до эпохи Возрождения. М., 1974.

34. Свинцов В.И. Логика. М., 1987.

35. Семиотика. М., 1983.

36. Степанов Ю.С. Семиотика. М., 1971.

37. Степанов Ю.С. Имена. Предикаты. Предложения. М., 1981.

38. Степанов Ю.С. В трехмерном пространстве языка. М,. 1981.

39. Стяжкин Н.И. Формирование математической логики. М., 1967.

40. Тарский А. Введение в логику и методологию дедуктивных наук. М., 1953.

41. Тондл Л. Проблемы семантики. М., 1975.

42. Уёмов А.И. Логические ошибки. М., 1957.

43. Фейс Р. Модальная логика. М., 1974.

44. Формальная логика. Л.,1977.

45. Фреге Г. Логика и логическая семантика. М., 2001.

46. Френкель А., Бар-Хиллел Й. Основания теории множеств. М., 1966.

47. Хинтикка Я. Вопрос о вопросах. // Философия в современном мире. Философия и логика. М., 1974.

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

49. Хомский Н. Язык и мышление. М., 1972.

50. Чейф У.Л. Значение и структура языка. М., 1975.

51. Чёрч А. Введение в математическую логику. М., 1960.

Материалы промежуточного контроля

Вариант 1.

С помощью таблиц истинности установить правильность построения следующего умозаключения: «Если студент активно работал на семинарах, то он получит зачет. Неверно, что Петров активно работал на семинарах. Следовательно, неверно, что он получит зачет».

Определить правильность данного силлогизма, используя общие правила посылок и терминов. Обозначить фигуру и модус данного силлогизма: «Некоторые учащиеся являются экстремистами. Все студенты - учащиеся. Следовательно, некоторые студенты являются экстремистами».

С помощью круговых схем изобразить отношения следующих понятий: «организация», «формальная организация», «неформальная организация».

Вариант 2.

С помощью таблиц истинности установить правильность построения следующего умозаключения: «Если студент посещал лекции и активно работал на семинарах, то он получит зачет. Студент Петров не получил зачет. Следовательно, неверно, что он посещал лекции или неверно, что он активно работал на семинарах».

Определить правильность данного силлогизма, используя общие правила посылок и терминов. Обозначить фигуру и модус данного силлогизма: «Все металлы - кристаллические вещества, поскольку ни одно кристаллическое вещество не является пластичным и ни один металл не пластичен».

С помощью круговых схем изобразить отношения следующих понятий: «менеджер», «менеджер персонала», «консультант по кадровым вопросам».

Вариант 3.

С помощью таблиц истинности установить правильность построения следующего умозаключения: «Если изъятие следов преступной деятельности не зафиксировано в протоколе, то процессуальный порядок следственного действия не соблюден. Процессуальный порядок следственного действия соблюден. Следовательно, изъятие следов преступной деятельности зафиксировано в протоколе».

Определить правильность данного силлогизма, используя общие правила посылок и терминов. Обозначить фигуру и модус данного силлогизма: «Все интеллигентные люди борются за мир, и все они являются прогрессивными людьми. Следовательно, все прогрессивные люди борются за мир».

С помощью круговых схем изобразить отношения следующих понятий: «преступление», «преступление против здоровья», «преступление против жизни».

2. Методические рекомендации

2.1. Рекомендации по использованию материалов учебно-методического комплекса. Студентам рекомендуется обратить особое внимание на содержание данного комплекса в следующих случаях: 1) при подготовке к практическим (семинарским) занятиям; 2) при подготовке к промежуточным аттестационным работам и 3) при подготовке к экзамену. Необходимо помнить, что знакомство с учебно-методическим комплексом не отменяет необходимости посещения аудиторных занятий и освоения соответствующей учебной литературы.

2.2. Пожелания к изучению отдельных тем курса. Для изучения всех тем данного курса, за исключением предлагаемых для самостоятельного освоения, особо важное значение имеет усвоение лекционного материала, тем более что во время лекции могут быть обсуждены вопросы, вызывающие повышенный интерес. При работе с вопросами, связанными с темой «Силлогистика», ценный дополнительный материал представляют логические трактаты Аристотеля, рекомендованные в качестве дополнительной литературы. Для более продуктивного изучения темы «Понятие» рекомендуется обращение к работе Е.К.Войшвилло «Понятие как форма мышления». Для освоения тем «Классическая логика высказываний», «Понятие», «Силлогистика» обязательно самостоятельное решение задач, помещенных в разделе «Материалы промежуточного контроля».

2.3. Рекомендации по работе с литературой. Из списка основной литературы достаточно выбрать один из учебников, помещенных в данном списке. Учебник Бочарова и Маркина «Основы логики» содержит более подробное изложение вопросов, рассматриваемых на лекциях, и не заменим для студентов, склонных к абстрактному мышлению и математике. Учебники Ивлева, Кириллова и Старченко представляют собой изложение курса логики в классическом, традиционном ключе и будут весьма эффективны как дополнение к лекционному материалу.

2.4. Разъяснения по работе с тестовой системой курса и практическими задачами. При решении задач из тестовой системы необходимо выбрать один правильный ответ из предложенных вариантов. Для этого нужно тщательно усвоить определения основных терминов, помещенных в разделе «Словарь основных терминов».

2.5. Советы по подготовке к зачету. Для достижения положительного результата при ответе на зачете необходимо, прежде всего, знать определения основных для раскрытия предлагаемого вопроса терминов, а также уметь эффективно оперировать ими при решении практических задач.

3. Материалы тестовой системы по решению задач по тема лекций

Правила формирования ответов: выбрать один правильный ответ.

Q. Данные формулы: (р/\q), (p\/q), (pq) являются:

A) тождественно-ложными,

A) тождественно-истинными,

A) выполнимыми, но не тождественно-истинными,

A) невыполнимыми,

A) затрудняюсь ответить.

Q. Данные формулы: (р/\р), (p\/р), (рр) являются:

A) тождественно-ложными,

A) тождественно-истинными,

A) выполнимыми, но не тождественно-истинными,

A) невыполнимыми,

A) затрудняюсь ответить.

Q. Данные формулы: (р/\р), (p\/р), (рр) являются:

А) тождественно-ложными,

А) тождественно-истинными,

А) выполнимыми, но не тождественно-истинными,

А) невыполнимыми,

А) затрудняюсь ответить.

Q. Данное умозаключение: «Если студент любит логику, то он получит «зачет» по этой дисциплине. Студент Петров любит логику. Следовательно, он получит «зачет» по логике», - построено по форме:

А) условно-разделительного,

А) условно-категорического,

А) разделительно-категорического умозаключения,

А) простого категорического умозаключения,

А) энтимемы.

Q. Данное умозаключение: «Если студент любит логику, то он сдаст сессию без задолженностей. Если студент любит философию, то он также сдаст сессию без задолженностей. Студент Петров любит логику или философию. Следовательно, он сдаст сессию без задолженностей», - построено по форме:

А) условно-разделительного,

А) условно-категорического,

А) разделительно-категорического умозаключения,

А) простого категорического умозаключения,

А) энтимемы.

Q. Данное умозаключение: «Студент Петров любит логику или философию. Известно, что он не любит логику. Следовательно, он любит философию», - построено по форме:

А) условно-разделительного,

А) условно-категорического,

А) разделительно-категорического умозаключения,

А) простого категорического умозаключения,

А) энтимемы.

Q. Данное умозаключение: «Если студент любит логику, то он получит «зачет» по этой дисциплине. Студент Петров не получил «зачет» по логике. Следовательно, он не любит логику», - построено по форме:

А) отрицающего,

А) утверждающего,

А) отрицающе-утверждающего,

А) утверждающе-отрицающего модуса,

А) простой конструктивной дилеммы.

Q. Данное умозаключение: «Если студент любит логику, то он сдаст сессию без задолженностей. Если студент любит логику, то он правильно построит дипломную работу. Неверно, что студент Петров сдал сессию без задолженностей, или неверно, что он правильно построил дипломную работу. Следовательно, Петров не любит логику», - построено по форме:

А) простой конструктивной,

А) простой деструктивной,

А) сложной деструктивной,

А) сложной конструктивной дилеммы,

А) прогрессивного полисиллогизма.

Q. Данное умозаключение: «Студент Петров любит логику либо философию. Известно, что он любит логику. Следовательно, он не любит философию», - построено по форме:

А) утверждающего,

А) утверждающе-отрицающего,

А) отрицающе-утверждающего модуса,

А) сложной конструктивной дилеммы,

А) прогрессивного полисиллогизма.

Q. Данное умозаключение: «Если студент любит логику, то он получит «зачет» по этой дисциплине. Студент Петров не любит логику. Следовательно, он не получит «зачет» по логике», - построено:

А) правильно,

А) неправильно,

А) затрудняюсь ответить,

А) не совсем правильно,

А) так как его строят логики.

Q. Данное умозаключение: «Если студент любит логику, то он сдаст сессию без задолженностей. Если студент любит философию, то он также сдаст сессию без задолженностей. Студент Петров любит логику или философию. Следовательно, он сдаст сессию без задолженностей», - построено:

А) правильно,

А) неправильно,

А) затрудняюсь ответить

А) не совсем правильно,

А) так как его строят в армии.

Q. Данное умозаключение: «Студент Петров любит логику или философию. Известно, что он не любит логику. Следовательно, он любит философию», - построено:

А) правильно,

А) неправильно,

А) затрудняюсь ответить,

А) не совсем правильно,

А) так как его строят в армии.

Q. Следующее умозаключение:

«Всякий прямоугольник является геометрической фигурой.

Все квадраты суть прямоугольники.

Всякий квадрат есть геометрическая фигура», -

построено по:

А) четвертой,

А) первой,

А) второй,

А) третьей,

А) пятой

фигуре простого категорического силлогизма.

Q. Следующее умозаключение:

«Все студенты являются учащимися.

Петров нигде не учится.

Петров не является студентом», -

построено по:

А) третьей,

А) первой,

А) второй

А) четвертой,

А) пятой

фигуре простого категорического силлогизма.

Q. Следующее умозаключение:

«Всякий студент первого курса занимается спортом.

Каждый первокурсник любит логику.

Некоторые любители логики занимаются спортом», -

построено по:

А) третьей,

А) первой,

А) четвертой

А) второй

А) пятой

фигуре простого категорического силлогизма.

Q. Следующее умозаключение:

«Все квадраты суть прямоугольники.

Всякий прямоугольник является геометрической фигурой.

Некоторые геометрические фигуры являются квадратами», -

построено по:

А) третьей,

А) первой,

А) четвертой,

А) второй,

А) пятой

фигуре простого категорического силлогизма.

Q. Если высказывание «Все студенты первого курса являются совершеннолетними» является посылкой умозаключения, называемого противопоставлением предикату, то заключением такого умозаключения будет высказывание:

А) «Некоторые совершеннолетние являются первокурсниками».

А) «Всякий первокурсник не является несовершеннолетним».

А) «Ни один несовершеннолетний не является первокурсником».

А) «Все совершеннолетние являются первокурсниками».

А) «Некоторые несовершеннолетние не являются первокурсниками».

Q. Если высказывание «Все студенты первого курса являются совершеннолетними» является посылкой умозаключения, называемого обращением, то заключением такого умозаключения будет высказывание:

А) «Некоторые совершеннолетние являются первокурсниками».

А) «Всякий первокурсник не является несовершеннолетним».

А) «Ни один несовершеннолетний не является первокурсником».

А) «Все совершеннолетние являются первокурсниками».

А) «Некоторые несовершеннолетние не являются первокурсниками».

Q. Понятия «студент» и «учащийся» находятся в отношении:

А) тождества,

А) подчинения,

...