1. Большая советская энциклопедия

Конструктивная логика

Конструкти́вная логика

Логика, развиваемая в соответствии с принципами т. н. конструктивного направления (См. Конструктивное направление), отличающимися требованием конструктивности (возможности эффективного построения) объектов, существование которых утверждается в высказываниях (предложениях). См. Конструктивные объекты.

Лит. см. при ст. Логика.

Источник: Большая советская энциклопедия на Gufo.me

Значения в других словарях

  1. КОНСТРУКТИВНАЯ ЛОГИКА — КОНСТРУКТИВНАЯ ЛОГИКА – совокупность логических принципов, признаваемых представителями конструктивизма(в математике) и включающих абстракцию потенциальной, но не актуальной бесконечности... Новая философская энциклопедия
  2. Конструктивная Логика — Раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Математическая энциклопедия
  3. конструктивная логика — КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio — построение) — совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Энциклопедия эпистемологии и философии науки