Смотреть больше слов в «Философской Энциклопедии»
форма логики предикатов (См. Логика предикатов), отражающая взгляд Интуиционизма на характер логических законов, считающихся, с его точки зрени... смотреть
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая... смотреть
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — первоначально появилась как логика интуиционистской математики, но затем область ее применения чрезвычайно расширилас... смотреть
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма. Выдвиг... смотреть
- совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. л. понимается интуиционистское ... смотреть
одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма. Выдвигая на первый план математи... смотреть
форма логики предикатов (или логики высказываний), включающая лишь такие логические законы, к-рые приемлемы с т. зр. концепции интуиционизма. Системы И. л., построенные голл. учёным А. Гейтингом (1930) и ранее (исходя не из интуиционистских предпосылок) сов. математиком В. И. Гливенко (1928), отличаются от соответств. систем классич. логики гл. обр. отсутствием исключённого третьего принципа. См. также Конструктивное направление.... смотреть
ИНТУИЦИОНИСТСКАЯ ЛОГИКА, логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
ИНТУИЦИОНИСТСКАЯ логика - логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
ИНТУИЦИОНИСТСКАЯ ЛОГИКА , логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
ИНТУИЦИОНИСТСКАЯ ЛОГИКА, логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
інтуїціоні́стська ло́гіка
інтуіцыйная логіка