- •Ответы на вопросы к экзамену по Логике
- •1. Предмет логики.
- •2. Какое общее правило категорического силлогизма нарушено в следующем примере: (пример не дан).
- •1. Возникновение логики как науки.
- •2. Приведите пример по модусу celarent I–ой фигуры категорического силлогизма.
- •1. Логика и язык.
- •2. Приведите пример camestres II-ой фигуры категорического силлогизма.
- •1. Логика и аргументация.
- •2. Приведите пример по модусу bocardo III фигуры простого категорического силлогизма.
- •1. Общая характеристика понятия.
- •2. Привести пример по модусу datisi III-ой фигуры и свести к соответствующему модусу I – ой фигуры.
- •1. Содержание и объем понятия.
- •2. Привести пример по модусу bocardo III-ой фигуры и свести к соответствующему модусу I – ой фигуры.
- •1. Виды понятий.
- •2. Определите вид силлогизма: (силлогизм не дан).
- •1. Отношения между понятиями по объему.
- •1. Операции с понятиями.
- •2. Определите модус разделительно-категорического силлогизма: (силлогизм не дан).
- •1. Общая характеристика суждения.
- •2. Определите, к какому виду дилеммы относится данный пример - к конструктивной или деструктивной: (пример не дан).
- •1. Отношения между суждениями в логическом квадрате.
- •I o
- •2. Какая ошибка имеет место в следующем примере определения понятия: (пример не дан).
- •1. Сложные суждения. Таблицы истинности для логических союзов.
- •2. Какая ошибка имеет место в следующем примере деления: (пример не дан).
- •1. Полная и неполная индукция.
- •2. Обобщить, а затем ограничить следующие понятия: (понятия не даны).
- •1. Популярная и научная индукция.
- •2. Проведите структурный анализ следующих простых суждений: (суждения не даны).
- •1. Метод сходства.
- •2. Определить количество и качество суждения, его буквенное обозначение: (суждение не дано).
- •1. Метод различия.
- •2. Составьте суждение из следующей пары понятий, учитывая распределенность их объемов: (понятия не даны).
- •1. Соединенный метод сходства и различия.
- •2. Определите вид сложного суждения и изобразите таблицу истинности используемого в нем логического союза: (суждение не дано).
- •1. Метод остатков.
- •2. Обратите следующие суждения: (суждения не даны).
- •1. Метод сопутствующих изменений.
- •2. Следуя отношениям суждений в логическом квадрате, вывести опосредованным путем из ложности суждения вида I ложность суждения вида а.
- •I o
- •1. Закон тождества
- •2. Превратить следующие суждения: (суждения не даны).
- •1. Аксиоматический метод в науке.
- •2. Соблюдается ли закон непротиворечия в следующем рассуждении: (рассуждение не дано).
- •1. Общая характеристика умозаключения.
- •2. Соблюдается ли закон исключенного третьего в следующем рассуждении: (рассуждение не дано).
- •1. Общая характеристика доказательства.
- •2. Соблюдается ли закон достаточного основания в следующем рассуждении: (рассуждение не дано).
- •1. Определение и структура доказательства
- •2. Проанализируйте состав следующего простого категорического силлогизма: (силлогизм не дан).
- •1. Прямое и косвенное доказательство.
- •2. Определите фигуру и модус следующего категорического силлогизма: (силлогизм не дан).
- •1. Доказательство и опровержение.
- •2. Соблюдается ли закон закон тождества в следующем рассуждении: (рассуждение не дано).
- •1. Закон непротиворечия.
- •2. Восстановите энтимему (сокращенный силлогизм) в полный силлогизм, укажите фигуру и модус: (энтимема не дана).
- •1. Закон исключенного третьего.
- •2. Дать правильное (через род и видовое отличие) и варианты неправильных определений следующего понятия: (понятие не дано).
- •1. Закон достаточного основания.
- •2. Восстановите энтимему (сокращенный силлогизм) в полный силлогизм, укажите фигуру и модус: (энтимема не дана).
- •1. Дедукция и индукция.
- •2. Изобразите в кругах Эйлера отношения между следующими тремя понятиями: (понятия не даны).
1. Доказательство и опровержение.
Доказательство — логическая процедура установления истинности какого-либо суждения при помощи других суждений, истинность которых уже установлена.
Состав доказательства:
Тезис — суждение, истинность которого следует доказать (или высказывание, которое доказывается или опровергается в процессе доказывания и опровержения)
Аргументы (или основания) — истинные суждения, из которых следует тезис (или высказывания используемые для установления истинности или ложности тезиса при при его доказывании или опровержении).
В качестве оснований в доказательствах или опровержениях могут использоваться высказывания о фактах, о данных опыта, высказывания, истинность которых обоснована ранее, в частности, доказанные ранее теоремы, законы науки, различного рода определения, аксиомы, постулаты, принципы и т.д.
Форма (или демонстрация, методы и способы доказывания опровержения) — умозаключение связывающее аргументы с тезисом (или совокупность логических операций, в частности правил дедуктивных умозаключений, применяемых к тезису и основаниям с целью доказать или опровергнуть тезис).
Назначение демонстрации — сделать доказательство или опровержение убедительным не только по содержанию, но и объективно необходимым. Демонстрация призвана доказать, что между основаниями и доказываемым тезисом действительно было установлено отношение логического следования, в случае доказательства, или установленно его отсутствие в случае опровержения.
Виды доказательств:
Прямые (истинность тезиса непосредственно следует из истинности аргумента)
Косвенные (истинность тезиса устанавливается путем доказательства ложности отрицания тезиса (антитезиса)):
апгогическое — доказательство от противного
разделительное — доказательство, где тезис — одна из альтернатив разделительного суждения, причем в этом суждении должны быть перечислены все альтернативы, кроме одной, которая и является тезисом доказательства.
Доказательством в самом широком смысле следует называть логическую процедуру выявления или восстановления последовательности в рассуждении, целью которой является установление (подтверждение) истинности некоторого высказывания.
Опровержение
Если целью доказательства становится установление (подтверждение) его ложности, то такая логическая операция называется опровержение.
Опровержение — доказательство ложности, необоснованности или несостоятельности тезиса.
Состав опровержения:
Тезис — суждение, ложность которого следует доказать.
Аргументы (или основания) — суждения, из которых следует тезис.
Форма (или демонстрация, методы и способы доказывания опровержения) — умозаключение связывающее аргументы с тезисом.
Опровергать тезис, как и доказывать истинность его отрицания с помощью формулировки антитезиса можно как прямо, так и косвенно.
Косвенное опровержение тезиса делается через допущение об истинности тезиса.
Логические парадоксы
Логический парадокс — это рассуждение в ходе которого доказывается как истинности, так и ложность некоторого утверждения.
Некоторые логические парадоксы:
Парадокс «Лжец»
Парадокс «Брадобрей»
Парадокс «Каталог нормальных каталогов»