Online research in philosophy

Relevance theorists have argued that we must distinguish between words that encode concepts and those that encode procedures. The latter encode instructions that constrain the inferential phase of verbal communication. (This is explained in more detail below). This raises the question as to how we are to understand the notion of procedural encoding. I will argue that the notion of a procedural unit is something that has a place in an account of language use, and hence it belongs to a theory of pragmatic performance and not to a theory of semantic competence.

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and a prototype natural-language-understanding system is presented as an illustration.

In the following, I will mean by ‘verificationism’ the doctrine according to which understanding a sentence entails that one knows how to verify it, i.e. how to determine its truth value. It is not the only possible meaning of ‘verificationism’, nor perhaps the most common. However, it is with reference to this sense of ‘verificationism’ that I am going to ask the question whether the Tractatus is committed to verificationism.

The theme of these notes is the relation between verificationism and Quine's approach to philosophy of language. The main thesis is that a tenable theory of meaning along verificationist lines must distinguish between canonical and indirect verification and that this distinction is related to observable features of language use. It is argued that a theory of meaning along such lines is not vulnerable to Quine's arguments against verificationism, and suggested that, on the whole, a verificationism of this kind is compatible with Quine's basic approach to philosophy of language.