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

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

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