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

форма логики предикатов, отражающая взгляд интуиционизма на характер логич. законов, считающихся с его т. зр. допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), к-рые существенно связаны с понятием математической бесконечности. В соответствии с концепцией интуиционизма, в И. л. нет принципа исключенного третьего и закона снятия двойного отрицания. В качестве И. л. обычно рассматривается формальная логич. система, построенная А. Гейтингом в 1930 (охватывает логику предикатов; еще ранее – на основании соображений, отличных от интуиционистских, – систему И. л. в применении к логике высказываний, составляющей часть логики предикатов, построил сов. ученый Гливенко). И. л. Гейтинга отличается тем, что выразимые в ней содержательные рассуждения являются приемлемыми с т. зр. основателя интуиционизма голл. математика Л. Э. Я. Брауэра. Иногда в качестве И. л. рассматривается др. логич. система минимальное исчисление Иогансона. И. л. как логич. система объективно не связана с субъективистской филос. интерпретацией математики и логики, проводимой ведущими представителями интуиционизма (Брауэр). Это нашло свое выражение в том, что с развитием конструктивных направлений в математике и логике И. л. нашла в них применение и поэтому стала часто называться конструктивной логикой (хотя в И. л. и нет нек-рых принципов, признаваемых многими представителями этих направлений, напр. принципа конструктивного подбора, выдвинутого отечественным конструктивным направлением, возглавляемым А. А. Марковым). Лит. см. при статьях Логика высказываний, Предикатов исчисление.

Смотреть больше слов в «Философской Энциклопедии»

ИНТУИЦИЯ →← ИНТУИЦИОНИЗМ

Смотреть что такое ИНТУИЦИОНИСТСКАЯ ЛОГИКА в других словарях:

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

        форма логики предикатов (См. Логика предикатов), отражающая взгляд Интуиционизма на характер логических законов, считающихся, с его точки зрени... смотреть

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

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

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

        ИНТУИЦИОНИСТСКАЯ ЛОГИКА — первоначально появилась как логика интуиционистской математики, но затем область ее применения чрезвычайно расширилас... смотреть

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

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

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

- совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. л. понимается интуиционистское ... смотреть

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

одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма. Выдвигая на первый план математи... смотреть

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

форма логики предикатов (или логики высказываний), включающая лишь такие логические законы, к-рые приемлемы с т. зр. концепции интуиционизма. Системы И. л., построенные голл. учёным А. Гейтингом (1930) и ранее (исходя не из интуиционистских предпосылок) сов. математиком В. И. Гливенко (1928), отличаются от соответств. систем классич. логики гл. обр. отсутствием исключённого третьего принципа. См. также Конструктивное направление.... смотреть

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

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

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

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

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

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

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

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

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

інтуїціоні́стська ло́гіка

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

інтуіцыйная логіка

T: 335