Volume 37, Issue 2-4

Millikan’s (1984. Language, Thought, and Other Biological Categories: New Foundations for Realism . MIT Press) selected effects theory of functions states that functions are effects for which the ancestors of a trait were selected for . As the function is an effect a thing’s ancestors produced, only things that are reproductions in some sense can have functions. Against this reproduction requirement, Garson (2019. What Biological Functions Are and Why They Matter . Cambridge University Press) argues that not only processes of differential reproduction but also processes of differential persistence can lead to new functions. Since such “persistence functions” have the same explanatory power as traditional selected effects functions, selected effects theorists should include them in their theory. In this paper, I will defend Millikan’s theory against this argument. I will show that the proponents of the generalized theory have yet to provide a working notion of populations that avoids a liberality problem. Further, I will argue that persistence functions are at best a marginal case of functions due to their restricted explanatory power.

One of the key questions in the contemporary analytic ontology concerns the relation between the Principle of Identity of Indiscernibles (PII) and the Bundle Theory (BT). The majority of authors believe that BT implies PII. Therefore, it is widely believed that the world violating PII presented by Max Black (1952. “The Identity of Indiscernibles.” Mind 61 (242): 153–64) is also devastating for BT. However, this has been questioned by Rodriguez-Pereyra (2004. “The Bundle Theory is Compatible with Distinct but Indiscernible Particulars.” Analysis 64 (1): 72–81), who formulated an interpretation of BT with instances . Recently Robert (2019. “Can the Realist Bundle Theory Account for the Numerical Difference between Qualitavely Non-discernible Concrete Particulars?” Theorema 38 (1): 25–39) argued that this version of BT is not a constituent ontology and, therefore, Rodriguez-Pereyra’s solution comes at a price of excluding bundle theory from the domain of constituent ontologies, and, in this sense, it fails. I question Robert’s point by claiming that his account of constituent ontologies is too demanding. In particular, I show that the instance version of BT is compatible with the constrains defining constituent ontologies in general, and therefore Rodriguez-Pereyra’s argument is correct.

In 1977, the first computer-assisted proof of a mathematical theorem was presented by K. Appel and W. Haken. The proof was met with a lot of criticism from both mathematicians and philosophers. In this paper, I present some examples of computer-assisted proofs, including Appel and Haken’s work. Then, I analyze the most famous arguments against the equal acceptance of computer-based and human-based proofs in mathematics and examine the philosophical assumptions behind the presented criticism. In the conclusion, I talk about whether the philosophical assumptions are justified as they are, or one needs to take a specific philosophical position to accept them.

In this paper, I present a conception of individual religiousness in terms of religious experience. Using ideas of the early Friedrich Schleiermacher, I will claim that religious experiences are contemplative experiences of the totality of being. This understanding of religious experiences presents an alternative to how religious experience is often epistemologically thought about in the more contemporary analytic philosophy of religion. Furthermore, it has systematic advantages: It can construe religious plurality in terms of different ways to experience the totality of being, it stays neutral to metaphysical and moral debates such as whether there is a God whose laws we should obey, and it allows for an explanation of how religious intuitions and religious emotions relate to one another as well as of why religiousness and art often go hand in hand. Even though understanding religiousness in terms of contemplative experience also bears revisionary potential, I will discuss how more doxastic elements of religious people’s lives can be reintegrated into this picture.