John Symons

Epistemic logic begins with the recognition that our everyday talk about knowing and believing has some systematic features that we can track and re‡ect upon. Epistemic logicians have studied and extended these glints of systematic structure in fascinating and important ways since the early 1960s. However, for one reason or another, mainstream epistemologists have shown little interest. It is striking to contrast the marginal role of epistemic logic in contemporary epistemology with the centrality of modal logic for metaphysicians. This article is intended to help in correcting this oversight by presenting some important developments in epistemic logic and suggesting ways to understand their applicability to traditional epistemological problems. Obviously, by itself, tweaking the formal apparatus of epistemic logic does not solve traditional epistemological problems. Epistemic logic can help us to navigate through problems in a systematic fashion by unpacking the logic of the problematic concepts, it can also lead us to recognize problems that we had not anticipated. This is basically analogous to the role that modal logic has played in contemporary metaphysics.

Rather than taking the ontological fundamentality of an ideal microphysics as a starting point, this article sketches an approach to the problem of levels that swaps assumptions about ontology for assumptions about inquiry. These assumptions can be implemented formally via computational modeling techniques that will be described below. It is argued that these models offer a way to save some of our prominent commonsense intuitions concerning levels. This strategy offers a way of exploring the individuation of higher level properties in a systematic and formally constrained manner. †To contact the author, please write to: Department of Philosophy, Worrell Hall 306, 500 University Avenue, University of Texas, El Paso, TX 79968; e‐mail: [email protected].

Giandomenico Sica’s volume is a collection of eleven papers on category theory by philosophers, mathematicians, and mathematical physicists. In addition to papers of direct interest to philosophers of mathematics, the volume contains some introductory expositions of category theory along with a valuable discussion of the relationship between category theory and physics by Bob Coecke. While there are several technically difficult papers, the volume as a whole is reasonably accessible to those with some familiarity with the basics of category theory. The importance of the volume lies in the possibility that it will encourage broader interest in category theory among philosophers.

Functionalism in the philosophy of mind rests on the claim that mental states are multiply realizable; mental states can be realized by or instantiated in a variety of distinct physical structures. To see them as multiply realizable we take mental states as causal roles rather than particular physical structures. As such, functionalism can be contrasted with metaphysical accounts which treat mental states as instances of a mental substance. Instead of puzzling over the relationship between mental and physical kinds, functionalists understand our talk of minds as a way of describing the functions of bodies. The attraction of a functionalist position is obvious. It seems to solve the traditional problem of mind-body dualism, while simultaneously reconciling the apparent irreducibility of psychological discourse with a broadly physicalistic or materialistic ontology.