|
|
Шпоры по логике!. Семантические категории выражений языка
Соединительное или конъюнктивное суждение – сложное сужение, в котором простые суждения связаны логической связкой И (конъюнкция). Истинно тогда, когда истинны входящие в него суждения.
Разделительное или дизъюнктивное суждение – сложное суждение, в котором простые суждения связаны между собой логическим союзом ИЛИ. Суждение является ложным только тогда, когда входит в него простые суждения одновременно ложные.
Сильная дизъюнкция – разделительное суждение, содержащее союз ЛИБО … ЛИБО, является истинным при условию истинности одного и ложности другого.
Условные суждения или импликация – суждение, где простые соединяются логическим союзом ЕСЛИ ТО. Суждения, стоящие после слов ЕСЛИ, называется основанием, после ТО – следствием. Являются ложными, если основание – истинно, а следствие – ложно, из истинности ложь не следует.
Суждение эквивалентности – сложное суждение, где связь между простыми осуществляется с помощью логического союза ЕСЛИ И ТОЛЬКО ЕСЛИ, ТО. Одно из простых суждений является необходимым для другого. Истнинны тогда, когда входящие в него простые суждение имеют одинаковые истинные значения.
|
Билет № 12
Преобразование сложных суждений.
Сложные суждения.
Конъюнктивные или соединительные суждения.
Один субъект и два предиката - «S есть ( не есть ) P1 и P2»
Два субъекта и один предикат - «S1 и S2 есть (не есть) P»
Два субъекта и два предиката - «S1 и S2 есть (не есть) P1 и P2».
2) Дизъюнктивные, или разделительные суждения. Бывает две их разновидности.
Слабая дизъюнкция обладает логической связкой « или ». Она характеризуется тем, что объединяемые ей суждения не исключают друг друга.
Сильная дизъюнкция образуется логической связкой
« либо....либо ». Она отличается от слабой тем, что ее составляющие исключает друг друга.
3) Импликативные, или условные суждения.
4) Эквивалентные, или равнозначные суждения.
Логические операции преобразования.
1) Конъюнкция может быть выражена через дизъюнкцию.
2) Дизъюнкция может быть выражена через конъюнкцию.
3) Импликация может быть выражена через конъюнкцию.
4) Импликация может быть выражена через дизъюнкцию.
Закон Де Моргана - - общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюнкцию («или»). Из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции отрицаний.
Закон Дунса Скота - - закон логики классической, характеризующий логическое противоречие и импликацию материальную. Закон можно передать так: ложное высказывание влечет любое высказывание.
Закон Клавия - — логический закон, характеризующий связь импликации («если, то») и отрицания. Его можно передать так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным.
|
Билет № 13
Простой категорический силлогизм: сущность, структура, правила ввода
ПКС – это умозаключение, и посылки, и заключение которого являются простые категорическими суждениями. (Все рыбы дышат жабрами. Карась рыба. Карась дышит жабрами)
Состав: термин, являющийся субъектом заключения, называется меньшим S, предикат - большим P, средний M. В основе лежит аксиома, которая выражается в 2-х вариантах по объёму и по содержанию.
Правила делятся на 2 группы: терминов и посылок.
Правила терминов.
Должны быть только 3 термина, ошибка учетверение термина. Движение вечно, хождение в университет это движение, хождение в университет вечно. В 1-ой посылке термин употребляется в общефилософском смысле, во второй – конкретный вид механического передвижения
Средний термин должен быть распределён хотя бы в одной из посылок. Все гусеницы едят салат. Я ем салат. Я гусеница. При анализе ПКС рассматривать где больший, где меньший термин, надо с конца. Необходимо квалифицировать ошибку: 1) Необходимо проструктурировать силлогизм, то есть найти и обозначить больший, средний и меньший термин (S,M,P). В заключении первый термин всегда – меньший, второй – всегда больший, тот термин, который не указан в заключении, но присутствует в посылках - средний. 2) Обозначить распределённость терминов в посылках и заключении. Та посылка, которая содержит больший термин, называется большей. Та, которая меньший – меньшей.
Термин не распределённый в посылке не может быть распределён в заключении.
Правила посылок
Из 2-ух отрицательных посылок нельзя получить достоверную. Одна из посылок должна быть утверждающим суждением. Ни один папоротник никогда не цветёт. Данное растение не цветёт. Данное растение – папоротник.
Из 2-ух частных посылок заключение не следует с необходимостью, то есть также является вероятностным. Одна из посылок должна быть общим суждением. Некоторые учащиеся являются студентами. Некоторые дворники являются учащимися. Некоторые дворники-студенты.
Если одна из посылок является отрицательным суждением, то и заключение должно быть отрицательным.
Если одна из посылок является частным суждением, то и заключение должно быть частным. Все христиане выступают за сохранение мира на земле. Некоторые студенты – христиане. Некоторые студенты выступают за сохранение мира на земле.
|
Билет № 14
Фигуры и модусы Простого категорического силлогизма.
Первая фигура. Средний термин занимает место субъекта большей посылки и место предиката меньшей посылки.
M  P Все будущие юристы (М) тзучают курс этики (Р)
S  M Студент Куликов(S) будущий юрист
S P Студент Куликов изучает курс этки.
Правило фигуры:
Меньшая посылка (S) должна быть утвердительным суждением;
Большая посылка (P) должна быть общим суждением
Вторая фигура. Средний термин занимает место предиката в обеих посылках.
P M Все доказательства по делу (Р) исследованы в суду (М)
S M Факты, сообщенные Катей (S), не исследованы в суду (M)
S P Факты сообщенные Катей (S), не являются доказательством по делу.
Правило фигуры:
Одна из посылок должна быть отрицательна;
Большая посылка должна быть общей.
Третья фигура. Средний термин занимает место субъекта в обеих посылках.
M P Все подозреваемые (М) признали вину (Р)
M S Все подозреваемые (М) привлечены к ответственности (S)
S P Некоторые личности, привлеченные к ответственности (S) признали свою вину (P)
Правило фигуры:
Меньшая посылка должна быть утвердительной
Заключение должно быть частным
4) Четвертая фигура. Средний термин занимает место предиката в большей посылки и место субъекта в менешьей.
P M Растрата (Р) – хозяйственное преступление (М)
M S Хозяйственное преступление (М) – опасное деяние, предусмотренное УК РФ (S)
S P Некоторые опасные деяния (S) являются растратами (P)/
Правило фигуры:
Если большая посылка утвердительная, то меньшая посылка должна быть общей
Если одна из посылок отрицательная, то большая посылка должны быть общей.
Модусы:
AAA, EAE, AJJ, EJO
EAE, AEE, EJO, AOO
AAJ, EJO, JAJ, OAO, AJJ, EAO
ААJ, AEE, JAJ, EAO, EJJ
|
Билет № 15
Сложные и сокращенные силлогизмы.
Энтимема – это такое умозаключение, в котором пропущено либо одна из посылок, либо заключение.
Полисиллогизм (сложный силлогизм) - соединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего силлогизма (эписиллогизма).
Прогрессивный - заключение предшествующего силлогизма становится большей посылкой последующего силлогизма.
Регрессивный – такой сложный силлогизм, в котором заключение предшествующего силлогизма становится меньшей посылкой последующего силлогизма.
1) Сорит – вид сложного силлогизма, в котором приводятся только последнее заключение, проводятся через ряд посылок, остальное промежуточное заключение не высказывается, а подразумевается.
Прогрессивный сорит - когда из прогрессивного полисиллогизма выбрасывают заключения предшествующих силлогизмов и большие посылки последующих.
Регрессивный сорит - это когда из регрессивного полисиллогизма выбрасывают заключение предшествующих силлогизмов и меньшие посылки последующих.
2) Эпихейрема – сокращенный силлогизм, в котором обе посылки представляют собой энтимемы.
|
Билет № 16
Условные, разделительные и лемматические дедуктивные умозаключения.
Дедуктивное заключение - заключение, в котором переход от общего знания к частному является логически необходимым.
Условные умозаключения – такой вид опосредованного дедуктивного умозаключения (ОДУ), где одна из посылок условное суждение.
чисто условные умозаключения – такое ОДУ, где обе посылки и заключение являются условными суждениями.
условно-категорические умозаключения – такое ОДУ, где одна из посылок – условное суждение, а другая посылка и зкалючение – категорические суждения.
Разделительные умозаключения – ОДУ, где одна или несколько посылок – разделительные суждения.
разделительно-категорические – где одна посылка – разделительная, другая посылка и заключение – категорические суждения.
условно-разделительные (лемматические) – такие умозаключения, одна посылка – разделительное суждение, а вторая - совокупность условных суждений.
2.1. Дилема
– простая конструктивная дилемма,
– сложная конструктивная дилемма,
– простая деструктивная дилемма,
– сложная деструктивная дилемма.
2.2. Трилемма – умозаключение, где одна из посылок – разделительное суждение с 3 альтернативами, вторая содержит 3 условных суждения.
Конструктивная трилемма:
 
Диструктивная трилемма:
|
|
|
Скачать 289 Kb.