- топологическая логика
- мат. topological logic
Большой англо-русский и русско-английский словарь. 2001.
топологическая логика
Смотреть что такое "топологическая логика" в других словарях:
Топологическая семантика — является естественной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Исторически топологическая семантика появилась раньше более распространенной на данной момент семантики Крипке. Основы топологической … Википедия
Модальная логика — Модальная (от лат. – способ, мера) логика логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в… … Википедия
Модальность (логика) — Модальная логика логика в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в будущем», «всегда в прошлом»,… … Википедия
Интуиционистская логика — Интуиционизм система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического… … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Интуиционизм — Интуиционизм система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности… … Википедия
Мальцев, Анатолий Иванович — [р. 14 (27) ноября 1909] сов. математик, акад. (с 1958, чл. корр. с 1953). Засл. деят. науки РСФСР (1956). Деп. Верх. Совета СССР 4 5 го созывов. В 1931 окончил Моск. ун т. С 1932 работает в Иванов. педагогич. ин те (с 1943 проф.). Одновременно… … Большая биографическая энциклопедия
ЛАКАН — (Lacan) Жак (1901 1981) французский психоаналитик и философ. Как автор концепции ‘структурного психоанализа’ Л. исходит из решительного разрыва с классической философией самосознания и классическим психоанализом в части его индивидуально… … История Философии: Энциклопедия
ЛАЗАРСФЕЛЬД (LAZARSFELD) Пол Феликс — (1901 1976) американский социолог. Разрабатывал проблематику методологии социальных наук, а также применения математических методов в социальном познании. С точки зрения Л., методология есть прежде всего деятельность, связанная с критическим… … Социология: Энциклопедия
ЛАКАН Жак (1901-1981) — французский психоаналитик и философ. Как автор концепции структурного психоанализа Л. исходит из решительного разрыва с классической философией самосознания и классическим психоанализом в части его индивидуально биологизированного понимания… … История Философии: Энциклопедия
СССР. Естественные науки — Математика Научные исследования в области математики начали проводиться в России с 18 в., когда членами Петербургской АН стали Л. Эйлер, Д. Бернулли и другие западноевропейские учёные. По замыслу Петра I академики иностранцы… … Большая советская энциклопедия
