In this symposium contribution I critically review the first two chapters, on Frege, in Volume 1 of The Analytic Tradition in Philosophy by Scott Soames.

This paper advances the view that the history of philosophy is both a kind of history and a kind of philosophy. Through a discussion of some examples from epistemology, metaphysics, and the historiography of philosophy, it explores the benefit to philosophy of a deep and broad engagement with its history. It comes to the conclusion that doing history of philosophy is a way to think outside the box of the current philosophical orthodoxies. Somewhat paradoxically, far from imprisoning its students in (...) outdated and crystallized views, the history of philosophy trains the mind to think differently and alternatively about the fundamental problems of philosophy. It keeps us alert to the fact that latest is not always best, and that a genuinely new perspective often means embracing and developing an old insight. The upshot is that the study of the history of philosophy has an innovative and subversive potential, and that philosophy has a great deal to gain from a long, broad, and deep conversation with its history. (shrink)

hilosophy of history and history of philosophy of science make for an interesting case of “mutual containment”: the former is an object of inquiry for the latter, and the latter is subject to the demands of the former. This article discusses a seminal turn in past philosophy of history with an eye to the practice of historians of philosophy of science. The narrative turn by Danto and Mink represents both a liberation for historians and a new challenge to the objectivity (...) of their findings. I will claim that good sense can be made of “working historical veins of possibility” (contrary to how the phrase was originally intended) and that already Danto and Mink provided materials (although they did not quite advertise them as such) to assuage fears of a constructivist free-for-all. (shrink)

The article analyses recent English publications in Cartesian studies that deal with two problems: the problem of the intrinsic coherence of Descartes’s doctrine of the real distinction and interaction between mind and body and the problem of the consistency of this doctrine with the causal principle formulated in the Third Meditation. The principle at issue is alternatively interpreted by different Cartesian scholars either as the Hierarchy Principle, that the cause should be at least as perfect as its effects, or the (...) Containment Principle, that the cause should contain all there is in its effects. The author argues that Descartes’s claim that it is inconceivable how things of different natures can interact does not conflict with the acknowledgement of interaction between things of different natures in the case of soul and body. The case is made that Cartesian mind-body interaction can agree with both the Hierarchy Principle and the Containment Principle, because the Principle is about total and efficient cause, whereas in the interaction, mental and brain states are only partial causes. In particular, in the case of the causality in the brain-to-mind direction, the mind is conditioned by brain states to form the corresponding specific ideas on the basis of its innate general ideas of movements, forms, colours, etc. Eventually, for Descartes, the most natural way to deal with worries about the possibility of mind-brain interaction is to rely on God’s omnipotence, which certainly enables Him to arrange for such interaction. (shrink)

Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...) issues pertaining to formalization in general. We start by introducing Carnap’s conception of explication, arguing that there is a tension between his proposed criteria of fruitfulness and similarity; we also argue that his further desideratum of exactness is less crucial than might appear at first. We then bring in the general idea of formalisms as cognitive tools, mainly by discussing the reliability of so-called statistical prediction rules, i.e. simple algorithms used to make predictions across a range of areas. SPRs allow for a concrete instantiation of Carnap’s fruitfulness desideratum, which is arguably the most important desideratum for him. Finally, we elaborate on what we call the ‘paradox of adequate formalization’, which for the Carnapian corresponds to the tension between similarity and fruitfulness. We conclude by noting that formalization is an inherently paradoxical enterprise in general, but one worth engaging in given the ‘cognitive boost’ it affords as a tool for discovery. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

A distinction often drawn is one between conservative versus revisionary conceptions of philosophical analysis with respect to commonsensical beliefs and intuitions. This paper offers a comparative investigation of two revisionary methods: Carnapian explication and ameliorative analysis as developed by S. Haslanger. It is argued that they have a number of common features, and in particular that they share a crucial political dimension: they both have the potential to serve as instrument for social reform. Indeed, they may produce improved versions of (...) key concepts of everyday life, for example those pertaining to social categories such as gender and race, which in turn may lead to social change. The systematic comparison of these two frameworks offered here, where similarities as well as differences are discussed, is likely to provide useful guidance to practitioners of both approaches, as it will highlight important aspects of each of them that tend to remain implicit and under-theorized in existing applications of these methodologies to specific questions. (shrink)