<<
>>

СИНТАКСИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ

— логическая метатеория, созданная Лесьневским, которая позволяет по форме высказывания опре-делить, является ли оно осмысленным. В С. К. Т. имеется два основных правила: 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

<< | >>
Источник: А. А. Грицанов. Всемирная энциклопедия: Философия. 2001

Еще по теме СИНТАКСИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ:

  1. СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ
  2. 2.4.4. Синтаксические стилистические приемы
  3. 4.6. Операторы и синтаксические конструкции
  4. Планирование категорий и управление категориями
  5. КАТЕГОРИИ
  6. Категории целостности
  7. КАТЕГОРИЯ
  8. «КАТЕГОРИИ
  9. Категории определенности
  10. Категории обусловленности
  11. КАТЕГОРИИ КУЛЬТУРЫ
  12. КАТЕГОРИИ КУЛЬТУРЫ
  13. ШЕСТЬ КАТЕГОРИЙ ВОЗРАЖЕНИЙ
  14. 5. КАТЕГОРИЯ ТРАНСАКЦИОННЫХ ИЗДЕРЖЕК
  15. Основные категории философии
  16. Глава 1. ПРЕДПРИНИМАТЕЛЬСТВО КАК ЭКОНОМИЧЕСКАЯ КАТЕГОРИЯ
  17. Тема 8 Категории риска и левериджа, их взаимосвязь
  18. 2. Основные категории науки о труде
  19. 1.1. Труд как экономическая категория