There are absolutely people working on this concept. In fact, the two day long "Neuro-Symbolic AI Summer School 2023"[1] just concluded earlier this week. It was two days of hearing about cutting edge research at the intersection of "neural" approaches (taking a big-tent view where that included most probabilistic approaches) and "symbolic" (eg, "logic based") approaches. And while this approach might not be
the contemporary mainstream approach, there were some heavy hitters presenting, including the likes of Leslie Valiant and Yoshua Bengio.
[1]: https://neurosymbolic.github.io/nsss2023/