Схема трансформационной порождающей грамматики Синтаксический компонент Семантический компонент I Поверхностные структуры Фонетическая репрезентация Три типа моделей: физические, вещественно-математические и логико-математические не являются полностью автономными. Так, логико-математические модели можно воплотить в вещественно-математические и даже в физические и наоборот. Модели могут создаваться как из однородного с оригиналом материала (например, макет деревянной церкви в Кижах тоже был сделан из дерева), так и из материала, совершенно отличного от материала оригинала (например, модель мыслительной операции логик изображает в виде чертежа на бумаге или дедуктивного построения). Простейшей формой физической модели является макет. Так, строители плотин, как правило, первоначально изготовляют макет (модель) плотины в уменьшенном размере и на ней производят необходимые измерения, изучают движение воды, формы русла, свойства грунта, водонапорных сооружений и т.п.; архитекторы строят макет дома; авиаконструкторы — модель самолета и т.д. В формальной логике модели применяются издавна. Так, например, моделью первой фигуры простого категорического силлогизма, носящей название Barbara (см. выше), служит следующая схема: В логике модель выступает, кроме всего прочего, как средство конкретизации, наглядного представления абстрактного. В ней как бы сочетаются в единстве чувственное и логическое. Логическое моделирование развивалось и в средние века. Испанский философ и богослов Раймунд Луллий попытался смоделировать логические операции с помощью изобретенного им логического круга (первой "логической машины"). В XVIII веке Ч. Стенхоп разработал "демонстратор", который он применял для проверки, в частности, силлогизмов с количественно определенными предложениями. В XIX веке английский логик У.С. Джевонс построил логическую машину, позволившую механизировать ряд процедур в логике классов и в силлогистике. В принципе сегодня открыта возможность моделирования многих умственных процессов, хотя и не создано запоминающих устройств, сравнимых по емкости и эффективности с миллиардами нейронов коры головного мозга. Однако думается, что разработки в сфере искусственного интеллекта a priori ограничены некоторым пределом (см. выше). Сегодня исследования идут по пути моделирования отдельных процессов работы мозга и отдельных видов умственного труда, привлекая огромные возможности быстродействующих компьютеров. Моделирование все шире начинает применяться в ходе формулирования и проверки гипотез (греч. hyp?thesis — основание, предположение) — вероятных предположений о причине каких-либо явлений, достоверность которых при современном состоянии производства и науки не может быть проверена и доказана, но которые объясняют данные явления, без них необъяснимые. Гипотеза — прием познавательной деятельности человека. — 175 —
|