Абстракция в лабиринтах познания

Страница: 1 ... 4950515253545556575859 ... 153

Например, логические операции издавна относились к чисто теоретической сфере деятельности, а законы логики воспринимались только как законы мышления. Их техническая приложимость начинается, как известно, лишь с 40-х годов нашего века. Решающую роль при этом сыграла кодификация логических законов в языковых системах математической логики, установление изоморфизма алгебры логики и алгебры переключательных (нуль-единичных) функций, а точнее, обнаружение того, что обе они являются изоморфными реализациями одной и той же абстрактной математической структуры – булевой алгебры. Математическая развитость этой двоичной алгебры обеспечила ее быстрое практическое применение в системах телефонии, в цифровых вычислительных устройствах и в промышленности, например в задачах автоматизации телеуправления энергосистемами, железнодорожным транспортом и вообще там, где она оказалась подходящим средством для описания поведения технических систем. Но реализуемость “техники мышления” в промышленно значимых моделях для самой этой техники не столь уж важна. На время она сделала логику популярной наукой, поставила перед ней несколько новых инженерных задач и задач по моделированию познавательных процессов (по искусственному интеллекту), однако не изменила основной задачи этой науки – анализа способов рассуждений и доказательств, породив разве что предрассудок, будто формальная логика является наукой, посторонней мышлению. Сегодня, тем не менее, ясно, что предмет логики – это по-прежнему и прежде всего мыслительный акт, это умозаключение, изучаемое с опорой на “внешние” средства путем словесной (знаковой) формы записи мысли, ее кодификации (отображения) в формальном языке, логическом исчислении и т. п. с целью свести до минимума подсознательные, энтимематические и эллиптические элементы мыслительного акта. Но только когда семантику этого акта удается полностью выразить синтаксическими средствами формального языка (что случается не так уж часто), возникает и возможность технического моделирования этой семантики, и возможность конструктивного исключения логических абстракций.

2.7. Абстракция и научный метод. Экспериментальное исследование и обобщение его результатов – это, пожалуй, основной метод естествознания. Понимается это обычно так, что, начиная с чего-то конкретного, эмпирического, частного, естественнонаучный метод должен закончить чем-то абстрактным, теоретическим, общим. Именно по типу этой индуктивной аргументации такой путь познания характеризуют как эмпирический метод, хотя этот метод и приводит в конечном итоге к общим теоретическим результатам.

— 54 —
Страница: 1 ... 4950515253545556575859 ... 153