- семантическая формализация
- выражается в широком исользовании в тексте различных сокращений.
Толковый переводоведческий словарь. - 3-е издание, переработанное. — М.: Флинта: Наука. Л.Л. Нелюбин. 2003.
семантическая формализация
Смотреть что такое "семантическая формализация" в других словарях:
семантическая формализация текста — выражается в широком использовании в тексте всех способов аббревиации … Толковый переводоведческий словарь
ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… … Современный философский словарь
ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… … Современный философский словарь
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Смысловая структура, или смысл, текста — – многоуровневая иерархическая организация содержательной стороны текста (представленная в его поверхностной структуре посредством взаимосвязи текстовых единиц, типовых текстовых структур, архитектоники, композиции и др.), компонентами которой… … Стилистический энциклопедический словарь русского языка
Кураев, Вячеслав Иванович — (р. 15.02.1939) спец. по проблемам теории познания, логики и методол. науки; канд. филос. наук, доц. Род. в Саратове. Окончил филос. ф т МГУ (1963). Работал мл. н. с. ИФ АН СССР (до 1967), ред. консультантом ж. "ВФ" (до 1973), ред.… … Большая биографическая энциклопедия
Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… … Большая советская энциклопедия
Непротиворечивость — совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие либо два предложения А и ¬ А, каждое из которых… … Большая советская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
