Интуиционистская логика, форма логики предикатов, отражающая взгляд интуиционизма на характер логических законов, считающихся, с его точки зрения, допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), которые существенно связаны с понятием математической бесконечности.
В соответствии с концепцией интуиционизма, в И. л. нет исключенного третьего принципа и закона снятия двойного отрицания. В качестве И. л. обычно рассматривается формальная логическая система, построенная нидерландским математиком А. Гейтингом в 1930 (охватывает логику предикатов; ещё ранее — на основании соображений, отличных от интуиционистских, — систему И. л. в применении к логике высказываний, составляющей часть логики предикатов, построил советский учёный В. И. Гливенко). Интуиционистская логика Гейтинга отличается тем, что выразимые в ней содержательные рассуждения являются приемлемыми с точки зрения интуиционизма нидерландского математика Л. Э. Я. Брауэра.
С развитием конструктивных направлений в математике и логике И. л. нашла в них применение и поэтому стала часто называться конструктивной логикой (хотя в И. л. и нет некоторых принципов, признаваемых многими представителями этих направлений, например принципа конструктивного подбора, выдвинутого конструктивным направлением, возглавляемым советским математиком А. А. Марковым).
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
Интуиция Интуиция (позднелат. intuitio, от лат. intueor — пристально смотрю), способность постижения истины путём прямого её усмотрения без обоснования с помощью доказательства. В истории филос...
Инулин Инулин, (C6H10O5)n, органическое вещество из группы полисахаридов, полимер D-фруктозы. И. — белый порошок, легко растворимый в горячей воде и трудно в холодной. Молекулярная масса 5000—6...
Инфансоны Инфансоны (исп. infanzones, от лат. infans — юный), представители среднего и мелкого дворянства в Кастилии и Арагоне (10—15 вв.). И. как сословная группа возникли на раннем этапе Реконки...