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)

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)

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

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)

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)

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.

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)

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)

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)