John Symons

This brief text assists students in understanding Dennett's philosophy and thinking so they can more fully engage in useful, intelligent class dialogue and improve their understanding of course content. Part of the Wadsworth Notes Series, (which will eventually consist of approximately 100 titles, each focusing on a single "thinker" from ancient times to the present), ON DENNETT is written by a philosopher deeply versed in the philosophy of this key thinker. Like other books in the series, this concise book offers sufficient insight into the thinking of a notable philosopher, better enabling students to engage in reading and to discuss the material in class and on paper.

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].