|
Идея построения лингвистического исчисления заключается в кодификации, систематизации того, что называют — синтаксически и семантически — правильно построенными выражениями естественного языка как объяснения интуитивного понятия правильности и способности носителей языка понять любое (новое) выражение языка. Лингвистическое исчисление считается адекватным, если оно порождает все и только правильно построенные выражения языка. Критерий адекватности такой экспликации — в ее согласованности с интуицией носителей языка; бесконечное множество правильно построенных выражений дается абстракцией их специфической рекурсивной структуры. Таким образом, речь идет о возможности проведения аналогии между парами понятий «быть теоремой» и «быть общезначимым», с одной стороны, «быть порождаемым» и «быть осмысленным» — с другой. Остановимся на содержании, обоснованности и методологических следствиях проведения такой аналогии. Из сказанного ясно, что как логические, так и лингвистические исчисления можно характеризовать в терминах нормативности и дескриптивности. В первом случае речь идет о том, какие выражения должны полагаться общезначимыми (в случае формального языка), следовательно, каким нормам должны соответствовать логически правиль- 191 яд построенные рассуждения (т. ё. б компетенций идеального логика). Соответственно в случае естественного языка речь идет о том, какие выражения этого языка должны считаться осмысленными, следовательно, каким нормам должны отвечать осмысленные выражения естественного языка (т. е. о компетенции идеального носителя языка). Под дескриптивностью, в свою очередь, следует понимать соответствие конструируемых моделей реальным процедурам порождения выражений. Существенным как для логического, так и для лингвистического исчисления является понятие логической формы выражения как того, от чего зависят, в терминах чего определяются логические связи выражений на рассматриваемом уровне задания их логической формы, а в отношении естественного языка — на рассматриваемом уровне его формализации. При этом если в логическом исчислении правильность построения выражения является предварительным, необходимым условием его доказуемости, то в лингвистическом исчислении осмысленность выражения рассматривается как конечная цель исчисления. Далее, если в логическом исчислении общезначимость является тем свойством, которое с помощью правил вывода, или трансформации, переносится с аксиом (которые являются правильно построенными выражениями) на теоремы (которые также являются правильно построенными выражениями), то в лингвистическом исчислении предикат «осмысленное» можно отнести только к конечному результату исчисления, т. е. к самому языковому выражению. — 145 —
|