Составьте утвердительное суждение, в котором субъект и предикат распределены.Напишите формулу и схему.
Сложные суждения
Все мухи насекомые, а некоторые козлы не насекомые.
Все S1есть P Некоторые S2 не есть Р
(Все S1есть P۸((Некоторые S2 не есть Р)
a۸p
Виды сложных суждений:
Соединительные (конъюнктивные) – «и» («а» «но» «также» «вместе с тем»)
p۸q
Разделительные (дизъюнктивные)–«или» («либо»….)
Сильная дизъюнкция
.
pVq возможен только один из вариантов, но не оба
Слабая дизъюнкция
pVq когда возможен не только один, но и оба варианта
Условные (импликативные) – «если…, то…»
p q
условие (антецедент) следствие (консеквент)
Эквивалентные - «если, и только если…, то…»
p=q
p q
Суждения с внешним отрицанием «Неверно, что…»
p
Не все люди воспитанные
Некоторые люди не являются воспитанными О
Некоторые S не есть P
p
Неверно, что р
Задание: запишите сложное суждение в виде формулы:
Приходя в дом, снимайте обувь и надевайте тапочки, иначе запачкаете пол.
p (q۸r)vz
(p (q۸r))vz۸r
P- истинно
Q–истинно
R – ложно
Z – ложно
Каким будет суждение в целом (ложным или истинным)?
Таблица истинности сложных суждений
p | q | p۸q | p v q | p v q | p q | p=q | p |
и | и | и | и | л | и | и | л |
л | л | л | л | л | и | и | и |
и | л | л | и | и | л | л | л |
л | и | л | и | и | и | л | и |
(q= (w V e) r۸(t y)) V u
Q-ложно
W – истинно
E– истинно
R – истинно
T – ложно
Y – ложно
U - истинно
4. МОДАЛЬНОСТЬ СУЖДЕНИЯ
Под модальностью в формальной логике понимают выраженную в суждении дополнительную оценочную информацию о связях между явлениями, о логическом статусе суждения, о регулятивных, временных и других его характеристиках.
I. Алетическая модальность — это выражаемая с помощью операторов «необходимо», «случайно», «возможно», «невозможно» информация о логической либо фактической обоснованности суждения.
типы модальностей:
фактическаямодальность и
логическая модальность.
Фактическая модальность связана с объективной обусловленностью суждений, когда их истинность и ложность определяются реальным положением дел в окружающей действительности.
К фактически истинным относятся суждения, в которых связь между терминами суждения соответствует действительным отношениям между явлениями. Пример такого суждения: «Кремль находится в Москве».
К фактически ложным относятся суждения, в которых связь между субъектом и предикатом не соответствует реальности. Поэтому здесь следует использовать модальный оператор: «Неверно, что Кремль находится на Северном полюсе».
Фактическую модальность, в свою очередь, можно разделить на
фактически необходимую,
фактически случайную,
фактически возможную и
фактически невозможную виды.
Фактически необходимые — это суждениям которых говорится о связи явлений, определяемой их устойчивой внутренней основой и совокупностью условий их развития. Таковыми являются научные законы.
Фактически случайные — это суждения, в которых говорится о связи, определяемой внешними, побочными для данного явления причинами.
Фактически невозможные — это суждения, содержащие информацию об отсутствии единой основы развития явлений. Например: «Обучение на юридическом факультете невозможно для человека, не имеющего среднего образования».
Логическая модальность — это информация об обусловленности суждения, которая основывается на законах и правилах логики. В нем истинность или ложность определяется структурой суждения.
II. Эпистемическая модальность — это выраженная в суждении информация об обосновании и степени его достоверности.
В логике по степени обоснованности различают два класса суждений:
достоверные
и проблематичные
Достоверное суждение — это такое высказывание, в котором содержится твердо установленная информация.
Проблематичные суждения — это такие высказывания, которые нельзя считать достоверными в силу того, что истинность или ложность таких суждений точно не установлена.
III. Деонтическая модальность (слово «деонтический» означает в греческом языке «обязанность») — это выраженная в суждении информация, побуждающая людей к определенным поступкам. В естественном языке высказывание строится в форме совета, пожелания, команды, правила поведения или приказа.
Тема 5. Умозаключения
Непосредственные умозаключения (основаны всего на одной посылке)
1. Умозаключение по логическому квадрату
Пример:
Посылка: Все люди – братья
Выводы:
Некоторые люди – братья
Ложно, что ни один человек не брат
Ложно, что некоторые люди не братья