Discussion about this post

User's avatar
Herbert Roitblat's avatar

Wo ho! Thanks for the great essay. It's actually even more complicated than you say.

Popper's thinking was a giant leap forward, but even Popper was wrong. Science can neither prove or disprove (falsify) a hypothesis. There is no proof in science. Take your black swan example. You search everywhere and you find a bird that looks like a black swan. Does that disprove the hypothesis that there are no black swans? No. Because in order to prove it, you have to prove that this bird that looks like a swan really is one. You're right back where you started trying to prove that there are no black swans, now you have to prove that there is no difference between this bird and white swans, except that it is black. In short, in order to disprove a scientific statement, you have to prove that its observations are correct. Popper was hoisted on his own petard.

These points about scientific certainty are not just angels dancing on a pin. They are at the core of science and, therefore, should be at the core of AI science. Thank you so much for bringing them up.

Here are some key points:

* Scientific proof is impossible, therefore, proof that a system has achieved artificial intelligence is impossible.

* The logic of scientific discovery is still critical to advancing science even if you cannot prove it to be correct. You do not have to be certain to get value.

* Intelligence is a scientific conjecture and needs to be treated as such.

* Consider alternative explanations. Intelligence is a cause, you cannot infer the cause from the effect. Other causes (stochastic parroting) may be responsible and it takes careful experimentation to tease them apart.

* Think critically.

* Don't put all of your eggs in the benchmark basket. You cannot prove that they are valid.

* Finally, the question of whether a machine is intelligent is a theoretical statement about the cause of an observation, it is not a definitional or engineering achievement.

Emma Stamm's avatar

Great piece. As regards AI, I think that the conceptual construct of "ecological validity" does more harm than good. It's not that AI's ecologies are perfectly deterministic, but that there's a big difference between the determinism of a digital ecology and an ecology that exceeds digital substrates. This difference is so significant that we might need a new conceptual construct for AI -- one that approximates what we mean by ecological validity but accounts for the fact that its “real world” is always a micro-world. Maybe it's just a language issue, but given the preponderance of slippery writing and research in this field, it deserves some attention.

Regarding your last point: I wonder if a lot of researchers would admit that what they call falsification is the same thing as fuzzy triangulation, but that the semantic distinction isn't really a big deal. I would argue that the difference matters when it comes to communicating these concepts to newcomers. In my experience, a lot of people instinctively withdraw from the study of scientific methodology because it confounds their intuitions and can seem contradictory ("the point of science is that certainty is provisional, but falsification tells us that we can certainly rule out the null.")

In fact, if I can indulge in some folk theorizing, I think that a key difference between science-y people and non-science-y people is that the former intuitively grasp that "precise" terminology is never really that precise -- they don't need words to closely align with meanings, so they're less likely to shut down in the face of ambiguities and "precise" conceptualizations that seem to require excessive qualification in order to make sense (like the norm of seeking to reject the null rather than confirm the alternative.)

Anyway, thanks for all the time that went into this. I wish I'd had it to share with students back when I was teaching courses on scientific thinking.

8 more comments...

No posts

Ready for more?