1. Большой энциклопедический словарь

ИНТУИЦИОНИСТСКАЯ ЛОГИКА

ИНТУИЦИОНИСТСКАЯ ЛОГИКА — логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.

Источник: Большой энциклопедический словарь на Gufo.me

Значения в других словарях

  1. ИНТУИЦИОНИСТСКАЯ ЛОГИКА — ИНТУИЦИОНИСТСКАЯ ЛОГИКА – первоначально логика интуиционистской математики, получившая впоследствии более широкое применение. Неформально развивалась Л.Брауэром [БРАУЭР]с 1907 г., первую интерпретацию, независимую от интуиционистской идеологии, дал А.Н. Новая философская энциклопедия
  2. Интуиционистская Логика — Совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. л. понимается интуиционистское исчисление предикатов, сформулированное А. Рейтингом (A. Heyting) в 1930. Математическая энциклопедия
  3. Интуиционистская логика — Форма логики предикатов (См. Логика предикатов), отражающая взгляд Интуиционизма на характер логических законов, считающихся, с его точки зрения, допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики)... Большая советская энциклопедия
  4. интуиционистская логика — ИНТУИЦИОНИСТСКАЯ ЛОГИКА — первоначально появилась как логика интуиционистской математики, но затем область ее применения чрезвычайно расширилась. Неформально И.л. начал развивать... Энциклопедия эпистемологии и философии науки