• Логика как наука.
• Классификация разделов логики.
• История развития логики (имена, достижения, хронология).
• Дедуктивные и индуктивные умозаключения*.
• Рассуждение, суждение, высказывание.
• Правильные и неправильные умозаключения*.
• Логическая форма*.
• Интуитивная логика.
• Предметы, признаки, имена*.
• Логика и язык. Мышление и язык.
• Основные функции языка* (описательная, нормативная, экспрессив, декларация, обещание, оценка).
• Логические категории языка.
• Содержательные (собственные) и логические (несобственные) символы.
• Форма и содержание*. Переменная.
• Выявление логической структуры выражений.
• Имена и высказывания*.
• Логическая постоянная.
• Виды логических символов.
• Имена.
• Процедура именования (принципы однозначности, предметности, взаимозаменимости)*.
• Содержание и объем имени*.
• Принцип обратного отношения.
• Виды имен*.
• Единичные, общие и пустые имена*.
• Логически пустое имя*.
• Конкретные и абстрактные имена*.
• Сравнимые и несравнимые имена*.
• Операции обобщения и ограничения*.
• Совместимые и несовместимые имена*.
• Отношения между именами* (равнозначность, пересечение, подчинение, исключение).
• Круговые схемы Эйлера*.
• Понятие. Определение.
• Явные и неявные определения*.
• Определение через род и видовое отличие*.
• Генетическое определение*.
• Правила определения*.
• Реальные и номинальные определения*.
• Приемы, заменяющие определения*.
• Ловушки языка.
• Многозначные слова*, эквивокация.
• Ситуативные и эгоцентрические слова*.
• Неясные понятия*.
• Неточные понятия и их парадоксы*.
• Гипостазирование*.
• Роли имен* (формальное, материальное, персональное и простое употребления имен).
• Деление и классификация*.
• Исходное понятие, основание деления, члены деления.
• Расчленение*.
• Требования к делению.
• Ошибки в делении.
• Дихотомия*.
• Диаграмма Кэррола.
• Высказывания (суждения).
• Описательные и оценочные высказывания.
• Неопределенные и бессмысленные высказывания*.
• Абсурд*.
• Простые и сложные высказывания.
• Категорическое высказывание.
• Типы высказываний* (общие и частные, утвердительные и отрицательные).
• Атрибутивные высказывания.
• Субъект и предикат суждения, связка, знак количества.
• Универсальный класс.
• Представление отношений между терминами суждения в виде круговых схем*.
• Нормальная форма суждения и форма существования.
• Распределенность и нераспределенность терминов суждения*.
• Непосредственные умозаключения.
• Логический квадрат.
• Отношения между суждениями*.
• Превращение*.
• Обращение*.
• Контрапозиция* (противопоставление предикату).
• Умозаключения по логическому квадрату*.
• Простой категорический силлогизм.
• Опосредованные умозаключения.
• Больший, меньший и средний термины (оставляемые и исключаемые).
• Большая и меньшая посылки, заключение силлогизма.
• Правила силлогизма*.
• Фигуры силлогизма*.
• Правила фигур.
• Модусы силлогизма.
• Проверка правильности силлогизмов.
• Решение силлогизмов по Л.Кэрролу.
• Метод диаграмм.
• Отображение суждений на диаграмме.
• двухбуквенная диаграмма
• трехбуквенная диаграмма
• Интерпретация трехбуквенной диаграммы в терминах x и y.
• Проверка правильности силлогизмов*.
• Метод индексов.
• Фигуры силлогизма (формулы для решения задач).
• Формы ошибок.
• Сорит.
• Полисиллогизм* (просиллогизм и эписиллогизм).
• Прогрессивный и регрессивный*.
• Энтимема*.
• Эпихейрема*.
• Классический сорит.
• Частное и полное заключения.
• Исключаемые и оставляемые термины.
• Метод отдельных силлогизмов.
• Метод подчеркивания.
• Логика высказываний.
• Пропозициональные связки и переменные.
• Отрицание, конъюнкция, нестрогая дизъюнкция, строгая дизъюнкция, импликация, эквиваленция.
• Таблица истинности.
• Соединительное и разделительное высказывания*.
• Антецедент и консеквент.
• Логические формулы.
• Тавталогия и логическое противоречие*.
• Равносильность.
• Выражение одних операций через другие.
• Штрих Шеффера.
• Логическое следование.
• Законы логики высказываний*.
• Закон противоречия.
• Закон исключенного третьего.
• Закон тождества.
• Законы Де Моргана.
• Закон транзитивности (переходности).
• Закон двойного отрицания.
• Законы контрапозиции.
• Закон Дунса Скота.
• Закон Клавия.
• Закон косвенного доказательства.
• Метод сокращенных таблиц истинности.
• Условно-категорическое умозаключение*.
• Правильные модусы (утверждающий и отрицающий) и вероятные модусы.
• Разделительно-категорическое умозаключение*.
• Условно-разделительное умозаключение.
• Диллема*.
• Булева алгебра.
• Операции булевой алгебры.
• Законы булевой алгебры (идемпотентности, Де Моргана, поглощения, коммутативности, ассоциативности, дистрибутивности).
• Свойство симметрии, принцип двойственности*.
• Упрощение булевых выражений.
• Совершенная дизъюнктивная нормальная форма (стандартная сумма произведений) и совершенная ко нъюнктивная нормальная форма (стандартное произведение сумм)*.
• Карты Карно.
• Логика электрической схемы.
• Релейно-контактные схемы.
• Полупроводниковые логические элементы.
• Анализ, упрощение, синтез логических схем.
• Софизмы и логические парадоксы.

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