КОНСТИТУТИВНЫЙ 273

понятия играют позитивную роль в познават. процессе, если они выступают как идеалы, организующие и на­правляющие силы, регулятивные принципы этого про­цесса, выражая его устремлённость к окончат., абсо­лютной, предельной завершённости, т. е. символизи­руя высшие цели познания. В сфере нравственности вопрос о возможности чувств., эмпирич. реализации высших, предельных нравств. принципов-идеалов, по Канту, не играет роли, т. к. здесь речь идёт не о вос­приятии-овладении предзаданным (природой), не о под­чинении и приспособлении, а о творении иного, сверх­природного миропорядка, в нек-ром смысле несораз­мерного природе. В сфере морали идеалы обретают конститутивное применение.

• см. к ст. И. Кант.

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

КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ в матема­тике и логике, подход в основаниях этих наук, при к-ром их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в к-рых не присутствует идея актуальной бесконеч­ности. Конструктивными наз. объекты, являющиеся либо элементарными знаковыми образованиями (т. е. не построенными из др. знаков), относительно к-рых предполагается, что они однозначно опознаваемы — различаемы и отождествляемы, как, напр., буквы нек-рого алфавита (см. Абстракция отождествления), либо сложными (но обязательно конечными) знаковы­ми конструкциями, возникающими в результате к.-л. конструктивного процесса. Последний представляет собой основанный в конечном счёте на оперировании с элементарными конструктивными объ­ектами и протекающий по чётким правилам дискретный (по шагам) процесс построения новых конструктивных объектов [примерами объектов, возникающих в конст­руктивных процессах, являются слова (формулы) в к.-л. алфавите, конечные таблицы и графы, деревья логич. выводов]. Конструктивные процессы задаются либо исчислениями как системами порождающих пра­вил, либо алгоритмами. К. н. в применении к таким процессам допускает абстракцию потенциальной осу­ществимости (позволяющую, напр., рассуждать о фор­мулах с любым конечным числом знаков, о сколь угод­но сложных формальных логич. выводах), но не абст­ракцию актуальной бесконечности. Это приводит к фи­нитной установке (см. Финитизм), состоящей в отказе от рассмотрения «завершённых» бесконечностей типа множеств всех натуральных, всех действит. чисел, всех формул к.-л. логич. исчисления. В логич. плане подоб­ная установка влечёт отказ от применения исключённо­го третьего принципа к бесконечным совокупностям объектов, а также отказ от правила снятия двойного отрицания (позволяющего умозаключать от опровер­жения допущения о несуществовании нек-рого объекта к утверждению о его существовании). Эти черты К. н. определяют его отличие от подходов классич. (теорети-