It has recently been claimed that certain aspects of mental processing cannot be simulated by computers, even in principle. The argument is examined and a lacuna is identified. ∗This work was supported by the Director, Office of Energy Research, Office of High Energy and Nuclear Physics, Division of High Energy Physics of the U.S. Department of Energy under Contract DE-AC03-76SF00098.

Mental health courts are the most recent development in therapeutic courts [1]. While mental health courts vary in their characteristics, they rest on the assumption that creating access to treatment for defendants is an important strategy in reducing recidivism. Mental health courts differ from traditional criminal courts in a number of important ways. The most significant is that the judge an...

approach, is incorporated in a number of texts as the systematic formal search for a counterexample as a system of formal rules. As we would all expect, the difficulty of the search increases when disjunctions of possible models are involved, and as I and most logicians would expect, the difficulty also increases when existential quantifiers are present. These particular sets of rules were chos...