3. 1.5. Учебно-методическое обеспечение

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

5. Тема 1. Логика как наука

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

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

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

Логика и язык. Языки естественные и искусственные, объектные языки и метаязыки. Синтаксический, семантический и прагматический аспекты изучения языка. Знак, его значение и смысл. Знаки описательные и неописательные, пустые и непустые.

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

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

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

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

7. Тема 3. Силлогистика

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

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