Слайд 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).