ЭФФЕКТИВНЫЙ ПРОЦЕСС, или ЭФФЕКТИВНАЯ ПРОЦЕДУРА (лат. effectivus — действенный) — предписание, намечающее последовательность преобразований, которые надо применять одно за другим к каждому элементу какой-то данной операции, чтобы прийти к единственно правильному решению. В качестве примера эффективных процессов американский логик X. Карри приводит нормальные алгоритмы (см.) А. А. Маркова.
Эффективный процесс называют также эффективным методом, который, согласно [1765], состоит в указании системы материально выполнимых действий, реализующих возможность (с заданной степенью точности) решать конечной последовательностью испытаний (шагов) задачи из некоторого класса научных задач. В понятии эффективной процедуры один из крупнейших специалистов по теоретической кибернетике, М. Минский [1780], видит мощное средство исследования больших и сложных систем — будь это разум или технические системы, средство, необходимое не только для доказательства некоторых утверждений о свойствах сложных систем, но и для доказательства и утверждений о свойствах самих доказательств. Он утверждает, что любая процедура, которую было бы «естественно» назвать эффективной, фактически может быть реализована машиной. Правда, Э. Мендельсон в [1779] вносит некоторое уточнение по этому поводу. Он советует иметь в виду, что эффективная вычислимость вовсе не подразумевает фактическую вычислимость, ибо она означает лишь, что каждое значение эффективной вычислимости функции может быть вычислено в некоторое конечное число шагов, согласно некоторому фиксированному предписанию.
Понятие эффективности, как считает О. Ф. Серебрянников, является идеализацией соответствующих естественнонаучных представлений, которая связана с такими абстракциями, как абстракция отождествления (см.) и абстракция потенциальной осуществимости (см.). Первая абстракция состоит в отвлечении от различий между графически равными выражениями, когда экземпляр какого-нибудь выражения рассматривается в качестве полноценного заменителя любого другого экземпляра того же выражения. Вторая абстракция заключается в отвлечении от практических границ наших конструктивных возможностей, когда, напр., не указывается никаких верхних границ для длины формул и выводов в формализованных языках.

ЧИЧЕРИН Борис Николаевич (1823—1903) — русский философ права, объективный идеалист-гегельянец, историк и логик. Считал, что логика есть первая и основная наука, которая дает законы всем остальным наукам. Подвергнув критике логические труды Милля, Бэна, Тренделенбурга, Зигварта и Вундта, он пытался разработать новую логику, основанную на таких четырех началах, как соединение и разделение, единое и многое.
Законы логики, по его мнению, не добываются путем наблюдения, а создаются непосредственно разумом. Их можно вывести a posteriori, но можно, по его мнению, вывести и a priori «из понятия о разуме, как деятельной силе, как оно определялось в учении о способностях. Последний вывод есть чисто-рациональный, он должен быть положен в основание; первый же служит подтверждением» [394, стр. 145].
Сами формально-логические законы Б. Н. Чичерин формулирует в духе традиционной логики. При этом предупреждает о возможном со стороны противников формальной логики метафизическом истолковании этих законов. Так, о законе тождества он пишет, что
данный закон «выражает не просто повторение, или чистое тождество с собою, но тождество в различии...» [394, стр. 148]. Но в то же время сам он переоценивает роль законов формальной логики, когда, напр., заявляет, что «на законе противоречия основано сообщение движения в пространстве. Оно возникает из того начала, что две разные вещи не могут быть одновременно в одном и том же месте» [394, стр. 152]. Высказав однажды мысль: «истинно то, что соответствует действительности» [394, стр. 321], Чичерин все же признает, что дух есть «движущее начало развития» [394, стр. 344]. В заключение своего основного труда по логике он открыто встает на религиозные позиции, заявляя, что «...разум, как мерило, дает только отвлеченно-логические определения; одна только религия полноту истины и бытия».