рефераты конспекты курсовые дипломные лекции шпоры

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

Реферат Курсовая Конспект

Выберите учебное заведение

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

Принцип многозначности и тезис Сушко. Обобщенные истинностные значения и типы определения лог.следования. - раздел Образование, Ответы на логику Тезис Сушко – Множество Значений В Многозначной Логике Можно Свести К 2-Ум Зн...

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

Сушко:

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

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

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

{и} Т

{л} F

{и,л} B

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

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

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

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

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

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

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Ответы на логику

курс семестр... Понятие как форма мысли Выражение понятий в языке Логическая форма... Понятие можно назвать особой ментальной конструкцией Понятие это мысль в которой на основании наличия у предметов...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Принцип многозначности и тезис Сушко. Обобщенные истинностные значения и типы определения лог.следования.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Закон обратного отношения между содержаниями и объемами понятий. Обобщение и ограничение понятий.
Закон обратного отношения между объемами и содержаниями понятий – если и только если одно непустое и неуниверсальное понятие по объему включается в другое непустое и неуниверсальное понятие, то сод

Виды понятий.
По объему:

Отношения между понятиями по объему. Круги Эйлера и диаграммы Венна.
Ограничим себя непустыми и неуниверсальными понятиями, потому что пустое множество является подмножеством любого множества. К тому же отношения устанавливаются между сравнимыми понятиями(то есть ес

Определение как познавательная процедура. Номинальные и реальные определения. Структура и виды явных определений.
Определение – это процедура придания точного смысла языковому выражению. Определение, в котором

Неявные определения. Правила и возможные ошибки в определениях.
Неявные опр. – это определения, задаваемые лингвистической конструкцией вида: t есть по дефиниции то, что удовлетворяет условиям В1, В2,…. Вn. Все неявные опр. имею

Проблема будущих случайных событий и логика Лукасевича.
Аргумент лог. фатализма: 1)(р-истинно)˅(р-ложно) – высказывание о том, что событие S произойдет или не произойдет. 2) S – случайное событие. 3) р-истинно

Принципы построения многозначных логик. Основные виды многозначных логик.
Методы построения многозначной логики: С-множество пропозициональных связок. f

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

Становление модальной логики, нормальные модальные исчисления.

Семантика возможных миров для нормальных модальных исчислений.

Логический анализ овремененных высказываний. Трактовки временного ряда. Виды временных модальностей.
Овремененные высказывания содержат временной параметр или временную хар-ку. Временной параметр представляет собой указание на опр. момент или интервал времени. Момент не имеет длительности, а интер

Понятие описания состояния, семантика обобщенных описаний состояний и информационная трактовка следования в релевантной логике.
Первая сис-ма релевантной логики построена Орловым(1928). В 1943 Клини построил релевантную логику(как у Орлова, т.к переводил работу Орлова). информационная трактовка следования в релевант

Идейные предпосылки возникновения интуиционистской логики. Особенности трактовки понятия истины в интуиционизме.
Были обнаружены парадоксы в теории множеств Кантора(наивной теории множеств). Парадокс Рассела:Нормальные множества не явл. элементами самих себя(мн-во столов и т.д). Ненормальные – явл. элементом

Метод аналитических таблиц в модальной и интуиционистской логике.

Метод аналитических таблиц в модальной логике смотри в приложении.
22)Неклассическая логика и философия(логический фатализм, парадокс познаваемости, аргумент «рогатки» Черча). 2 источника развития логики в Греции – 1)аргументация(рассужде