Высказывания
Высказывание -
Суждение -
Виды простых высказываний
Логический союз -
Виды логических союзов
Виды сложных высказываний
Основные формально-логические законы:
Закон тождества
Закон противоречия
Закон исключения третьего
Закон достаточного основания
Структура атрибутивных высказываний (АВ)
Термины высказывания
Виды АВ
Объединенная классификация АВ
Распределенность терминов в АВ -
Логические отношения между АВ
Отношения между АВ
Сравнимые отношения:
Совместимые отношения:
Несовместимые отношения:
63.50K
Categories: mathematicsmathematics philosophyphilosophy

Высказывания

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).
English     Русский Rules