одно из направлений современной логики, изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последовательности таких знаков, получаемые посредством некоторого конструктивного процесса, протекающего по четким дискретным правилам.
Многозначная логика
Многозначная логика интенсивно развивается в настоящее время.... Бочвара,
трехзначная логика А. Гейтинга,
трехзначная логика Г. Рейхенбаха,
n-значная логика Э.... Интуиционистская и конструктивнаялогики
В начале XX века возникла интуиционистская логика, опирающаяся... Конструктивнаялогика признает идеи интуиционизма продуктивными.... Отличие состоит в том, что конструктивнаялогика считает законными не процессы, описываемые свободно
The subject of the inquiry is a new class of constructive logics: reversive ones. They are induced by class of problems where all actions are to be reversible (i. e. each sequence of actions can be undone). Those actions do not lose and do not add information. Semantic of reversive logic is based on amalgam of realizability and modied Girard's idea. Worlds and actions in their models are elements of the same group. It is shown that reversive logic is formalizable and stated some basic properties of reversive logic.
Доказательства в этой системе должны быть конструктивными, то есть предоставлять метод построения доказательства... традиционной логике.... Например, интуиционистская логика может быть использована для рассуждений о конструктивной математике... , которая представляет собой тип математики, сосредоточенный на конструктивных аспектах математических... Интуиционистская логика также использовалась для изучения границ формальной логики, что имеет важные
В статье предлагаются и оцениваются варианты оптимизации алгебраической модели конструктивной логики, предназначенной для построения многофакторной нелинейной математической модели, часто используемой в России в углубленном анализе в медицине и биологии. В основе оптимизации модели лежат процедуры нахождения дублирующих случаев (строк базы), соответствующих достижению цели, и исключение тех результирующих составляющих, которые дублируются случаями других результирующих составляющих. В основу оптимизации заложены процедуры просмотра результирующих составляющих сверху вниз или снизу вверх и сравниваем номеров строк, соответствующих достижению цели. Если все номера просматриваемой результирующей составляющей будут присутствовать в других просматри-ваемьгх результирующих составляющих, то ее удаляют как избыточную. На каждом шаге перемещения просмотр строк осуществляется во всех результирующих составляющих, кроме исключенных составляющих. В результате выявления и исключения избыточных по...
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
