- •Фгбоу впо «Российская академия народного хозяйства и государственной службы при Президенте Российской Федерации»
- •Содержание
- •1.1. Извлечение из образовательного стандарта
- •1.2. Цели и задачи преподавания курса
- •1.3. Требования к уровню освоения дисциплины
- •1.4. Тематический план лекций и семинаров (дневное отделение)
- •Тематический план лекций и семинаров (заочное отделение)
- •Для студентов __БкЮ-100___ (наименование группы)
- •1.5. Учебно-методическое обеспечение
- •Содержание лекций
- •Тема 1. Логика как наука
- •Тема 2. Классическая логика высказываний
- •Тема 3. Силлогистика
- •Тема 4. Понятие
- •Тема 5. Определение
- •Тема 6. Правдоподобные рассуждения
- •Планы семинарских занятий
- •Семинар 1. Логика как наука
- •Семинар 4. Понятие
- •Семинар 5. Определение
- •Семинар 6. Правдоподобные рассуждения
- •Организация самостоятельной работы студентов
- •График самостоятельной работы
- •Темы, выносимые на самостоятельное изучение
- •Классическая логика предикатов
- •Тематика рефератов
- •Список вопросов для подготовки к зачету
- •Список основной и дополнительной литературы
- •Материалы промежуточного контроля
- •Раздел 2. Методические рекомендации
- •Раздел 3. Материалы тестовой системы по решению задач по темам лекций
- •Раздел 4. Словарь основных терминов
- •Логика — наука о формах и законах правильного мышления.
- •Раздел 5. Методические указания для выполнения контрольных работ
Раздел 4. Словарь основных терминов
Логика — наука о формах и законах правильного мышления.
Логическая форма — структура, схема построения мысли, рассмотренная независимо от конкретного содержания мыслей.
Логический закон — логическая форма, обеспечивающая истинный результат при любых значениях входящих в нее элементов. Логические законы лежат в основе правильных рассуждений и гарантируют эту правильность.
Понятие — форма мысли, в которой выделяются и обобщаются предметы по их существенным признакам.
Содержание понятия — совокупность существенных признаков, присущих определенному классу предметов.
Признак — все то, в чем предметы сходны друг с другом или отличаются один от другого.
Объем понятия — класс предметов, выделяемых и обобщаемых на основе совокупности существенных признаков.
Часть объема — совокупность элементов объема (подкласс), которая обладает каким-то особым признаком, отличающим ее от других.
Элемент объема — отдельный предмет, обладающий всеми признаками, включенными в содержание понятия.
Закон обратного отношения между объемом и содержанием — соотношение, согласно которому при увеличении содержания понятия уменьшается его объем, и наоборот.
Единичное понятие — понятие, в объеме которого ровно один элемент.
Общее понятие — понятие, в объеме которого более одного элемента.
Собирательное понятие выделяет в качестве элементов своего объема совокупности предметов.
Несобирательное понятие выделяет в качестве элементов своего объема отдельные предметы.
Конкретное понятие — понятие, элементами объема которого являются предметы, факты, события.
Абстрактное понятие — понятие, элементами объема которого являются свойства и отношения, мыслимые отдельно от предметов.
Отношение совместимости между понятиями устанавливается тогда, когда у них есть общие элементы объема.
Отношение несовместимости между понятиями имеет место тогда,когда у них нет общих элементов объема.
Эквивалентность — вид совместимости, при котором объемы понятий полностью совпадают.
Пересечение, или перекрещивание — вид совместимости, при котором объемы понятий частично совпадают.
Подчинение — вид совместимости, когда все элементы объема одного понятия суть элементы объема второго, но не наоборот.
Противоречие — вид несовместимости, при котором несовместимые понятия в сумме исчерпывают весь родовой объем.
Противоположность — вид несовместимости, при котором несовместимые понятия не исчерпывают весь родовой объем и находятся по содержанию на разных его полюсах (антонимы).
Соподчинение — вид несовместимости, когда два понятия, не исчерпывая весь родовой объем, являются видами данного рода.
Ограничение понятия — логическая операция, которая представляет собой переход от понятия с большим объемом и меньшим содержанием к понятию с меньшим объемом и большим содержанием.
Обобщение понятия — логическая операция , противоположная ограничению.
Деление понятий — логическая операция разбиения объема понятия на непересекающиеся части.
Определение — логическая операция раскрытия содержания понятия или придания смысла некоторому выражению или термину.
Суждение — это форма мысли, в которой нечто утверждается или отрицается ( свойство предмета, действие, наличие некоторой ситуации, отношение между предметами, существование предмета).
Субъектом суждения называется понятие о предмете суждения, а предикатом суждения — новая информация, то, что утверждается или отрицается о предмете суждения. Субъект и предикат называются терминами суждения.
Основной логической характеристикой суждения является его истинностная характеристика — каждое суждение является либо истинным, либо ложным и этим отличается от других форм мысли.
Виды простых суждений: (1) атрибутивные, т.е. утверждающие или отрицающие, что предмету (классу предметов) присуще или не присуще некоторый признак — свойство; (2) реляционные, или суждения об отношениях, в которых утверждается или отрицается отношение между предметами (классами предметов); ( 3) суждения существования, в которых утверждается существование или несуществование некоторого предмета (класса предметов).
Объединенная классификация простых атрибутивных суждений: (А) общеутвердительные, (Е) общеотрицательные,(I) частноутвердительные и (О) частноотрицательные. Единичные суждения в традиционной логике приравниваются к общим.
Реляционные, или суждения об отношениях обладают особыми свойствами. Эти свойства суть: (1) рефлексивность, (2) симметричность и (3) транзитивность.
Сложные суждения — это суждения, которые имеют в своем составе другие суждения. Истинностное значение сложного суждения определяется истинностным значением водящих в него простых и типом связи простых суждений.
Основные логические союзы: (1) конъюнкция, (2) слабая дизъюнкция, (3) сильная дизъюнкция, (4) импликация, (5) эквиваленция и (6) отрицание. Истинностные значения логических союзов задаются определением. Истинностные значение сложных суждений устанавливают при помощи таблиц истинности, для построения которых нужно знать определения перечисленных логических союзов ( связок).
Отношения между суждениями делятся на две группы: (а) совместимости и (б) несовместимости. Суждения называются совместимыми, если они могут быть одновременно истинными и несовместимыми, если имеет место обратное.
Совместимость между суждениями бывает трех видов:
(1) эквивалентность, (2) подчинение, (3) частичная совместимость.
Несовместимость между суждениями бывает двух видов :
(1) противоположность и (2) противоречие.
Отношения между простыми суждениями устанавливаются по логическому квадрату.
Отношения между сложными суждениями устанавливаются сравнением их таблиц истинности.
Модальностью суждения называется оценка того, что утверждается или отрицается в суждении с определенной точки зрения ( законов природы, логики, правовых или моральных норм, научного познания и др.).
Умозаключение — форма мысли, посредством которой из одного или нескольких суждений (посылок) выводится новое суждение (заключение).
Дедуктивное умозаключение — логический вывод, который при истинных посылках и соблюдении определенных правил, с необходимостью обеспечивает истинное заключение.
Индуктивное умозаключение — вывод, который при истинности посылок и соблюдении определенных правил, обеспечивает лишь вероятное, или правдоподобное заключение.
Непосредственное умозаключение — дедуктивный вывод из одной посылки.
Превращение и обращение — основные виды непосредственных умозаключений.
Противопоставление предикату и противопоставление субъекту — производные виды непосредственных умозаключений.
Простой категорический силлогизм — дедуктивное умозаключение, в котором из двух категорических суждений, имеющих субъектно-предикатную структуру, выводится новое суждение, имеющее такую структуру.
Термины силлогизма — понятия, между которыми, согласно правилам, устанавливается связь, обеспечивающая дедуктивный вывод. В силлогизме различают три термина — больший, меньший и средний.
Фигуры силлогизма — разновидности силлогизма, различающиеся положением среднего термина в посылках. Существует четыре фигуры силлогизма.
Модусы силлогизма — разновидности силлогизма по каждой фигуре, которые различаются типом суждений (А, Е, I, О), входящих в их состав. Модусы подразделяются па правильные и неправильные.
Общие правила силлогизма — три правила терминов и четыре правила посылок, соблюдение которых гарантирует истинность заключения при истинности посылок.
Специальные правила фигур — дополнительные требования по отдельным фигурам, имеющие тот же логический смысл. что и общие правила.
Умозаключение из сложных суждений— дедуктивный вывод из посылок, из которых хотя бы одна представляет собой сложное суждение. Традиционные виды таких умозаключений : чисто условный силлогизм, условно-категорический силлогизм, разделительно-категорический и условно-разделительный (лемматический) силлогизм.
Полная индукция — индуктивное умозаключение, в посылках которого перечислены все элементы класса, о котором делается вывод. Полная индукция дает достоверное заключение.
Неполная индукция — индуктивное умозаключение, которое представляет собой переход от знания о некоторых элементах класса к заключению о всем классе. Неполная индукция дает лишь правдоподобное знание.
Популярная индукция — умозаключение путем простого перечисления..
Научная индукция — индуктивные умозаключения, упорядоченные согласно определенным правилам.
Умозаключение по аналогии — индуктивное умозаключение, в котором на основании сходства двух или более предметов по одним признакам, делается вывод об их сходстве и по каким-либо другим признакам.
Строгая аналогия — умозаключение, в котором перенос признака с одного предмета (системы) на другой опирается на отношение изоморфизма или гомоморфизма. Строгая аналогия дает достоверное знание.
Каноны Милля — индуктивные методы установления причинных связей между объектами. Существует четыре таких метода : метод различия, метод сходства, метод сопутствующих изменений и метод остатков.
Аргументация — обоснование какого-либо суждения посредством других суждений.
Тезис аргументации — суждение, истинность или ложность которого подлежит обоснованию.
Аргументы — суждения, посредством которых обосновывается истинность или ложность тезиса.
Демонстрация — рассуждение, которое показывает связь аргументов с тезисом.
Строгая аргументация — рассуждение, в основе которого лежит дедуктивная демонстрация, при которой тезис логически следует из аргументов.
Нестрогая аргументация — рассуждение, основанное на правдоподобной демонстрации, при которой тезис лишь относительно подтверждается аргументами.
Доказательство и опровержение — разновидности строгой аргументации.
Подтверждение и критика — разновидности нестрогой аргументации.
Прямая аргументация — тип обоснования, при котором аргументы и демонстрация непосредственно обращены к тезису.
Косвенная аргументация — тип обоснования, при котором связь аргументов и демонстрации с тезисом опосредована некоторым другим суждением.
Сведение к абсурду — разновидность косвенной аргументации.
Метод исключения альтернатив — разновидность косвенной аргументации.
Правила аргументации — логические требования, предъявляемые к элементам аргументации — тезису, аргументам и демонстрации, несоблюдение которых ведет к ошибкам в аргументации.