Что такое семантические категории
Семантические категории языка
Все выражения, являющиеся знаками, в зависимости от типов их предметных значений могут быть разбиты на классы, называемые семантическими категориями.
Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикаторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).
Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов.
Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.
Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.
Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».
Знаки первых четырех категорий (имена, предикаторы, предметные функторы и логические термины) используются в составе предложений. При этом, в отличие от логических терминов, имена, предикаторы и предметные функторы называются дескриптивными (описательными) терминами (рис. 1).
Рис. 1. Семантические категории языка
Дескриптивные и логические термины различаются тем, что первые специфичны для различных областей познания и поэтому характеризуют конкретное содержание высказываний той или иной области познания. Логические термины являются общими в высказываниях разных областей познания и определяют те аспекты смыслов высказываний, понятий, теорий, которые называют логическими содержаниями.
Виды имен
Единичные и общие имена. Предметными значениями единичных имен являются отдельные предметы («Волга», «Сократ», «естественный спутник земли», «самая высокая гора в мире»), т.е. единичное имя обозначает один предмет. Общее имя является знаком произвольного, любого предмета из некоторого класса предметов (является общим для предметов определенного класса) и в силу этого как знак представляет в нашем мышлении именно данный класс, который и считается предметным значением общего имени («река», «человек», «небесное тело»).
В классе общих имен выделяют универсальные, т.е. такие общие имена, объемом которых является весь универсум рассуждения.
Пример. Имя «человек, знающий некоторые иностранные языки или не знающий ни одного иностранного языка» – универсальное. Здесь универсум рассуждения – множество (всех) людей, а объем имени – то же самое множество. В отличие от этого имя «человек, знающий какие-то иностранные языки» не универсальное, поскольку его объем не совпадает с множеством (всех) людей.
Предметное значение имени называется денотатом или номинантом. Смысл имени часто называют концептом. Однако иногда для предметных значений единичных и общих имен используются разные названия: предметные значения единичных имен называют денотатами, референтами соответствующих знаков, а предметные значения общих имен называют также экстенсионалами. В отдельных случаях экстенсионалами и референтами называют предметные значения всех знаков. Для смыслов знаков употребляют термин интенсионалы знаков.
Описательные и неописательные имена. Как общие, так и единичные имена делятся на описательные (сложные) и неописательные (простые). Простыми (неописательными) являются имена, которые не имеют собственного смысла и могут иметь лишь приданный смысл («Эверест», «гора», «река», «Волга»). Сложными (описательными) являются имена, которые имеют собственный смысл («самая большая река в Европе», «плоская, замкнутая, ограниченная тремя сторонами фигура»).
Действительные и мнимые имена. По отношению к данному универсуму (реальности, множеству) имена подразделяются на действительные, обозначающие предметы из данного универсума, и мнимые, обозначающие предметы, не входящие в данный универсум.
Что такое семантические категории
Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикаторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).
Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов.
Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.
Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.
Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».
Знаки первых четырех категорий (имена, предикаторы, предметные функторы и логические термины) используются в составе предложений. При этом, в отличие отлогических терминов, имена, предикаторы и предметные функторы называютсядескриптивными (описательными) терминами (рис. 1).
Дескриптивные и логические термины различаются тем, что первые специфичны для различных областей познания и поэтому характеризуют конкретное содержание высказываний той или иной области познания. Логические термины являются общими в высказываниях разных областей познания и определяют те аспекты смыслов высказываний, понятий, теорий, которые называют логическими содержаниями.
семантическая категория
Смотреть что такое «семантическая категория» в других словарях:
Семантическая ссылка — (англ. Semantic link) словесно смысловое указание на конкретный предмет, процесс или понятие. Семантические ссылки в статьях Википедии позволяют сознательно передвигаться в её информационном пространстве. Ложная семантическая ссылка попытка… … Википедия
семантическая функция речи — речь: функция семантическая использование речи с целью передачи смысла, скрытого в мысли и отражающего смыслозначимые свойства предметов, явлений, действий и отношений между ними во внешнем мире. Словарь практического психолога. М.: АСТ,… … Большая психологическая энциклопедия
Семантическая оптимизация запросов СУБД — процесс валидации и преобразования синтаксического дерева запроса в форму, пригодную для дальнейших шагов оптимизации. На этой стадии выполняется: Преобразование запросов в каноническую форму; Раскрытие представлений; Преобразование подзапросов в … Википедия
Семантическая роль — имени при предикате в языкознании: часть семантики предиката, отражающая общие свойства аргумента предиката участника называемой предикатом ситуации[1]. Описание в терминах семантических ролей отражает сходства моделей управления… … Википедия
Связность речи как текстовая категория — – 1) свойство речи или целого текста (см. Текстовая категория), реализуемое специализированными или функционально ориентированными на выражение этого свойства разноуровневыми языковыми единицами; 2) семиологическая категория, представляющая собой … Стилистический энциклопедический словарь русского языка
отношение — семантическая категория, выражающая смысловые связи между предметами, процессами и признаками … Толковый переводоведческий словарь
предмет — семантическая категория, включающая вещи и живые существа, участвующие в процессах … Толковый переводоведческий словарь
процесс — семантическая категория, означающая действия, события, проишествия … Толковый переводоведческий словарь
Функционально-семантическое поле — Функционально семантическое поле система разноуровневых средств данного языка (морфологических, синтаксических, словообразовательных, лексических, а также комбинированных лексико синтаксических и т. п.), взаимодействующих на основе общности их… … Лингвистический энциклопедический словарь
Модальность (лингвистика) — У этого термина существуют и другие значения, см. Модальность. В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
семантические категории
Полезное
Смотреть что такое «семантические категории» в других словарях:
Категории — «КАТЕГОРИИ» (Katnyopicu, лат. categoriae, praedicamenta) труд Аристотеля, называемый также «Pepi TCDV Kcnrnyopu Bv» («О категориях»); относится к его ранним произведениям и открывает цикл логических произведений, объединенных впоследствии … Энциклопедия эпистемологии и философии науки
Понятийные категории — в языкознании смысловые компоненты общего характера, свойственные не отдельным словам и системам их форм, а обширным классам слов, выражаемые в естественном языке разнообразными средствами. В отличие от скрытых категорий и грамматических… … Лингвистический энциклопедический словарь
Скрытые категории — (криптотипы) семантические и синтаксические признаки слов или словосочетаний, не находящие явного (эксплицитного) морфологического выражения, но существенные для построения и понимания высказывания, в частности потому, что они оказывают влияние… … Лингвистический энциклопедический словарь
Грамматические категории — Содержание 1 Определение 2 Что такое взаимоисключающие значения? … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
Категория — (от греч. κατηγορία) языковая в широком смысле любая группа языковых элементов, выделяемая на основании какого либо общего свойства; в строгом смысле некоторый признак (параметр), который лежит в основе разбиения обширной совокупности… … Лингвистический энциклопедический словарь
Семантика — (франц. sémantique, от греч. semantikós обозначающий, sema знак) в языкознании, 1) один из аспектов изучения знаков в семиотике (См. Семиотика). 2) В истории языкознания то же, что Семасиология. 3) Значения… … Большая советская энциклопедия
Идеографический словарь — Идеографический (семантический) словарь словарь, в котором статьи упорядочены не по алфавиту, как обычно, а по смыслу (лексическому значению заглавного слова или фразы). Если алфавитный словарь служит для того, чтобы узнать что то о данном… … Википедия
Глагол — У этого термина существуют и другие значения, см. Глагол (значения). Глагол самостоятельная часть речи, которая обозначает действие или состояние и отвечают на вопросы что делать? что сделать? что делал(а, и, о)?[1]. Глагол может быть… … Википедия
Семантические категории
Семантические категории — это типы значений выражений естественного или искусственного языка. Семантические категории изучаются в рамках теории семантических категорий (см. Теория семантических категорий), которая различает типы сущностей и типы символов, типы значений выражений языка (см. Семантика).
Учение о семантических категориях восходит к Г. Фреге и особенно к Э. Гуссерлю (Bedeutungskategorien, категории значения), однако наиболее интенсивную разработку это учение получило в Львовско-Варшавской философской школе. К учению о семантических категориях очень близка теория типов Б. Рассела. Но если последняя была введена как средство для предотвращения теоретико-множественных парадоксов, то у Ст. Лесневского, А. Тарского, К. Айдукевича, Т. Котарбинского, А. Гжегорчика теория семантических категорий связана с глубокими философскими и лингвистическими проблемами. Для них элиминация парадоксов — не единственный и не главный стимул для введения семантических категорий. Лесневский использует семантические категории в исследовании оснований дедуктивных наук. Тарский даёт классификацию формализованных языков (см. Язык формализованный) в зависимости от порядка и числа семантических категорий, к которым принадлежат переменные языка. Целый ряд наиболее важных результатов Тарского (о том, что метаязык, в котором определяется понятие истины, должен быть богаче объектного языка; невозможность семантического определения истины для языков бесконечного порядка без использования трансфинитной индукции) невозможно даже точно сформулировать, не предполагая определённой теории семантических категорий. Работа Айдукевича, систематически излагающая эту теорию, в то же время явилась первой работой, послужившей основой для внедрения этой теории не только в логику (см. Логика), но и в лингвистику. В годы теория семантических категорий получила дальнейшее развитие в англоязычной логической литературе (Р. Монтегю, М. Крессвелл и другие).
Семантические категории образуют потенциально бесконечную и весьма разветвлённую иерархию. Возможны различные системы семантических категорий в зависимости от того, какие категории принимаются за исходные и всем ли синтаксическим категориям сопоставляются семантические.
Синтаксическая категория имён (сингулярных термов) обозначается буквой n. Синтаксическая категория предложений (пропозициональных формул) обозначается буквой s. Переменным категории n сопоставляется некоторая область индивидов, переменным категории s — область истинностных значений (для классической логики этой областью является <истина, ложь>). Над ними надстраивается бесконечная иерархия функторных категорий, различающихся числом и категориями аргументных выражений, а также категориями выражений, получающихся в результате применения функторов к их аргументам. Индекс функтора обозначается выражением α/β, где α представляет собой индекс синтаксической категории сложного выражения, образованного благодаря действию функтора от соответствующего числа аргументов, и β фиксирует индексы синтаксических категорий следующих друг за другом аргументов. Функтором сопоставляется множество функций, область определения которых есть множество, сопоставленное β, и область значения — множество, сопоставленное α.
Функторы и операторы классифицируются по трём основаниям: во-первых, по синтаксической категории сложного выражения, которое образует функтор или оператор; во-вторых, по числу аргументов функтора и по количеству связанных оператором переменных в формуле; в-третьих, по синтаксической категории следующих друг за другом аргументов функтора и по синтаксической категории связанных через оператор переменных. Таким образом, функторы от одинакового числа аргументов, преобразующие исходные выражения в выражение одной синтаксической категории, принадлежат одной и той же синтаксической категории только тогда, когда эти аргументы относятся к одной синтаксической категории. В свою очередь, операторы, образующие выражения одной синтаксической категории и имеющие равное число связанных переменных, принадлежат одной синтаксической категории только в том случае, если связанные переменные распределяются по синтаксическим категориям одинаковым образом.
В методе индексации категорий функторных выражений, предложенном Айдукевичем, под чертой указываются категории аргументных выражений, над чертой — категория выражения, полученного в результате приложения функтора к его аргументам. Получаем, соответственно, бесконечную иерархию категорий функторных выражений: sin, s/nn, … s/s, s/ss, … n/n, n/nn, … s/n/s/n, … и так далее.
Указанный подход позволяет анализировать и устанавливать категории достаточно сложных выражений и операторов.
Метод индексаций Айдукевича даёт простую процедуру установления категориальной структуры и правильной построенности (синтаксической связности) выражений языка. Вслед за категорией функтора пишутся категории его аргументов. Затем проводится последовательное «сокращение» справа налево. Выражение является синтаксически связным, если в результате сокращения остаётся одна дробь вида α/β1 … βk, где k> 0. Такое сокращение означает, что выражение до конца членится по схеме: функтор и его аргументы.
(5 + 2) ⊃ 7. s/ss n/ nn nn n — указанное сокращение не проходит, выражение не является синтаксически связанным, оно нарушает условие категориальной корректности.
Если в качестве исходной семантической категории принимать только категорию сингулярных термов (имён) n, выражения категорий s/s, s/ss выступают как синкатегорематические термины, то есть необозначающие выражения (номиналистический подход к истолкованию логических связок). Фактически такой подход имеет место, например, у Г. Фреге в его трактовке логических связок (см. Логические связки), а также в «Логико-философском трактате» Л. Витгенштейна.
Интересный вопрос составляет приписывание семантических категорий интенсиональным операторам и предикатам типа «необходимо, чтобы…», «полагает, что…» и тому подобным. Именно такого рода операторы и предикаты определяют интенсиональные контексты. Но каковы их семантические категории, как их устанавливать? При интерпретации этих предикатов и операторов мы не только обращаемся к положениям дел в данном мире, но в рассмотрение вводятся классы возможных миров, «сопряжённых» с данным миром, и задаются функции и отношения на такого рода объектах. Семантический анализ интенсиональных предикатов и операторов предполагает введение такого рода абстрактных сущностей. И это определяет особый тип связи данных предикатов и операторов с их аргументами и тем самым их семантической категории.
По существу, построение системы семантических категорий — философский, теоретико-познавательный вопрос. Принятие той или иной системы семантических категорий коррелятивно принятию определённых теоретико-познавательных допущений, определённой «сетки» логического анализа. Иначе говоря, вопрос состоит в том, о сущностях какого типа может идти речь в данном языке, какого рода абстракции и идеализации принимаются. Именно система семантических категорий определяет то, что называют «миром языка», его онтологией.
На основе теории семантических категорий возможно уточнение понятия логической формы, для выявления которой необходимо указание семантических категорий логических констант и дескриптивных терминов рассматриваемых выражений. Иерархия семантических категорий, положенная в основу формализованного языка, обуславливает способ анализа логической структуры выражений этого языка и тем самым допустимые способы рассуждения. Так, язык стандартной логики (систем фреге-расселовского типа) и язык системы онтологии Лесневского отличаются, прежде всего, тем, что в их основе лежат разные системы семантических категорий. В качестве основных категорий в языках фреге-расселовского типа выступают собственные имена (имена предметов индивидной области) и высказывания. Общие имена, типа «металл», «человек», «электропроводное вещество» и так далее, относятся не к категории имён, а к категории sin, то есть рассматриваются как одноместные предикаты. В силлогистике и онтологии Лесневского общие имена выступают в качестве основной, исходной категории.
Построение теории семантических категорий становится основой для разработки определённой типологии самих языков. Языки, во-первых, могут различаться исходными категориями и способами конструирования производных. Далее, они могут отличаться тем, как соотносятся синтаксические и семантические категории. Наконец, языки могут различаться по числу и порядку (уровню в иерархии) семантических категорий (классификация Тарского).
Принятие (или непринятие) основного принципа теории семантических категорий связано с разграничением стабильных и контекстно зависимых значений. Указанный принцип приемлем для формализованных языков, поскольку семантические правила интерпретации жёстко приписывают заданным в синтаксисе категориям знаков определённые значения. Принятие основного принципа применительно к естественным языкам, по крайней мере, сомнительно. Для естественных языков роль основного принципа — это вопрос контекстуальной зависимости значений выражений языка. Можно исследовать «стабильные» значения. Это план «референциального», репрезентативного аспекта языка. Иное дело — функционирование языка как системы, и роль правил употребления выражений в этой системе. В языке приходится различать два плана значений: значения, связанные с референциальным аспектом языка, и контекстно зависимые значения. Теория семантических категорий позволяет разграничивать эти два аспекта значения. На её основе устанавливаются категории стабильных значений выражений естественных языков. Типология значений выражений в естественных языках сохраняется. Более того, те методы логико-семантического анализа, которые разработаны для искусственных языков, позволяют более точно репрезентировать структуру выражений, позволяют выявлять и характеризовать семантические типы выражений естественного языка (например, выделять предметные функторы n/n: «вес тела», «король Франции», «скорость света»; предикаторы — sin, s/nn; «бел», «старше», «король», «отец»). Но с логической точки зрения, выражение «мать» в контекстах «Анна — мать Петра» и «Анна — мать» (аналогично, и выражение «король» в контекстах «Людовик XIV — король» и «король Франции») принадлежит к разным семантическим категориям (бинарный и унарный предикаты, соответственно; предметный функтор и одноместный предикат — во втором примере). Если принимается основной принцип теории семантических категорий, то слово «мать» (аналогично, «король») в этих двух контекстах принадлежит к двум разным семантическим категориям, имеет разные типы значения и как бы представляет, с логической точки зрения, два различных по типу выражения. Если же не принимается основной принцип, тогда одно и то же выражение (слово) в разных контекстах может принадлежать к различным семантическим категориям, а это означает семантическую неоднозначность выражения.
Иерархия семантических категорий не зависит от основного принципа теории семантических категорий. Отнесение же выражений естественных языков к определённым семантическим категориям зависит от контекста и, соответственно, от принятия или непринятия основного принципа.