Составьте утвердительное суждение, в котором субъект и предикат распределены.Напишите формулу и схему.

 

Сложные суждения

Все мухи насекомые, а некоторые козлы не насекомые.

Все 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. Умозаключение по логическому квадрату

Пример:

Посылка: Все люди – братья

Выводы:

Некоторые люди – братья

Ложно, что ни один человек не брат

Ложно, что некоторые люди не братья