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)

This paper is aimed at understanding one central aspect of Bolzano's views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue that, for Bolzano, a priori knowledge is knowledge by virtue of meaning and that Bolzano has substantial views about meaning and what it is to know the latter. In particular, Bolzano believes that meaning is determined by implicit definition, i.e. the fundamental propositions in a deductive system. I go (...) into some detail in presenting and discussing Bolzano's views on grounding, a priori knowledge and implicit definition. I explain why other aspects of Bolzano's theory and, in particular, his peculiar understanding of analyticity and the related notion of Ableitbarkeit might, as it has invariably in the past, mislead one to believe that Bolzano lacks a significant account oï a priori knowledge. Throughout the paper, I point out to the ways in which, in this respect, Bolzano's antagonistic relationship to Kant directly shaped his own views. (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)

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)