общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания.
Законы логического мышления
Определение 1
Законы и формы логического мышления – это фундаментальные... Для их обеспечения должны выполняться четыре основных логических закона:
Закон тождества.... Закон противоречия (также называют законом непротиворечия).... Закон достаточного основания. Этот закон выражает требование обоснованности, доказанности мысли.... Наряду с основными законами, в логике действуют и другие законы: контрапозиции, двойного отрицания, де
Изучаются логические следствия гипотезы о том, что, в сущности, метафизика есть формальная аксиология, в частности формальная этика. В двузначной алгебре метафизики как формальной аксиологии дается точное табличное определение але-тических модальностей как морально-правовых ценностных функций от двух ценностных переменных. В исследуемой алгебраической системе строго определяется отношение эквивалентности и генерируется список уравнений. Особое внимание уделяется алетической необходимости. Впервые точно формулируется и обосновывается (вычислением соответствующих ценностных таблиц) формально-аксиологический закон контрапозиции бинарной операции «необходимо» в двузначной алгебре метафизики.
Исчисление высказываний – это формальная теория, ориентированная на формализацию понятий логического закона... Законконтрапозиции, который утверждает: если из некой посылки А следует B, то из отрицания этого следствия... Различают полный законконтрапозиции, прямой и обратный законыконтрапозиции.... На основе законаконтрапозиции как общезначимого импликативного утверждения строится правило вывода,... Законы дистрибутивности. Также эти законы называются распределительными.
Предлагается новая модификация определения импликации, по-новому нейтрализующая пресловутые парадоксы. Классическая истинностно-функциональная дефиниция импликации трактуется как чисто «скалярная», т.е. не имеющая векторного аспекта. Демонстрируется, что явное включение векторного аспекта в дефиницию импликации позволяет устранять парадоксы следования новым способом. Предлагается существенное обобщение понятия «закон контрапозиции бинарной операции», частными случаями которого оказываются как «чисто скалярные», так и векторные формы закона контрапозиции бинарных операций. Впервые явно демонстрируется существование структурно-функциональной аналогии между принципом контрапозиции логической операции «коррекция», имеющей векторный аспект, в двузначной алгебре логики и дискретной математической моделью формальноаксиологической интерпретации сформулированного Галилео Галилеем принципа относительности скорости движения. Упомянутая интерпретация формулируется в терминах алгебры формальной ...
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
