
Лингви́стика, языкозна́ние, языкове́дение — наука, изучающая язык. Это наука о естественном человеческом языке вообще и обо всех языках мира как его индивидуализированных представителях.
Значе́ние :
- объект, который обозначается, замещается, репрезентируется другим объектом — знаком;
- между двумя объектами, выступающими соответственно в роли знака (названия) и значения, в процессе семиозиса устанавливается отношение обозначения.
Семио́тика, или семиоло́гия — общая теория, исследующая свойства знаков и знаковых систем. Согласно Ю. М. Лотману, под семиотикой следует понимать науку о коммуникативных системах и знаках, используемых в процессе общения.

Си́нтаксис — раздел лингвистики, в котором изучаются номинативные и коммуникативные языковые единицы: предложение и словосочетание. Синтаксис в буквальном переводе означает не только составление, но и упорядочивание, координирование, соединение слов в связный текст. Этот раздел науки о языке изучает лексическое и грамматическое значение словосочетаний, а также виды синтаксической связи.

Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.

Сема́нтика — раздел лингвистики, изучающий смысловое значение единиц языка.
Филосо́фия языка́ — исследовательская область философии, выявляющая основополагающую роль языка и речи в познании и структурах сознания и знания.
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Вале́нтность в синтаксисе — способность слова образовывать синтаксические связи с другими элементами, например, валентности глагола дать определяют способность сочетаться с подлежащим, прямым дополнением, косвенным дополнением: Я даю ему книгу.

Чарлз Уи́льям Мо́ррис — американский философ, один из основателей семиотики. Ввёл термин «прагматика».
Высказывание — речевое произведение, созданное в ходе конкретного речевого акта. Рассматривается в контексте этого речевого акта как часть дискурса (текста).
Си́нтаксис в семиотике — совокупность отношений между знаками, а также раздел семиотики, изучающий эти отношения. Называется также термином «синтактика».
Синтаксис — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.
Ветвление в программировании — операция, применяющаяся в случаях, когда выполнение или невыполнение некоторого набора команд должно зависеть от выполнения или невыполнения некоторого условия. Ветвление — одна из трёх базовых конструкций структурного программирования.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Пропози́ция — смысл утвердительного предложения.
Пресуппози́ция в лингвистической семантике — необходимый семантический компонент, обеспечивающий наличие смысла в утверждении.
Выражение — многозначный термин.

Логическая семантика — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.