Контрольные вопросы по логике

КОНТРОЛЬНЫЕ ВОПРОСЫ ПО ЛОГИКЕ

    Что изучает логика.

    Что мы называем истиной и ложью.

    Когда возникла логика как наука.

    Зачем нужно изучать логику.

    Определение понятия. Какие функции выполняют понятия.

    Дайте определение признаку.

    Что такое общий признак.

    Что такое существенный признак.

    Что такое несущественный признак.

    Пять этапов образования понятия.

    Синтаксис и семантика языка.

    Связь понятия с языком.

    На какие виды понятия разделяются по объему.

    На какие виды понятия разделяются по содержанию.

    закон обратного отношения между объемом содержанием понятий.

    Какие отношения существуют между сравнимыми понятиями.

    Что такое определение понятий.

    Каким требованиям должно удовлетворять определение через род и видовое отличие.

    Что такое деление понятий.

    Какие правила нужно соблюдать при делении.

    Чем отличается деление понятий от мысленного расчленения предмета на части?

    Что значит обобщить или ограничить понятия.

    Что такое суждение как форма мысли и чем оно отличается от понятия.

    Из каких элементов состоит простое атрибутивное суждение.

    На какие типы разделяются суждения по количеству и качеству.

    Какие отношения существуют между простыми суждениями различных типов.

    Какие виды сложных суждений вы знаете.

    Как установить истинность или ложность сложных суждений.

    Таблицы истинности для сложных суждений.

    Законы традиционной логики.

    Сформулируйте закон тождества.

    Символическое представление закона тождества.

    Сформулируйте закон противоречия.

    Символическое представление закона противоречия.

    Сформулируйте закон исключенного третьего.

    Символическое представление закона исключенного третьего.

    Сформулируйте закон достаточного основания.

    Символическое представление закона достаточного основания.

    Законы математической логики.

    Как отличить закон логики от выражения, не являющегося закон.

    Что такое умозаключение. Каков его состав.

    Какие умозаключения называются «дедуктивными».

    Что такое превращение.

    Что такое обращение.

    Что такое противопоставление предикату.

    Что такое простой категорический силлогизм.

    Меньший термин. Большой термин. Средний термин.

    Как найти посылки и вывод силлогизма.

    Понятие термина.

    Общие требования к терминам и посылкам силлогизма.

    Чем отличаются одна от другой фигуры силлогизма.

    Сколько фигур силлогизма.

    Правила фигур.

    Как установить правильность силлогизма.

    Что такое энтимема и как установить ее корректность.

    Правила терминов.

    Правила посылок.

    Правила модуса.

    Условно-категорический силлогизм. Его модусы.

    Разделительно-категорический силлогизм. Его модусы и требования к разделительной посылке.

    Конструктивная дилемма.

    Деструктивная дилемма.

    Что такое индукция. Чем индуктивный вывод отличается от дедуктивного.

    Виды индукции.

    Метод установления причинных связей – единственного сходства.

    Метод установления причинных связей – единственного различия.

    Метод установления причинных связей – единственного метода сходства и различия.

    Метод установления причинных связей – метод остатков.

    Метод установления причинных связей – метод сопутствующих изменений.

    Роль индукции в познании.

    Что такое доказательство. Из каких элементов оно состоит.

    Виды доказательств.

    Требования к тезису доказательства.

    Требования к аргументам доказательства.

    Что такое спор.

    Какие разновидности споров выделяет эристика.

    Каковы условия рационального спора.

    Лояльные приемы спора.

    Чем отличаются нелояльные приемы спора от лояльных.

    Нелояльные общие приемы.

    Разновидности аргументов.

    Как отвечать на использование нелояльных приемов.

ТЕМАТИКА КОНТРОЛЬНЫХ РАБОТ ПО ЛОГИКЕ

Тема 1. Принципы моделирования

Моделирование, как способ познания действительности. Примеры моделей. Основные характеристики моделей: цель, исследуемая область, структура и система понятий исследуемой области, закономерности, средства, представления. Методология использования моделей. Предмет и метод логики. Логика традиционная и современная. Понятие, суждение, рассуждение (умозаключение) как основные категории логики.

Тема 2. Теоретико-множественные средства моделирования

Понятия множества, подмножества, равенства множеств. Операции над множествами. Соотношения между операциями. Диаграммы Эйлера – Венна. Равенства в теории множеств. Множество подмножеств.

Понятие в традиционной логике, объем и содержание понятия. Объемы понятий и множества. Отношения между понятиями. Обобщение и ограничение понятия. Произведение множеств. Теория множеств и базы данных. Отношения. Функции.

Тема 3. Средства моделирования логики высказываний

Логические функции. Элементарные логические операции «и», «или», «не», «следовательно». Логические функции, определенные сложными выражениями. Табличное представление булевых функций. Тавтологии. Равносильные формулы, доказательство равносильности. Тождественные преобразования формул. Семантическое следование.

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

Положение логики высказываний для решения текстовых логических задач.

Тема 4. Средства моделирования логики предикатов

Предикатные функции. Кванторы существования и всеобщности. Свободные и связанные переменные. Интерпретация формул. Выполнимые, общезначимые формулы. Моделирование закономерностей предметных областей логическими формулами.

Базы данных, языки запросов и логические формулы.

Понятие логического исчисления. Аристотелева силлогистика. Модусы и фигуры силлогизма.

Тема 5. Логика научного познания

Доказательство и дедуктивный вывод. Виды индукции. Методы установления причинных связей. Гипотетико-дедуктивный метод. Аналогия.

Литература

    Вайнтроб А.Ю., Ганнушкина С.А. Элементы теории множеств. М.: РГГУ, 1992.

    Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001.

    Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990.

    Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М, 2000

    Уемов А.И. Логические основы метода моделирования. М.: Мысль, 1971.