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