- •Ответы на вопросы к экзамену по Логике
- •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. Изобразите в кругах Эйлера отношения между следующими тремя понятиями: (понятия не даны).
2. Соблюдается ли закон непротиворечия в следующем рассуждении: (рассуждение не дано).
Закон непротиворечия (Закон противоречия):
Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении: Неверно, что Р и не-Р
№22
1. Общая характеристика умозаключения.
Ближайший синоним к слову «умозаключение» - высказывание, но также существуют и другие синонимы: речь, рассуждение, размышление, следование, расследование, вывод, выведение, последовательность..
Умозаключение — это прием рассуждения, посредством которого из некоторого исходного знания можно получить новое, выводное знание. Вывод импликантен (скрыт) в суждении.
Умозаключение — это всегда процесс. Процесс движения от одной мысли к другой.
Строение умозаключения:
посылки (исходное значение которых дано и требуется доказать)
заключение (вывод)
правило следования
Правило следования:
M a P
S a M , где а — общеутвердительное суждение
S a P
Виды умозаключений (силлогизмов):
1) По характеру направленности процесса:
дедуктивные (от общего к частному)
индуктивные (от частного к общему. Не достоверный, а вероятностный вывод):
полная индукция
неполная индукция:
простая перечислительная (или популярная)
научная
традуктивные (по аналогии - переход к суждению той же степени частности):
нестрогая аналогия
структурная аналогия
2) По опосредованности:
непосредственные
умозаключения по логическому квадрату
превращение
обращение
противопоставление предикату
опосредованные.
1. Дедуктивные умозаключения
Простой категорический силлогизм
Простой категорический силлогизм — это опосредованное дедуктивное умозаключение об отношении двух терминов S и P на основании отношения к третьему термину М.
Структура простого категорического силлогизма:
M a P
S a M , где М — средний термин, а S и Р — крайние термины.
S a P
S – меньший термин меньшая посылка
З — больший термин большая посылка.
Аксиома силлогизма:
Если объем одного термина полностью входит в объем второго, а объем второго полностью входит в объем третьего, то и объем первого полностью входит в объем третьего.
Если объем одного термина полностью входит в объем второго термина, а объем второго полностью исключается из объема третьего, но и объем первого полностью исключается из объема третьего
Все, что сказано о роде, сказано о виде и индивиде:
Ma P
S a M
S a P
Все, что не сказано о роде, не сказано о виде и индивиде:
Mе P
S a M
S е P
Общие правила категорического силлогизма:
1) правила терминов:
В категорическом силлогизме должно быть три и только три термина.
Средний термин доложен быть распределен по крайней мере в одной из посылок.
Термин не распределенный в посылках не может быть распределен в заключении.
2) правила посылок:
Из двух отрицательный посылок нельзя сделать никакого заключения.
Если одна из посылок отрицательная, то заключение отрицательное.
Из двух частных посылок нельзя сделать никакого заключения.
Если одна из посылок частная, то заключение частное.
Фигуры и модусы простого категорического силлогизма:
|
I фигура |
II фигура |
III фигура |
IV фигура |
Большая посылка Меньшая посылка Заключение |
M – P S – M S – P |
P – M S – M S – P |
M – P M – S S – P |
P – M M – S S – P |
Условный вид фигур | ||||
Модусы |
Barbara Celarent Darii Ferio |
Cesare Camestres Festino Baroco |
Darapti Disamis Datisi Felapton Bocardo Ferizon |
Bramantip Camenes Dimaris Fesapo Frezizo
|
Правила фигур |
1) Большая посылка обязательно общее суждение. 2) Меньшая посылка — утверждение. |
1) Большая посылка всегда общее суждение. 2) Одна из посылок отрицательная. |
1) Меньшая посылка всегда утвердительное суждение. 2) Заключение должно быть частным. |
1) Если большая посылка — утвердительное суждение, то меньшая посылка — общее суждение. 2) Если одна посылка отрицательная, то большая посылка общая. |
Энтимема
Энтимема — сокращенный силлогизм, в котором пропущены либо одна из посылок, либо заключение.
Определить где посылка, а где заключение можно:
по смыслу, когда союзных слов нет
по союзному слову, которое связывает суждения
Функции наиболее часто встречающихся союзных слов:
вводят посылку (так как, потому что, поскольку, ибо, ввиду того, что)
вводят заключение (поэтому, значит, в итоге, следовательно, итак)
Восстановление энтимемы по действиям:
Найти вывод; обозначить медиатор (М), субъект (S) и предикат (Р).
Выбрать подходящую фигуру и модус (может быть несколько, а может и вообще не быть)
Восстановить по каждой фигуре и модусу.
Силогизмы со сложными посылками (суждениями)
Силогизмы со сложными посылками — это силлогизмы, посылками которых служат условные, разделительные и другие виды сложных суждений
Условные силлогизмы
У силлогизмов этого рода как посылки, так и заключение — условные суждения.
Модусы условного силлогизма:
I модус |
II модус |
III модус |
Если А, то В Если В, то С Если А, то С |
Если А, то В Если С, то не-В Если А, то не-С |
Если В, то А Если не-В, то С Если не-А, то С |
Условно-категорический силлогизм
Модусы условно-категорических силлогизмов:
Конструктивный условно-категорический силлогизм. Модус — Ponens. |
Деструктивный условно-категорический силлогизм. Модус — Tollens. |
Если А, то В А Значит, В |
Если А, то В не-В Значит, не-А |
Разделительно-категорический силлогизм
Модусы разделительно-категорических силлогизмов:
Утверждающе-отрицающий разделительно-категорический силлогизм. Модус — Ponendo-Tollens. |
Отрицающе-утверждающий разделительно-категорический силлогизм. Модус — Tollendo-Ponens. |
А либо В А Значит, не-В |
А либо В Не-В Значит, А |
Условно-разделительный силлогизм (дилемма)
Условно разделительный силлогизм — это силлогизм, в котором первая посылка состоит из двух или более условных суждений, а вторая посылка — разделительное суждение.
Виды условно-разделительных силлогизмов (дилемм):
Простая конструктивная дилемма |
Простая деструктивная дилемма |
Сложная конструктивная дилемма |
Сложная деструктивная дилемма |
Если А, то В, если С то В А или С В |
Если А, то В, если A то C Не-В или не-C Не-А |
Если А, то В, если С то D А или С В или D |
Если А, то В, если С то D Не-В или не-D Не-А или не-С |
Примечание:
Для правильного вывода по условно-разделительному силлогизму необходимо, чтобы в разделительном суждении были перечислены все достаточные альтернативы.
2. Индуктивные умозаключения (кроме полной индукции) относятся к вероятностным и представляют собой переход от частных и единичных суждений к общим:
полная индукция
Схема полной индукции:
S1 есть P
S2 есть P
…
Sn есть P
S1 … Sn – исчерпывают все предметы класса S
Следовательно, все S есть P
неполная индукция — это когда заключение о принадлежности этого признака некоторой части предметов класса
Схема неполной индукции:
S1 есть P
S2 есть P
…
Sn есть P
S1 … Sn – часть класса S
Вероятно, все S есть P
Виды неполной индукции:
1) Простая перечислительная (или популярная)
Вывод по такой индукции делается при неполном знании об имеющихся фактах и случайном характере их отбора.
2) Научная индукция
В ней используются методы, повышающие достоверность вывода, прежде всего, методы установления причинной связи явлений — методы Бэкона-Милля:
Метод сходства
Метод различия
Соединенный метод сходства и различия
Метод сопутствующих изменений
Метод остатков
3. Традуктивные умозаключения — заключения по аналогии.
Суть его состоит в том, что обнаруженное частичное сходство различных объектов по некоторому набору признаков становится основанием для предположения о том, что и остальные признаки у них совпадают.
Схема умозаключения по аналогии:
S1 обладает признаками P1, P2, P3, P4, P5
S2 обладает признаками P1, P2
Следовательно, S2 обладает признаками P1, P2, P3, P4, P5
Виды традуктивных умозаключений:
нестрогая аналогия
структурная аналогия