David Kashtan

Gödel’s first incompleteness theorem is sometimes said to refute mechanism about the mind. §1 contains a discussion of mechanism. We look into its origins, motivations and commitments, both in general and with regard to the human mind, and ask about the place of modern computers and modern cognitive science within the general mechanistic paradigm. In §2 we give a sharp formulation of a mechanistic thesis about the mind in terms of the mathematical notion of computability. We present the argument from Gödel’s theorem against mechanism in terms of this formulation and raise two objections, one of which is known but is here given a more precise formulation, and the other is new and based on the discussion in §1.

Kaplan’s influential (1989) makes a connection between the mode of reference of indexical expressions and the impossibility of a certain sentential operators, which he calls monsters. The impossibility of monsters has recently come under attack from several quarters, both theoretical and empirical. In this paper I consider monsters from a different perspective. I motivate the prohibition on monsters independently of intensional notions altogether, and understand it not as an empirical hypothesis, but as an adequacy criterion on formal systems intended to capture the philosophical notion of direct reference. I show that Kaplan's formalism doesn't live up to this criterion, and sketch in preliminary fashion a formalism that does.

Kaplan’s influential (1989) makes a connection between the mode of reference of indexical expressions and the impossibility of a certain sentential operators, which he calls monsters. The impossibility of monsters has recently come under attack from several quarters, both theoretical and empirical. In this paper I consider monsters from a different perspective. I motivate the prohibition on monsters independently of intensional notions altogether, and understand it not as an empirical hypothesis, but as an adequacy criterion on formal systems intended to capture the philosophical notion of direct reference. I show that Kaplan's formalism doesn't live up to this criterion, and sketch in preliminary fashion a formalism that does.