Інтуїционістськая логіка
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Інтуїционістськая логіка

Інтуїционістськая логіка, форма логіки предикатів, що відображає погляд інтуїционізма на характер логічних законів, що вважаються, із його точки зору, допустимими в застосуванні до доказів думок з тих частин дедуктивних наук (особливо математики), які істотно пов'язані з поняттям математичної нескінченність .

  Відповідно до концепції інтуїционізма, в І. л. немає виключеного третього принципу і закону зняття подвійного заперечення. У якості І. л. зазвичай розглядається формальна логічна система, побудована нідерландським математиком А. Гейтінгом в 1930 (охоплює логіку предикатів; ще раніше — на підставі міркувань, відмінних від інтуїционістських, — систему І. л. у застосуванні до логіки висловів, складовій частина логіки предикатів, побудував радянське вчене Ст І. Глівенко). Інтуїционістськая логіка Гейтинга відрізняється тим, що виразимі в ній змістовні міркування є прийнятними з точки зору інтуїционізма нідерландського математика Л. Е. Я. Брауера.

  З розвитком конструктивних напрямів в математиці і логіці І. л. знайшла в них вживання і тому стала часто називатися конструктивною логікою (хоча в І. л. і немає деяких принципів, що визнаються багатьма представниками цих напрямів, наприклад принципу конструктивного підбору, висунутого конструктивним напрямом, очолюваним радянським математиком А. А. Марковом).