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