The rise and fall of Logical Positivism in the early-to-mid 20th century is probably one of the best reality checks in the history of analytic philosophy. Driven by the Vienna Circle, the movement tried to purge philosophy of anything remotely metaphysical by drawing a hard line: a statement matters only if it’s either a logical tautology or empirically verifiable. But as we all know, the paradigm famously collapsed under its own weight. The irony was fatal—their own verification principle was neither logically self-evident nor empirically testable.

Yet, moving past strict positivism didn't leave us in a conceptual vacuum. Instead, it left behind two major problems that still drive modern debates.

First, there’s the post-positivist shift we get from Quine and Popper. We finally realized that formal systems and empirical data don't live in isolated silos. They exist within an interconnected "web of belief," where theories survive through vulnerability and falsifiability, not neat verification. Second, by trying to kill off metaphysics, positivism stumbled into an ontological void. It simply couldn't give a coherent account of abstract mathematical structures—leaving us completely unequipped to explain what Wigner called their "unreasonable effectiveness" in the physical world.

Looking back, maybe the positivists' real mistake wasn’t their obsession with logical rigor, but their habit of treating formal systems as rigid dogmas rather than exploratory tools.

If we pivot to an exploratory framework—say, looking at mathematical objects through something like Informational Idealism, where existence is just internal consistency and structural invariants—formalization takes on a different role. We push it to its absolute limits not to find ultimate truth, but to see exactly where it cracks. It turns out formal systems are just maps, not the actual territory.

This leaves modern analytic philosophy with a pretty fundamental question: did the death of Positivism show that formal systems are inherently incapable of capturing reality, or did it just prove that formalization is a dynamic heuristic, not a static criterion of truth? I'd love to hear how you think the ghost of the Vienna Circle still affects our take on mathematical realism today.