Значение истинности

Значение истинности
Tools.svg
 Эта страница требует существенной переработки.
Возможно, её необходимо викифицировать, дополнить или переписать.
Пояснение причин и обсуждение — на странице Википедия:К улучшению/20 августа 2012.
Дата постановки к улучшению — 20 августа 2012.
Translation arrow.svg
 Эта статья или раздел — грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой-переводчиком или сделан человеком со слабыми познаниями в языке оригинала.
Вы можете помочь улучшить перевод. Оригинал можно найти слева в списке «на других языках».
Статья, целиком являющаяся машинным переводом, может быть удалена на основании критерия быстрого удаления С2.

В логике и математике истинность, который иногда называют «логическим значением» , имеет значение, указывающее отношение предложения к правде.

Содержание

Классическая логика

классическая логика, с ее предполагаемой семантикой, логический домен. Соответствие семантики логических связей, значения которых выражаются в виде таблицы истинности.

¬(Шаблон:Mvar∧Шаблон:Mvar) ⇔ ¬Шаблон:Mvar ∨ ¬Шаблон:Mvar
¬(Шаблон:Mvar∨Шаблон:Mvar) ⇔ ¬Шаблон:Mvar ∧ ¬Шаблон:Mvar

Многозначная логика

Многозначная логика (например, нечеткая логика позволяет более двух значений истинности, возможно, содержащих некоторые внутренние структуры.

Алгебраическая семантика

Не все логические системы истинно-ценностные в том смысле, что логические связки могут быть интерпретированы как истина функций. Например, в интуиционистской логике отсутствует полный набор значений истинности, потому что его семантика, определяется в терминах доказуемости условия, а не непосредственно в терминах обязательной верности формул.

В других теориях

Интуиционистской теории типов использует типы вместо значений истинности.

Топос теории использует значения истинности в особом смысле: истина значения топос является глобальным элементом х подобъектом классификатором. Имея значения истинности в этом смысле не имеет ценностной логики истины.

См. также

Ссылки

Wiki letter w.svg
 Для улучшения этой статьи желательно?:
  • Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
  • Исправить статью согласно стилистическим правилам Википедии.
  • Викифицировать статью.
Логика

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "Значение истинности" в других словарях:

  • ЗНАЧЕНИЕ — содержание, обозначенное тем или иным языковым выражением словом, предложением, знаком и т.п. Вопрос о З. языковых выражений исследуется лингвистикой, семиотикой и логической семантикой. Различают предметное, смысловое и экспрессивное З. языковых …   Философская энциклопедия

  • Истинностное значение —         значение истинности (в логике), значение, которое принимает Высказывание (предложение, суждение), рассматриваемое по отношению к отображаемому в нём содержанию. В обычной (классической) логике используются два И. з. «истинно», «ложно»; в… …   Большая советская энциклопедия

  • Таблица истинности — Таблица истинности  это таблица, описывающая логическую функцию. Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность.… …   Википедия

  • таблица истинности — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической математической логике предполагается, что каждое простое (не содержащее логических… …   Словарь терминов логики

  • Денотативное значение — Денотат (от лат. denotatum  обозначенное), термин лингвистики и экстенсиональной логики, обозначающий 1) экстенсионал, 2) десигнат, 3) референт и 4) семантическое ядро значения. Содержание 1 Денотат как экстенсионал 2 Денотат как десигнат …   Википедия

  • истинностное значение — одна из возможных характеристик высказывания с точки зрения соответствия его описываемому фрагменту действительности. Если допускается, что каждое высказывание является либо истинным, либо ложным (т. е. что онолибо соответствует действительности …   Словарь терминов логики

  • МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… …   Философская энциклопедия

  • ФАКТ — (от лат. factum сделанное, совершившееся) 1) синоним понятий «истина», «событие», «результат»; нечто реальное в противоположность вымышленному; конкретное, единичное в отличие от абстрактного и общего; 2) в философии науки особого рода п …   Философская энциклопедия

  • ФАКТИЧЕСКАЯ ИСТИННОСТЬ — (в л о г и к е) – истинность предложения (суждения, высказывания), обусловленная, в отличие от т.н. логич. истинности, содержанием этого предложения. Иначе говоря, предложение является фактически истинным, когда его истинность зависит от значений …   Философская энциклопедия

  • Стереометрическая семантика —    трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… …   Проективный философский словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»