Часть серии о |
Лингвистика |
---|
Общее языкознание |
Прикладная лингвистика |
Теоретические основы |
Темы |
Портал |
|
В лингвистике термин « формализм» используется в разных значениях, которые по- разному относятся к формальной лингвистике. В обычном использовании это просто синоним грамматической модели или синтаксической модели: метод анализа структур предложений. Такие формализмы включают различные методологии порождающей грамматики, специально разработанные для создания грамматически правильных строк слов; или подобные грамматики функционального дискурса, основанной на логике предикатов.
Кроме того, формализм можно рассматривать как теорию языка. Чаще всего это отсылка к математическому формализму, который утверждает, что синтаксис является чисто аксиоматическим, поскольку основан на последовательностях, генерируемых математическими операциями. Эта идея находится в противоречии с психологизмом и логицизмом, которые, соответственно, утверждают, что синтаксис основан на человеческой психологии; или на семантических априорных структурах, которые существуют независимо от человека.
Рудольф Карнап определил значение прилагательного формальный в 1934 году следующим образом:
"Теорию, правило, определение и т.п. следует называть формальными, если в них не делается ссылки ни на значение символов (например, слов), ни на смысл выражений (например, предложения), но просто и исключительно к видам и порядку символов, из которых построены выражения ".
Мартин Куш определяет лингвистический формализм как «чисто синтаксическую трактовку языка».
Термин «формализм» первоначально относится к дебатам конца девятнадцатого века в философии математики, но эти дискуссии также приведут к развитию формального синтаксиса и формальной семантики. В таких дебатах сторонники психологизма утверждали, что арифметика возникает из психологии человека, утверждая, что не существует абсолютных математических истин. Таким образом, в принципе, уравнение типа 1 + 1 = 2 зависит от человеческого мышления и поэтому не может иметь объективной ценности. Так утверждал, в частности, психолог Вильгельм Вундт. Многие математики не соглашались и предлагали «формализм», который рассматривал математические последовательности и операции как чисто аксиоматические, не имеющие ментального содержания и, таким образом, оторванные от человеческой психологии.
Эдмунд Гуссерль не согласился с обоими утверждениями. Он утверждал, что и кардинальные числа, и арифметические операции имеют фундаментальное значение, и что наша способность выполнять сложные математические задачи основана на расширении простых понятий, таких как малые немнимые числа, сложение, вычитание и т. Д. Основываясь на математической логике, Гуссерль также создал «формальную семантику», утверждая, что лингвистическое значение состоит из серии логических предложений. Кроме того, он утверждал, что, с одной стороны, человеческое мышление и, следовательно, мир, как мы его воспринимаем, устроены аналогичным образом; а с другой стороны, этот синтаксис также состоит из логических предложений.
Сторонники раннего формализма сравнивали математику с игрой в шахматы, где все допустимые ходы основаны на горстке произвольных правил, лишенных какого-либо действительно значимого содержания. В своем « Курсе общего языкознания» (посмертно, 1916 г.) Фердинанд де Соссюр аналогичным образом сравнивает грамматические правила языка с игрой в шахматы, предполагая, что он, возможно, был знаком с « игровым формализмом ». Однако он развивает идею в другом направлении, пытаясь продемонстрировать, что каждое синхронное состояние языка похоже на шахматную композицию в том смысле, что ее история не имеет отношения к игрокам. В отличие от математических формалистов, Соссюр считает все знаки значимыми по определению и утверждает, что «правила» - в его тезисе законы семиотической системы - универсальны и вечны. Таким образом, он говорит не о конкретных грамматических правилах, а о постоянных явлениях, таких как аналогия и противопоставление.
В 1943 году Луи Ельмслев объединил концепцию Соссюра о двустороннем знаке (значение + форма) с математической грамматикой Рудольфа Карнапа. Ельмслев находился под глубоким влиянием функциональной лингвистики пражского лингвистического кружка, считая прагматику неотъемлемой частью грамматики. Некоторые сторонники функциональной лингвистики, однако, не соглашались с логико-математическим подходом Ельмслева и его терминологией, в которой слово «функция» указывает на простую структурную зависимость в отличие от классического функционализма, где оно означает «цель». Поэтому Ельмслев был назван «формалистом». В этом отношении еельмслевский «формализм» ближе к гуссерлевскому логицизму, чем игровой формализм, потому что семантика составляет один из двух фундаментальных планов его представления о языке.
Опять же, Роман Якобсон, который действительно был членом пражской школы функционализма, также был сторонником литературной теории или движения, называемого русским формализмом. Этот подход не был сугубо математическим, но был направлен на анализ текста как таковой. Это название она получила от своих противников, считавших, что она ложно отделяет литературу от психологии.
Идея Вундта анализировать культуру как продукт психологии была отвергнута его преемниками в Европе. В математике большинство ученых в то время было на стороне Гуссерля, хотя сегодня философ Мартин Куш утверждает, что Гуссерль не смог дать окончательного опровержения психологизма. Европейские структурные и функциональные лингвисты согласились с Гуссерлем и Соссюром, которые выступали против психолого-исторического взгляда Вундта на язык, отводя семантике основную объяснительную роль в своих лингвистических теориях. Тем не менее интерес к математической лингвистике оставался ограниченным в общей лингвистике в Европе.
Иная ситуация была в США, где Франц Боас импортировал идеи Вундта, чтобы сформировать боасианскую школу антропологии. Среди его учеников были лингвисты Эдвард Сепир и Бенджамин Уорф. Леонард Блумфилд, напротив, поехал в Германию, чтобы посетить лекции Вундта по лингвистике. Основываясь на своих идеях, Блумфилд написал свой учебник «Введение в изучение языка» в 1914 году, став ведущей фигурой в американской лингвистике вплоть до своей смерти в 1949 году. Блумфилд предложил «философско-описательный» подход к изучению языка, предполагая, что задачей лингвиста является документировать и анализировать лингвистические образцы, оставляя дальнейшие теоретические вопросы психологам.
Постблумфилдская школа 1950-х годов также все больше увлекалась математической лингвистикой. Основываясь на модели арифметического синтаксиса Карнапа, Зеллиг Харрис и Чарльз Хокетт предложили версию генеративной грамматики, конечная цель которой - просто генерировать грамматические последовательности слов. Они защищали дистрибуционализм как попытку определить синтаксические конституции. Было высказано предположение, например, что такая именная фраза, как красивый дом, основана не на ее смысловом составе, а на том факте, что такие слова (определитель, прилагательное, существительное) имеют тенденцию появляться в текстах вместе. От этой попытки отказались после того, как Ноам Хомский предположил, что изучение синтаксиса - это изучение знания языка и, следовательно, когнитивная наука. Его обоснованием для анализа стало то, что синтаксические структуры, обнаруженные генеративным лингвистом, являются врожденными и основаны на случайной генетической мутации. Хомский с самого начала утверждал, что математика не имеет объяснительной ценности для лингвистики, которую он определяет как подраздел когнитивной психологии. Поэтому его подход противоположен игровому формализму.
«Когда порождающая грамматика только зарождалась, язык определялся как набор предложений, созданных по правилам грамматики, где« сгенерированный »- это термин, заимствованный из математики и означающий просто формально или строго описанный [...} Ранние работы Хомского включали демонстрацию того, что любое такое определение языка не может играть решающую роль в лингвистической теории ».
Другими словами, психологизм Хомского заменил математический формализм в генеративной лингвистике в 1960-х годах. Однако Хомский не возражает против формализма или логицизма в математике, только то, что такие подходы не имеют отношения к изучению естественного языка. Тем не менее его интересует точная форма правильного синтаксического представления. При разработке своей теории Хомский опирался на молекулярную биологию. Совсем недавно он описал « универсальную грамматику » как имеющую кристаллическую форму, сравнив ее со снежинкой. Другими словами, формализм (то есть синтаксическая модель) используется для выявления скрытых закономерностей или симметрий, лежащих в основе человеческого языка. Этой практике противостоял американский «функционализм», который утверждает, что язык не кристаллизован, а динамичен и постоянно меняется. Этот тип функционализма включает в себя различные рамки, которые вдохновленные меметики и связаны с когнитивной лингвистики на Джорджа Лакофф и его соратников. Подобно Вундту, Лакофф также предлагает психологизм для математики.
Тем не менее, некоторые структуры, отстаивающие математический формализм, существуют и сегодня. Категориальная грамматика - это тип порождающей грамматики, которая была разработана математиками и логиками, в том числе Казимежем Айдукевичем, Иегошуа Бар-Гиллелем и Иоахимом Ламбеком. Их метод включает в себя отдельную модель синтаксиса и семантики. Таким образом, даже категориальная грамматика включает значимый компонент. Однако он не является психологистским, поскольку не утверждает, что синтаксические структуры происходят из психологии человека; он также не логичен, потому что, в отличие от Гуссерля, он не рассматривает структуры естественного языка как логические. Более того, в отличие от структурализма, их подход придерживается математического, а не семиотического взгляда на язык. Таким образом, такая структура является чисто дескриптивистской и атеоретической, то есть она не направлена на объяснение того, почему языки такие, какие они есть, или только теоретическая в отношении концепции слова «теория» в математике, особенно теории моделей.
Центральное допущение лингвистического формализма и, в частности, генеративной лингвистики, называется автономией синтаксиса, согласно которой синтаксические структуры строятся операциями, не имеющими отношения к значению, дискурсу или использованию. В одной формулировке это понятие определяется как синтаксис, являющийся произвольным и самодостаточным по отношению к значению, семантике, прагматике и другим факторам, внешним по отношению к языку. Из-за этого подходы, основанные на этом предположении, также получили название автономистской лингвистики. Предположение об автономности синтаксиса - это то, что наиболее заметно отличает лингвистический формализм от лингвистического функционализма, и оно лежит в основе дискуссии между ними. На протяжении десятилетий было обнаружено множество случаев, когда синтаксические структуры фактически определяются семантическими признаками или находятся под их влиянием, и некоторые формалисты и генеративиты отреагировали на это сокращением тех частей семантики, которые они считают автономными. На протяжении десятилетий в изменениях, которые Ноам Хомский внес в свою генеративную формулировку, произошел переход от утверждения автономии синтаксиса к автономии грамматики.
Другая центральная идея лингвистического формализма состоит в том, что человеческий язык можно определить как формальный язык, подобный языку математики и языков программирования. Кроме того, формальные правила могут применяться к человеческому языку вне логики или математики, рассматривая его как математическую формальную систему с формальной грамматикой.
Характерной позицией формалистических подходов является примат формы (как и синтаксиса ) и концепция языка как системы, изолированной от внешнего мира. Примером этого является принцип произвольности знака де Соссюра, согласно которому не существует внутренней связи между означающим (словом) и означаемым (концептом), к которому оно относится. Этому противопоставляется принцип иконичности, согласно которому на знак, как и на слово, может влиять его использование и концепции, к которым он относится. Принцип иконичности разделяется функционалистскими подходами, такими как когнитивная лингвистика и лингвистика, основанная на использовании, а также лингвистической типологией.
Генеративная лингвистика характеризовалась и пародировалась как точка зрения, согласно которой словарь и учебник грамматики адекватно описывают язык. Все более абстрактный способ определения синтаксических правил в генеративных подходах подвергался критике со стороны когнитивной лингвистики за то, что не уделяло должного внимания когнитивной реальности того, как язык на самом деле представлен в человеческом сознании. Другая критика направлена на принцип автономности синтаксиса и инкапсуляции языковой системы, указывая на то, что «структурные аспекты языка были сформированы функциями, которые он должен выполнять», что также является аргументом в пользу противоположного принципа иконичность.