В Степин - Новая философская энциклопедия. Том второй Е—M

• Название: Новая философская энциклопедия. Том второй Е—M
• Автор: В Степин
• Издательство: МЫСЛЬ
• Жанр: Философия
• Год: 2010
• ISBN: 978-2-244-01115-9

Новая философская энциклопедия дает обзор мировой философии во всем богатстве ее основных понятий, произведений, исторических традиций, школ, имен, обобщает достижения российских и зарубежных философских исследований за последние десятилетия, является самым полным в отечественной литературе сводом философских знаний на рубеже тысячелетий. Энциклопедия содержит около пяти тысяч статей, авторами которых являются более четырехсот известных ученых - специалистов в различных областях философии.

При подготовке данного издания внесены некоторые уточнения и дополнения. В частности, в первом томе помещена статья, посвященная 80-летию Института философии РАН в четвертом - именной указатель по всем томам.

---

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

ПРИНЦИПЫ(нем. konstitutiv und regulativ от лат. constitutivus — определяющий, и regulare — направлять) — термины кантов- ской философии. Конститутивными Кант называет такие положения, которые, будучи субъективными принципами познания, в то же время учреждают определенные формы предметности, подчиняя вещи своим предписаниям. Любое конститутивное основоположение является в силу этого онтологическим принципом, выражающим законосообразные формы сущего. Действенность конститутивных принципов простирается не далее предметов возможного опыта. Регулятивные положения заставляют нас смотреть на вещи так, как если бы они подчинялись их предписаниям, однако в действительности не определяют сами объекты, оставаясь исключительно субъективными принципами. Имея характер гипотез, регулятивные принципы направляют человеческое познание на отыскание глубинных связей природных законов. Конститутивные принципы связаны с деятельностью чувственности и рассудка, т. к. и чувственная, и рассудочная способности оказываются в числе необходимых условий данности нам предметов опыта, регулятивные же — разума. Однако и конститутивные основоположения рассудка конститутивны по-разному. Аксиомы созерцания и антиципации восприятия конститутивны для созерцания, аналогии опыта — для созерцаний, могущих стать объектами восприятия. Высшим регулятивным принципом нашего познания оказывается идея Бога (идеал чистого разума). Она нацеливает рассудок на поиски абсолютного единства всех природных законов. В. В. Васильев

КОНСТРУКТ— понятие современной методологии науки, подчеркивающее активность, конструктивность работы научного сознания при введении в состав концептуальных структур научного знания специфически научных понятий и соответствующих терминов в язык науки. Понятие теоретического конструкта получило распространение в связи с осознанием в рамках стандартной концепции науки невозмож-

291

КОНСТРКТИВНАЯ ЛОГИКА ности редукции теоретических терминов к терминам, фиксирующим эмпирически наблюдаемые признаки. Термин «конструкт» в этом смысле оказался связанным с фиксацией т. н. ненаблюдаемых сущностей типа элементарных частиц в физике, структур химических соединений, генов в биологии, характерологических типов в психологии, типов общественных структур в социальном знании и пр. При этом подчеркивалось, что значение подобного рода конструктов не может быть охарактеризовано (во всяком случае исчерпывающе) через их эмпирическую митеряреташмю, а может быть выявлено только в контексте его связей в концептуальных структурах типологий и теорий (см. Теория). В связи с этим достаточно остро встал вопрос об отношении конструктов к реальности; в частности, значительное распространение получило инс- трументалистское истолкование конструктов, согласно которому последние рассматривались как формальные искусственные языковые средства, которые способствуют решению задач на уровне научной эмпирии, обеспечивая контакт знания с реальностью. Этой крайности избегает упомянутая контекстуальная концепция значения теоретических конструктов в науке, в соответствии с которой вся концептуальная структура науки в целом при ее эмпирической интерпретации может претендовать на роль знания о действительности, а не просто некоей формальной «языковой игры». В современной методологии науки, подчеркивающей т. н. концептуально- теоретическую нагруженность опыта, понятие конструкта может быть применено и к терминам эмпирического слоя языка науки постольку; посколысу эти термины не просто фиксируют некую наблюдаемую данность, а предполагают определенный понятийный анализ (напр., индексы и индикаторы в эмпирических, социологических и психологических исследованиях). См. также Эксялмкашшя. В. С. Швырев

КОНСТРУКТИВНАЯ ЛОГИКА- совокупность логических принципов, признаваемых представителями копструк- тмшшш (в математике) и включающих абстракцию потенциальной, но не актуальной бесконечности, что определенным образом изменяет понимание логических связок и кванторов (по сравнению с их пониманием в классической логике), сочетая это понимание с ковсмруктшвнымж яротессамш (процессами, описываемыми алгоритмам). Так, дизъюнкция высказываний «А или В» считается обоснованной, если потенциально осуществим конструктивный процесс, позволяющий выбрать верный член этой дизъюнкции; аналогично оценивается обоснованность многочленных дизъюнкций. Близко к пониманию дизъюнкции истолкование квантора существования: утверждение «существует такой х, для которого справедливо условие А* считается обоснованным, если потенциально осуществим конструктивный процесс подбора конструктивного объекта х, подтверждающего условие А. Обоснование конъюнкции «А и A» состоит в обосновании обоих (т. е. всех) конъюнктивных членов, а утверждение «Для всякого х справедливо условие А* считается обоснованным, если мы в состоянии для всякого объекта рассматриваемого вида доказать, что он удовлетворяет предъявленному требованию. Обоснование импликации «если А, то В> состоит в предъявлении конструктивного процесса, позволяющего по обоснованию утверждения А построить обоснование утверждения В. Отрицание утверждения А обосновывается предъявлением конструкции, приводящей к противоречию всякую попытку обоснования А. Конструктивное истолкование логических связок и кванторов допускает и различные другие уточнения. В частности, созданы различные аксиоматические системы конструктивной логики. Поскольку конструктивная позиция идейно близка интуиционистской, аксиоматические системы, первоначально предназначавшиеся для реконструкции интуиционистски приемлемых рассуждений (см. Имтушщшонястская логика), называются (или подразумеваются) конструктивными. (Напр., активно изучающиеся суперинтуиционистские логики в 60-е гг. и несколько позже назывались суперконструктивными.) Отличие этих логик от классической проявляется в том, что хотя конструктивно приемлемыми являются, напр., законы р —>—^р, -•"•"Т), —»-¦ р (р —> q) —> (^q—>--p), в этих системах отсутствуют практически все остальные варианты форм рассуждений «от противного» — закон снятия двойного отрицания —^р —ф, закон контрапозиции (^р—> -q) —> (q —> р), закон Клавия (^р—>р) —> р, закон Пирса ((р —> q) —> р)—>р и др. Кроме того, в конструктивной логике связки независимы, т. е. не выражаются друг через друга, нет классической взаимовыразимости кванторов всеобщности и существования. В результате оказываются, в частности, необоснованными рассуждения, приводящие к доказательству т. н. чистых теорем существования, типичным примером которых является доказательство Г. Кантора существования трансцендентных (т. е. действительных, но не алгебраических) чисел: приводится к противоречию предположение о возможности расположить все действительные числа в последовательность, в то время как алгебраические числа в последовательность можно расположить. Чистые теоремы существования (имеется в виду формулировка теоремы, проистекающая из доказательства) имеют вид -"Зх4(х), не переводимый в ЗхА(х), посколысу их доказательства не дают конкретного х, подтверждающего справедливость А, а лишь приводят к противоречию утверждение об отсутствии такого х. Однако ввиду специфики конструктивных объектов и процессов многими представителями конструктивизма (в отличие, скажем, от приверженцев интуиционизма) принимается принцип конструктивного подбора (или принцип Маркова): если имеется алгоритм, позволяющий по произвольному конструктивному объекту х осуществлять конструктивный процесс установления наличия у х свойства Ау то в случае обоснования -*-BxA(x) считается обоснованным и ЭхА(х). Взаимосвязи классических и конструктивных логических систем проявляются на пропозициональном уровне в виде т. н. теоремы Гливенко: а) отрицательные утверждения в этих системах одинаковы; б) конструктивно приемлемым является двойное отрицание любого закона классической логики высказываний и наоборот. Для справедливости теоремы Гливенко для предикатных вариантов конструктивных и классических систем необходимо добавление в качестве схемы аксиом в конструктивную систему закона -•-•Vx/4(x) V -ч Vx4(x) и/или закона Vx^-v4(x)—> -»-»Vx/I(x) (обратная импликация -»-«Vx/Kx)—Л/х-"-у4(х) принимается в конструктивной логике). Отличительной чертой систем конструктивной логики и построенных на их основе теорий являются т. н. 1) свойство дизъюнкции (или дизъюнктивное свойство) — если выводима дизъюнкция, то выводим и некоторый ее дизъюнктивный член, — и 2) экзистенциальное свойство—если выведенаформулаНх <4(х), то можно вывести и формулу ДО при некотором конкретном эффективно разыскиваемом t, т. е. из доказательства существования конструктивного объекта с требуемыми свойствами можно извлечь кон- струкциюего построения. Кроме аксиоматических систем кон-