Конструктивная логика (Ильичёв, 1983)

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

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.