3.10.Сантехник;3.11.Санинструктор;3.12.Сандалии;3.13.Сапоги;3.14.

солома;3.15.сено;3.16.сосуд;3.17.слон;3.18.собака;3.19.сопка;

3.20.Сетка;3.21.Свекла;3.22.Свист;3.23.Сигнал;3.24.Сигарета;3.25.Симпозиум;3.26.Селедка;3.27.Совет;3.28.Соседка;3.29.Супруг;3.30.Студень.

2.6.Модальностьсуждений.

Суждения,вкоторыхутверждаетсяилиотрицаетсяналичиеилиот-сутствиеопределеннойсвязимеждусубъектомипредикатом,называ-ютсяассерторическими.Помимонихвлогикевыделяютт.н.модаль-ныесуждения,вкоторыхсодержитсяинформацияохарактерезависи-мостисубъектаипредиката,обоценочных,временныхидругиххарак-теристиках.Иначеговоря,модальностьпредставляетсобойнекоторуюдополнительнуюинформациюотносительноассерторическогосужде-ния,всвязисчемнормальнаяформамодальногосуждениявыглядитследующимобразом:

Мр, (60)

гдеМ-символопределенноймодальности,ар-ассерторическоесу-ждение.

Простейшаяразновидностьмодальности-логическая;ейсоответ-ствуетмодальныйоператор““-“Неверно,что...”.Всеговлогикеразличаютболее30видовмодальности,изкоторыхпосоображениямпростотынамирассматриваютсятолькоследующиетри:

1. Алетическаямодальность,посредствомкоторойможноутвер-ждатьилиотрицать“возможность”,“необходимость”или“слу-чайность”наличияилиотсутствияопределеннойсвязимеждусубъек-

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

• суждениянеобходимости:

□А(“Необходимо, чтоА”), (61)

□А(“Необходимо,чтоне-А”), (62)

• суждениявозможности:

А(“Возможно, чтоА”), (63)

А(“Возможно,чтоне-А”), (64)

• сужденияслучайности:

А(“Случайно,чтоА”), (65)

А(“Случайно,чтоне-А”). (66)Последние,т.е.сужденияслучайности,логическисводятсяксужде-

ниямнеобходимостиивозможностиприпомощиследующихправил:

-Если нечтослучайно, то оно не являетсянеобходимым(пра-

вило1)-

А□А; (67)

Еслинечтонеявляется необходимым, товозможнообратное

(правило2)-

Такимобразом,

□АА. (68)

АА, (69)

АА. (70)

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

   • верифицированныесуждения:

VA(“Доказано,чтоА”), (71)

• фальсифицированныесуждения:

FA(“Опровергнуто,чтоА”), (72)

• вероятностныесуждения:

РАилиР(А)(“Вероятно,чтоА”). (73)

Считается,чтовероятностьсужденияподдаётсяколичественномуизмерению,всвязисчемверифицированныеифальсифицированныесужденияможносвестиквероятностнымприпомощиследующихдо-пущений:

-Если вероятностьАравна1,тоэто равносильнодоказанно-

стиА -

(Р(А)=1)VA; (74)

-ЕсливероятностьАравна0,то эторавносильноопровер-жимостиА-

(Р(А)=0)FA. (75)

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

   • суждениязапрещения:

ZA(“Азапрещено”), (76)

• сужденияразрешения:

RA(“Аразрешено”), (77)

-сужденияобязывания:

ОА(“Аобязательно”). (78)

Сужденияобязываниямогутбытьсведеныксуждениямзапрещенияприпомощиследующегоправила:

-ЕслиАобязательно, то это равносильнозапрещениюобрат-

ного-

ОАZA. (79)