close

Вход

Забыли?

вход по аккаунту

?

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

код для вставкиСкачать
Рабочая программа учебной дисциплины «Логика» для студентов 1-2 курса очной формы обучения специальности «Философия» (030100)
МИНИСТЕРСТВО
ОБРАЗОВАНИЯ
И
НАУКИ
РФ
БАЛТИЙСКИЙ
ФЕДЕРАЛЬНЫЙ
УНИВЕРСИТЕТ
ИМ.
И.
КАНТА
ИСТОРИЧЕСКИЙ
ФАКУЛЬТЕТ
«Согласовано»
Декан исторического факультета _________________В.И. Гальцов
«_____»_____________ 201
___
г. «Утверждаю» Начальник Управления обра
зовательных программ
_________ Д.Г. Житиневич
«_____»_____________ 201
___
г.
Рабочая программа учебной дисциплины
«Логика»
для студентов 1
-
2
курса
очной формы
обучения
направление
(код) «
Философия
» (
030100
)
Калининград
201
1
2
Ли
ст согласования
Составители
:
Брюшинкин Владимир Никифорович
; доктор философских наук, профессор
, зав. каф. философии.
Пушкарский Анатолий Геннадьевич
; ст. преподаватель
каф. философии.
Рабочая программа учебной дисциплины обсужден
а
и утвержден
а
на зас
едании кафедры философии
Протокол № ___ от «
___
» ________
20_
_
_
г.
Зав.
кафедрой: ______________
В.Н. Брюшинкин
Рабочая программа учебной дисциплины одобрен
а
методическим советом исторического факультета, реализующим ООП по указанно
му
направлению
Протокол №
___
от «
___
»
_________
20
___
г.
Председатель методического совета _________________ В.Н. Маслов
Программа пересмотрена на з
аседании кафедры философии
Внесены следующие изменения (или изменений не внесено):_______________________
__________________
_________________________________________________________
Протокол №____от «____»__________ 20__ г.
Зав.кафедрой: ______
________
В.Н. Брюшинкин
Менеджер ООП _________________ В.Н. Маслов
3
1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
1.1.
Статус дисциплины в основной образ
овательной программе
Учебная дисциплина «Логика» входит в базовую часть
«Профессионального цикла
»
дисциплин
основной образовательной программы подготовки бакалавров по направлению «Философия». Курс л
огики является обязательным для изучения по указанно
му
на
правлению
. В соответствии с учебным планом данный курс читается на 1
-
2 курсах (1
-
3 семестры)
.
1.2. Место дисциплины в структуре ООП бакалавриата
К
урс
«Логика»
–
один из наиболее фундаментал
ь
ных в профессиональной подготовке бакалавров
по направлению
«Фил
ософия», он является базовым для
дисциплин «Онтология и теория познания», «Философии и методология наук
и», «История зарубежной философии», «Основы теории
аргументации», «Современная зарубежная философия», «Риторика», «История логики» и др. Он предназначен
, во
-
первых, для первоначального ознакомления студентов с основными понятиями логики и принципами правильного мышления в том виде, в котором они представлены в современной логической науке. Во
-
вторых, содержание курса нацелено на то, чтобы оказать помощь о
бучающимся в понимании роли и значения логического мышления в научном познании, связи мышления с языком и роли последнего в мыслительных процессах. Кроме того, изучение данного курса призвано помочь в структурировании учебного материала различных
дисципли
н, в частности, при помощи построения классификации, в установлении причинно
-
следственных связей между фактами и построении на этой основе целостной картины тех или иных явлений.
Основны
ми особенностями курса «Логика»
являются: 1.
Системная
взаимозависимост
ь со всеми профессиональными дисциплинами по направлению
«Философия»;
2.
Формирование профессиональных навыков, связанных с пониманием философских и научных текстов и профессиональной работе с ними;
3.
Ключевая роль курса в формировании навыков анализа научной а
ргументации, способности самостоятельно строить доказательную аргументацию и в итоге умения вести научные дискуссии.
4.
Связь с научным направлением «Проблемы логики и теории аргументации», развиваемым на кафедре;
1.3
. Т
ребования к начальной подготовке
, необ
ходим
ой
для успешного изучения дисциплины
Студенты
-
первокурсники, приступающие к изучению дисциплины «Логика», должны владеть обществоведческой терминологией, иметь представление о понятии функции, обладать начальными представлениями в области теории множе
ств, помнить алгоритм доказательства из школьного курса геометрии в соответствии с примерными программами основного и среднего (полного) общего образования по обществознанию и математике.
1.
4
. Цели и задачи освоения дисциплины
Цели изучения дисциплины: -
познакомить студентов с понятийным аппаратом традиционной логики,
логики высказываний и предикатов,
базовыми законами логики, дать общее представление о доказательстве и опровержении; -
дать студентам представление о различных видах понятий, суждений и у
мозаключений, о доказательстве и опровержении;
-
дать студентам общее представление о не
классических логиках и основных
их
видах
;
-
сформировать у студентов логическую культуру и критическое мышление;
-
сформировать у студентов навыки, связанные с пониман
ием научных и специальных текстов и профессиональной работе с ними, в том числе –
навыки анализа научной аргументации и умение давать обоснованное объяснение своей позиции.
Задачи изучения дисциплины: -
установить связь изучения логики с потребностями об
основанного научного общения;
-
дать целостное и ясное представление о предмете и содержании логики как отрасли философского знания; 4
-
раскрыть понятие рассуждения, показать зависимость правильности рассуждения от его формы;
-
изучить основные характерист
ики, классификацию и операции с понятиями (определение, деление понятий);
-
рассмотреть суждение как вид мысли, его виды и свойства, отношения между суждениями;
-
раскрыть смысл основных законов логики и их значение в мышлении;
-
дать общие сведения об умо
заключениях и их видах, определить различия дедуктивных и недедуктивных умозаключений;
-
овладеть основными навыками работы с
системами классической символической логики –
логики высказываний и логики предикатов;
-
рассмотреть понятия доказательства и опро
вержения, изучить правила до
казательства и возможные ошибки;
-
рассмотреть основные виды
неклассических логик
и их связь
с научными и философскими исследованиями.
1.5
. Компетенции обучающегося, формируемые в результате освоения дисциплины
«Логика»
-
влад
ение культурой мышления, способность в письменной и устной речи правильно и убедительно оформить результаты мыслительной деятельности (ОК
-
1);
-
проблем логики (логический анализ естественного языка, классическая логика высказываний и предикатов, основные т
ипы неклассических логик, правдоподобные рассуждения, основные формы и приемы рационального познания) (ПК
-
1)
-
умение использовать в профессиональной деятельности знание традиционных и современных проблем онтологии и теории познания (природа философского з
нания, функции философии, методология философского познания, основные категории философии) (ПК
-
2)
-
знание различных методов научного и философского исследования и умение их использовать в профессиональной деятельности (ПК
-
11)
-
владение методами и приемам
и логического анализа, умение работать с научными текстами и содержащимися в них смысловыми конструкциями (ПК
-
12)
-
умение пользоваться в процессе педагогической деятельности знаниями в области логики, онтологии и теории познания, социальной философии, ист
ории зарубежной философии, истории русской философии, этики, эстетики, философской антропологии, философии и методологии науки, философии религии, философских проблем естественных, технических и гуманитарных наук (ПК
-
15);
-
владение навыками организации и проведения дискуссий (ПК
-
18);
-
умение использовать базовые философские знания в процессе принятия управленческих решений (ПК
-
19);
В результате освоения дисциплины обучающийся должен:
Знать
:
Предмет, задачи и значение традиционной и символической логики;
Основные понятия и концепции традиционной и символической логики;
Основные принципы и законы традиционной
и символической
логики;
Основные виды дедуктивных и недедуктивных умозаключений логики;
Основные методы доказательства и опровержения
и их связь с тр
адиционными
и с
овременными проблемами философии и методами
философского исследования.
Уметь
:
критически анализировать философские тексты
;
классифицировать и систематизировать направления философской мысли
;
излагать учебный материал в области философских д
исциплин.
Вл
а
деть
: практическим навыком обнаруживать и исправлять ошибки в рассуждениях;
способностью логично оформлять (в письменном и устном виде) свои мысли;
способностью анализировать рассуждения с использованием различных систем традиционной логики;
5
способностью применять на практике разные виды дедуктивных и недедуктивных умозаключений;
способностью правильно выполнять различные операции с понятиями, суждениями и умозаключениями, определять их виды и отношения между ними;
способностью строить доказа
тельства и логические выводы в системах традиционной логики,
способностью
анализировать высказывания естественного языка с точки зрения формализованных языков.
6
2. ТЕМАТИЧЕСКИЙ ПЛАН
2.1 Структура дисциплины «Логика»
Общая трудоемк
ость дисциплины составляе
т 8
зачетных ед
и
ниц 288 часов.
Темы
Количество часов
Аудиторные занятия
Самостоят.
работа
Всего аудиторных
в том числе
Лекции
Практ.
занятия
Лаборат.
занятия
Первый семестр
Тема 1. Предмет и значение логики
2
2
-
-
3
Тема 2. Логический ана
лиз естественного языка. Мышление и язык
2
2
-
-
4
Тема 3.
Учение о понятии
10
4
6
-
6
Тема 4.
Учение о суждении
6
2
4
-
6
Тема 5
.
Учение об умозаключениях
8
2
6
-
6
Тема 6
. Дедуктивные умозаключения
8
2
6
-
8
Итого за 1 семестр
36
14
22
-
33
Форма контроля –
зачет
Второй семестр
Тема 7
. Основные
законы логики
2
2
-
-
5
Тема 8
. Правдоподобные рассуждения
2
2
-
-
4
Тема 9
. Индуктивные умозаключения
6
2
4
-
6
Тема 10
. Умозаключения по аналогии
6
2
4
-
6
Тема 11. Классическая логик
а высказываний
8
2
6
-
6
Тема 12. Алгебра логики
12
4
8
-
8
Итого за 2 семестр
36
14
22
-
35 Форма контроля –
экзамен
Третий семестр
Тема 13. Исчисление высказываний
8
8
8
-
8
Тема 14
. Язык и семантика логики предикатов
12
2
8
-
10
Тема 15
. Системы логики предикатов
14
2
6
-
9
Тема 16
. Основные типы неклассических логик
2
2
-
-
8
Итого за 2 семестр
36
14
22
-
3
5
Форма контроля –
экзамен
Итого часов
108
42
66
-
103
Итого по дисциплине, включая 5 ч. КСР, 72
ч. подготовки к экзаме
нам 288
2.2. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ «ЛОГИКА»
2.2.
1.Тезисное изложение содержания дисци
плины
Тема 1. Предмет и значение логики
Рассуждение как предмет изучения логики. Рассуждение и его отношение к чувственному познанию и абстрактному мышлению. Особ
енности абстрактного мышления. Содержание и логическая структура мысли. Рассуждение и язык.
Логика как наука о законах и формах правильных рассуждений. Правильные и неправильные рассуждения. Понятие логической формы и содержания рассуждения. Рассуждения и
их элементы: понятия, суждения, умозаключения. Основной принцип формальной логики.
7
Понятие логического закона. Логические законы в традиционной и современной формальной логике.
Формы правильных рассуждений и их связь с законами логики. Истинность мысли и формальная правильность рассуждений.
Возникновение и основные этапы развития логики как науки. Логика в Древней Греции, Древнем Китае и Древней Индии. Возникновение формальной логики как науки в трудах Аристотеля. Формальная логика и другие разновидности л
огики. Роль логики в культуре средневековой Европы. Разработка дедуктивного и индуктивного методов в философии Нового времени. Основные этапы развития логики в XIX веке. Возникновение символической логики. Современный этап развития формальной логики.
Те
оретическое и практическое значение логики. Роль логики в формировании убеждений, в повышении культуры мышления. Логика и современный научно
-
технический прогресс. Проблемы управления и логика. Логика и современный менеджмент. Логическая культура и мышление
философа.
Тема 2.
Логический анализ естественного языка. Мышление и язык
Язык как знаковая информационная система. Функция языка. Языки искусственные и естественные. Логический анализ языка как средство выявления логических форм и законов.
Понятие знака.
Предметное и смысловое значение языковых выражений. Основные аспекты языка: семантика, синтаксис, прагматика.
Семантические категории языка: дескриптивные и логические термины. Дескриптивные (описательные) термины: имена предметов; выражения, обозначающие
свойства и отношения; предложения. Логические термины: логические связки, кванторы.
Понятие об искусственном языке науки логики. Употребление переменных в логике: предметные, предикатные, пропозициональные. Понятие пропозициональной функции. Понятие о язы
ке логики высказываний. Понятие о языке логики предикатов. Роль искусственных языков логики для выявления структур мысли. Тема 3. Учение о понятии Понятие как логическая форма мышления (вид мысли). Выражение понятий в языке. Основные логические приемы ф
ормирования понятий: анализ, синтез, сравнение, абстрагирование, обобщение. Роль понятий в познании.
Содержание и объем понятия. Признаки предметов и их виды. Признаки существенные и несущественные, отличительные и неотличительные. Свойства и отношения как
признаки.
Объем понятия. Классы. Подклассы. Элементы класса. Отношения принадлежности элемента к классу и включения класса в класс.
Закон обратного отношения между объемом и содержанием понятия.
Виды понятий. Общие и единичные понятия. Конкретные и абстра
ктные понятия. Относительные и безотносительные понятия. Положительные и отрицательные понятия. Собирательные и разделительные понятия. Понятия пустые (с нулевым объемом) и непустые.
Отношения между понятиями. Сравнимые и несравнимые понятия. Совместимые и
несовместимые понятия. Типы совместимости: равнозначность, перекрещивание, подчинение (отношение рода и вида). Типы несовместимости: соподчинение, противоположность, противоречие. Круговые схемы Эйлера и диаграммы Венна для выражения отношений между понят
иями.
Операции с классами (объемами понятий): пересечение, объединение, разность классов, дополнение. Основные законы логики классов: коммутативность и ассоциативность операций пересечения и объединения; законы дистрибутивности; законы поглощения и др.
Обо
бщение и ограничение понятий. Роль операции обобщения в формировании научных понятий. Операция ограничения и конкретизация научных знаний.
Определения
.
Логическая операция «определение понятий». Номинальные и реальные определения. Явные и неявные определен
ия. Явное определение -
определение через род и видовое отличие. Генетическое определение как его разновидность. Логические правила явного определения, логические ошибки, возможные в определении. Неявные определения: контекстуальные, индуктивные, через акс
иомы.
Приемы, сходные с определением: описание, характеристика, разъяснение посредством примера и др.
8
Значение определений в науке и практическом рассуждении. Связь определений (дефиниций) с формированием и развитием понятий. Научная терминология.
Логическ
ая операция «деление понятий». Виды деления: по видоизменению признака, дихотомическое деление. Логические правила деления понятий, возможные логические ошибки в делении. Классификация и ее виды. Классификация по существенным признакам (естественная). Кла
ссификация по несущественным признакам (вспомогательная).
Значение деления и классификации в науке и практике.
Тема 4.Учение о суждении
Общая характеристика суждения. Суждение и предложение. Суждение как форма мышления (вид мысли). Логическая структура с
уждения. Повествовательные, побудительные и вопросительные предложения и их логический смысл. Простые и сложные суждения.
Состав простого суждения. Виды простых суждений по содержанию: атрибутивные суждения; суждения с отношениями; суждения существования (
экзистенциальные). Суждения с простыми и сложными предикатами.
Категорические суждения и их виды (деления по количеству и качеству). Распределенность терминов в суждениях. Круговые схемы отношений между терминами в категорических суждениях. Правила распре
деленности терминов суждений.
Сложное суждение и его виды. Образование сложных суждений из простых с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквивалентности и отрицания. Условия истинности сложных суждений (табличное определение). Ст
рогая и нестрогая дизъюнкция. Импликация и условное суждение. Понятие необходимого и достаточного условий.
Отношения между суждениями по истинности. Отношения совместимости: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность). От
ношения несовместимости: противоречие (контрадикторность), противоположность (контрарность). ―Логический квадрат‖. Правила образования противоречащих (отрицающих) суждений.
Деление суждений по модальности. Логическая и фактическая (онтологическая) модально
сть. Основные категории алетической модальности: необходимость, возможность, случайность. Понятия эпистемической, деонтической, аксиологической, временной и других модальностей.
Тема 5. Учение об умозаключениях
Общее понятие об умозаключении. Умозаключен
ие как форма мышления. Логическая структура умозаключения: посылки, заключение, логическая связь между посылками и заключением. Понятие логического следования. Логически необходимые и вероятностные (правдоподобные) умозаключения. Виды умозаключений: дедукт
ивные, индуктивные, по аналогии.
Тема 6. Дедуктивные умозаключения
Понятие дедуктивного умозаключения. Необходимый характер логического следования в дедуктивных умозаключениях. Различные формы дедуктивных умозаключений и понятие правил вывода. Типы дедукт
ивных выводов: выводы, основанные на логических связях между суждениями (выводы логики высказываний); выводы, зависящие от субъектно
-
предикатной структуры суждений.
Типичные в практике рассуждений формы умозаключений и соответствующие им правила выводов ло
гики высказываний. Прямые и непрямые (косвенные) выводы.
Чисто условные умозаключения: вывод по транзитивности импликаций; простая и сложная контрапозиция; вывод с конъюнктивным объединением условий (правило импортации); вывод с разъединением условий (прав
ило экспортации).
Условно
-
категорические умозаключения: утверждающий модус (modus ponens), отрицающий модус (modus tollens).
Разделительно
-
категорические умозаключения: утверждающе
-
отрицающий и отрицающе
-
утверждающий модусы.
Условно
-
разделительные (леммати
ческие) умозаключения: конструктивная и деструктивная дилеммы.
Непрямые (косвенные) выводы. Рассуждение по правилу введения импликации. Сведение к ―абсурду‖. Рассуждение от ―противного‖ (противоречащего).
Правила преобразования суждений на основе отношения
эквивалентности.
Понятие о систематическом построении логики высказываний.
9
Силлогистика
:
Выводы, основанные на субъектно
-
предикатной структуре суждений. Типичные в практике рассуждений выводы: выводы из категорических суждений; выводы из суждений с отноше
ниями.
Выводы из категорических суждений.
Выводы посредством преобразования суждений (непосредственные умозаключения): превращение, обращение, противопоставление предикату. Выводы по ‖логическому квадрату‖.
Простой категорический силлогизм. Состав силлогиз
ма. Логическая структура силлогизма. Фигуры и модусы силлогизма. Правильные модусы. Общие правила силлогизма. Специальные правила фигур. Отбор правильных модусов с помощью круговых схем. Сокращенный силлогизм (энтимема); восстановление силлогизма из энтиме
мы. Понятие о сложных (полисиллогизмы) и сложносокращенных (сориты и эпихейрема) силлогизмах.
Тема 7
. Основные
законы логики Основные черты правильного мышления: определенность, последовательность, непротиворечивость и обоснованность.
Основные законы ло
гики. Дескриптивность и нормативность законов логики. Смысл и значение основных законов (принципов) логики для правильного мышления. Закон тождества. Закон непротиворечия. Закон исключенного третьего. Закон достаточного основания. Понятие закона логики в современной формальной логике. Соблюдение законов логики -
необходимое условие достижения истины в познании.
Тема 8
. Правдоподобные рассуждения
Дедуктивные и недедуктивные умозаключения. Виды недедуктивных (правдоподобных) умозаключений.
Доказательное ра
ссуждение –
логическая основа формирования убеждений, аргументации. Логическая структура доказательства. Виды доказательства. Правила доказательного рассуждения.
Логическая структура опровержения. Способы опровержения: опровержение тезиса; выявление несост
оятельности аргументов и демонстрации.
Логические ошибки, встречающиеся в доказательстве и опровержении.
Дискуссия как метод обсуждения и разрешения спорных вопросов. Роль доказательства и опровержения в дискуссии. Правила ведения дискуссии.
Тема 9
. Индук
тивные умозаключения
Понятие индуктивного умозаключения. Связь индукции с опытными обобщениями. Характер логического следования в индуктивных умозаключениях. Виды индуктивных умозаключений. Полная и неполная индукция.
Полная индукция. Структура умозаключен
ия. Понятие о математической индукции.
Неполная индукция. Виды неполной индукции: популярная индукция и научная индукция.
Популярная индукция. Перечислительный (энумеративный) характер популярной индукции. Проблематичность индуктивных обобщений. Понятие ве
роятности. Вероятностная оценка степени обоснованности индуктивных обобщений. Условия, повышающие степень вероятности вывода популярной индукции.
Научная индукция. Принципы отбора и исключения (элиминация), ограничивающие возможность случайных обобщений.
И
ндуктивные методы установления причинных связей. Метод сходства. Метод различия. Объединенный метод сходствами различия. Метод сопутствующих изменений. Метод остатков.
Понятие о многофакторных индуктивных обобщениях.
Статистические обобщения. Понятие и поп
уляции, образце и частоте признака. Индуктивная природа статистических обобщений. Понятие о популяции, образце, частоте признака.
Роль индуктивных умозаключений в познании. Взаимосвязь индукции и дедукции в процессе познания.
Тема 10
. Умозаключения по ана
логии
Аналогия как умозаключение и его логическая структура. Виды умозаключений по аналогии: аналогия свойств и аналогия отношений. Нестрогая и строгая аналогия. Условия, повышающие степень вероятности заключений в выводах нестрогой аналогии. Достоверность
заключений в выводах строгой аналогии.
10
Роль выводов по аналогии в познании и правовом процессе. Аналогия -
логическая основа метода моделирования в науке, технике и экономике.
Тема 11
. Классическая логика высказываний
Пропозициональные связки в естествен
ном языке. Язык классической логики высказываний. Понятие формулы. Таблицы истинности. Тождественно
-
истинные, тождественно
-
ложные, выполнимые формулы. Логические отношения между формулами (логическое следование, совместимость по истинности, совместимость по ложности и др.). Методы установления тождественной истинности фо
рмул и отношения логического следования. Аналитические таблицы как способ организации рассуждений от противного в логике высказываний. Правила редукции и их виды. Понятие замкнутости аналитической таблицы. Критерии логической истинности (общезначимости фор
мул) и логического следования.
Тема 12
. Алгебра логики
Общие сведения об алгебре логики. Основные равносильности алгебры логики. Метод равносильных преобразований. Алгебра Буля. Функции алгебры логики и представление произвольной функции алгебры логики в
виде формулы алгебры логики.
Закон двойственности. Понятия дизъюнктивной и конъюнктивной нормальной форм. Понятие совершенной дизъюнктивной и конъюнктивной нормальной формы.
Проблема разрешимости. Некоторые приложения алгебры логики.
Тема 13
. Исчисление высказываний
Аксиоматическое исчисление высказываний
. Язык исчисления высказываний. Аксиомы исчисления высказываний. Правила вывода: правило подстановки, правило заключения. Понятие доказуемой формулы. Производные правила вывода. Понятия вывода и доказател
ьства в аксиоматическом исчислении высказываний. Натуральное исчисление высказываний
. Отличия натурального исчисления высказываний от аксиоматического исчисления. Близость исчислений натурального типа к естественным рассуждениям. Правила вывода: правила в
едения и правила исключения пропозициональных связок. Понятия вывода и доказательства в натуральном исчислении высказываний. Эвристики, используемые при построении выводов в натуральной системе.
Тема 14
.
Язык и семантика логики предикатов
Следующий урове
нь анализа структуры высказываний. Экстенсиональная трактовка свойств и отношений. Понятия предметно
-
истинностной и предметной функции. Алфавит классической логики предикатов. Имена, предикаторы и предметные функторы. Логические символы: пропозициональные связки и кванторы.
Понятия терма и формулы. Область действия квантора. Свободные и связанные предметные переменные. Понятие замкнутого терма и замкнутой формулы. Понятие области интерпретации (предметной области), интерпретационной функции. Интерпретаци
и нелогических констант (предметных, предикаторных, предметно
-
функциональных). Понятие модели (возможной реализации). Приписывание значений индивидным переменным. Правила приписывания значений термам и формулам. Условия истинности и ложности формул.
Тема 15
. Системы логики предикатов
Понятия закона логики предикатов (общезначимой формулы) и выполнимой формулы. Отношения совместимости по истинности, совместимости по ложности и отношение логического следования в логике предикатов. Установление общезначимост
и формул и отношения логического следования методом семантических (аналитических) таблиц. Правила редукции для пропозициональных связок и кванторов. Понятие замкнутой аналитической таблицы. Критерии общезначимости формул и логического следования. Понятие р
азрешимой логической теории. Неразрешимость логики предикатов.
Натуральный вывод в логике предикатов.
11
Тема 16
. Основные типы неклассических логик
Логики классическая и неклассические. Основные типы и виды неклассических логик (интуиционистская, многозна
чные, модальные, релевантные и другие). Многозначная логика
. Принципы построения и проблема гносеологического истолкования систем многозначной логики. Трехзначная логика Лукасевича. Методологическое значение многозначных логик. Отношение между многозначн
ой и двузначной логиками. Модальная логика
. Основные виды систем модальных логик (алетические, деонтические, эпистемические и временные). Основные свойства модальных алетических операторов. Нормальные модальные системы Т, В, S4 и S5, их синтаксис и се
мантика. Понятия "возможный мир" и "отношение достижимости". Семантические (аналитические) таблицы для нормальных модальных систем. Релевантная логика
. Парадоксы материальной импликации и логического следования, их источники. Понятие релевантного след
ования для формул языка логики высказываний. Проблема информативности логических законов. Методологическое значение релевантной логики. 2.2.
2
. Образовательные технологии
Применяются лекции с элементами беседы («диалог с аудиторией») и интерактивные фо
рмы проведения занятий («мозговой штурм»). На практических занятиях
используется метод тестирования, для выявления эффективности усвоения материала по пройденным темам.
Используются презентаци
и
лекционного материала в программе Power
P
oint
при помощи муль
тимедийных средств, что позволяет учесть психологические принципы обучения, акцентировать внимание студентов на определѐнных этапах подачи информации и экономить время при изложении материала, требующего наглядной подачи формул, таблиц и т.п. 2.2.3
.Темы,
планы, литература для подготовки к практическим занятиям
Тема 1. Учение о понятии
Занятие 1
ОБЩАЯ ХАРАКТЕРИСТИКА ПОНЯТИЯ
1. Понятие как форма мысли. Выражение понятий в языке.
2. Содержание понятий. Признаки и их виды.
3. Объем понятий. Элементы и части объема.
4. Обобщение и ограничение понятий.
5. Понятие о ближайшем роде и видах.
Занятие 2
ВИДЫ ПОНЯТИЙ И ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ
1. Виды понятий.
2. Отношения между понятиями по объему.
Занятие 3
ОПРЕДЕЛЕНИЕ ПОНЯТИЙ
1. Понятие определения. Виды опреде
лений. Родовидовые определения.
2. Правила определений и возможные ошибки.
Занятие 4
ДЕЛЕНИЕ ПОНЯТИЙ
1. Понятие деления. Виды деления. Структура деления.
2. Правила деления и возможные ошибки.
3. Понятие о классификации.
Литература.
1.
Брюшинкин В.Н. Логика
: учебник. М.: Гардарики, 2001. См. Практикум 1, 2
и 3
.
2.
Брюшинкин В.Н.
Логика: учебник. М.: Гардарики, 2001. Гл. 2, §1
-
3. Гл. 3, §1
-
2.
12
3.
Бочаров В.А., Маркин В.И.
Основы логики: учебник. М.: ИНФРА
-
М, 1998. Гл. 4, §1, 4. Гл. 6, § 2
-
3.
4.
Войшвилло Е.К., Дегтярев
М.Г.
Логика как часть теории познания и научной методологии: фундаментальный курс. М.: Наука, 1994. Кн. II
. Гл. 16, §50
-
59, §61
-
62.
5.
Войшвилло Е.К.
Понятие как форма мышления. М.: МГУ, 1989. Ч. II
. Гл. 1, §7,8; Гл. 2, §9
-
11; Гл. 4, §15; Гл. 5, §17
-
18.
Тем
а 2. Суждение
Занятие 5
ПРОСТЫЕ И СЛОЖНЫЕ СУЖДЕНИЯ
1. Простое суждение: виды и структура.
2. Истинность и ложность простых суждений.
3. Категорические суждения и их виды. Распределенность терминов.
4. Сложные суждения: структура и логическая форма. Таблицы
истинности.
Занятие 6
СЛОЖНЫЕ СУЖДЕНИЯ И И
Х ОТНОШЕНИЯ
1.
Истинность и ложность сложных суждений. Таблицы истинности.
2. Понятие закона логики, логического противоречия, фактического суждения.
3. Отношения между суждениями. Литература.
1.
Брюшинкин В.Н.
Ло
гика: учебник. М.: Гардарики, 2001. См. Практикум 5,6.
2.
Брюшинкин В.Н.
Логика: учебник. М.: Гардарики, 2001. Гл. 6, §1
-
3; Гл. 7.
3.
Бочаров В.А., Маркин В.И.
Основы логики: учебник. М.: ИНФРА
-
М, 1998. Гл. 2, § 1
-
4.
4.
Войшвилло Е.К., Дегтярев М.Г.
Логика как част
ь теории познания и научной методологии: фундаментальный курс. М.: Наука, 1994. Кн. II
. Гл. 17, § 63
-
70.
Тема 3. Умозаключение
: умозаключения логики высказываний
Занятие 7
УСЛОВНО
-
КАТЕГОРИЧЕСКИЕ УМОЗАКЛЮЧЕНИЯ
1.
Общая характеристика и виды умозаключений логи
ки суждений.
2.
Формальные и материальные ошибки в умозаключениях.
3.
Условно категорические умозаключения: правильные и неправильные способы.
Занятие 8
РАЗДЕЛИТЕЛЬНЫЕ И НЕПРЯМЫЕ УМОЗАКЛЮЧЕНИЯ
1. Разделительно
-
категорические умозаключения: правильные способы и возможные ошибки.
2. Условно
-
разделительные умозаключения: виды дилемм.
3. Непрямые умозаключения: а) сведение к абсурду; б) рассуждение от противного; в) рассуждение по случаям.
Литература.
1.
Брюшинкин В.Н.
Логика: учебник. М.: Гардарики, 2001. См. Практик
ум 7
и 8
.
2.
Брюшинкин В.Н.
Логика: учебник. М.: Гардарики, 2001
. Гл. 9, Гл. 10 §1
-
5
.
3.
Войшвилло Е.К., Дегтярев М.Г.
Логика как часть теории познания и научной методологии: фундаментальный курс. М.: Наука, 1994. Кн. II
. Гл. 21, § 77
-
84.
Тема 4. Дедуктивные у
мозаключения: силлогизмы
Занятие 9
НЕПОСРЕДСТВЕННЫЕ И ОПОСРЕДОВАННЫЕ СИЛЛОГИЗМЫ
1.Непосредственные силлогизмы: превращение, обращение, противопоставление предикату.
2. Простой категорический силлогизм: состав, фигуры, модусы, способы проверки правильности.
Занятие 10
13
СОКРАЩЕННЫЕ СИЛЛОГИЗМЫ, или ЭНТИМЕМЫ
1. Энтимема -
сокращенный силлогизм. Способы образования энтимем.
2. Развертывание энтимем в полный силлогизм. Проверка правильности энтимем.
3. Выделение силлогизмов из речевых контекстов.
Литература.
1.
Бр
юшинкин В.Н. Логика: учебник. М.: Гардарики, 2001. См. Практикум 9
и 10
.
2.
Брюшинкин В.Н.
Логика: учебник. М
.: Гардарики, 2001. Гл. 11, §1
-
6
.
3.
Бочаров В.А., Маркин В.И.
Основы логики: учебник.
М.: ИНФРА
-
М, 1998. Гл. 5, § 1
-
6
.
4.
Войшвилло Е.К., Дегтярев М.Г.
Лог
ика как часть теории познания и научной методологии: фундаментальный курс. М.: Наука, 1994. Кн. II
. Гл. 21, § 80
-
84
.
Тема 5
. Нед
едуктивные умозаключения: индуктивные умозаключения и умозаключения по аналогии
Занятие 11
НЕДЕДУКТИВНЫЕ УМОЗАК
ЛЮЧЕНИЯ
1.
Общая ха
рактеристика индуктивных умозаключений. Популярная индукция.
2.
Методы научной индукции.
3.
Умозаключения по аналогии: структура, виды. Условия состоятельности аналогий.
Литература.
1.
Брюшинкин В.Н. Логика: учебник. М.: Гардарики, 2001. См
. Практикум 11
.
2.
Брюшинки
н В.Н.
Логика: учебник. М.: Гардарики, 2001. Гл. 11, §1
4.
3.
Бочаров В.А., Маркин В.И.
Основы логи
ки: учебник. М.: ИНФРА
-
М, 1998.
Тема 6
. Классическая логика высказываний
Занятие 12
ПРЕДМЕТ И СТРУКТУРА СОВРЕМЕННОЙ СИМВОЛИЧ
ЕСКОЙ ЛОГИКИ
1.
Предмет символической логики и его отличие от предмета традиционной логики.
2.
Формализованный язык: понятие и отличие от полуформализованных и естественных языков.
3.
Классическая логика: общая характеристика и основные принципы. Логика высказываний и логика предикатов.
Занятие 13
ТАБЛИЦЫ ИСТИННОСТИ В
ЛОГИКЕ ВЫСКАЗЫВАНИЙ
1.
Язык логики высказываний.
2.
Понятие таблицы истинности.
3.
Понятия логически истинного, логически ложного и фактического высказываний.
4.
Отношения между сложными высказываниями.
Литература.
1.
Брюшинкин В.Н.
Логика: учебник.
М.: Гардарики, 2001. 2.
Бочаров В.А., Маркин В.И.
Основы логики: учебник. М.: ИНФРА
-
М, 1998.
3.
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. СПб.: Лань, 1998.
Тема 7
. Алгебра логики
Занятие 14
АЛГЕБРА ЛОГИКИ 1.
Формулы алгебры логики и логические опе
рации над ними. Основные равносильности алгебры логики. Метод равносильных преобразований. 2.
Функции алгебры логики. Совершенные нормальные формы и методы их построения.
3.
Некоторые приложения алгебры логики.
Литература.
1.
Мендельсон
Э.
Введение в математическ
ую логику. М.: Наука, 1984.
14
2.
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. СПб.: Лань, 1998.
Тема 8
. Исчисление логики высказываний
Занятие 16
АКСИОМАТИЧЕСКОЕ ИСЧИ
СЛЕНИЕ ВЫСКАЗЫВАНИЙ
1.
Понятие исчисления высказываний. Отличие исчисления высказыван
ий от логики высказываний.
2.
Аксиомы исчисления высказываний.
3.
Правила вывода в аксиоматическом исчислении высказываний.
4.
Понятия вывода и доказательства.
Занятие 17
НАТУРАЛЬНЫЙ ВЫВОД В ИСЧИСЛЕНИИ ВЫСКАЗЫВА
НИЙ
1.
Понятие натурального исчисления высказываний.
2.
Пра
вила натурального исчисления высказываний: структура и виды.
3.
Понятие вывода и доказательства в натуральном исчислении высказываний.
4.
Использование эвристик при построении выводов в исчислении высказываний. Виды выводов.
Литература.
1.
Бочаров
В.А., Маркин
В.И
.
Введение в логику: Учебник. М.: ИД «ФОРУМ», 2008.
2.
Мендельсон
Э.
Введение в математическую логику. М.: Наука, 1984.
3.
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. СПб.: Лань, 1998.
Тема 9
. Язык и семантика логики предикатов
Занятие 18
ЯЗЫК ЛОГИК
И ПРЕДИКАТОВ
1.
Язык логики предикатов первого порядка.
2.
Основные нелогические и логические термины естественного языка, которым сопоставляются символы формализованного языка
.
3.
Построение языка логики предикатов.
Перевод высказываний естественного языка на язы
к логики предикатов первого порядка
.
Занятие 19
СЕМАНТИКА ЛОГИКИ ПРЕ
ДИКАТОВ
1.
Интерпретации и модели 2.
Общезначимые формулы и логические отношения в логике предикатов
Литература.
1.
Бочаров
В.А., Маркин
В.И.
Основы логики. М.: Форум
-
ИНФРА
-
М, 2005.
2.
Бочаров
В.А.,
Маркин
В.И.
Введение в логику: Учебник. М.: ИД «ФОРУМ», 2008.
3.
Мендельсон
Э.
Введение в математическую логику. М.: Наука, 1984.
Тема 10
. Системы логики предикатов
Занятие 20
АНАЛИТИЧЕСКИЕ ТАБЛИЦ
Ы В ЛОГИКЕ ВЫСКАЗЫВА
НИЙ 1.
Понятие аналитической таблицы. Анал
итические таблицы как способ организации рассуждений от противного в логике высказываний. 2.
Правила редукции и их виды.
3.
Понятие замкнутости аналитической таблицы. Критерии логической истинности (общезначимости формул) и логического следования.
4.
Порядок приме
нения правил при построении аналитической таблицы.
Литература.
1.
Бочаров
В.А., Маркин
В.И.
Основы логики. М.: Форум
-
ИНФРА
-
М, 2005.
2.
Бочаров
В.А., Маркин
В.И.
Введение в логику: Учебник. М.: ИД «ФОРУМ», 2008.
3. Тематика самостоятельных, контрольных, курсовых
работ и рефератов.
15
Выполнение студентами самостоятельных, контрольных, курсовых работ и рефератов учебным планом не предусмотрено.
4. Вопросы для промежуточного и итогового контроля
ПЕРЕЧЕНЬ ВОПРОСОВ К ЗАЧЕТУ
1
-
й учебный семестр
1.
Формальное мышление и его значение для общества.
2.
Логическая онтология: вещь, предмет, объект, свойство и отношение.
3.
Логика как наука о рассуждениях. Понятие рассуждения.
4.
Форма и содержание рассуждения. Понятие о формальной правильности рассуждения.
5.
Общая характеристика понятия.
Объем и содержание понятия.
6.
Обобщение и ограничение понятий. Род и вид.
7.
Виды понятий, различаемые по объему и содержанию.
8.
Отношения совместимости и несовместимости между понятиями.
9.
Определение понятий: структура и виды, правила и ошибки.
10.
Деление понятий: структура и виды, правила и ошибки.
11.
Понятие о классификации. Виды классификаций.
12.
Общая характеристика суждений. Истинность и ложность суждений.
13.
Простые суждения и их виды. Структура простых суждений.
14.
Категорические суждения и их виды. Распределенность терм
инов. Условия истинности категорических суждений.
15.
Язык логики суждений.
16.
Сложные суждения: соединительные, разделительные, условные и суждения эквивалентности.
17.
Отношения совместимости и несовместимости между сложными суждениями.
18.
Способ построения таблиц ис
тинности для произвольных сложных суждений.
19.
Логически истинные, логически ложные и фактические суждения. Информативность сложных суждений.
20.
Логические законы в традиционной и символической логике.
21.
Общее понятие об умозаключении. Структура умозаключений.
22.
Умо
заключения логики суждений: условно
-
категорические и чисто
-
условные.
23.
Умозаключения логики суждений: разделительно
-
категорические и условно
-
разделительные.
24.
Непрямые умозаключения логики суждений.
25.
Понятие и виды силлогизмов.
26.
Непосредственные силлогизмы: прев
ращение, обращение, противопоставление предикату.
27.
Выводы по логическому квадрату.
28.
Понятие о простом категорическом силлогизме. Структура силлогизма. 29.
Аксиома силлогизма.
30.
Правила фигур, терминов и посылок силлогизма.
31.
Фигуры силлогизма. Правила и примеры.
32.
Ос
новные способы проверки правильности силлогизмов.
33.
Энтимемы и полисиллогизмы.
ПЕРЕЧЕНЬ ВОПРОСОВ К ЗКЗАМЕНАМ
2
-
й учебный семестр 1.
Традиционная и символическая логики как этапы развития формальной логики. 2.
Законы традиционной логики.
3.
Индуктивные умозаключе
ния. Полная и неполная индукция.
4.
Методы исследования причинных связей: метод сходства.
5.
Методы исследования причинных связей: метод различия.
16
6.
Методы исследования причинных связей: объединенный метод сходства и различия.
7.
Методы исследования причинных связей:
метод сопутствующих изменений и метод остатков.
8.
Умозаключения по аналогии: понятие, структура, виды.
9.
Понятие информации в логике. Проблема информативности логических процедур.
10.
Формализованный язык: понятие и отличие от полуформализованных и естественных я
зыков. Формализация рассуждений как метод символической логики. Понятие исчисления.
11.
Язык классической логики высказываний. Основные логические отношения между формулами КЛВ.
12.
Алгебра логики как содержательная логическая система. Логические связки как опера
ции. Понятие тавтологии, противоречия, выполнимой формулы.
13.
Унарные и бинарные логические операции. Таблицы истинности для них.
14.
Основные законы алгебры логики. Понятие равносильного преобразования. Примеры равносильных преобразований.
15.
Конъюнктивная и дизъюн
ктивная нормальные формы. Теорема о существовании КНФ и ДНФ для произвольной формулы АЛ. Процедуры приведения формул АЛ к КНФ и ДНФ. 16.
Совершенные нормальные формы в алгебре логики. Построение СДНФ по таблицам истинности (описание процедуры и примеры). Уст
ановление отношения логического следования при помощи СДНФ.
3
-
й учебный семестр
1.
Логика высказываний и исчисление высказываний. Аксиоматическая система исчисления классической логики. Примеры доказательства и вывода в классическом исчислении высказываний.
2.
Метатеорема непротиворечивости аксиоматического исчисления высказываний.
3.
Метатеоремы полноты и адекватности аксиоматического исчисления высказываний.
4.
Натуральное исчисление классической логики высказываний. Отличия от аксиоматического исчисления.
5.
Основны
е эвристики, применяемые при построении выводов.
6.
Понятие о языке логики предикатов.
Отличия языка логики предикатов от языка логики высказываний.
7.
Основные категории естественного языка, необходимые для построения языка логики предикатов. 8.
Алфавит языка лог
ики предикатов. Логические и нелогические символы.
9.
Правила построение выражений языка логики предикатов. Термы и формулы.
10.
Понятие квантора, области действия квантора. Понятия свободного и связанного вхождений переменных в формулу. Свободные и связанные пер
еменные. Понятие замкнутых выражений.
11.
Особенности перевода выражений естественного языка на язык логики предикатов. Перевод категорических суждений на язык логики предикатов.
12.
Понятие об интерпретации языка логики предикатов. Интерпретации и модели. Универс
ум рассуждения.
13.
Интерпретация предметных и предметно
-
функциональных констант языка логики предикатов.
14.
Интерпретация предикаторных констант языка логики предикатов.
15.
Понятие модели языка логики предикатов.
16.
Интерпретация предметных переменных. Понятие функции
приписывания значений предметным переменным. 17.
Правила установления значения термов
18.
Правила установления значения формул.
Условия истинности и ложности элементарных формул.
19.
Правила установления значения формул. Условия истинности сложных формулы, главным з
наком которых является пропозициональная связка
20.
Правила установления значения формул. Условия истинности сложные формулы, главным знаком которых являются кванторы
17
21.
Общезначимые выполнимые и невыполнимые формулы в логике предикатов
22.
Логические отношения в лог
ике предикатов
23.
Законы логики предикатов: пронесение кванторов через дизъюнкцию, конъюнкцию и импликацию.
24.
Аналитические таблицы для логики предикатов. Правила редукции для пропозициональных связок.
25.
Аналитические таблицы для логики предикатов. Правила редук
ции для кванторов. Порядок применения правил при построении таблицы.
26.
Понятие замкнутости аналитической таблицы. Критерии логической истинности высказываний и логического следования.
27.
Неклассическая логика: общая характеристика и основные теории.
5. Критери
и оценки знаний Качество изучения дисциплины контролируется, во
-
первых, на практических занятиях при решении практических заданий у доски и аудиторной проверке домашнего выполнения заданий в письменном виде; во
-
вторых, тестированием по темам (разделам) д
исциплины во время учебного семестра; в
-
третьих, на промежуточном
зачете в 1 семестре, на промежуточном
экзамене во 2 семестре, и на итоговом экзамене в 3 семестре.
Промежуточная оценка качества знаний по предмету в 1 семестре проводится
в форме письменног
о зачета (тестирования) по окончании изучения дисциплины. При подготовке к аттестации студенты могут получить необходимые консультации у преподавателя.
«Зачтено» выставляется, если студентом дано более 60 % правильных ответов на вопросы теста. Этот принцип
может распространяться
и на текущее тестирование по отдельным разделам предмета. При этом зачтенное тестирование по теме (разделу) дисциплины добавляет баллы к результату итогового тестирования.
Промежуточная аттестация во 2 семестре и итоговая в 3 семест
ре проводится в форме письменного экзамена (тестирования). При подготовке к аттестации студенты могут получить необходимые консультации у преподавателя.
Оценка «5» выставляется, если при выполнении 50 тестовых заданий сумма баллов за правильные ответы сост
авляет 75 % и более от максимальной суммы баллов, «4» —
от 60 до 74 %, «3» -
от 40 до 59 %.
6. Рекомендации по организации самостоятельной работы студентов
Самостоятельная работа планируется по каждой учебной теме при подготовке к практическим занятиям и
контролируется в ходе практических занятий
(выступления с докладами, ответы студентов на вопросы, участие в дискуссиях)
.
7
. Список основной и дополнительной литературы
ОСНОВНАЯ ЛИТЕРАТУРА:
(библиотека РГУ им. И. Канта)
Бочаров
В.А., Маркин
В.И.
Основы л
огики. М.: Форум
-
ИНФРА
-
М, 2005
. Брюшинкин В.Н.
Логика: Программа и планы практических занятий для студентов гуманита
р
ных факультетов / Калинингр. ун
-
т. -
Калининград, 1998.
Брюшинкин В.Н.
Логика. Учебник. М.: Гардарики, 2001
.
ДОПОЛНИТЕЛЬНАЯ ЛИТЕРАТУРА:
Асмус В.Ф. Логика. Учебник. М.: УРСС, 2001. (Библиотека РГУ им. И. Канта, науч. абонемент).
Бочаров
В.А., Маркин
В.И.
Введение в логику: Учебник. М.: ИД «ФОРУМ», 2008
. (Фонды преподавателей).
Войшвилло Е.К.
Понятие как форма мышления. М.: МГУ, 1989. (Библи
отека РГУ им. И. Канта, науч. абонемент).
18
Войшвилло
Е.К.
, Дегтярев М.Г. Логика с элементами эпистемологии и научной методологии. М. : Интерпракс, 1994. (Библиотека РГУ им. И. Канта, Читальный зал №1).
Ивин А.А. Словарь по логике. М.: ВЛАДОС, 1998. (Библи
отека РГУ им. И. Канта, Читальный зал №2).
Ивин А.А.
Практическая логика: Учебное пособие. М.: ФАИР
-
ПРЕСС, 2002. (Библиотека РГУ им. И. Канта, Кабинет философии).
Ивин А.А.
Логика. Учебник. М.: ФАИР
-
ПРЕСС, 2003. (Библиотека РГУ им. И. Канта, Читальные залы
№1 и №2).
Минто В.
Дедуктивная и индуктивная логика. Екатеринбург: Деловая кн.; Бишкек: Одиссей, 1997. (Библиотека РГУ им. И. Канта, Читальный зал №1).
Математическая теория логического вывода. М.: Наука, 1967. (Библиотека РГУ им. И. Канта, науч. абонемен
т).
ИНТЕРНЕТ
-
РЕСУРСЫ Сайт кафедры философии —
http://
philoslog
.
gorodkanta.ru
Автор
sdo_logic
Документ
Категория
Методические пособия
Просмотров
429
Размер файла
261 Кб
Теги
логика, программа, рабочая
1/--страниц
Пожаловаться на содержимое документа