Умозаключения по логическому квадрату
(SaP) (SaP) (SaP)
(SeP) (SоP) (SiP)
(SeP) (SeP) (SeP)
(SaP) (SiP) (SоP)
(SiP) (SoP)
(SeP) (SaP)
(SaP) (SeP)
(SoP) (SiP)
(SiP) (SiP)
(SeP) (SoP)
Обращение субъект посылки становится предикатом заключения, а предикат – субъектом
(A – B)
(В – А)
Качество (утвердительное- отрицательное) не меняется, но понижается количество (был «каждый», стал «некоторый»). Например,
(SaP) (SeP) (SiP) (SoP)
(PiS)(PoS) (PiS) (не обращается, но есть )
Превращение
А – В
А – В
Качество меняется, количество – нет. Например,
(SaP) (SeP) (SiP) (SoP)
(SeP) (SaP) (SoP) (SiP)
Противопоставление s
А – В (обращение)
В – А (превращение)
В – Ā
(SeP) (SeP)
(PoS) (PeS)
(PiS) (PaS)
Противопоставление р
А – В (превращение)
А – В (обращение)
В – А
(SiP)
(SaP)
не обращается
ПРАВИЛА ПРОВЕРКИ СИЛЛОГИЗМОВ
ПРАВИЛА ТЕРМИНОВ:
Средний термин должен быть распределен хотя бы в одной из посылок
Крайний термин (не средний), не распределенный в посылках, не может быть распределен в заключении
ПРАВИЛА ПОСЫЛОК
Нельзя делать вывод из двух отрицательных посылок
Если две посылки утвердительные, то и заключение утвердительное
Если хотя бы одна из посылок отрицательная, то и заключение отрицательное
Если хоть одно правило не соблюдено, то силлогизм не верный.
Субъекты распределены в общих суждениях
В отрицательных суждениях предикаты распределены
«НЕ ВСЕ» СЛЕДУЕТ ЧИТАТЬ КАК ОТРИЦАНИЕ ВСЕГО СУЖДЕНИЯ – общее отрицательное.
ЭНТИМЕМЫ – вид категорических рассуждений, в которых пропущена либо одна из посылок, либо заключение.
Проверить правильность энтимемы – довести его до правильного силлогизма, чтобы все правила работали. Если верное только в одном варианте, то надо смотреть по фигурам.
14.12.2017
21.12.2017
Тождественно-истинная формула – которая принимает значение «и» при любой интерпретации входящих в нее пропозициональных переменных.
ПОНЯТИЯ
Логическое содержание понятия – просто Р(х)
Фактическое содержание – то, что позволяет нам соотнести понятия с реальными объектами.
Логический объем
Фактический объем – конкретные элементы, которые составляют понятие. Именно это используется для сравнения понятий.
Пустое множество – нет объема.
Единичное понятие – что-то одно, например, самая высокая гора в мире.
Общее – несколько
Логический объем
Пустое множество – содержит противоречивые данные, например, пересекающиеся параллельные прямые
Единичное – если можно поставить «тот, который»
Общее – все остальные, например, вечный двигатель (не важно, что он невозможен
Отрицательные понятия – содержит в себе отрицательный признак.
Относительные понятия определяются в силу отношения с кем-то, например, сосед, друг.
Абсолютные понятия определяются без отношений.
Собирательные понятия содержат в своем объеме конкретные группы элементов, например, сервиз, учебный корпус.
Несобирательные понятия – содержит конкретные элементы (даже если пустое – добрая Давидян).
Конкретные – сами предметы обобщаются – коричневый ствол
Абстрактные – однородные понятия, например коричневость, как свойство.
ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ
Сравнимые понятия (т.е. их можно сравнивать) имеют общий родовой признак, нельзя сравнивать столы и китов
Совместимые – имеют общие элементы
Несовместимые
Надо ответить на 4 вопроса, если вообще ничего не понятно, а так все довольное просто:
Есть понятия А и В
Есть ли общий элемент?
Исчерпывают ли универсумы?
Все ли элементы А находятся в В?
|
+ |
+ |
– |
– |
– |
– |
Все ли элементы В находятся в А?
|
+ |
– |
+ |
– |
– |
– |
Есть ли общий элемент?
|
|
|
|
+ |
– |
– |
Исчерпывают ли универсумы?
|
|
|
|
– |
– |
+ |
|
А, В |
А
В |
В |
А
В |
А
С
В
В
А
|
Противоречие (вроде бы и соподчинение, но А и В исчерпывают целиком С)
В
А |
ОПРЕДЕЛЕНИЯ
Задания: определить, является ли определение правильным. Могут быть нарушены 4 правила:
Не должно содержать логический круг – когда определяемое слово содержится в определении. Типа: родственники – люди, состоящие в родстве. Но можно повторять слово, если на него «нанизываются» признаки: несобирательные понятия – понятия, содержащие конкретные элементы.
Определяемое слово и определение должны быть равного объема: например, «еж – колючее животное» неправильное понятие, т.к. определяемое слово ‘уже определения; или «учащиеся – студенты» неправильно, т.к. определяемое слово шире определения.
Ясность – нельзя определять, используя слова, которые ранее неизвестны.
Определение должно быть по существенному признаку: «человек – животное, с мягкой мочкой уха», подходит по трем другим правилам, но неправильно, т.к. это не важный и не существенный признак, или «студенты – те, у кого есть студенческий билет».