в работах амер. матем. А. Чёрча (р. 1903) и др. авторов.
Теоретическая П. складывается как естественнонаучная теория. В П. принимаются некоторые гипотезы о свойствах и строении интеллекта, формулируемые на основе данных нейрофизиологии, экспериментальной психологии, бионики, теории персептронов и др. Накапливаемые в «памяти» интеллекта наблюдения могут служить исходными данными для обучения интеллекта, приводить к его самоорганизации и, следовательно, изменять его реайции при восприятии семантической системы (некоторый формальный интерпретированный язык). Проблематика теоретической П. примыкает к возникшей в последнее время области исследования — программированию эвристическому, изучающему правдоподобные рассуждения; результаты эвристического программирования необходимо учитывать при построении искусственного разума. Это обстоятельство является одним из стимулов к разработке исчислений с недедуктивными правилами вывода.
В настоящее время большое распространение получили и работы в области прикладной П. В частности, ряд исследований, проводимых в СССР, США и др. странах, посвящен эмпирическому анализу понимания людьми различных языковых выражений, изучению ритмики и стихосложения, а также разработке информационно-поисковых систем (одной из наиболее важных проблем П., относящейся к информационно-поисковым системам, является проблема сравнения и рценки различных информационных систем в зависимости от точек зрения потребителей). Эти работы играют роль в разработке таких проблем, как автомат. распознавание образов, машинный перевод и т. п. Областью прикладной П. является т. н. роботика — теория построения искусственных интеллектов (роботов). Существует также связь между П. и проблемами космических коммуникаций. Т. о., исследования по моделированию умственной и творческой деятельности человека тесно связаны с проблематикой П. Прагматический подход к проблемам логики оказывается весьма интересным и в исследованиях по основаниям математики.
Лит.: Martin R. М. Toward a systematic pragmatics. Amsterdam, 1959; Карнап Р. Значение и необходимость. Пер. с англ. М., 1959 [библиогр. с. 357—360]; Greniewski Н. Cybernetics without mathematics. Oxford - London - New York - Paris-Warszawa, 1960; Harrah D. Communication: a logical model. Cambridge. 1963 [библиогр. с. 107—111]. В. К. Финн.
