В содержании дисциплины изложены традиционная и классическая символическая логика. Раскрываются методологические аспекты логики и ее законов. Предлагается теория и техника логического анализа задач в естественном и формализованном языках. Особое внимание уделяется раскрытию познавательного потенциала логики. Подчеркивается ее значение в формировании интеллектуальной деятельности. Показывается связь мышления с языком, раскрываются основные аспекты изучения языка: синтаксис, семантика, прагматика.
Предмет и значение логики. Возникновение логики как науки. Основные законы (принципы) правильного рассуждения .Понятие как форма мысли. Общая характеристика понятия. Логические операции с понятиями. . Суждение как форма мысли. Общая характеристика суждения. Высказывание и суждение. Простое категорическое суждение. Умозаключение. Дедуктивные умозаключения. Простой категорический силлогизм. Условные, разделительные, лемматические умозаключения. Доказательство и опровержение. Понятие о доказательстве и опровержении. Логика высказываний. Понятие высказывания. Семантика логических союзов. Таблицы формул логики высказываний. Таблицы формул логики высказываний. Конъюнктивная нормальная форма (КНФ). Дизъюнктивная нормальная форма. Аксиоматическое исчисление предикатов.
Библиотека Гумер по гуманитарным наукам – http://www.gumer.info/
Библиотека по культурологии – http://countries.ru
Философский факультет СПБГУ– http://philosophy.pu.ru/4133
Виртуальный философский центр при философском факультете МГУ им. М.В.Ломоносова – http://vfc.org.ru/rus/
Портал «Философия в России» – http://philosophy.ru/library/lib2.html, http://philosophy.ru/lib/philyaz/
Цифровая библиотека по философии – http://filosof.historic.ru/books/c0028_1.shtml