11)Принцип многозначности и тезис Сушко. Обобщенные истинностные значения и типы определения лог.Следования.
Тезис Сушко – множество значений в многозначной логике можно свести к 2-ум значениям и и л. Согласно результату Сушко, всякая структурная логика, типа логики Тарского, характеризуется классом двузначных моделей. Это позволило Сушко утверждать, что есть 2 логически истинностных значения – истина и ложь, а все остальные значения, используемые в многозначных логиках, представляют собой алгебраические конструкты. Тезис Сушко опровергнут Малиновским. Концепция Малиновского, предложившего и формально обосновавшего понятия квази-выводимости(квази-выводимость и квази-логика), позволила ему переосмыслить редукцию Сушко и доказать, что любая структурная квази-логика характеризуется классом трехзначных моделей. Он показал, что есть логики 3-ехзначные, которые нельзя свести к 2-ухзначным. Сушко объединил в класс все значения и получил обобщенные истинностные значения, обобщенные – потому что работаем сразу со всеми, а не поотдельности с одним значением. Обобщенные истинностные з
V
Л
ллл
И
D
D
начения ведут себя как истина и как ложь в классической логике.
Сушко:
т
1
½,0
огда
в L3:
Aǀ=В
если
ᶷ(ᶷ(А)
D
ᶷ(B)
)
D
{и,л} – множество обобщенных значений. для большего обобщения можно взять{и,л}n
подмножества:
{и} Т
{л} F
{и,л} B
{ } N Трактовки лог. следования:
1) Ʊ(Ʊ(А)=и Ʊ(В)=и) – сохранность и от посылок к заключению.
2) Ʊ(Ʊ(В)=л Ʊ(А)=л) – сохранность л от заключения к посылке.
3) Ʊ(Ʊ(А)=и Ʊ(В)=л) – правдоподобное следование.
4) Ʊ(Ʊ(А) л Ʊ(В) и) – квази-следование.
5)
Ʊ(Ʊ(А)
Ʊ(В)
Аǀ=В)
12)Понятие модального высказывания. Виды модальностей.
Модальными наз-ся высказывания, содержащие дополнительную информацию оценочного характера относительно ситуаций или взаимосвязей между ситуациями, или присущности признаков предметам. Модальностями наз-ся термины, посредством которых осуществляется оценка, квалификация ситуаций, взаимосвязей между ними и присущности свойств и отношений предметам в модальных высказываниях. По характеру оценки ситуации выделяются виды модальностей:
1
)Алетические
модальности делятся на логические и
онтологические, в зависимости от того,
с позиций какого типа законов – логики
или природы – они оценивают ситуации,
взаимосвязи между ними или связь
признаков с предметами.Логические
термины: необходимо - , Возможно -
, невозможно - ¬ , случайно .
Необходимо, что всякий человек смертен,
с онтологической точки зрения высказывание
и.-
х(Н(х)
Р(х))
х(Н(х) Н(х)) – истина с точки зрения логики.
2)Деонтические модальности. Обязательно – 0, запрещено, разрешено – Р. Квалифицируют ситуацию с точки зрения кодекса норм(правовых, моральных). Одноместные модальности. Не работает аксиома – 0А А. 0А Р(А)
3)Временные модальности.Характеризуют ситуацию с точки зрения временного ряда(раньше, позже, всегда было,всегда будет).Двухместные модальности позволяют говорить о свойствах времени.
4)Эпистемические модальности оценивают ситуацию с позиций некоторой познавательной сис-мы.2 разновидности: 1)доказано, опровергнуто. 2)характеризуют состояние знаний субъекта(субъект знает и т.д).
5)Аксиологические модальности оценивают ситуацию с точки зрения некоторой сис-мы ценностей(хорошо, плохо, прекрасно, безобразно, добро, зло). Бинарные аксиологические модальности: лучше, хуже, равноценно.
Р
a
азделение модальностей на внутренние и внешние. Внешние модальности характеризуют ситуацию в целом - (SaS) – Фома Аквинский считал, что всегда и. внутренние – S S – дается оценка характеру присущности или неприсущности свойств предметам(необходимо является, возможно не является) – Фома Аквинский считал их не всегда и.