Исчисление понятий | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2019. № 49. DOI: 10.17223/1998863Х/49/3

Исчисление понятий

Предлагается натуральный вариант типового лямбда-исчисления понятий как функциональных абстрактов в духе Фреге. Дается общая характеристика подхода, разъясняется функциональная трактовка понятия, характеризуется ее когнитивнофеноменологическая интерпретация. Приводится формулировка исчисления как такового и обсуждается смысл некторых правил вывода. В заключительной части статьи очерчивается перспектива исследований в данной области.

The Calculus of Concepts.pdf Введение Эта статья продолжает цикл исследований, с одной стороны, посвященных развитию функциональной экспликации понятий с помощью формализмов (типового) лямбда-исчисления, а с другой - связанных с построением интенциональной когнитивно-феноменологически обоснованной теории понятия. В работе будет представлен натуральный вариант исчисления конкретных понятий. Для облегчения восприятия материала вводная часть содержит обзор проблематики и краткое изложение полученных ранее результатов. Далее излагается собственно само исчисление и обосновываются использованные при его построении дедуктивные постулаты. В заключении по традиции подводятся итоги исследования и намечаются перспективы его развития. Понятие уже многие годы (если не века) является предметом исследования логиков, психологов, а в последнее время - специалистов в областях когнитивных и компьютерных наук. Несмотря на богатую историю, прогресс в этой сфере весьма условен. Так, в 1967 г. один из разработчиков современной версии классической теории понятия Е.К. Войшвилло в своей программной книге констатировал: «Остается невыясненным основное: что представляет собой понятие как форма мысли?» [1 С. 101]. По прошествии 50 лет Деннис Эрл (Dennis Earl) в соответствующей статье Интернет-энциклопедии философии замечает, что «исследования природы понятий продолжаются как в философии, так и в психологии, но согласия относительно предпочтительной теории понятия не достигнуто» [2]. Имеющиеся на сегодняшний день разновидности теоретического осмысления понятия существенно разнятся. Укажем лишь некоторые наиболее распространенные трактовки. Классическая теория понятия исходит из трактовки понятия как абстрактной сущности (мысль, результат мыслительной деятельности и т.п.), задаваемой диффенициальной структурой, характеризующей необходимые 1 Исследование выполнено при поддержке гранта Российского научного фонда (проект № 19-011-00293). Исчисление понятий 27 и достаточные признаки, которыми должны обладать элементы объема понятия. В современном варианте эта теория представлена в работах Е.К. Войш-вилло, В.А. Бочарова и В.И. Маркина. Согласно прототипической теории понятия (или близкой теории экземпляров) [3] понятие представляет собой ментальную репрезентацию, в центре которой находится образец - прототип или наиболее типичный представитель определенного класса, остальные члены категории связаны с образцом отношением сходства. Теория теорий понятия (theory-theory) [4] предполагает трактовку понятия как каузальной схемы объяснения в рамках некоторой более общей теории, т.е. фактически как специфической узкой теории чего-то. Наконец, теория концептуального атомизма [5] основана на представлении о понятии как о некоторой атомарной абстрактной сущности, не имеющей какой бы то ни было внутренней структуры. Несколько в стороне от магистральных путей исследования понятия остается старая, но, наш взгляд, не теряющая своей привлекательности трактовка понятия как предметно-истинностной функции, предложенная Г. Фреге. В статье «Функция и понятия» он характеризует свою трактовку понятия предельно однозначно: «Да, мы можем прямо сказать: понятие есть функция, значение которой есть всегда какое-то истинностное значение» [6. С. 222]. Когда некоторому аргументу (Фреге рассматривает одноместные функции) понятийная функция ставит в соответствие значение «истина», этим выражается подпадание предмета под понятие. Соответственно, объем понятия характеризуется как «пробег значений функции, значение которой для любого аргумента есть истинностное значение» [Там же]. Таким образом, говоря современным языком, понятие представляет собой предикат (предметноистинностную функцию), а его объем - ту часть предметов из области определения, на которой эта функция принимает значение «истина». Попытки формального представления понятия как особого рода (релевантной) функции были предприняты в работах [7-9]. При этом использовались как типовое, так и бестиповое лямбда-исчисления, а понятие вполне ожидаемо трактовалось как функциональный абстракт. Соответственно, операция подведения предмета под понятие формально эксплицировалась как своеобразное правило исключения импликации (при типовом варианте формализации). В настоящей статье будет представлена несколько отличная от указанных трактовка понятия как предметной функции, что, с одной стороны, на наш взгляд, в большей степени соответствует когнитивной трактовке понятия и категоризации, а с другой - представляет собой естественное развитие интенциональной теории понятия, анонсированной в работах [10, 11]. На предыдущем этапе наши исследования фокусировались на процедуре категоризации. При этом мы исходили из нестандартной когнитивнофеноменологической интерпретации этой процедуры, предполагающей обращение к описанной Гуссерлем процедуре аналогизирующей апперцепции (аппрезентации). Аппрезентация представляет собой перенос смысла с предмета (образца) на новый случай на основании сходства этого случая с образцом. В процессе аппрезентации осуществляется так называемое удвоение, когда два предмета - стимул (объект интенции) и образец - рассматриваются сознанием в удвоении, представляющем собой форму пассивного синтеза, и 28 Д.В. Зайцев, Н.В. Зайцева последующий аппрезентаивный перенос смысла с образца на стимул. Подробно эта операция, которую Гуссерль противопоставляет рассуждению по аналогии, утверждая ее встроенный и непроизвольный характер, описана в «Картезианских рассуждениях». В развиваемой трактовке «аппрезентативной модели» типизации (категоризации) принципиально важными оказываются следующие положения. Во-первых, благодаря телесной воплощенности, встроенности и дорефлек-сивности так понимаемая процедура категоризации вполне может претендовать на статус универсального познавательного механизма типизации объектов. Во-вторых, когнитивно-феноменологическая интерпретация категоризации делает возможным ее истолкование как встраивание интенционального объекта в имеющийся смысловой контекст. В-третьих, на наш взгляд, наиболее адекватной формой выражения этой процедуры оказывается интенциональная модификация теории понятия Фреге. В ее основе лежит ряд важных теоретических принципов: 1. Интенциональность понимается как универсальная фундаментальная характеристика познания, присущая не только человеку, но и другим живым существам. 2. Интенциональность может быть представлена как функциональное отношение (отображение) из множества стимулов (объектов интенции) в множество распознанных (и тем самым осмысленных) индивидов, релятивизированное относительного того или иного познающего субъекта. В такой трактовке интенциональности реализуется ее смыслообразующая и смыслонаделяющая функция. 3. Интенциональность может быть истолкована и как концептуальная функция из множества стимулов в множество интенциональных объектов. Развивая эту трактовку, мы, различали две стадии категоризации, предполагающие: (1) распознание и фиксацию чувственных данных по отдельности как сторон, моментов или характеристик (типа «красный», «небольшой», «круглый» и т.п.) некоторого еще неопределенного или непознанного предмета как целого; (2) распознание и узнавание этого конгломерата частей и сторон, состоящие в его своеобразном узнавании или отождествлении, «достраивании» до известного, а значит типизированного ранее предмета. Соответственно, предлагая формальную экспликацию двухэтапной категоризации, мы рассматривали функциональные трактовки абстрактных и конкретных понятий. При этом конкретное понятие понимается как понятие об индивиде, а абстрактное - как о свойствах и отношениях индивида. В функциональном выражении через формализм ламбда-абстракций это привело к следующему результату. В самом общем виде понятие трактуется как лямбда-терм, состоящий из функционального терма, предметного терма, операции приложения (аппликации) между ними и указания типа получившегося функционального абстракта через отображение типа А (область определения) в тип В (область значения): ∖x.F ∙ χ∙. A -> В. Правило аппликации описывает приложение функционального абстракта к некоторому предмету из области определения соответствующей функции. При этом важным оказывается умение проследить порядок применения пра- Исчисление понятий 29 вила, т.е. зависимость результирующих термов от предшествующих термов в выводе, что реализуется через исчисление с характеристиками зависимости, задаваемыми стандартным образом. Кроме того, формулируются два важных правила перестановки, соответствующие двум разным случаям приложения понятия - приложение абстрактного понятия (PerC), позволяющее распознать сторону или характеристику объекта, и приложение конкретного понятия (PerB), приводящее к «узнаванию» индивида: Лг;.В .г.УВ_[Г] ЛУУ . с. ⅜: В[Г] J F∙(υ∙⅛)i: В[Г ’ (У . ⅛) . с: В[Г] ' Для формальной экспликации отождествления распознаваемого объекта использовалось специальное правило подстановки (T): ,,, * {v∙h')∙h-. В[Г] Йв^*Тз:Т?[Г] ■ Если к указанным правилам добавить правило образования понятий t: B[Γλ': А] то получается типовое лямбда-исчисление с характеристиками зависимости, аналог BCI-логики, фрагмента импликативного фрагмента релевантной логики R без аксиомы ослабления. Исчисление конкретных понятий Рассмотренный выше вариант исчисления понятий фактически был предназначен для первичной экспликации категоризации, понимаемой по аналогии с подведением предмета под понятие. Результатом этой процедуры оказывалась понятийная форма высказывания, выражающая результат осмысления соответствующего предмета и его отнесение к определенному типу. Такой вариант исчисления понятий оперировал только с простыми понятийными термами и не был предназначен для формализации каких-либо иных операций над понятиями. Ниже будет построен в чем-то упрощенный вариант исчисления, при этом рассчитанный на более широкий спектр применения. Мы будем рассматривать понятие как предметную функцию, выражающую результат когнитивной обработки стимула. Соответственно, область определения такой функции будут составлять те предметы из универсума, которые могут быть осмыслены как попадающие в объем данного понятия. Область значения составит множество предметов, распознанных как предметы определенного типа и, таким образом, попадающих в объем соответствующего понятия. Важно отметить, что такая трактовка понятийной функции предполагает, строго говоря, отображение между двумя множествами объектов разного онтологического статуса: множеством предметов, подводимых под понятие, и множеством интенциональных (осмысленных так-то и так-то) предметов, составляющих объем понятия. Ниже условимся первое множество характеризовать через универсальные признаки (понимая универсум не как универсум понятия, а как универсум объектов обобщения), а второе - через типообразующие признаки. Нас в меньшей степени будет интересовать процедура категоризации per se, и в значительно большей - возможность установления стандартных отношений между понятиями, и в первую очередь - отношения включения, 30 Д.В. Зайцев, Н.В. Зайцева позволяющего задать остальные фундаментальные и производные отношения. Поэтому мы будем рассматривать как простые, так и сложные типы предметов, образующиеся с помощью операций - аналогов конъюнкции, дизъюнкции и отрицания. При этом будем исходить из стандартных ограничений, накладываемых на процедуры установления отношений между понятиями: - отношения устанавливаются только между сравнимыми понятиями (т.е. относящимися к одному универсуму); - отношения устанавливаются между непустыми понятиями. В данной работе мы ограничим рассмотрение только конкретными понятиями (понятиями об индивидах - носителях свойств), оставляя в стороне процедуру распознания сторон, частей и моментов предметов как их признаков. Иными словами, нам потребуется только один вариант правила аппликации (приложения понятия к аргументу), поэтому на данном этапе нет необходимости разводить аппликацию и подстановку как два правила вывода. Кроме того, в развиваемом ниже простом формализме не предусмотрена экспликация понятий о множествах, n-ках и т.п. Можно сказать, что рассмотрение будет ограничено лишь понятиями первого уровня. Таким образом, ниже будет построено типовое лямбда-исчисление конкретных понятий первого уровня с характеристиками зависимости формул от допущений. Допущения зависят сами от себя, для произвольной формулы зависимости устанавливаются правилами вывода. Далее для удобства в характеристиках зависимости вместо непосредственно самих формул будем указывать их номера в выводе. В язык исчисления включаются множества индивидных переменных ({v}), индивидных констант ({c}), функциональных констант с нижними индексами по соответствующим типам ({FA}), атомарных универсальных признаков ({A}}), атомарных типообразующих признаков ({P}), символ лямбда-абстракции (λ), операция приложения (функции к аргументу) (•), типообразующие связки (∩, v, - $) и технические знаки - круглые скобки. Терм: /: ;= • ⅛. Лямбда терм: Xt выражение ви д а λ т . λ ’,4. Простой тип: ^:г := .Р|5|В Л В | λλ ∣λ В. Понятийный тип: ст выражение в ид а А -т т . Формула есть выражение одного из следующих типов: t: tτ,τnmt∙. А, или Xf'- Интуитивно формулы первых двух видов интерпретируются как утверждения о типизации некоторого объекта (например, a: P или a: A), а формулы второго типа - как функциональные выражения понятий (например, λτ.⅛: А → Q. Правила вывода: t ■= ?.'|с|У.4|/і ∙t,;,. λt выражение ви д а λт. Ь’4. tτ ∙.^P∖B∖BMλІ λλ λλ В. : CT выражение вида А - ? Исчисление понятий 31 Некоторые пояснения к правилам вывода. В правиле →intro существенно, что для образования понятия необходимо, чтобы утверждение о типизации терма t было получено с использованием допущения о типизации переменной как универсальной (v: A). Установление отношения выводимости между двумя понятиями означает, что первое из них подчиняется второму. Рассмотрим достаточно прозрачный пример, демонстрирующий, что понятие λτ.FpΛQ : А -> {P∕∖Q} подчиняется понятию допущение допущение использования непрямого Необходимость правила velim и ограничения правил ∩intro и negintro обсуловлена стремлением избежать нежелательных вы-водимостей, и в первую очередь, как и при выборе правил для натурального варианта релевантного исчисления, тех, которые связаны с противоречивыми типами. Отсутствие указанных ограничений привело бы к тому, что понятие с противоречивым содержанием подчинялось бы любому понятию, что, естественно, не соответствует стандартной трактовке отношений между понятиями. Проиллюстрируем это на примере правила velim. Допустим, мы используем прямое правило исключения дизъюнктивных типов: Тогда валидной оказывается следующая выводимость, даже при условии ограничений на остальные правила: (1) λτ,⅛Λ P А → (FλP)[1] допущение (2) .т: А[2] допущение (3) Ррлр • г (PλP)[1.2] (4) Pp∕∖P * гг F[l,2] (5) FpΛP * T ^[1:2] (6) ^P∕∖P • X FVQ[1,2] [VinZroJ 4 (7) Pp∕∖P * X Q[l,2] [V5⅛ 6 (8) λτ,FQ∙, А →Q[ι] [ HiZro J 2 32 Д.В. Зайцев, Н.В. Зайцева Заключение. Перспективы исследований Итак, в статье предложен вариант натурального исчисления конкретных понятий. Признак, зафиксированный в содержании этих понятий (тип), может быть как простым, так и сложным, образованным с помощью типообразующих связок и оператора отрицания. К числу интересных особенностей этого исчисления стоит отнести трактовку отрицательных типов и связанную с ней интерпретацию логически пустых понятий. Отмеченные выше ограничения на правила вывода были предложены для блокирования нежелательных следствий, но при этом возникает ряд вопросов, требующих более тщательного осмысления, связанных с процедурой введения понятий и, возможно, браковкой ранее введенных понятий. Перспективы дальнейших исследований предполагают следующие направления. Во-первых, построение адкватной семантики для предложенного исчисления. Во-вторых, расширение исчисления на случай квантифицированных признаков. В-третьих, распространение развиваемого формализма на представление абстрактных понятий. В-четвертых, расширение исчисления, связанное с формализацией процедур введения новых понятий (образования понятий) и категоризации как распознания стимулов в рамках одного формального подхода. В-пятых, рассмотрение перспектив развиваемоего формализма для computer science и проекта искусственного интеллекта как в области представления и обработки знаний, так и для моделирования процесса обучения (в особенности обучения на основании примера).

Ключевые слова

понятие, когнитология, типовое лямбда-исчисление, натуральное исчисление, интенциональность, concept, cognitive science, typed lambda calculus, natural deduction, intentionality

Авторы

ФИООрганизацияДополнительноE-mail
Зайцев Дмитрий ВладимировичМосковский государственный университет имени М.В. Ломоносовадоктор философских наук, доцент, профессор кафедры логики философского факультетаzaitsev@philos.msu.ru
Зайцева Наталья ВалентиновнаВсероссийская академия внешней торговли (ВАВТ)кандидат философских наук, доцент, профессор кафедры гуманитарных и социальных наукnatvalen@list.ru
Всего: 2

Ссылки

Войшвилло Е.К. Понятие. М. : Изд-во Моск. ун-та, 1967.
Earl D. Concepts // Internet Encyclopedia of Philosophy. [s. a.]. URL: http://www.iep.utm.edu/ concepts/ (access date: 21.02.2019).
Rosch E., Mervis C.B. Family resemblances: Studies in the internal structure of categories // Cognitive psychology. 1975. Vol. 7 (4). P. 573-605.
Carey S. The origin of concepts. Oxford University Press, 2009.
Fodor J. A. Concepts: Where cognitive science went wrong. Oxford University Press, 1998.
Фреге Г. Логика и логическая семантика : сб. трудов. М. : Аспект Пресс, 2000.
Зайцев Д.В. Понятие: функциональный подход // Я (А. Слинин) и Мы : к 70-летию проф. Ярослава Анатольевича Слинина. СПб., 2002. С 169-178.
Зайцев Д.В. Понятие как релевантная функция // Труды научно-исследовательского семинара Логического центра Института философии РАН. 2002. Т. 16. С. 46-53.
Зайцев Д.В. Релевантная логика понятий // Логика и В.Е.К. : к 90-летию профессора Войшвилло Евгения Казимировича. М. : Современные тетради, 2003. С. 130-138
Zaitsev D., Zaitseva N. Categorization in intentional theory of concepts // Lecture Notes in Computer Science. 2016. Vol. 9719. P. 465-473.
Зайцева Н.В., Зайцев Д.В. Феноменологиечская перспектива в современной нейронауке // Философские науки. 2017. № 1. С. 71-84.
 Исчисление понятий | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2019. № 49. DOI: 10.17223/1998863Х/49/3

Исчисление понятий | Вестн. Том. гос. ун-та. Философия. Социология. Политология. 2019. № 49. DOI: 10.17223/1998863Х/49/3