Философская энциклопедия - конструктивная логика

КОНСТРУКТИВНАЯ ЛОГИКА

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

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