p или q, не-q; следовательно p
p либо q, p; следовательно не-q
Античная логика
Аристотель
Виды простых суждений
Виды умозаключений
Деление понятия
Дизъюнктивное суждение
Запрет круга
Класс мыслимых предметов
Конкретное понятие
Лемматическое умозаключение
Логика Нового времени
Логика стоиков
Логические операции с понятиями
Непустое понятие
Обобщение
Общеотрицательное суждение
Общеутвердительное суждение
Объем
Ограничение
Определение
Относительное понятие
Отрицательное понятие
Понятие как форма мышления
Правила определения
Простые суждения
Разделительно-категорическое умозаключение
Символическая логика
Сложные суждения
Собирательное понятие
Совокупность признаков
Современный этап в развитии логики
Содержание
Соразмерность определения
Средневековая логика
Структура
Структура деления
Структура простого суждения
Суждение как форма мышления
Традиционная формальная логика
Умозаключения из сложных суждений
Условно-категорическое умозаключение
Ф.Бэкон
Частноотрицательное суждение
Частноутвердительное суждение
Чисто условное умозаключение
Этапы формирования и развития логики
Явное определение