АЙДУКЕВИЧ (Ajdukiewicz) Казимеж (1890-1963) - польский логик и философ. Принадлежал к львовско-варшавской школе в логике. Разработал семантическую теорию языка. Работы по философской интерпретации логики.
айдукевич казимеж
Энциклопедический словарь
Айдуке́вич Казимеж (Ajdukiewicz) (1890-1963), польский логик и философ. Принадлежал к львовско-варшавской школе в логике. Разработал семантическую теорию языка. Работы по философской интерпретации логики.
* * *
АЙДУКЕВИЧ Казимеж - АЙДУКЕ́ВИЧ (Ajdukiewicz) Казимеж (1890-1963), польский логик и философ. Принадлежал к львовско-варшавской школе (см. ЛЬВОВСКО-ВАРШАВСКАЯ ШКОЛА) в логике. Разработал семантическую теорию языка. Работы по философской интерпретации логики.
Полезные сервисы
конвенционализм
Энциклопедический словарь
Конвенционали́зм - направление в философском истолковании науки, согласно которому в основе математических и естественнонаучных теорий лежат соглашения (конвенции) между учёными. Основоположник конвенционализма - А. Пуанкаре; принципы его выражены в ранних сочинениях Р. Карнапа и К. Айдукевича. Элементы конвенционализма характерны для неопозитивизма, операционализма, прагматизма.
* * *
КОНВЕНЦИОНАЛИЗМ - КОНВЕНЦИОНАЛИ́ЗМ, направление в философском истолковании науки, согласно которому в основе математических и естественно-научных теорий лежат соглашения (конвенции) между учеными. Основоположник конвенционализма - А. Пуанкаре (см. ПУАНКАРЕ Жюль Анри); принципы его выражены в ранних сочинениях Р. Карнапа (см. КАРНАП Рудольф) и К. Айдукевича. Элементы конвенционализма характерны для неопозитивизма (см. НЕОПОЗИТИВИЗМ), операционализма (см. ОПЕРАЦИОНАЛИЗМ), прагматизма (см. ПРАГМАТИЗМ) .
Большой энциклопедический словарь
КОНВЕНЦИОНАЛИЗМ - направление в философском истолковании науки, согласно которому в основе математических и естественно-научных теорий лежат соглашения (конвенции) между учеными. Основоположник конвенционализма - А. Пуанкаре; принципы его выражены в ранних сочинениях Р. Карнапа и К. Айдукевича. Элементы конвенционализма характерны для неопозитивизма, операционализма, прагматизма.
Полезные сервисы
модель
Лингвистика
Моде́ль
(франц. modèle, от лат. modulus - мера) в языкознании -
1) искусственно созданное лингвистом реальное или мысленное устройство,
воспроизводящее, имитирующее своим поведением (обычно в упрощённом виде)
поведение какого-либо другого («настоящего») устройства
(оригинала) в лингвистических целях.
Лингвистическое моделирование необходимо предполагает использование
абстракции и идеализации.
Отображая «релевантные», существенные (с точки зрения исследования)
свойства оригинала и отвлекаясь от несущественных, модель выступает как
некоторый абстрактный идеализированный объект. Всякая модель
строится на основе гипотезы о возможном устройстве оригинала и
представляет собой функциональный аналог оригинала, что
позволяет переносить знания с модели на оригинал. Критерием адекватности
модели служит практический эксперимент.
В идеале всякая модель должна быть формальной (т. е. в ней
должны быть в явном виде и однозначно заданы исходные объекты,
связывающие их отношения и правила обращения с ними) и обладать
объяснительной силой (т. е. не только объяснять факты или
данные экспериментов, необъяснимые с точки зрения уже существующей
теории, но и предсказывать неизвестное раньше, хотя и принципиально
возможное поведение оригинала, которое позднее должно подтверждаться
данными наблюдения или новых экспериментов).
Понятие лингвистической модели возникло в структурной лингвистике (К. Л. Бюлер, З. З. Харрис,
Ч. Хоккет), но входит в научный обиход в 60-70‑е гг. 20 в. с
возникновением математической лингвистики и проникновением
в языкознание идей и методов кибернетики. Различаются 3 типа моделей,
отличающихся друг от друга по характеру рассматриваемого в них объекта
(Ю. Д. Апресян): модели речевой
деятельности человека, имитирующие конкретные языковые процессы и
явления; модели лингвистического исследования, имитирующие
те исследовательские процедуры, которые ведут лингвиста к
обнаружению того или иного языкового явления; метамодели,
имитирующие теоретическую и экспериментальную оценку готовых
моделей речевой деятельности или лингвистического
исследования.
В зависимости от того, какая сторона владения языком является предметом моделирования, модели
речевой деятельности подразделяются на модели грамматической
правильности, имитирующие умение отличать правильное от
неправильного в языке, и функциональные, имитирующие умение
соотносить содержание речи (план содержания) с её формой (планом
выражения).
В зависимости от типа информации на «входе» и на «выходе» модели
грамматической правильности подразделяются на распознающие и
порождающие. Распознающая модель (например, «категориальная
грамматика» К. Айдукевича) получает на «входе» некоторый отрезок текста
на естественном языке или его абстрактное представление на искусственном языке и даёт на «выходе» ответ,
является ли данный отрезок грамматически правильным или аномальным.
Порождающая модель (например, «порождающая грамматика» Н. Хомского)
является обратной по отношению к распознающей (см. Математическая лингвистика). Критическое
преодоление первой версии «порождающей грамматики» Хомского привело к
созданию модели порождающей семантики
(Дж. Лакофф), имеющей много общего с моделями говорения, или
синтеза.
В зависимости от того, какой аспект речевой деятельности
моделируется - слушание или говорение, - функциональные модели
подразделяются соответственно на аналитические и синтетические.
Полная аналитическая модель некоторого языка получает на «входе»
некоторый отрезок текста (обычно не меньше высказывания) и даёт на «выходе» его смысловую
запись (семантическое представление) на специальном семантическом метаязыке (т. е. его толкование). Полная
синтетическая модель некоторого языка, являясь обратной по отношению к
полной аналитической модели, на «входе» получает семантическую запись
(изображение некоторого фрагмента смысла), а на «выходе» даёт множество
синонимичных текстов на данном языке, выражающих
этот смысл. Модели анализа и синтеза составляют необходимую часть
моделей перевода (в частности, моделей автоматического перевода) и различных систем
«искусственного интеллекта» (в частности, вопросно-ответных).
В многоуровневых функциональных моделях (например, в
«стратификационной грамматике» С. Лэма, в модели «Смысл ⇔ Текст», в
«функциональной порождающей грамматике» П. Сгалла) переход от плана
выражения к плану содержания (анализ) и обратно (синтез) происходит
поэтапно - через ряд промежуточных репрезентаций (уровней
представления текста). Обычно выделяются фонетический (самый поверхностный), морфологический, синтаксический и семантический (самый глубинный) уровни. Модель
анализа задаёт лингвистические знания, используемые в алгоритмах
анализа. Алгоритмы анализа позволяют перейти от некоторого более
поверхностного уровня к более глубинному. Лингвистические знания,
задаваемые синтезирующими моделями, используются в алгоритмах
синтеза, позволяющих перейти от некоторого более глубинного уровня к
более поверхностному. Модель, сопряжённая с алгоритмом, даёт новый
формальный объект, называемый лингвистическим процессором.
Лингвистические процессоры стали энергично развиваться в связи с
созданием систем искусственного интеллекта.
Модель речевой деятельности - важнейший тип собственно
лингвистических моделей. По отношению к ним модели лингвистического
исследования и метамодели выполняют вспомогательную роль. Модели
исследования предназначены для объективного обоснования выбора понятий,
которыми лингвисты пользуются при изложении модели речевой деятельности
(например, грамматики того или иного языка). В идеале они сводят до
минимума роль субъективного фактора в исследовании и являются в
некотором смысле мерилом адекватности модели речевой деятельности.
В зависимости от объёма исходной информации модели исследования
подразделяются на дешифровочные и
экспериментальные. При дешифровке в качестве исходной информации
используется ограниченный корпус текстов, и все сведения о
языке модель должна извлечь исключительно из текстовых данных.
В экспериментальных же моделях считается заданным не просто корпус
текстов, но и всё множество правильных текстов данного языка. При
проведении эксперимента лингвист прибегает к помощи информанта (носителя
языка). Информантом может быть и сам лингвист, если он в совершенстве
владеет изучаемым языком.
Метамодели представляют систему критериев и теоретических
доказательств (метаязык), с помощью которых из нескольких
альтернативных моделей, моделирующих одно и то же явление, можно выбрать
лучшую. Первые шаги в разработке аксиоматических систем формальных
определений лингвистических понятий были сделаны Л. Блумфилдом («Ряд
постулатов для науки о языке», 1926) и Л. Ельмслевом («Пролегомены к
теории языка», 1940), хотя термин «модель» ещё не употреблялся.
Метамодели, разрабатываемые математической лингвистикой, представляют
собой математические теории, объектами которых являются не отдельные
лингвистические понятия, а целостные модели языка.
Содержание термина «модель» в современной лингвистике в значительной
мере охватывалось ранее (в особенности Ельмслевом) термином «теория».
Считается, что наименования «модель» заслуживает лишь такая теория,
которая достаточно эксплицитно изложена и в достаточной степени
формализована (в идеале всякая модель должна допускать реализацию на
ЭВМ).
Конструирование моделей - не только одно из средств отображения
языковых явлений и процессов, но и объективный практический критерий
проверки истинности наших знаний о языке. Применяясь в органическом
единстве с другими методами изучения языка,
моделирование выступает как средство углубления познания скрытых
механизмов речевой деятельности, его движения от относительно
примитивных моделей к более содержательным моделям, полнее раскрывающим
сущность языка.
2) Образец, служащий стандартом (эталоном) для массового
воспроизведения; то же, что «тип», «схема», «парадигма», «структура» и т. п. (ср., например,
«модель спряжения или склонения», «словообразовательная модель», «модель предложения» и т. п.).
Ревзин И. И., Модели языка, М., 1962;
его же, Метод моделирования и типология славянских языков,
М., 1967;
его же, Современная структурная лингвистика, М., 1977;
Чжао Юань-жень, Модели в лингвистике и модели вообще, в
сб.: Математическая логика и её применения, пер. с англ., М., 1965;
Апресян Ю. Д., Идеи и методы современной структурной
лингвистики, М., 1966;
Проблемы грамматического моделирования, М., 1973;
Лингвистические проблемы функционального моделирования речевой
деятельности, в. 1-5, Л., 1973-82;
Падучева Е. В., Некоторые проблемы моделирования
соответствия между текстом и смыслом в языке, Изв. АН СССР, сер. ЛиЯ,
1975, т. 34, № 6;
Булыгина Т. В., Проблемы теории морфологических моделей,
М., 1977;
Представление знаний и моделирование процесса понимания, Новосиб.,
1980;
Цейтин Г. С., О соотношении естественного языка и
формальной модели, в кн.: Вопросы кибернетики. Общение с ЭВМ на
естественном языке, М., 1982;
Семиотические аспекты формализации интеллектуальной деятельности.
Школа-семинар «Телави-83», М., 1983;
Гладкий А. В., Синтаксические структуры естественного языка
в автоматизированных системах общения, М., 1985;
Моделирование языковой деятельности в интеллектуальных системах, М.,
1987;
Les modèles en linguistique, éd. par M. Gross, P.,
1968;
Gross M., Mathematical models in linguistics,
Englewood Cliffs, 1972;
Weiss D., Sowjetische Sprachmodelle,
в кн.: Handbuch des Russisten, Wiesbaden, 1984,
S. 581-621.
Т. В. Булыгина, С. А. Крылов.