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

№ п\п	Наименование тем	Всего часов	в том числе		Форма контроля
			лекции	семинары
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. Предмет и значение логики

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

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

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

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

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