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