то же, что и основание и следствие. части условного вы сказывания, устанавливающего, что одно событие, состояние и т.п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки «если…, то…». Высказывание, идущее после слова «если», называется основанием, идущее после слова «то», называется следствием.
не вызывают сомнения два случая – когда оба аргумента материальной импликации истинны, а также когда антецедент... истинный, а консеквент ложный;
два других случая (ложность обоих аргументов или ложность антецедента... с истинностью консеквента) требуют признания импликации неопределенной.
В статье предлагается анализ механизмов рождения возможных культурных смыслов в биактуальных высказываниях, рассматриваются необходимые и достаточные условия, при которых оправдано биактуальное соединение антецедента с консеквентом, выявляются критерии со-логичности соответствующих условий с антецедентами других биактуальных высказываний и правилоподобности принципов, обосновывающих истинность/ложность биактуальных высказываний.
) находится дизъюнктивная последовательность, а справа (в консеквенте, или в «сукцеденте») – конъюнктивная... выступает доказательством для сукцедента, а сукцедент в свою очередь является доказательством антецедента... : (a˅b˅c˅d˅…˅z) ↔ (a˄b˄c˄d˄…˄z)
Секвенцию с пустым антецедентом интерпретируют как истину, а секвенция... Если одновременно пусты как антецедент, так и сукцедент, секвенция интерпретируют как противоречивую:... Начинают с антецедентов и постепенно применяют правила вывода, чтобы получить новые секвенции.
Рассматриваются этапы построения нечетких систем типа Такаги-Сугено: формирование исходных данных, генерация структуры нечеткой системы, оптимизация параметров антецедентов и консеквентов нечетких правил. Компромисс между компактностью и точностью модели достигается использованием трех статистических информационных критериев: Akaike, Bayesian, Hannan-Quinn Information Criterion. Приведены результаты экспериментов по аппроксимации реальных данных.
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
(лат. circulus vitiosus) - наиболее грубая разновидность ошибки недоказанного аргумента, когда в качестве основания доказательства применяется сам тезис, который требуется доказать.
