Связанные понятия
Предика́т (лат. praedicatum «сказанное») в логике и лингвистике — сказуемое суждения, то, что высказывается (утверждается или отрицается) о субъекте. Предикат находится с субъектом в предикативном отношении и показывает наличие (отсутствие) у предмета некоторого признака.
Сигнифика́т (от лат. significātum — значимое) — понятийное содержание имени или знака.
Конгруэ́нтность — в языкознании: морфологическая зависимость анафорического местоимения от его антецедента (именной группы), имеющая место при отсутствии синтаксической зависимости. Так, в русском языке род и число личного местоимения третьего лица совпадают с родом и числом его антецедента: Маша сказала, что она здорова.
Десигнат (от лат. designatum) — означаемое, значение слова. Иногда противопоставляется денотату как предметной области и определяется как «субъективный образ» или «концепт» денотата. Предполагается, что ряд понятий могут иметь десигнат, но не иметь денотата. Например, круглый квадрат. Важнейшее понятие семиотики Чарльза Морриса.
Денота́т (от лат. denotatum — обозначенное) — обозначаемый предмет. Термин может употребляться в различных значениях, рассмотренных ниже.
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Семантическая роль имени при предикате — в языкознании: часть семантики предиката, отражающая общие свойства аргумента предиката — участника называемой предикатом ситуации. Описание в терминах семантических ролей отражает сходства моделей управления различных предикатных слов.
Когере́нтность (от лат. cohaerens — «находящийся в связи») — в лингвистике целостность текста, заключающаяся в логико-семантической, грамматической и стилистической соотнесённости и взаимозависимости составляющих его элементов (слов, предложений и т. д.); одна из определяющих характеристик текста/дискурса и одно из необходимых условий текстуальности. Одно из основных понятий теории лингвистики текста. В российской лингвистике, помимо термина «когерентность», используются также термины «целостность...
Интенсиона́л (от лат. intentio — интенсивность, напряжение, усилие) — термин семантики, обозначающий содержание понятия, то есть совокупность мыслимых признаков обозначаемого понятием предмета или явления. Например, в интенсионал понятия «Сократ» входят все свойства, которыми обладает Сократ: человек, мужчина, грек, философ и т.д. Интенсионал противопоставляется экстенсионалу, то есть множеству объектов, способных именоваться данной языковой единицей.
Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Абстрактный семантический граф — это более высокий уровень абстракции, чем абстрактное синтаксическое дерево (АСД), которое используется для описания синтаксической структуры выражения или программы.
Абстра́кция (лат. abstractio — отвлечение) — теоретическое обобщение как результат абстрагирования.
Порожда́ющая сема́нтика , генерати́вная семантика — одно из направлений в теории трансформационных порождающих грамматик, ставившее целью построить модель языка по схеме «от значения к тексту» и «от текста к значению». Представляла собой частный метод грамматического описания.
Коге́зия (лат. cohaesus — «связанный», «сцеплённый») — в лингвистике грамматическая и лексическая связность текста или предложения, которая соединяет их в единое целое и придает им смысл; одна из определяющих характеристик текста/дискурса и одно из необходимых условий текстуальности. Одно из основных понятий теории лингвистики текста. В современной лингвистике текста принимают во внимание текстообразующие потенции когезии в области формирования не только структурной, но и смысловой (содержательной...
Компоне́нтный ана́лиз — в языкознании: метод исследования плана содержания значимых единиц языка, целью которого является разложение значения на минимальные семантические составляющие. Основан на гипотезе о том, что значение всякой языковой единицы состоит из семантических компонентов (сем) и словарный состав языка может быть описан с помощью ограниченного (сравнительно небольшого) числа семантических признаков.
Гипосхемати́ческие языки ́ — апостериорные международные искусственные языки схематического типа, не допускающие (в отличие от эсперанто, идо) использования априорных морфем, но обладающие собственными (автономными) правилами словообразования, в результате чего образуются априорные дериваты: идиом-неутраль — redaktator ‘редактор’, infektasion ‘инфекция’, Slovianski-P — morni ‘морской’. Могут рассматриваться как переходные к натуралистическому типу.
Инкорпорация (позднелат. incorporatio — включение в свой состав, от лат. in — в и corpus — тело, единое целое) — объединение в одно морфологическое целое двух и более семантем, представляющих собой подвижные компоненты с обособленными лексическими значениями; количество и порядок этих компонентов каждый раз обусловлены содержанием высказывания, а отношения между ними соответствуют отношениям синтаксическим.
Ме́тод синтакси́ческих шабло́нов — техника автоматического преобразования формализованных структур знаний, хранимых в базе данных, в тексты естественного языка, основана на концепции падежной грамматики Чарльза Филлмора.
Экстенсиона́л (от лат. extentio — протяжение, пространство, распространение) — термин семантики, обозначающий объём понятия, то есть множество объектов, способных именоваться данной языковой единицей (категорией). Например, в экстенсионал (категория) понятия «человек» входят все объекты, обладающие свойством «быть человеком» (Сократ — это человек, философ — это человек, мыслящее существо — это человек и т.п.).
Универса́лия в лингвистике — одно из важнейших понятий типологии, свойство, присущее всем или подавляющему большинству естественных языков. Разработка теории универсалий часто связывается с именем Джозефа Гринберга, хотя сходные идеи выдвигались в языкознании задолго до него.
Означа́емое (обознача́емое) — содержательная сторона языкового знака, сочетающаяся в нём с означающим (иначе называемым выражением). Термин используется при подходе к знаку со стороны значения.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.
Рефере́нт (от лат. referens — относящий, сопоставляющий) — объект внеязыковой действительности, подразумеваемый автором конкретного речевого отрезка; предмет референции. Референт некоторого речевого отрезка может принадлежать не только реальному миру, но и воображаемому, например, быть персонажем художественного произведения.
Предика́т (лат. praedicatum «заявленное, упомянутое, сказанное») — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение.
Модус — часть высказывания, отличная от пропозиции (диктума). В каждом предложении есть два типа номинативных значений: пропозиция и модус. В пропозиции выражается суждение («положение дел» в мире), а в модусе — отношение говорящего к данному суждению. Ср., например, 'Я знаю, что он прав', 'Я считаю, что он прав', 'Мне кажется, что он прав'. В первом случае истинность пропозиции не ставится под сомнение (модус знания); во втором случае истинность пропозиции выводится логическим путём (модус мнения...
Семе́ма , или семанте́ма (от греч. σημαίνω — «обозначаю»; термин образован по аналогии с терминами фонема, морфема), — единица плана содержания языка, соотносимая с морфемой (минимальной единицей плана выражения) как совокупность компонентов её содержания (сем). Тем самым семема является минимальной единицей системы содержания, соотносимой с элементом системы выражения (семе это свойство не присуще).
Модальность (от ср.лат. modalis — модальный, лат. modus — мера, способ) — семантическая категория, выражающая отношение говорящего к содержанию его высказывания, целевую установку речи, отношение содержания высказывания к действительности. Модальность является языковой универсалией, принадлежит к числу основных категорий естественного языка.
Семанти́ческий ана́лиз — этап в последовательности действий алгоритма автоматического понимания текстов, заключающийся в выделении семантических отношений, формировании семантического представления текстов. Один из возможных вариантов представления семантического представления — структура, состоящая из «текстовых фактов». Семантический анализ в рамках одного предложения называется локальным семантическим анализом.
Вариа́нтность (лат. varians, род. variantis — «изменяющийся») — в языкознании: фундаментальное свойство способа существования и функционирования единиц языка и языковой системы в целом. Характеризуется с помощью понятий варианта, инварианта, варьирования.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется...
Парцелляция — конструкция экспрессивного синтаксиса, представляющая собой намеренное расчленение связного текста на несколько пунктуационно и интонационно самостоятельных отрезков (в терминологии швейцарского лингвиста Шарля Балли — дислокация), например: «Джинсы, твидовый пиджак и хорошая рубашка. Очень хорошая. Моя любимая! Белая. Обычная белая рубашка. Но любимая. Я надел её… и отправился встречать Макса» (Евгений Гришковец).
Модальность (лат. modus — способ, вид) — способ, вид бытия или события; категории модальности: возможность, действительность, необходимость; модальный — обусловленный обстоятельствами; модальный анализ — исследование модальности; используется в логике, психологии, лингвистике, программировании, музыке и др.
Семантическое свойство слова - любая отличительная характеристика значения слова, которая служит для различения его значения от значений других слов; например, "вдова" отличается от "вдовца" семантическим свойством принадлежности к женскому полу; термин «иррациональный» отличается от термина «нерациональный» семантическим свойством принадлежности к бессознательному.
Пресуппози́ция (от лат. prae — впереди, перед и suppositio — подкладывание, заклад) (также презу́мпция) в лингвистической семантике — необходимый семантический компонент, обеспечивающий наличие смысла в утверждении.
Пропози́ция (лат. propositio — основное положение, предпосылка, предмет, тема) — семантический инвариант, общий для модальной и коммуникативной парадигмы предложения и иных языковых конструкций, производных от предложения.
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Апостерио́рный язы́к (от лат. a posteriori — из последующего) — искусственный язык, элементы которого заимствованы из существующих языков, в противоположность априорному языку.
Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают...
Описательные ло́гики или дескрипцио́нные ло́гики(сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что...
Подробнее: Дескрипционная логика
Сочета́емость — свойство языковых единиц сочетаться в речи при образовании единиц более высокого уровня, отражающее синтагматические отношения между ними. Сочетаемость является одним из фундаментальных свойств единиц языка.
Се́ма — дифференциальный семантический признак, компонент значения, который выявляется при сопоставлении значений разных слов. Является нечленимой составной частью лексического значения (семемы).
Акта́нт (фр. actant — «действующий») в лингвистике — активный, значимый участник ситуации, речевая конструкция, заполняющая семантическую или синтаксическую валентность предиката. Актант, как правило, обязательно сопровождает предикат; его опущение возможно только в ограниченных случаях и подчиняется специальным правилам. Противопоставлен сирконстанту как необязательному участнику ситуации. Термин введён в обиход французским лингвистом Л. Теньером в 1930—50-х гг. для уточнения традиционных понятий...
Грамме́ма (англ. grammeme) — грамматическое значение, понимаемое как один из элементов грамматической категории; различные граммемы одной категории исключают друг друга и не могут быть выражены вместе. Так, в русском языке единственное и множественное число — граммемы категории числа; обязательно должно быть выражено то или другое значение, но не одновременно оба. Также граммемой может называться грамматический показатель — план выражения грамматического значения (в этом же значении употребляется...
Априо́рный язы́к (от лат. a priori «из предшествующего») — искусственный язык, элементы которого не заимствованы из существующих языков, а созданы произвольно либо на основе какой-либо логической (философской) концепции. Этим он отличается от апостериорных языков.
Синтакси́ческая омоними́я — это возможность построить несколько синтаксических структур на основе одной и той же последовательности языковых знаков. Выделяются следующие типы синтаксической омонимии: неоднозначность установления синтаксических связей (стрелочная омонимия), омонимия субъектной и объектной связей (разметочная омонимия) и омонимия множества различных синтаксических групп (конституентная омонимия).
Конкретное — философский термин, обозначающий содержательное богатство понятия, отделяющее или делающее объект изучения уникальным на фоне остальных. Понятие конкретно, если оно содержит большое количество признаков. Конкретными, в частности, являются частное и единичное понятие (последнее предполагает пространственно-временно́е положение). Конкретный объект — единичный объект с ясно определёнными признаками.
Конструкт (англ. Fiction) — метапсихологический термин, используемый в психоанализе и обозначающий рассмотрение ряда понятий данной дисциплины так, как если бы они являлись описывающими психические явления в виде явлений другого вида. Пример конструкта в ортодоксальной теории — психический аппарат, понимаемый в качестве состоящего из трех инстанций: Оно, Я и Сверх-Я.