- семантический формализм
- мат. semantic formalism
Большой англо-русский и русско-английский словарь. 2001.
семантический формализм
Смотреть что такое "семантический формализм" в других словарях:
Универсальная грамматика — Генеративная лингвистика … Википедия
Стереометрическая семантика — трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… … Проективный философский словарь
Теория «Смысл ⇔ Текст» — Теория «Смысл ⇔ Текст» теория языка, созданная И. А. Мельчуком и представляющая его как многоуровневую модель преобразований смысла в текст и обратно (модель «Смысл ⇔ Текст»); отличительной особенностью этой теории является также… … Википедия
Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… … Большая советская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
КВАНТОВАЯ ЛОГИКА — КВАНТОВАЯ ЛОГИКА раздел логики, изучающий применение логических методов в квантовой механике. Различают логику квантовой механики и квантовую (ортомодулярную) логику. Первая изучает рассуждения в квантовой механике, вторая представляет собой… … Философская энциклопедия
ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… … Современный философский словарь
КИБЕРНЕТИКА — (древнегреч. kybernetike (techne) ‘искусство управления’) отрасль знания, суть которого была сформулирована Винером как наука ‘о связи, управлении и контроле в машинах и живых организмах...’ в книге ‘Кибернетика, или Управление и связь в животном … История Философии: Энциклопедия
КРАСОТА — универсалия культуры субъект объектного ряда, фиксирующая содержание и семантико гештальтную основу сенсорно воспринимаемого совершенства. Понятие «К.» выступает одним из смысловых узлов классической философии, центрируя на себе как… … Новейший философский словарь
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
Семантическая паутина — Не следует путать с Семантическая сеть. Пожалуйста, актуализируйте данные В этой статье данные предоставлены преимущественно за 2005 2008 гг. Семантическая паутина (англ. … Википедия
