Похожие презентации:
Высказывания
1. Высказывания
2. Высказывание -
Высказывание осмысленное языковое выражение,содержащее некоторое утверждение или
отрицание, обладающее свойством быть
истинным или ложным
Высказывания бывают простыми и
сложными.
3. Суждение -
Суждение форма мышления, выражающая связьмежду понятиями.
4. Виды простых высказываний
Атрибутивное: утверждается илиотрицается свойство или состояние,
присущее какому-либо предмету.
Экзистенциальное: утверждается или
отрицается факт существования предмета
в действительности.
Реляционное: выражается отношение
между двумя и более предметами.
5. Логический союз -
Логический союз такой способ соединения простыхвысказываний, при котором логическое
значение сложного высказывания ставится
в однозначную зависимость от логических
значений составляющих его простых
выражений.
6.
Логическая специфика сложноговысказывания зависит от того, при
помощи какого союза связаны между
собой простые высказывания, входящие в
его состав.
7. Виды логических союзов
отрицание – «не», «не верно, что»конъюнкция (соединение) – «и»
дизъюнкция слабая (неисключающее
разделение) – «или»
дизъюнкция сильная (исключающее
разделение) – «либо..., либо»
импликация (условие) – «если..., то»
эквиваленция (равносильность) –
«тогда и только тогда, когда»
8. Виды сложных высказываний
Отрицание: «не А», «не верно, что А»Конъюнкция: «А и В»
Дизъюнкция слабая: «А или В»
Дизъюнкция сильная: «либо А, либо В»
Импликация: «если А, то В»
Эквиваленция: «А тогда и только тогда,
когда В»
9. Основные формально-логические законы:
тождества,противоречия,
исключения третьего
достаточного основания.
10. Закон тождества
А тождественно А.Закон введения двойного отрицания.
Закон удаления двойного отрицания.
Нарушение закона - логическая ошибка
«подмена понятия».
11. Закон противоречия
Неверно, что А и не-А.Нарушение закона - логическая ошибка
«противоречивость в рассуждении».
12. Закон исключения третьего
А или не-АНарушение закона - логическая ошибка
«непоследовательность в рассуждении».
13. Закон достаточного основания
«А есть потому, что есть В»Нарушение закона - логическая ошибка
«необоснованность рассуждения».
14. Структура атрибутивных высказываний (АВ)
АВ являются основой для силлогическихвыводов.
В АВ утверждается или отрицается
принадлежность свойства, признака предмету.
Структура АВ включает термины высказывания,
связку, кванторное слово.
15. Термины высказывания
Субъект S - логическое подлежащее,обозначающее предмет мысли.
Предикат P – логическое сказуемое,
выражающее свойство предмета мысли.
16.
Связка выражает соотношение междусубъектом и предикатом. Может быть
утвердительной («есть», «суть» и т.п.) и
отрицательной («не есть», «не
является» и т.п.)
17.
Кванторное слово уточняет степеньраспространенности свойства.
Квантор общности: «все», «всякий»,
«каждый», «любой» и т.д.
Квантор существования: «некоторые»,
«многие», «отдельные» и т.д.
18. Виды АВ
АВ делятся по двум основаниям:а) по качеству (утвердительное,
отрицательное)
б) по количеству (единичное, частное,
общее).
19. Объединенная классификация АВ
Общеутвердительные AЧастноутвердительные I
Общеотрицательные E
Частноотрицательные O
20. Распределенность терминов в АВ -
Распределенность терминов в АВ это соотношение объемов субъекта ипредиката.
I. Объем распределенного термина
полностью входит в объем другого
термина (или полностью исключается).
II. Объем нераспределенного термина
частично входит в объем другого
термина (или частично из него
исключается).
21. Логические отношения между АВ
Каждый тип отношений фиксируетопределенную зависимость истинного
значения одного высказывания от
значения другого высказывания.
22. Отношения между АВ
Сравнимые: имеют в своей структуре одни ите же термины и различаются по качеству
и/или количеству.
Несравнимые: не имеют в своей структуре
общих по содержанию терминов.
23. Сравнимые отношения:
Совместимые: могут быть одновременноистинными.
Несовместимые: не могут быть
одновременно истинными.
24. Совместимые отношения:
- эквивалентные;- подчиненные (A – I, E – O);
- подпротивные (I – O).
25. Несовместимые отношения:
-противоречивые (А – О, E – I);
противные (A – E).