Интуиционистская логика

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

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

(позднелат. Intuitio, от лат. Intueor — пристально смотрю) способность постижения истины путём прямого её усмотрения без обоснования с помощью доказательства. В истории философии понятие И. Включало разное содержание. И. Понималась как форма непосредственного интеллектуального знания или созерцания (интеллектуальная И.). Так, Платон утверждал, что созерцание идей (прообразов вещей чувственного мира) есть вид непосредственного знания, которое приходит как внезапное озарение, предполагающее длител..

(от лат. Intus — внутрь и susceptio — принятие на себя) разрастание оболочек клеток растений в результате внедрения новых молекул целлюлозы и протопектина в ранее образованную оболочку. Раньше И. Противопоставлялась аппозиции, т. Е. Росту оболочки за счёт наложения слоев изнутри (со стороны протоплазмы). В действительности при росте и утолщении оболочки клеток растений наблюдается и аппозиция, и И. ..

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

Логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.. ..

- совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. Л. Понимается интуиционистское исчисление предикатов, сформулированное А. Рейтингом (A. Heyting) в 1930. Это исчисление формулируется обычно в стандартном языке предикатов исчисления, содержит все схемы аксиом и правила вывода интуиционистского исчисления высказываний (но для языка исчисления предикатов) и, кроме того, следующие кванторные аксиомы и правила вывода. Аксиомы. ..

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

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

- одна из наиболее важных ветвей логики неклассической, имеющая своей философской пред­посылкой программу интуиционизма. Выдвигая на первый план ма­тематическую интуицию, интуиционисты не придавали большого значения систематизации логических правил. Только в 1930 г. Гол­ландский математик и логик А. Гейтинг — ученик создателя инту­иционизма Л. Брауэра - дал аксиоматическую формулировку И. Л., подчеркнув, что «интуиционизм развивается независимо от фор­мализации, которая может идти только по след..