СИНТАКСИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ
— логическая метатеория, созданная Лесьневским, которая позволяет по форме высказывания опре-делить, является ли оно осмысленным. В С. К. Т. имеется два основных правила: 1) Если, после замены одного выражения на другое в рамках неко-торого общего выражения, из осмыс-ленного выражения вновь получается осмысленное, то при такой замене из каждого осмысленного выражения вновь будет получаться осмыс-ленное.
Те выражения, которые можно свободно подставлять на места друг друга без утраты смысла общего выражения, принадлежат одной син- таксической категории. (2) Если по-сле замены одного выражения на другое внутри третьего, общее выражение теряет смысл, то подобная за-мена всегда будет приводить к тому, что осмысленное выражение будет становиться бессмысленным. В этом случае принято полагать, что под-ставляемые выражения относятся к различным синтаксическим кате-гориям. Таким образом, если в ос-мысленном выражении заменить про-извольный термин другим термином, относящимся к той же синтаксической категории, то полученное выражение опять будет осмысленным. Если же эти термины относятся к различным синтаксическим категориям, то полученное выражение окажется бессмысленным. Верно и обратное отношение. Если в произвольном осмысленном выражении на место какого-то термина можно подставить другойтермин, не сделав выражение бессмысленным, то эти термины относят к одной и той же синтаксической категории, в противном случае — к различным. Главными видами синтаксических категорий являются имена, предложения, функторы и операторы. В свою очередь, имена бывают пустыми, единичными (собственными), общими. Предложения классифицируются на высказывания (нарративы), вопросы (интерро- гативы), приказы (императивы) и т. д. В качестве функторов рассматривают логические союзы: конъюнкцию, дизъюнкцию и т. д. Основными опера-торами являются квантор общности и квантор существования. Синтаксическая категория имен обозначается буквой п. Индексом синтаксичес-кой категории предложений служит буква s. Переменным категории п со-поставляется некоторая область индивидов, переменным категории s — область истинностных значений (для классической логики этой областью является {истина, ложь}). Индекс функтора обозначается выражением А/В, где А представляет собой индекс синтаксической категории сложного выражения, образованного благодаря действию функтора от соответствующего числа аргументов, и В фиксирует индексы синтаксических кате-горий следующих друг за другом аргументов. Функтором сопоставля-ется множество функций, область определения которых есть множество, сопоставленное В, и область значения — множество, сопоставленное А. Пусть В соответствует множество Y, а А — множество X. Тогда в качестве области, сопоставленной вы-ражению категории А/В, принимается множество X в степени Y. В частности, категории s/B — мно-жество 2 в степени Y, категории п/В — множество X в степени Y. Примером индекса оператора является s/s/A — индекс синтаксической категории квантора по переменной категории А. Функторы и операторы классифицируются по трем основаниям: во-первых, по синтаксической категории сложного выражения, которое образует функтор или оператор, во-вторых, по числу аргументов функтора и по количеству связанных оператором переменных в формуле, в-третьих, по синтаксической категории следующих друг за другом аргументов функтора и по синтаксической категории связанных через оператор переменных. Таким образом, функторы от одинакового числа аргументов, преобразующие исходные выражения в выражение одной синтаксической категории, принадлежат одной и той же синтаксической категории только тогда, когда эти аргументы относятся к одной синтаксической категории. В свою очередь, операторы, образующие выражения одной синтаксической категории и имеющие равное число связанных переменных, принадлежат одной синтаксической ка-тегории только в том случае, если связанные переменные распределяются по синтаксическим категориям одинаковым образом. Так, s/s есть индекс синтаксической категории образующего высказывания функто-ра от одного аргумента в виде высказывания. Пример такого функ-тора — знак пропозиционального отрицания: "дождь не идет"/"дождь идет". Индекс синтаксической категории образующего высказывания функтора от двух аргументов в виде высказываний — s/s, s, например, "если идет дождь, то улицы мок- рые"/"идет дождь", "улицы мокрые". Пропозициональными функторами (функторами исчисления высказываний) называются функторы именно такого вида — чьи аргументы относятся к синтаксической категории предложений и когда образуемое выражение относится к той же категории. Индексом образующего высказывание функтора от одного именного аргумента является s/n; например, "идет дождь"/"дождь". Индекс образующего высказывание функтора от двух именных аргументов — s/n, п. Имяобразующий функтор от одного именного аргумента имеет индекс п/п, например, "легко-мысленная девушка"/"девушка". Имяобразующий функтор от двух именных аргументов — индекс п/п, п; например, "2+3"/2, 3. Функторами узкого исчисления предикатов являются отдельные имяобразую- щие функторы от одного именного аргумента. В С. К. Т. можно оценить любое осмысленное выражение, к примеру такое сложное выражение, как функторообразующий функтор. Так, функторообразующий функтор от образующего высказывание функ-тора от одного именного аргумента получает индекс s/n/s/n. Например, в высказывании "солнце светит ярко" данным функторообразующим функтором является слово "ярко". После Лесьневского С. К. Т. развивалась Тарским и Айдукевичем, предложившим использовать ее в лингвистике.А. Н. Шуман
Синтетическое априори 935
Еще по теме СИНТАКСИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ:
- СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ
- 2.4.4. Синтаксические стилистические приемы
- 4.6. Операторы и синтаксические конструкции
- Планирование категорий и управление категориями
- КАТЕГОРИИ
- Категории целостности
- КАТЕГОРИЯ
- «КАТЕГОРИИ
- Категории определенности
- Категории обусловленности
- КАТЕГОРИИ КУЛЬТУРЫ
- КАТЕГОРИИ КУЛЬТУРЫ
- ШЕСТЬ КАТЕГОРИЙ ВОЗРАЖЕНИЙ
- 5. КАТЕГОРИЯ ТРАНСАКЦИОННЫХ ИЗДЕРЖЕК
- Основные категории философии
- Глава 1. ПРЕДПРИНИМАТЕЛЬСТВО КАК ЭКОНОМИЧЕСКАЯ КАТЕГОРИЯ
- Тема 8 Категории риска и левериджа, их взаимосвязь
- 2. Основные категории науки о труде
- 1.1. Труд как экономическая категория
-
Бизнес -
Компьютеры и интернет -
Психология -
Философия -
Финансы -
Экономика -
Юриспруденция и право -
Lecture.Center