HORIZON. ФЕНОМЕНОЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ

Различие концептуального и терминологического анализа — одно из основных различий при анализе любых текстов. Особую роль это различие играет при обращении к философским учениям, где термины зачастую выходят за пределы своего функционального существования и полагаются или в качестве вечных субстанций, или присущих духу понятий, или смысла, которым наделяется жизнь, бытие, история и любовь. Любое различие — в отличие от разделения — подразумевает подвижное различие переднего плана и фона, которые могут также меняться местами. Такое метаразличие характеризует и различие концептуального и терминологического анализа, каждый из которых может выходить на передний план или служить определенным фоном. Терминологический аспект анализа — это поворот от чисто концептуальных интерпретаций к анализу текстов и формированию терминов. Темой анализа становится то, каким образом и с помощью каких терминов выстраиваются те или иные концепции, каково значение основных терминов, которые составляют каркас учений, насколько, если вообще, термины и положения, которые функционируют в тех или иных учениях, могут быть соотнесены с опытом — с опытом прежде всего в понимании авторов соответствующих учений, в которых «опыт» становится термином или остается словом естественного языка.

Цель этой статьи состоит в исследовании рецепции гуссерлевской теории значения у Айдукевича и Блауштайна, двух представителей аналитически ориентированной Львовско-Варшавской школы, которые, пусть и по-разному, испытали влияние феноменологии Гуссерля и вступили с ней в полемику. Рассматривается гипотеза, согласно которой интерпретация «Логических исследований» у Айдукевича и его оригинальная теория значения повлияли как на критическое прочтение Блауштайном гуссерлевской теории интенциональности, так и на его интерпретацию интенции значения. После краткого очерка основных аспектов теории значения в «Первом логическом исследовании» в статье показано, как оно интерпретируется Айдукевичем в его львовских лекциях по логике и его директивной теории значения. Результатом становится дескриптивно-психологическая интерпретация гуссерлевского понятия значения и пересмотр его теории интенциональности в рамках дедуктивной структуры веры в посылки, которая мотивирует говорящую на том или ином языке личность к тому, чтобы верить в заключения определенной формы. Это приводит Айдукевича к его собственной оригинальной конвенционалистской интерпретации значения, которая строится на отождествлении трех основных директив значения, представляющих собой матрицу данного языка, то есть сеть, в которой каждое значение находит свое место. Это позволяет продемонстрировать, как интерпретация Айдукевича перекликается с критикой Гуссерля Блауштайном в его ранних работах, в которых, помимо дескриптивно-психологического прочтения феноменологии мы также находим конвенционалистскую концепцию актов придания значения и сигнитивных представлений. Согласно Блауштайну, знак может репрезентировать объект только посредством конвенций, проистекающих из директив значения, которые присущи данному естественному языку.

Теория типов Мартин-Лёфа опирается одновременно на логико-онтологические идеи Фреге и Рассела и на феноменологию Гуссерля. В статье исследуется этот промежуточный характер теории типов на примере синтактико-семантического метода Мартин-Лёфа и роли очевидности и канонических объектов в его теории. Синтактико-семантический метод заимствуется Мартин-Лёфом у Фреге и расширяется с опорой на теорию значения Гуссерля. Этот метод приводит в теории типов к совпадению (изоморфизму) синтаксиса и семантики (формальной логики и формальной онтологии). В отличие от традиционной формальной логики, теория типов является изначально интерпретированной системой. Будучи интуиционистской, теория Мартин-Лёфа построена на понятии доказательства, а не истинности. С точки зрения теории значения, она представляет собой вариант теоретико-доказательной семантики (Генцен, Правиц, Даммит), в которой смысл понимается как объект, построенный по определённым правилам. Так понятое доказательство опирается на очевидность, что позволяет связать его с теорией интенциональности Гуссерля. В статье проводится сопоставление теории типов и теории интенциональности Гуссерля, особенно её ноэматической стороны. Правила конструирования объектов и оперирования с ними в теории типов можно рассматривать как конкретизацию и формализацию феноменологического понятия ноэмы. То и другое является экспликацией более общего понятия смысла или значения. В статье рассмотрено соотношение понятий смысла и значения (Sinn, Bedeutung) у Фреге, Гуссерля и Мартин-Лёфа. Показана неопределённость позиции Мартин-Лёфа по отношению к теориям значения Фреге и Гуссерля.