> this movement appears to be a kind of hyper-empiricism informed by cognitive psychology, AI research, and Bayesian statistics.
Opening intro from wiki for Logical Positivism asserts,
> Logical positivism and logical empiricism, which together formed neopositivism, was a movement in Western philosophy that embraced verificationism, an approach that sought to legitimize philosophical discourse on a basis shared with the best examples of empirical sciences.
Stephen Bond had a neat essay, perhaps a bit dubious on the AI/declarative side, about this exact topic. He writes a bit acerbically, but read at least past "For a long time I accepted this explanation at face value...".
> The reluctant scion of a domineering steel tycoon, one of the wealthiest men in Europe, Wittgenstein spent his childhood hob-nobbing with the highest of imperial Viennese high society — and society doesn't get much higher than that. Groomed from an early age to take over his father's industrial empire, Wittgenstein instead fucked off to England at the earliest opportunity, to devote his life to the study of the most uncommercial and practically useless subject he could find. Russell proved an ideal mentor, and Predicate Logic an ideal subject.
Logical positivism is a philosophical movement which maintains that statements are only meaningful if they can be formally derived or empirically verified.
In that respect, I think that logical positivism and the kind of empiricist approach identified by the OP have a significant amount in common. Similarly, I think the approaches share many of the same problems.
Isn't this name taken by a somewhat different philosophy?