This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

Let psychologism be the doctrine that whether behavior is intelligent behavior depends on the character of the internal information processing that produces it. More specifically, I mean psychologism to involve the doctrine that two systems could have actual and potential behavior _typical_ of familiar intelligent beings, that the two systems could be exactly alike in their actual and potential behavior, and in their behavioral dispositions and capacities and counterfactual behavioral properties (i.e., what behaviors, behavioral dispositions, and behavioral capacities they would (...) have exhibited had their stimuli differed)--the two systems could be alike in all these ways, yet there could be a difference in the information processing that mediates their stimuli and responses that determines that one is not at all intelligent while the other is fully intelligent. (shrink)

In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

Discussion of Wittgenstein's philosophy has suffered from a scarcity of commentators who understand his work well enough to explain it in their own words. Apart from certain notable exceptions, all too many advocates and critics alike have tended merely to repeat slogans, with approval or ridicule as the case may be. The result has been an unusual degree of polarization and acrimony—some philosophers abandoning normal critical standards, falling under the spell and becoming fanatical supporters; and others taking an equally extreme (...) opposite view, deriding the absence of analytic technique, and refusing to see anything of value in Wittgenstein's work. (shrink)

Dummett's case against platonism rests on arguments concerning the acquisition and manifestation of knowledge of meaning. Dummett's arguments are here criticized from a viewpoint less Davidsonian than Chomskian. Dummett's case against formalism is obscure because in its prescriptive considerations are not clearly separated from descriptive. Dummett's implicit value judgments are here made explicit and questioned. ?Combat Revisionism!? Chairman Mao.

There is an argument which seems to show that if all truths are knowable then all truths are known. It may be viewed as a "reductio ad absurdum" of certain forms of antirealism. However, The claim has been made elsewhere that the argument fails against antirealists who employ constructivist rather than classical logic. The paper defends and amplifies this claim against criticisms by crispin wright and others. Relations between knowability and time are discussed. Suggestions are also made about the proper (...) form of the constructivist semantics for the conditional, Involving a non-Platonistic version of the distinction between types and tokens of proofs. (shrink)