I'm hardly an expert on Logical Positivism (LP), but I think I see the connection you are making between their emphasis on pure mathematical Logic in the search for true knowledge. You could say that Shannon's distillation of communication down to True (1) or False (0) statements owes some debt to Logical Positivism. Hence, computer programming is about as close to Pure Logic as humans have come. I don't know if their digital logic led directly to digital computers, but the historical turn toward Yes or No purity in logic probably should include their contribution to clarity in language.I think there's some credit due to logical positivists with the advent of computer science and formal systems like programming languages. — Shawn
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.