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

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