семантическая формализация это:

семантическая формализация
выражается в широком исользовании в тексте различных сокращений.

Толковый переводоведческий словарь. - 3-е издание, переработанное. — М.: Флинта: Наука. . 2003.

Смотреть что такое "семантическая формализация" в других словарях:

  • семантическая формализация текста — выражается в широком использовании в тексте всех способов аббревиации …   Толковый переводоведческий словарь

  • ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… …   Современный философский словарь

  • ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… …   Современный философский словарь

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

  • КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

  • Смысловая структура, или смысл, текста — – многоуровневая иерархическая организация содержательной стороны текста (представленная в его поверхностной структуре посредством взаимосвязи текстовых единиц, типовых текстовых структур, архитектоники, композиции и др.), компонентами которой… …   Стилистический энциклопедический словарь русского языка

  • Кураев, Вячеслав Иванович — (р. 15.02.1939) спец. по проблемам теории познания, логики и методол. науки; канд. филос. наук, доц. Род. в Саратове. Окончил филос. ф т МГУ (1963). Работал мл. н. с. ИФ АН СССР (до 1967), ред. консультантом ж. "ВФ" (до 1973), ред.… …   Большая биографическая энциклопедия

  • Метатеория — (от Мета...)         теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… …   Большая советская энциклопедия

  • Непротиворечивость —         совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие либо два предложения А и ¬ А, каждое из которых… …   Большая советская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»