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

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

ИНТУИТИВИЗМ - течение в философии, видящее в интуиции единственно достоверное средство познания. Противопоставление интуиции и интеллекта характерно для философии жизни - А. Бергсона и др., попытка соединить их - для Н. О. Лосского, С. Л. Франка, Е. Н. Трубецкого, французского неотомизма, отчасти - феноменологии.. ..

ИНТУИЦИОНИЗМ - направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага. Не признает т. Н. Абстракцию актуальной бесконечности, характерную для множеств теории.. ..

ИНТУИЦИЯ (ср.-век. Лат. Intuitio - от intueor - пристально смотрю), постижение истины путем непосредственного ее усмотрения без обоснования с помощью доказательства. Субъективная способность выходить за пределы опыта путем мысленного схватывания ("озарения") или обобщения в образной форме непознанных связей, закономерностей.. ..

ИНУЛИН - полисахарид, образованный остатками фруктозы. Запасной углевод многих растений, главным образом сложноцветных (георгины, цикория, артишока и др.). Используется как заменитель крахмала и сахара при сахарном диабете.. ..

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

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

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

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

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