Можно, например, учить теории вероятностей и статистике. В них много прикладных, ярких задач. Заодно можно будет побороться с разными суевериями и астрологиями. А формальная логика - вещь сильно на любителя. Все, что она может - окончательно отбить желание рассуждать и учиться.
Что интересно, у меня впечатления противоположные. Логика мне всегда нравилась, начиная с тех пор, когда я учился программировать, и в какой-то из книжек был параграф про логические утверждения и их упрощения, потом читал популярные книжки про теорию множеств, теорему Геделя и вычислимость, потом "Основания геометрии". А статистика мне показалась каким-то странным набором вещей, и с тех пор я ее так и не знаю.