Online research in philosophy

This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.

Syntactic semantics is a holistic, conceptual-role-semantic theory of how computers can think. But Fodor and Lepore have mounted a sustained attack on holistic semantic theories. However, their major problem with holism (that, if holism is true, then no two people can understand each other) can be fixed by means of negotiating meanings. Syntactic semantics and Fodor and Lepore’s objections to holism are outlined; the nature of communication, miscommunication, and negotiation is discussed; Bruner’s ideas about the negotiation of meaning are explored; and some observations on a problem for knowledge representation in AI raised by Winston are presented.

Fodor’s Informational Semantics states that the content of a representation depends on the counterfactual relation between the representation and the represented. However, his theory suffers from the psychological explanation problem and the indeterminacy problem raised by twin cases. In response to these problems, Fodor has introduced narrow content and a mixed theory of content that combines a historical account with the counterfactual account. In The Elm and the Expert, he drops both of them for the reason that twin cases are nomologically impossible. I argue that Fodor underestimates the persistence of the problems raised by twin cases. Consequently, I contend that Fodor has to keep both the narrow content and the historical account.