Учетверение Терминов

— сложное высказывание, форму­лируемое обычно с помощью связки «если..., то...» и устанавливаю­щее, что одно событие, состояние и т. П. Является в том или ином смысле основанием или условием другого. Напр. «Если есть огонь, то есть дым», «Если число делится на 9, оно делится на 3» и т. П. У. В. Слагается из двух более простых высказываний. То из них, которому предпослано слово «если», называется основанием, или антеце­дентом (предыдущим). Высказывание, идущее после слова «то», на­зывается следст..

- умозаключение, включающее посылки, представляющие собой условные суждения (см. Условное высказывание). У. У. Может состоять лишь из одной условной посыл-  . Ки, может включать кроме условной и другие посылки, не являю­щиеся условными, а также может состоять из многих посылок -условных суждений. Примером У.у., состоящего из одной условной посылки, может быть простое умозаключение, называемое простой контрапозицией условного суждения (см. Контрапозиции законы). Структура его такова. Если S е..

(от лат. Factum — сделанное, совершившееся) — 1) сино­ним понятия истина, событие, результат. Нечто реальное, в противоположность вымышленному. Конкретное, единич­ное, в отличие от абстрактного и общего. 2) в логике и мето­дологии научного познания — особого рода предложения, фиксиру­ющие эмпирическое знание. Как форма эмпирического знания Ф. Противопоставляется теории или гипотезе. В понимании природы Ф. В современной методологии науки можно выделить две тенденции. Фактуализм и теоретизм. Сторо..

(от лат. Falsus — ложный, facio - делаю) -процедура, устанавливающая ложность теории или гипотезы в ре­зультате эмпирической проверки. Понятие Ф. Является фун­даментальным в методологической концепции К. Поппера, который обосновал важность этой процедуры для развития науки. С логической точки зрения процесс Ф. Описывается схемой модус толленс. Из проверяемой теории Т дедуцируется некоторое эмпири­ческое предложение a, т. E. Согласно правилам классической матема­тической логики имеет место Т ->..