Учебно-методический комплекс дисциплины «Логика» (стр. 1 )

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Государственное образовательное учреждение

высшего профессионального образования

Омский государственный университет им.

Юридический факультет/институт

кафедра Философии

«Утверждаю»

Проректор по учебной работе

_______________ …………………

«_____» ________________ 20__ г.

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

«ЛОГИКА»

цикл ФГОС ВПО ____________ часть _____________________________

(Б1, Б2, Б3) (обязательная, вариативная)

входит в число обязательных или дисциплин по выбору студента

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

к следующим образовательным программам

по направлению подготовки [бакалавра, магистра]/ специальности

Направление подготовки / специальность	Код направления подготовки / специальности
Юриспруденция	030501.65

г. Омск – 2012г.

Приложение 10 (продолжение)

Программа дисциплины «Логика»

Разработана:

Профессор, д. ф.н. _______________ __________

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

_____________________________ _______________ ______________________________

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

_____________________________ _______________ ______________________________

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

Программа рассмотрена на заседании кафедры (ученого совета факультета/ института)_____

_____________________________ (протокол № ______ от «_____» _____________ 20___ г.)

Программа разработана в соответствии с федеральным(и) государственным(и) образовательным(и) стандартом(амии) высшего профессионального образования РФ и согласована с факультетами/институтами, осуществляющими профессиональную подготовку по этим направлениям подготовки/специальностям:

Декан/директор ___________________________________ __________________________

(название факультета/института) (подпись, Ф. И.О. декана/директора)

Декан/директор ___________________________________ __________________________

(название факультета/института) (подпись, Ф. И.О. декана/директора)

Декан/директор ___________________________________ __________________________

(название факультета/института) (подпись, Ф. И.О. декана/директора)

Приложение 10 (продолжение)

1.  Цели освоения дисциплины Логика

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

2.  Место дисциплины Логика в структуре ООП вуза

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

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

3.  Компетенции обучающегося, формируемые в результате освоения дисциплины

коды компетенций	Название компетенции	Краткое содержание/определение и структура компетенции. Характеристика (обязательного) порогового уровня сформированности компетенции у выпускника	Средства и технологии оценивания
1	2	3	4
ОК – 3 ОК-4 ОК-8	ОБЩЕКУЛЬТУРНЫЕ КОМПЕТЕНЦИИ ВЫПУСКНИКА:	владеет культурой мышления, способен к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения; способен логически верно, аргументированно и ясно строить устную и письменную речь; способен использовать основные положения и методы социальных, гуманитарных и экономических наук при решении социальных и профессиональных задач	Устный опрос, тестирование, выполнение практических заданий на семинаре, эссе. Экзамен
СЛК	Владеет культурой критического мышления, способен к обобщению, анализу, восприятию информации, постановке целей и выбору путей ее достижения	Владение культурой мышления Знает: -требования основных логических законов; -содержание и алгоритмы проведения логических операций: обобщение, ограничение, анализ, синтез, идеализация, обращение, превращение, контрапозиция и др. -правила образования и выводы логики высказываний; -правила построения рассуждений (умозаключений) по схемам возможных модусов, -методы установления причинных связей и другие виды индуктивных умозаключений; -схемы построения рассуждений по аналогии; -основы теории аргументации. Умеет: -применять логические операции: обобщение, анализ, синтез, абстрагирование, идеализация и др. в научной и практической деятельности; - вскрывать противоречия при анализе знания; -отделять главные, существенные моменты от второстепенных, -применять правильные аргументационные конструкции, -строить рассуждения и получать результаты в индуктивных умозаключениях и умозаключениях по аналогии, -четко и ясно формулировать исследовательские задачи; -логически грамотно обосновывать способы решения поставленных задач, -тщательно и всесторонне исследовать поставленную проблему. Владеет: -приемами выполнения логических операций обобщения, ограничения, синтеза, анализа и др. -навыками типологизации и классификации исследуемых явлений, - способами логически грамотного обоснования собственного видения проблемы, -умением сформулировать выводы из проведенных рассуждений и резюмировать краткий итог. навыками квалификации логических ошибок, -способностью сжато сформулировать существенные моменты рассматриваемого вопроса или проблемы, - способностью строить логически непротиворечивые доказательства и опровержения. Пороговый уровень: Знает: - требования основных логических законов; - содержание и алгоритмы проведения логических операций: обобщение, ограничение, анализ, синтез, идеализация, обращение, превращение, контрапозиция и др. - правила построения умозаключений по схемам возможных модусов, - основы теории аргументации. Умеет: -применять логические операции: обобщение, анализ, синтез, абстрагирование, идеализация и др. в научной и практической деятельности; - вскрывать противоречия при анализе информации; -отделять главные, существенные моменты от второстепенных, -применять правильные аргументационные конструкции. Владеет: - приемами выполнения логических операций обобщения, ограничения, синтеза, анализа и др. -навыками типологизации и классификации исследуемых явлений, - способностью сжато сформулировать существенные моменты рассматриваемого вопроса или проблемы. -анализировать софистические и паралогические рассуждения. Владеет: -понятийным логическим аппаратом, - применением основных логических законов, - навыками абстрагирования и обобщения в профессиональной деятельности и общении, -логически корректно формулирует тезис, -основными способами ясного и убедительного обоснования выдвигаемого тезиса, -приемами построения умозаключений разного типа демонстрации, -способами распознавания софистических рассуждений и квалификации логических ошибок в паралогизмах, -не допускает нарушений правил и законов логики в научных дискуссиях и общении. Пороговый уровень: Знает: - основные законы логики, - правила образования понятий и научных терминов, - алгоритмы логических операций над понятиями, - общую характеристику простых суждений, - отношения между суждениями по истинности, - классификацию сложных суждений, - правила выводов логики высказываний, -понятие дедуктивного умозаключения, - выводы из простых суждений, структуру и правила простого категорического силлогизма, -выводы из сложных суждений, -основы теории аргументации Умеет: - использовать логические законы для успешной научно-исследовательской деятельности, - выполнять логические операции над понятиями, над классами, - анализировать суждения по истинности по логическому квадрату. -квалифицировать логические ошибки в умозаключениях, -строить выводы из сложных суждений, - квалифицировать логические ошибки в рассуждениях, -аргументировать собственную позицию, -логически непротиворечиво выстраивать научную концепцию, -анализировать софистические и паралогические рассуждения. Владеет: понятийным логическим аппаратом, - применением основных логических законов, - навыками абстрагирования и обобщения в профессиональной деятельности и общении, - логически корректно формулирует тезис, -основными способами ясного и убедительного обоснования выдвигаемого тезиса, -приемами строения умозаключений разного типа демонстрации.	Устный опрос, тестирование, выполнение практических заданий на семинаре, эссе. Устный опрос, тестирование, выполнение практических заданий на семинаре, эссе.
ПК	ПРОФЕССИОНАЛЬНЫЕ КОМПЕТЕНЦИИ ВЫПУСКНИКА
ПК–1 ПК–2 …	·  … ·  … ·  …

Перечень компетенций в столбцах 1 и 2 указывается в соответствии с матрицей формирования компетенций. Указываются только компетенции, отнесенные к данной дисциплине.

Столбцы 3 и 4 заполняются в соответствии с картой компетенций.

Если компетенция формируется двумя дисциплинами и более, для каждой из них в столбцах 3 и 4 могут быть указаны не все содержательные элементы, средства и технологии оценивания компетенции (при условии, что при завершении изучения всех указанных дисциплин компетенция полностью сформирована и оценена всеми средствами и технологиями оценивания].

Приложение 10 (продолжение)

4.  Тематический план (с распределением общего бюджета времени)

Общая трудоемкость дисциплины __2___ зачетных единиц; 20/18 часов.

Раздел дисциплины, содержание	Объем часов (по видам работы)
Аудиторные занятия	Самостоятельная работа студентов
Всего	в том числе	Всего	в том числе
		Лекции	Практические занятия	Лабораторные занятия		Курсовая работа (проект)	Индивидуальные задания	Другие виды СРС, в т. ч. подготовка к зачету, экзамену
		18	34

Форма промежуточного контроля – зачёт

5.  Содержание дисциплины

Тема 1. Формальная логика как наука. Формы логического мышления

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

Формы логического мышления (понятие, суждение, умозаключение).

Тема 2. Понятие

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

Тема 3. Операции с понятиями и классами. Основы логики высказываний

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

Тема 4. Суждения. Простые суждения

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

Тема 5. Сложные суждения. Законы логики

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

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

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

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

Опосредованные умозаключения. Простой категорический силлогизм (ПКС), его определение и логическая структура. Определения фигур и модусов ПКС. Аксиома силлогизма в формулировках для объема и содержания. Правила терминов и посылок ПКС. Распределенность терминов в посылках и выводах модусов ПКС. Понятие о правильных (заключающих) и неправильных (незаключающих) модусах. Проверка силлогизмов на соответствие правилам. Правила 1–4 фигур ПКС. Основы построения и приемы работы с правильными модусами 1–4 фигур ПКС.

Тема 8. Дедуктивные умозаключения на основе ПКС.
Силлогизмы из сложных суждений

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

Тема 9. Основы теории логической индукции.
Основы модальной логики.

Основы теории аргументации
и начала искусства спора

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

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

Понятие о логической теории аргументации. Структура аргументации: тезис, аргументы, демонстрация и их определения. Доказательство и опровержение. Прямое доказательство: определение, логическая структура, пример. Косвенное доказательство и его виды. Апагогическое доказательство: определение, логическая структура, пример. Разделительное доказательство: определение, логическая структура, пример. Опровержение: определение и способ выполнения через критику тезиса, аргументов, демон-страции. Прямое опровержение: определение, логическая структура, при-мер. Косвенное опровержение: определение, логическая структура, пример. Основные ошибки в процессе доказательства и опровержения по отношению к тезису, аргументам, демонстрации.
ПЛАНЫ СЕМИНАРСКИХ ЗАНЯТИЙ

Занятие № 1

1. История возникновения логики. Становление логики Аристотеля в эпоху Античности. Представление о логических системах Индии и Китая.

2. Формирование индуктивной и дедуктивной традиций построения рассуждений.

3. Понятия правильности, правдоподобия, истинности и ложности рассуждений.

4. Развитие логики после Аристотеля (эллинизм, патристика, эпоха средних веков, Возрождение и Новое Время, XIX–XX вв.).

5. Определение предмета формальной логики. Основные направления и проблемы современных логических исследований.

6. Связь современной логики с развитием науки, образования техники.

Занятие № 2

1.  Формы логического мышления: понятие, суждение, умозаключение.

2.  Понятие: логическая структура, особенности образования.

3.  Виды понятий: классификация, определение каждого из видов, примеры.

4.  Определение объема и содержания понятий. Закон, выражающий соотношение объема и содержания.

5.  Обобщение и ограничение понятий: определение, правила выполнения операций, примеры. Род и вид в установлении соотношений понятий.

Занятие № 3

1.  Совместимость и несовместимость понятий. Сравнение понятий по объемам в круговых схемах Л. Эйлера.

2.  Деление понятий как логическая операция.

2.2.  Дихотомическое деление: правила выполнения, примеры. Дихотомическое деление с использованием триадической схемы (универсум, класс, дополнение).

2.3.  Деление по видообразующему признаку: правила выполнения, примеры.

3.  Типичные ошибки деления понятий: анализ, примеры.

4.  Основы теории определения (дефиниции) в логике. Виды определений и их примеры.

5.  Типичные ошибки определения понятий: анализ, примеры.

6.  Основы логики вопросов и ответов.

Занятие № 4

1.  Язык логики высказываний. Понятия логического знака, связки, формулы.

2.  Механизмы введения новых знаков и принципы выражения одних логических связей через другие.

3.  Понятие класса в логике. Класс, имя, понятие.

4.  Триадическая схема работы с понятием: универсум, класс, дополнение. Необходимое и достаточное условия.

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

6.  Операции над классами: сложение, умножение, вычитание, взятие дополнения (отрицание). Их пояснения в схемах.

7.  Основные законы логики классов. Коммутативность (переместительность), ассоциативность (сочетательность), дистрибутивность (распределительность), идемпотентность (сохранение степени), элиминация (поглощение) как общие свойства операций над высказываниями и классами.

Занятие № 4

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

2.  Логическая структура суждения. Субъект, предикат, логическая связка, кванторное слово и их функции в составе суждения.

3.  Классификация суждений по выражению ими реалий действительности. Определения и примеры суждений: атрибутивных, отношения, экзис-тенциальных.

4.  Понятие об общих, частных, единичных, выделяющих, исключающих суждениях и их примеры.

5.  Объединенная классификация суждений по качеству и количеству. Четыре типа простых суждений, их логическая структура и примеры.

6.  Понятие о распределенности терминов (субъекта и предиката) в суждении. Варианты распределенности терминов и его выражение в круговых схемах и в таблице.

7.  Логический квадрат как инструмент установления истинности суждений.

Занятие № 5

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

2.  Образование сложных суждений на базе простых. Использование логических союзов и выделение видов сложных суждений.

3.  Конъюнкция, грамматические эквиваленты, правила вывода.

4.  Дизъюнкция простая и строгая, грамматические эквиваленты, правила вывода, относящиеся к простой и строгой дизъюнкции.

5.  Импликация (материальная) ее особенности и парадоксы. Правила вывода, характерные для материальной импликации.

6.  Эквивалентность (материальная), связь с импликацией, правила вывода.

7.  Отрицание и двойное отрицание. Правила вывода, характеризующие отрицание.

8.  Истинность и ложность как логические функции суждений. Определение истинности сложных суждений табличным способом.

Занятие № 6

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

2.  Понятие об истинности, ложности, выполнимости формул языка логики высказываний.

3.  О законах логики как тождественно-истинных формулах.

4.  Правила вывода в логике высказываний для конъюнкции, дизъюнкции, импликации, отрицания, эквиваленции.

Занятие № 6

1.  Дедуктивный и индуктивный способы построения рассуждений и их связь с теорией и практикой.

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

3.  Умозаключение как форма логического мышления, образованная на основе понятий и суждений.

4.  Классификация дедуктивных умозаключений.

5.  Применение силлогистики в доказательствах и опровержениях.

Занятие № 7

6.  Определение непосредственных умозаключений. Умозаключения с помощью схемы логического квадрата.

7.  Умозаключения превращения (обверсии). Логические схемы, примеры.

8.  Умозаключения обращения (конверсии). Логические схемы, примеры.

9.  Умозаключения противопоставления предикату (контрапозиции). Логические схемы, примеры.

10.  Умозаключения, выражающие отношения рефлексивности. Логические схемы, примеры.

11.  Умозаключения, выражающие отношения симметричности. Логические схемы, примеры.

12.  Умозаключения, выражающие отношения транзитивности. Логические схемы, примеры.

Занятие № 8

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

2.  Определение и логическая структура простого категорического силлогизма (ПКС).

3.  Логическая структура ПКС.

4.  Понятие фигур и модусов ПКС.

5.  Аксиома силлогизма.

6.  Правила терминов и посылок ПКС.

7.  Распределенность терминов в посылках и выводах ПКС и их представление в круговых схемах.

Занятие № 9

1.  Понятие о правильных (заключающих) и неправильных (незак-лючающих) модусах.

2.  Первая фигура ПКС, ее правила, логическая схема, схемы модусов и их примеры.

3.  Вторая фигура ПКС, ее правила, логическая схема, схемы модусов и их примеры.

4.  Решение задач.

5.  Выполнение упражнений на нахождение логических ошибок.

6.  Конструирование собственных ПКС по 1, 2 фигурам.

Занятие № 10

1.  Третья фигура ПКС, ее правила, логическая схема, схемы модусов и их примеры.

2.  Четвертая фигура ПКС, ее правила, логическая схема, схемы модусов и их примеры.

3.  Решение задач.

4.  Выполнение упражнений на нахождение логических ошибок.