| Авторы: |
Айдукевич К |
О синтаксической связности
К.Айдукевич
О синтаксической связности #
I.
1. Вследствие открытия антиномий и благодаря способу их
решения проблемы синтаксиса языка стали важнейшими проблемами
логики (это слово здесь понимается настолько широко, что
охватывает также метатеоретические исследования). Среди этих
проблем наибольшее значение для логики имеет вопрос
синтаксической связности. В этом вопросе речь идет о нахождении
условий, при выполнении которых словесное образование,
составленное из простых осмысленных выражений, является
осмысленным выражением, имеющим единое значение, хотя оно и
составлено из значений отдельных выражений, составивших его.
Такое сочетание выражений является синтаксически связанным.
Так, например, сочетание выражений "Иван любит Анну"
построено синтаксически связанным образом из осмысленных
выражений русского языка* и само принадлежит к осмысленным
выражением русского языка. Тогда как "может конь если хотя и
светить" хотя и является сочетанием осмысленных слов русского
языка, однако ему не хватает синтаксической связности и оно не
является осмысленным выражением русского языка.
Существует несколько решений вопроса синтаксической
связности. Одним из таких решений является, например, теория
типов Расселла. Но особенно просто и удобно понятие
синтаксической связности удается выразить при помощи
разработанной проф. Станиславом Лесьневским науки о категориях
значения.
Мы здесь будем основываться на результатах Лесьневского 1),
а от себя предложим некоторую символику, которую в принципе можно
применить почти ко всем языкам и при помощи которой можно
построить исчисление, позволяющее определить и изучить
синтаксическую связность сочетания слов.
2. Понятие и термин "категория значения" первым ввел
Э.Гуссерль. В своем произведении "Логические исследования"
Э.Гуссерль 2) замечает, что отдельные слова и составные выражения
языка можно разделить на такие классы, что два принадлежащих к
одному классу слова или выражения могут взаимно заменять друг
друга в контексте, обладающим единообразным значением, причем
измененный контекст после этого не становится какой-то
несвязанной последовательностью слов и вообще не утрачивает
единообразного значения, тогда как два слова или выражения,
принадлежащих к разным классам, этим свойством не обладают.
Возьмем предложение "солнце светит" как пример контекста,
обладающего единообразным значением. Если в этом предложении мы
заменим слово "светит" словом "жарит", или "свистит", или
"танцует", то получим из предложения "солнце светит" иные
истинные или ложные предложения, обладающие единообразным
значением. Однако, если вместо "светит" подставим, например,
"если" или "зеленеть", или "поскольку", то получим
последовательность безсвязных слов. Так охарактеризованные классы
слов или выражений Гуссерль называет категориями значения.
Определим это понятие несколько точнее: слово или выражение
А, взятое в значении x, и слово или выражение В, взятое в
значении y принадлежат к одной и той же категории значений тогда
и только тогда, когда существует такое предложение (соотв.
высказывательная функция) Sa, в котором А выступает в значении x
и которое после замещения его компоненты А выражением В, взятом в
значении y, при полном сохранении значений оставшихся слов и
синтаксиса предложения Sa, преобразуется в выражение Sb, которое
также является предложением (или высказывательной функцией).
Лестница категорий значения является ближайшей родственницей
упрощенной иерархии логических типов, хотя и в значительно
большей степени разветвлена, и, в сущности, образует ее
грамматическо-семантический эквивалент 3).
Среди всех категорий значений можно выделить два вида,
которые мы назовем подстановочными категориями и функторными
категориями (термин "функтор" введен Котарбинским, понятие и
термин "подстановочная категория" - мною). К сожалению, мы не
можем определить эти понятия достаточно точно. Однако нетрудно
понять, о чем здесь идет речь. Термин "функтор" означает то же,
что "знак функции". Таким образом, это "ненасыщенный" знак,
"сопровождаемый кавычками". Функторные категории - это такие
категории значения, к которым принадлежат функторы.
Подстановочной категорией я буду называть такую категорию
значения, которая не является функторной категорией.
Из приведенного выше определения категории значения
непосредственно следует, что два произвольных предложения
принадлежат к одной и той же категории значения.
О синтаксической связности #
I.
1. Вследствие открытия антиномий и благодаря способу их
решения проблемы синтаксиса языка стали важнейшими проблемами
логики (это слово здесь понимается настолько широко, что
охватывает также метатеоретические исследования). Среди этих
проблем наибольшее значение для логики имеет вопрос
синтаксической связности. В этом вопросе речь идет о нахождении
условий, при выполнении которых словесное образование,
составленное из простых осмысленных выражений, является
осмысленным выражением, имеющим единое значение, хотя оно и
составлено из значений отдельных выражений, составивших его.
Такое сочетание выражений является синтаксически связанным.
Так, например, сочетание выражений "Иван любит Анну"
построено синтаксически связанным образом из осмысленных
выражений русского языка* и само принадлежит к осмысленным
выражением русского языка. Тогда как "может конь если хотя и
светить" хотя и является сочетанием осмысленных слов русского
языка, однако ему не хватает синтаксической связности и оно не
является осмысленным выражением русского языка.
Существует несколько решений вопроса синтаксической
связности. Одним из таких решений является, например, теория
типов Расселла. Но особенно просто и удобно понятие
синтаксической связности удается выразить при помощи
разработанной проф. Станиславом Лесьневским науки о категориях
значения.
Мы здесь будем основываться на результатах Лесьневского 1),
а от себя предложим некоторую символику, которую в принципе можно
применить почти ко всем языкам и при помощи которой можно
построить исчисление, позволяющее определить и изучить
синтаксическую связность сочетания слов.
2. Понятие и термин "категория значения" первым ввел
Э.Гуссерль. В своем произведении "Логические исследования"
Э.Гуссерль 2) замечает, что отдельные слова и составные выражения
языка можно разделить на такие классы, что два принадлежащих к
одному классу слова или выражения могут взаимно заменять друг
друга в контексте, обладающим единообразным значением, причем
измененный контекст после этого не становится какой-то
несвязанной последовательностью слов и вообще не утрачивает
единообразного значения, тогда как два слова или выражения,
принадлежащих к разным классам, этим свойством не обладают.
Возьмем предложение "солнце светит" как пример контекста,
обладающего единообразным значением. Если в этом предложении мы
заменим слово "светит" словом "жарит", или "свистит", или
"танцует", то получим из предложения "солнце светит" иные
истинные или ложные предложения, обладающие единообразным
значением. Однако, если вместо "светит" подставим, например,
"если" или "зеленеть", или "поскольку", то получим
последовательность безсвязных слов. Так охарактеризованные классы
слов или выражений Гуссерль называет категориями значения.
Определим это понятие несколько точнее: слово или выражение
А, взятое в значении x, и слово или выражение В, взятое в
значении y принадлежат к одной и той же категории значений тогда
и только тогда, когда существует такое предложение (соотв.
высказывательная функция) Sa, в котором А выступает в значении x
и которое после замещения его компоненты А выражением В, взятом в
значении y, при полном сохранении значений оставшихся слов и
синтаксиса предложения Sa, преобразуется в выражение Sb, которое
также является предложением (или высказывательной функцией).
Лестница категорий значения является ближайшей родственницей
упрощенной иерархии логических типов, хотя и в значительно
большей степени разветвлена, и, в сущности, образует ее
грамматическо-семантический эквивалент 3).
Среди всех категорий значений можно выделить два вида,
которые мы назовем подстановочными категориями и функторными
категориями (термин "функтор" введен Котарбинским, понятие и
термин "подстановочная категория" - мною). К сожалению, мы не
можем определить эти понятия достаточно точно. Однако нетрудно
понять, о чем здесь идет речь. Термин "функтор" означает то же,
что "знак функции". Таким образом, это "ненасыщенный" знак,
"сопровождаемый кавычками". Функторные категории - это такие
категории значения, к которым принадлежат функторы.
Подстановочной категорией я буду называть такую категорию
значения, которая не является функторной категорией.
Из приведенного выше определения категории значения
непосредственно следует, что два произвольных предложения
принадлежат к одной и той же категории значения.
|
|