Математическая логика - своеобразная область науки, тесно связанная как с математической, так и с философией,- выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и других умных автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и других наук - вот сфера применений математической логики.
