Explores the ideas of Turing, Lucas, Scriven, Putnam, and Searle, and renders the Gödel-Church-Lucas argument in terms intelligible to beginning students.

Updated and expanded to take into account important arguments and developments in the ten years since its original publication, this provocative dialogue explores the ideas of Turing, Lucas, Scriven, Putnam, and Searle, and renders the complex Gödel-Church-Lucas argument in transparent terms. It includes a new argument, based loosely on Tarski's work on truth and the liar paradox, and a new section dealing with the problem of qualitative features of experience, such as color properties.