логическая теория, предполагающая, что наши суждения могут быть не только истинными или ложными, но и иметь другие истинностные значения (к примеру, «неопределенно»).
Общая характеристика многозначнойлогики
Определение 1
Многозначнаялогика – это логическая система... В основе многозначнойлогики лежит принцип многозначности, противопоставляемый принципу двузначности... на ту или иную разновидность многозначнойлогики.... В многозначнойлогике сохраняются свойства обозначения.... Это позволяет редуцировать многозначныелогики к единой основе – обычной классической логике.
Рассматривается история понятия многозначности в логике с единых позиций как история отрицания. Основное внимание при этом уделяется логике Н.А. Васильева, ее связям с индийской логикой сйадвада, с логиками Я. Лукасевича, логикой Д.А. Бочвара. Выясняется многозначная природа логики Васильева, ее формальная модель в топосах. В топосах вводится новое понятие отрицания «в некотором смысле». Тогда множество типов суждения у Васильева оказывается множеством образующих дистрибутивной решетки истинностных значений топоса, которые переводятся друг в друга отрицанием «в соответствующем смысле», а васильевское понимание отрицания соответствует решеточному отрицанию (псевдодополнению). Обсуждается понимание Васильевым закона исключенного n-го и паранепротиворечивости: Н.А. Васильев рассматривал свой закон исключенного n-го как дизъюнкцию образующих, как дизъюнкцию разных способов построения отрицательного суждения «в некотором смысле», а закон непротиворечия как конъюнкцию утверждения и его от...
Характеристика релевантной логики как многозначной
Определение 1
Релевантная логика как многозначная... Релевантная логика является многозначнойлогикой, потому что она допускает более двух значений для высказываний... Таким образом, релевантная логика является многозначной, потому что она позволяет учитывать неоднозначность... Другим расширением является многозначная релевантная логика, которая позволяет выражать более чем четыре... В многозначной релевантной логике значения могут быть выражены, например, в виде степеней истинности,
В знаменитом рассуждении Декарта о злокозненном гении преодоление радикального сомнения возможно за счет особенностей естественного языка и допущений относительно структуры логического мира. При распространении этих особенностей и допущений на современные многозначные логики выясняется, что большинство из них являются в некотором смысле «картезианскими» в то время, как философская обоснованность подобных допущений представляется, как минимум, сомнительной. Странным образом, свойство «быть картезианской» для произвольной логики оказывается связанным с существованием алгоритма построения бивалентной семантики в стиле Сушко для этой логики.
методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: «Сущности не следует умножать без необходимости». У. Оккам, средневековый англ. философ и логик, направлял этот принцип против распространенных в то время попыток объяснить новые явления введением разного рода «скрытых качеств», ненаблюдаемых «сущностей», таинственных «сил» и т. п. «Б. О.» может рассматриваться как одна из первых ясных формулировок принципа простоты, требующего использовать при объяснении определенного круга эмпирических фактов возможно меньшее количество независимых теоретических допущений. Принцип простоты проходит через всю историю естественных наук. Многие крупнейшие естествоиспытатели указывали, что он неоднократно играл руководящую роль в их исследованиях. В частности, Ньютон выдвигал особое методологическое требование «не излишествовать» в причинах при объяснении явлений.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
