ИНТУИЦИОНИСТСКАЯ ЛОГИКА
форма логики предикатов, отражающая взгляд интуиционизма
на
характер логич. законов, считающихся, с его точки зрения, допустимыми в
применении к доказательствам суждений из тех частей дедуктивных наук (особенно
математики), к-рые существенно связаны с понятием математической
бесконечности.
В соответствии
с концепцией интуиционизма, в И. л.нет исключённого третьего принципа
и
закона снятия двойного отрицания. В качестве И. л. обычно рассматривается
формальная логич. система, построенная нидерландским математиком А. Гейтингом
в 1930 (охватывает логику предикатов; ещё ранее - на основании соображений,
отличных от интуиционистских, - систему И. л. в применении к логике высказываний,
составляющей часть логики предикатов, построил сов. учёный В. И. Гливенко).
Интуиционистская логика Гейтинга отличается тем, что выразимые в ней содержательные
рассуждения являются приемлемыми с точки зрения интуиционизма нидерландского
математика Л. Э. Я. Брауэра.
С развитием
конструктивных направлений в математике и логике И. л. нашла в них применение
и поэтому стала часто называться конструктивной логикой (хотя в И. л. и
нет нек-рых принципов, признаваемых многими представителями этих направлений,
напр, принципа конструктивного подбора, выдвинутого конструктивным направлением,
возглавляемым
советским математиком А. А. Марковым ).
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я