Hans Halvorson (What to think about machines that think)

Hans Halvorson explores the notion of thinking in the context of computers and humans, emphasizing that thinking machines can process information but lack the capacity for metathought, the ability to think about their own thinking. Key points from his perspective include:

1. Defining Thinking: Halvorson suggests that by a reasonable definition of thinking, computers can be considered as thinking entities. However, this perspective raises questions about what sets humans apart.

2. Unique Features of Humans: He posits that what makes humans unique is their ability to engage in metathought, which involves thinking about thinking and being able to change their thought processes if necessary.

3. Discovery of Logic: Halvorson highlights the historical development of logic by philosophers like the Stoics and Aristotle, who sought to define the rules for thinking well. This awareness of thinking rules ultimately led to the creation of thinking machines, such as computers.

4. Metathought in Symbolic Logic: He explains metathought within the context of symbolic logic, where it involves reasoning “about the system” rather than just “within the system.” He also suggests that metathought includes the ability to evaluate and choose among different systems.

5. The Role of Free Will: Halvorson introduces the intriguing idea that for a machine to engage in metathought, it might need something akin to free will. He suggests that quantum computers could potentially have the capacity for metathought.

6. Unresolved Questions: He raises questions about the limitations of current machines in terms of evaluating and choosing among systems, speculating that this might require attributes like free will, emotions, or specific goals.

In summary, Hans Halvorson’s perspective highlights the unique capacity of humans for metathought, thinking about thinking and making choices about their thought processes, which he suggests may be a challenging aspect to replicate in machines.

"A gilded No is more satisfactory than a dry yes" - Gracian