We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

I propose a novel metaphysical explanation of identity and distinctness facts called the Modal Proposal. According to the Modal Proposal, for each identity fact – that is, each fact of the form a=b – that fact is metaphysically explained by the fact that it is necessary that the entities involved are indiscernible, and for each distinctness fact –that is, each fact of the form a≠b – that fact is metaphysically explained by the fact that it is possible for the entities (...) involved to be discernible. I argue that the Modal Proposal has greater payoffs at less cost than any of its competitors. It gives simple, uniform, and intuitive explanations of identity and distinctness that conserve longstanding philosophical insights about identity that go back to Leibniz. It does this while making our fundamental base more parsimonious, determining whether controversial cases of identity or distinctness are possible, and expanding our understanding of these central philosophical relations. It does all this while avoiding controversial ontological commitments. (shrink)

Penrose's conformal cyclic cosmology describes the cosmos as a collection of successive universes, the so-called aeons. The beginning and ending of our universe are directly connected to two other, anterior and posterior, universes. Penrose considers but rules out a different interpretation of conformal cyclic cosmology: that the beginning of our universe is connected to its own end in a cosmic loop. The paper argues that the view, aeon monism, should be regarded as a natural interpretation of conformal cyclic cosmology and (...) discusses its implications for the concept of eternal return in light of the most popular metaphysics of time. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

According to grounding necessitarianism if some facts ground another fact, then the obtaining of the former necessitates the latter. Proponents of grounding contingentism argue against this claim, stating that it is possible for the former facts to obtain without necessitating the latter. In this article I discuss a recent argument from restricted accidental generalisations provided by contingentists that advances such possibility. I argue that grounding necessitarianism can be defended against it. To achieve this aim, I postulate a relationship between grounding (...) and essence by introducing a notion of individual essences understood as a set of essential properties that individuate its bearer. According to a proposed view grounding holds in virtue of identities of its relata, which are in turn determined by their respective individual essences. From there I claim that if grounding holds in virtue of the individual essences of its relata, then it is possible to resist the objection from restricted accidental generalisations and maintain a view that grounds necessitates what is grounded. (shrink)

This paper critically examines a prominent and perennial strategy—found in thinkers as diverse as Kant and Shamik Dasgupta—of simultaneously embracing the Principle of Sufficient Reason and also limiting it so as to avoid certain apparently negative consequences of an unrestricted PSR. I will argue that this strategy of taming the PSR faces significant challenges and may even be incoherent. And for my purposes, I will enlist a generally derided argument by Leibniz for the PSR which will help us to see (...) the connections between the PSR and a radical form of monism. (shrink)

The paper addresses the referring problem in quantum mechanics, by spelling out the alternatives with complete or individual concepts, with directly referential labels, and with intuition. The connection between the way of referring and some metaphysical theses about objects will be explained. Then, the paper intends to make plausible that the Kantian way is the best way for the quantum domain, including quantum field theories.

The aim of this paper is to shed light on Leibniz’s justification of the Principle of Sufficient Reason. It approaches this issue through a close textual analysis of the correspondence with Samuel Clarke and a more abstruse and lesser-known writing, ‘Leibniz’s Philosophical Dream’.

Bernard Bolzano offers a criterion of individuation for ideas, according to which ideas are distinct if and only if they represent different objects or are composed differently. It fails to individuate ideas that are both simple and fail to represent, in particular syncategorematic ideas and logical constants. However, Bolzano also provides the means to close this gap. He suggests that we can distinguish ideas if they are not substitutable for each other in propositions, which we can, in turn, distinguish in (...) terms of their truth-values. This paper explicates this suggestion and develops it into an improved individuation criterion for ideas: ideas also are distinct if we cannot replace them for one another in propositions salva veritate. (shrink)

In the 1750s Optimism, the Leibnizian doctrine that the actual world is the best possible world, popularized by Pope in 1733 in his Essay on Man, was a hot topic. In 1759 Kant wrote and published a brief essay defending Optimism, Attempt at some Reflections on Optimism. Kant’s aim in this essay is to establish that there is one and only one best possible world. In particular, he argues against the claim that, for every possible world, there is a possible (...) world better than it and against the claim that there are two or more equally good possible worlds that are better than all the rest. Although it is not clear why, Kant was later dissatisfied with his essay. In this article I shall reconstruct, discuss, and evaluate Kant’s arguments. My evaluation will be negative, and so I think Kant had reasons to be dissatisfied with his essay. (shrink)

Resumen En la siguiente discusión presento algunas objeciones al artículo de Federico Raffo Quintana “La noción de ‘espacio’ en los escritos juveniles de Leibniz”.1 Contra la interpretación de Raffo, quien considera que la concepción del espacio como lugar universal de las cosas es una idea que Leibniz abandona de manera muy temprana -según el autor en 1671-, intento mostrar que esta concepción trasciende sin duda el periodo de los escritos juveniles de Leibniz y que ciertas confusiones conceptuales en la lectura (...) de Raffo hacen que, en vez de ver una armónica continuidad en la teoría del espacio de Leibniz, vea en ella una ruptura en su evolución histórica, a la que, además, asocia algunas dicotomías discutibles o espurias.In this paper I introduce objections to Federico Raffo Quintana’s paper “The Notion of ‘Space’ in the Young Leibniz Writings”. Against Raffo, who considers that the Leibnizian conception of space as the universal place of things is an idea that Leibniz early abandons -Raffo says in 1671-, I will try to show that such a conception goes beyond the Leibniz’s young writings and that it is because of some conceptual confusions in Raffo’s survey that he, instead of seeing a harmonic continuity in Leibniz’s theory of space, sees a rupture in its historical evolution, associating to it some disputable or spurious dichotomies. (shrink)

This article discusses Leibniz’s claim that every substance is endowed with the property of perception in connection with Platonism, rationalism and the problem of substance monism. It is argued that Leibniz’s ascription of perception to every substance relies on his Platonic conception of finite things as imitations of God, in whom there is ‘infinite perception’. Leibniz’s Platonism, however, goes beyond the notion of imitation, including also the emanative causal relation and the logical (i.e. definitional) priority of the absolute over the (...) limited. It is proposed that Leibniz’s endorsement of Platonism, in conjunction with some rationalist elements of his philosophy, implies a monistic conception of particulars as modifications of a single substance. Following some scholars and opposing others, the article offers evidence that Leibniz accepted this implication during the last years of his Paris period. However, it is further argued that it was precisely the idea of perception as a property of every substance that allowed Leibniz to find a way out of monism after that period. More specifically, the article defends the view that what made room for ontological pluralism within Leibniz’s rationalist and Platonic outlook was the idea that perception is the property which constitutes the very being of substances: substances are their perceptions. (shrink)