Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Принцип многозначности и тезис Сушко. Обобщенные истинностные значения и типы определения лог.следования.

Тезис Сушко – множество значений в многозначной логике можно свести к 2-ум значениям и и л. Согласно результату Сушко, всякая структурная логика, типа логики Тарского, характеризуется классом двузначных моделей. Это позволило Сушко утверждать, что есть 2 логически истинностных значения – истина и ложь, а все остальные значения, используемые в многозначных логиках, представляют собой алгебраические конструкты. Тезис Сушко опровергнут Малиновским. Концепция Малиновского, предложившего и формально обосновавшего понятия квази-выводимости(квази-выводимость и квази-логика), позволила ему переосмыслить редукцию Сушко и доказать, что любая структурная квази-логика характеризуется классом трехзначных моделей. Он показал, что есть логики 3-ехзначные, которые нельзя свести к 2-ухзначным. Сушко объединил в класс все значения и получил обобщенные истинностные значения, обобщенные – потому что работаем сразу со всеми, а не поотдельности с одним значением. Обобщенные истинностные значения ведут себя как истина и как ложь в классической логике.

Сушко:

тогда в L₃: Aǀ=В если ᶷ(ᶷ(А) D ᶷ(B)) D

{и,л} – множество обобщенных значений. для большего обобщения можно взять{и,л}ⁿ

подмножества:

{и} Т

{л} F

{и,л} B

{ } N Трактовки лог. следования:

1) Ʊ(Ʊ(А)=и Ʊ(В)=и) – сохранность и от посылок к заключению.

2) Ʊ(Ʊ(В)=л Ʊ(А)=л) – сохранность л от заключения к посылке.

3) Ʊ(Ʊ(А)=и Ʊ(В)=л) – правдоподобное следование.

4) Ʊ(Ʊ(А) л Ʊ(В) и) – квази-следование.

5) Ʊ(Ʊ(А) Ʊ(В) Аǀ=В)