Высказывания презентация

Высказывание -
осмысленное языковое выражение, содержащее некоторое утверждение или отрицание, обладающее свойством быть истинным или ложным
Высказывания бывают простыми и сложными.

Суждение -
форма мышления, выражающая связь между понятиями.

Виды простых высказываний
Атрибутивное: утверждается или отрицается свойство или состояние, присущее какому-либо предмету.
Экзистенциальное: утверждается или отрицается факт существования предмета в действительности.
Реляционное: выражается отношение между двумя и более предметами.

Логический союз -
такой способ соединения простых высказываний, при котором логическое значение сложного высказывания ставится в однозначную зависимость от логических значений составляющих его простых выражений.

Логическая специфика сложного высказывания зависит от того, при помощи какого союза связаны между собой простые высказывания, входящие в его состав.

Виды логических союзов
отрицание – «не», «не верно, что»
конъюнкция (соединение) – «и»
дизъюнкция слабая (неисключающее разделение) – «или»
дизъюнкция сильная (исключающее разделение) – «либо..., либо»
импликация (условие) – «если..., то»
эквиваленция (равносильность) – «тогда и только тогда, когда»

Виды сложных высказываний
Отрицание: «не А», «не верно, что А»
Конъюнкция: «А и В»
Дизъюнкция слабая: «А или В»
Дизъюнкция сильная: «либо А, либо В»
Импликация: «если А, то В»
Эквиваленция: «А тогда и только тогда, когда В»

Основные формально-логические законы:
тождества,
противоречия,
исключения третьего
достаточного основания.

Закон тождества
А тождественно А.
Закон введения двойного отрицания.
Закон удаления двойного отрицания.
Нарушение закона - логическая ошибка «подмена понятия».

Закон противоречия
Неверно, что А и не-А.
Нарушение закона - логическая ошибка «противоречивость в рассуждении».

Закон исключения третьего
А или не-А
Нарушение закона - логическая ошибка «непоследовательность в рассуждении».

Закон достаточного основания
«А есть потому, что есть В»
Нарушение закона - логическая ошибка «необоснованность рассуждения».

Структура атрибутивных высказываний (АВ)
АВ являются основой для силлогических выводов.
В АВ утверждается или отрицается принадлежность свойства, признака предмету.
Структура АВ включает термины высказывания, связку, кванторное слово.

Термины высказывания
Субъект S - логическое подлежащее, обозначающее предмет мысли.
Предикат P – логическое сказуемое, выражающее свойство предмета мысли.

Связка выражает соотношение между субъектом и предикатом. Может быть утвердительной («есть», «суть» и т.п.) и отрицательной («не есть», «не является» и т.п.)

Кванторное слово уточняет степень распространенности свойства.
Квантор общности: «все», «всякий», «каждый», «любой» и т.д.
Квантор существования: «некоторые», «многие», «отдельные» и т.д.

Виды АВ
АВ делятся по двум основаниям:
а) по качеству (утвердительное, отрицательное)
б) по количеству (единичное, частное, общее).

Объединенная классификация АВ
Общеутвердительные A
Частноутвердительные I
Общеотрицательные E
Частноотрицательные O

Распределенность терминов в АВ -
это соотношение объемов субъекта и предиката.
I. Объем распределенного термина полностью входит в объем другого термина (или полностью исключается).
II. Объем нераспределенного термина частично входит в объем другого термина (или частично из него исключается).

Логические отношения между АВ
Каждый тип отношений фиксирует определенную зависимость истинного значения одного высказывания от значения другого высказывания.

Отношения между АВ
Сравнимые: имеют в своей структуре одни и те же термины и различаются по качеству и/или количеству.
Несравнимые: не имеют в своей структуре общих по содержанию терминов.

Сравнимые отношения:
Совместимые: могут быть одновременно истинными.
Несовместимые: не могут быть одновременно истинными.

Совместимые отношения:
- эквивалентные;
- подчиненные (A – I, E – O);
- подпротивные (I – O).