Новости

Всемирный день логики был провозглашен ЮНЕСКО совместно с Международным советом по вопросам философии и гуманитарных наук (International Council for Philosophy and Human Sciences) в ноябре 2019 года. Главная его задача — привлечь внимание междисциплинарных научных сообществ и широкой общественности к интеллектуальной истории, концептуальному значению и практическому применению логики.

Всемирный день логики отмечают 14 января, потому что это годовщина смерти Курта Гёделя и день рождения Альфреда Тарского — выдающихся математиков и логиков, оказавших огромное влияние на развитие логики в ХХ веке. Наиболее известное достижение Гёделя — две теоремы о неполноте, доказанные им в 1930 году и опубликованные год спустя. А Тарский больше всего известен как основатель формальной теории истинности.