This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

What happens to the causal structure of a world when time is reversed? At first glance it seems there are two possible answers: the causal relations are reversed, or they are not. I argue that neither of these answers is correct: we should either deny that time-reversed worlds have causal relations at all, or deny that causal concepts developed in the actual world are reliable guides to the causal structure of time-reversed worlds. The first option is motivated by the instability (...) of time-reversed dynamical evolutions under interventions. The second option is motivated by a recognition of how contingent structural features of the actual world shape our causal concepts and reasoning strategies. (shrink)

Candidates for fundamental physical laws rarely, if ever, employ higher than second time derivatives. Easwaran sketches an enticing story that purports to explain away this puzzling fact and thereby provides indirect evidence for a particular set of metaphysical theses used in the explanation. I object to both the scope and coherence of Easwaran's account, before going on to defend an alternative, more metaphysically deflationary explanation: in interacting Lagrangian field theories, it is either impossible or very hard to incorporate higher than (...) second time derivatives without rendering the vacuum state unstable. The so-called Ostrogradski instability represents a powerful constraint on the construction of new field theories and supplies a novel, largely overlooked example of non-causal explanation in physics. (shrink)

In this paper I present a novel supertask in a Newtonian universe that destroys and creates infinite masses and energies, showing thereby that we can have infinite indeterminism. Previous supertasks have managed only to destroy or create finite masses and energies, thereby giving cases of only finite indeterminism. In the Nothing from Infinity paradox we will see an infinitude of finite masses and an infinitude of energy disappear entirely, and do so despite the conservation of energy in all collisions. I (...) then show how this leads to the Infinity from Nothing paradox, in which we have the spontaneous eruption of infinite mass and energy out of nothing. I conclude by showing how our supertask models at least something of an old conundrum, the question of what happens when the immovable object meets the irresistible force. (shrink)

In electrostatics, we can use either potential energy or field energy to ensure conservation of energy. In electrodynamics, the former option is unavailable. To ensure conservation of energy, we must attribute energy to the electromagnetic field and, in particular, to electromagnetic radiation. If we adopt the standard energy density for the electromagnetic field, then potential energy seems to disappear. However, a closer look at electrodynamics shows that this conclusion actually depends on the kind of matter being considered. Although we cannot (...) get by without attributing energy to the electromagnetic field, matter may still have electromagnetic potential energy. Indeed, if we take the matter to be represented by the Dirac field, then it will possess potential energy. Thus, potential energy reappears. Upon field quantization, the potential energy of the Dirac field becomes an interaction term in the Hamiltonian operator of quantum electrodynamics. (shrink)

This article argues that time-asymmetric processes in spacetime are enantiomorphs. Subsequently, the Kantian puzzle concerning enantiomorphs in space is reviewed to introduce a number of positions concerning enantiomorphy, and to arrive at a dilemma: one must either reject that orientations of enantiomorphs are determinate, or furnish space or objects with orientation. The discussion on space is then used to derive two problems in the debate on the direction of time. First, it is shown that certain kinds of reductionism about the (...) direction of time are at variance with the claim that orientation of enantiomorphic objects is intrinsic. Second, it is argued that reductive explanations of time-asymmetric processes presuppose that enantiomorphic processes do not have determinate orientation. (shrink)

This article argues that time‐asymmetric processes in spacetime are enantiomorphs. Subsequently, the Kantian puzzle concerning enantiomorphs in space is reviewed to introduce a number of positions concerning enantiomorphy, and to arrive at a dilemma: one must either reject that orientations of enantiomorphs are determinate, or furnish space or objects with orientation. The discussion on space is then used to derive two problems in the debate on the direction of time. First, it is shown that certain kinds of reductionism about the (...) direction of time are at variance with the claim that orientation of enantiomorphic objects is intrinsic. Second, it is argued that reductive explanations of time‐asymmetric processes presuppose that enantiomorphic processes do not have determinate orientation. (shrink)

I describe a problem about the relations among symmetries, laws and measurable quantities. I explain why several ways of trying to solve it will not work, and I sketch a solution that might work. I discuss this problem in the context of Newtonian theories, but it also arises for many other physical theories. The problem is that there are two ways of defining the space-time symmetries of a physical theory: as its dynamical symmetries or as its empirical symmetries. The two (...) definitions are not equivalent, yet they pick out the same extension. This coincidence cries out for explanation, and it is not clear what the explanation could be. The Puzzle: Symmetries, Measurability and Invariance 1.1 The symmetries and the measurable quantities of Newtonian mechanics 1.2 The puzzle Two Easy Answers Another Unsuccessful Solution: Appeal to Geometrical Symmetries Locating the Puzzle The Relation between Laws and Measurability A Possible Solution CiteULike Connotea Del.icio.us What's this? (shrink)

In this paper I draw the distinction between intuitive and theory-relative accounts of the time reversal symmetry and identify problems with each. I then propose an alternative to these two types of accounts that steers a middle course between them and minimizes each account’s problems. This new account of time reversal requires that, when dealing with sets of physical theories that satisfy certain constraints, we determine all of the discrete symmetries of the physical laws we are interested in and look (...) for involutions that leave spatial coordinates unaffected and that act consistently across our physical laws. This new account of time reversal has the interesting feature that it makes the nature of the time reversal symmetry an empirical feature of the world without requiring us to assume that any particular physical theory is time reversal invariant from the start. Finally, I provide an analysis of several toy cases that reveals differences between my new account of time reversal and its competitors. (shrink)

This essay considers the implications for the powers metaphysic of the no-successor problem: As there are no successors in the set of real numbers, one state cannot occur just after another in continuous time without there being a gap between the two. I show how the no-successor problem sets challenges for various accounts of the manifestation of powers. For powers that give rise to a manifestation that is a new state, the challenge of no-successors is similar to that faced on (...) Bertrand Russell's analysis by causal relations. Powers whose manifestation is a processes and powers that manifest through time are challenged differently. To avoid powers appearing enigmatic, these challenges should be addressed, and I point to some possible ways this might be achieved. A prerequisite for addressing these challenges is a careful focus on the nature and timing of the manifesting and manifestation of powers. (shrink)

Aristotle’s solution to Zeno’s arrow paradox differs markedly from the so called at-at solution championed by Russell, which has become the orthodox view in contemporary philosophy. The latter supposes that motion consists in simply being at different places at different times. It can boast parsimony because it eliminates velocity from the ontology. Aristotle, by contrast, solves the paradox by denying that the flight of the arrow is composed of instants; rather, on my reading, he holds that the flight is a (...) unity which is ontologically prior to the temporal parts that may be abstracted from it. I label this position temporal holism; and an entity that is ontological prior to its temporal parts lasting. Lasting, I argue, is the key to Aristotle’s solution to the arrow paradox, but it has received insufficient attention in the relevant literature. I therefore set out here to investigate lasting and highlight its major role in Aristotle’s metaphysics more broadly, and in his solution to other problems of change. I show, too, how lasting within a contemporary context underwrites a parsimonious and intuitive solution to the arrow paradox that retains instantaneous velocity, and hence solves a problem for those who think velocity is required within the ontology to underwrite certain causal roles. (shrink)

Absolutism about mass claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Dasgupta, Oxford studies in metaphysics, Oxford University Press, Oxford, 2013) argues for comparativism about mass, in the context of Newtonian Gravity. Such an argument requires proving that comparativism is empirically adequate. Dasgupta equates this to showing that absolute masses are undetectable, and attempts to do so. This paper develops an argument by Baker to the contrary: absolute masses are in fact empirically meaningful, that is (...) detectable. Additionally, it is argued that the requirement of empirical adequacy should not be cashed out in terms of undetectability in the first place. The paper closes by sketching the possible strategies that remain for the comparativist. Along the way a framework is developed that is useful for thinking about these issues: Ozma games—how could one explain to an alien civilisation what an absolute mass is? (shrink)

David Albert claims that classical electromagnetic theory is not time reversal invariant. He acknowledges that all physics books say that it is, but claims they are ``simply wrong" because they rely on an incorrect account of how the time reversal operator acts on magnetic fields. On that account, electric fields are left intact by the operator, but magnetic fields are inverted. Albert sees no reason for the asymmetric treatment, and insists that neither field should be inverted. I argue, to the (...) contrary, that the inversion of magnetic fields makes good sense and is, in fact, forced by elementary geometric considerations. I also suggest a way of thinking about the time reversal invariance of classical electromagnetic theory -- one that makes use of the invariant (four-dimensional) formulation of the theory -- that makes no reference to magnetic fields at all. It is my hope that it will be of interest in its own right, Albert aside. It has the advantage that it allows for arbitrary curvature in the background spacetime structure, and is therefore suitable for the framework of general relativity. (The only assumption one needs is temporal orientability.). (shrink)

Muller and Saunders ([2008]) purport to demonstrate that, surprisingly, bosons and fermions are discernible; this article disputes their arguments, then derives a similar conclusion in a more satisfactory fashion. After briefly explicating their proof and indicating how it escapes earlier indiscernibility results, we note that the observables which Muller and Saunders argue discern particles are (i) non-symmetric in the case of bosons and (ii) trivial multiples of the identity in the case of fermions. Both problems undermine the claim that they (...) have shown particles to be physically discernible. We then prove two results concerning observables that are truly physical: one showing when particles are discernible and one showing when they are not (categorically) discernible. Along the way we clarify some frequently misunderstood issues concerning the interpretation of quantum observables. 1 Background2 Criticisms2.1 Bosons2.2 Fermions3 Reformulating the Insight3.1 What weakly discerns?3.2 General results4 Conclusion. (shrink)

Can the second law of thermodynamics explain our mental experience of the direction of time? According to an influential approach, the past hypothesis of universal low entropy also explains how the psychological arrow comes about. We argue that although this approach has many attractive features, it cannot explain the psychological arrow after all. In particular, we show that the past hypothesis is neither necessary nor sufficient to explain the psychological arrow on the basis of current physics. We propose two necessary (...) conditions on the workings of the brain that any account of the psychological arrow of time must satisfy. And we propose a new reductive physical account of the psychological arrow of time compatible with time-symmetric physics, according to which these two conditions are also sufficient. Our proposal has some radical implications, for example, that the psychological arrow of time is fundamental, whereas the temporal direction of entropy increase in the second law of thermodynamics and the past hypothesis is derived from it, rather than the other way around. 1Introduction2A Physical Account of the Psychological Arrow of Time3Necessary Conditions for the Psychological Arrow of Time4The Psychological Arrow of Time via the Second Law of Thermodynamics and the Past Hypothesis5Why the Past Hypothesis Is Insufficient for the Psychological Arrow of Time5.1Stage 1, Version 1: From the past hypothesis to the psychological arrow via typicality5.2Stage 1, Version 2: From the past hypothesis to the psychological arrow via dynamical or causal considerations5.3Stage 2: From entropy gradient in the brain to the psychological arrow of time6Why the Past Hypothesis Is Unnecessary for the Psychological Arrow of Time7A New Reductive Account of the Psychological Arrow of Time. (shrink)

This paper describes a version of type identity physicalism, which we call Flat Physicalism, and shows how it meets several objections often raised against identity theories. This identity theory is informed by recent results in the conceptual foundations of physics, and in particular clar- ifies the notion of ‘physical kinds’ in light of a conceptual analysis of the paradigmatic case of reducing thermody- namics to statistical mechanics. We show how Flat Physi- calism is compatible with the appearance of multiple realisation (...) in the special sciences, and how and in what sense the special sciences laws are autonomous from the laws of physics, despite the full reductive picture of Flat Physicalism. We compare our view with a recent proposal by William Bechtel that accounts for the appearance of levels in mechanistic explanations. (shrink)

According to the standard realistic interpretation of classical electrodynamics, the electromagnetic field is conceived as a real physical entity existing in space and time. The problem we address in this paper is how to understand this spatiotemporal existence, that is, how to describe the persistence of a field-like physical entity like electromagnetic field. First, we provide a formal description of the notion of persistence: we derive an “equation of persistence” constituting a necessary condition that the spatiotemporal distributions of the fundamental (...) attributes of a persisting physical entity must satisfy. We then prove a theorem according to which the vast majority of the solutions of Maxwell’s equations, describing possible spatiotemporal distributions of the fundamental attributes of the electromagnetic field, violate the equation of persistence. Finally, we discuss the consequences of this result for the ontology of the electromagnetic field. (shrink)

I defend a causal reductionist account of the nature of rates of change like velocity and acceleration. This account identifies velocity with the past derivative of position and acceleration with the future derivative of velocity. Unlike most reductionist accounts, it can preserve the role of velocity as a cause of future positions and acceleration as the effect of current forces. I show that this is possible only if all the fundamental laws are expressed by differential equations of the same order. (...) Consideration of the continuity of time explains why the differential equations are all second order. This explanation is not available on non-causal or non-reductionist accounts of rates of change. Finally, I argue that alleged counterexamples to the reductionist account involving physically impossible worlds are irrelevant to an analysis of the properties that play a causal role in the actual world. 1 Background2 Grounding3 Causation4 The Proposal5 Why No Third Derivatives?6 Why Any Derivatives?7 Counterexamples? (shrink)

Einstein claimed that the fundamental dynamical insight of special relativity was the equivalence of mass and energy. I disagree. Not only are mass and energy not equivalent but talk of such equivalence obscures the real dynamical insight of special relativity, which concerns the nature of 4-forces and interactions more generally. In this paper I present and defend a new ontology of special relativistic particle dynamics that makes this insight perspicuous and I explain how alleged cases of mass–energy conversion can be (...) accommodated within that ontology. (shrink)

I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry based on certain algebraic objects, which regiments a mode of reasoning heuristically used by geometricists and physicists. I argue that SIG has the following utilities. It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. It generalizes a standard implementation of spacetime algebraicism called Einstein algebras. It solves the long-standing problem of (...) interpreting smooth infinitesimal analysis realistically, an alternative foundation of spacetime theories to real analysis, 277–392, 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations. Against this, I argue that SIG is such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails. (shrink)

The arrow paradox is an argument purported to show that objects do not really move. The two main metaphysics of motion, the At–At theory of motion and velocity primitivism, solve the paradox differently. It is argued that neither solution is completely satisfactory. In particular it is contended that there are no decisive arguments in favor of the claim that velocity as it is constructed in the At–At theory is a truly instantaneous property, which is a crucial assumption to solve the (...) paradox. If so the At–At theory faces the threat that most of our physical theories turn out to be non-Markovian. Finally it is considered whether all those threats and paradoxes are dispelled if only a new metaphysics of persistence is taken into account, namely four-dimensionalism. (shrink)

The rotating discs argument against perdurantism has been mostly discussed by metaphysicians, though the argument of course appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. I argue for three main conclusions. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ‘imagine away’ the dynamical effects of rotation. The second is that in general relativity, (...) the RDA fails because of frame-dragging. The third conclusion is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated, namely, by the perdurantist taking objects in classical mechanics to have only temporally extended temporal parts, which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of ‘definition’ than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts can do the jobs within the endurantism– perdurantism debate that the perdurantist wants temporal parts to do and are supported by both classical and quantum mechanics. Introduction The story so far 2.1 The RDA 2.2 Intrinsic properties and the idea of velocity 2.2.1 The intrinsic–extrinsic distinction 2.2.2 Velocity to the rescue? 2.3 ‘Naturalism’ 2.4 The accompaniments of rotation 2.5 Two kinds of reply: against the consensus Describing rotation 3.1 Rotation is kinematic 3.2 Beware of rigidity 3.3 An improved RDA: allowing the actual accompaniments 3.4 The RDA fails in general relativity Perdurantism without tears: the classical case 4.1 Rejecting instantaneous temporal parts 4.2 Replying to the RDA 4.2.1 ‘Kinematics’ 4.2.2 ‘Dynamics’ 4.2.3 An ‘anti-pointilliste’ objection and reply 4.3 Intrinsic properties of non-instantaneous temporal parts 4.3.1 Can the perdurantist appeal to them? 4.3.2 Temporal intrinsicality at an instant is rare 4.3.3 A better reason for temporal intrinsicality 4.4 Non-instantaneous parts can do the jobs 4.4.1 Humean supervenience revisited 4.4.2 The problem of change 4.4.3 Puzzles of coincidence 4.5 Instantaneous velocity is hardly extrinsic Support from decoherence in quantum theory 5.1 Classical and quantum: relativizing the intrinsic–extrinsic distinction 5.1.1 Unitarity: momentum as temporally intrinsic 5.2 Position and existence as nomically extrinsic. (shrink)

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

Many philosophers have been attracted to a restricted version of the principle of indifference in the case of self-locating belief. Roughly speaking, this principle states that, within any given possible world, one should be indifferent between different hypotheses concerning who one is within that possible world, so long as those hypotheses are compatible with one’s evidence. My first goal is to defend a more precise version of this principle. After responding to several existing criticisms of such a principle, I argue (...) that existing formulations of the principle are crucially ambiguous, and I go on to defend a particular disambiguation of the principle. According to the disambiguation I defend, how we should apply this restricted principle of indifference sensitively depends on our background metaphysical beliefs. My second goal is to apply this disambiguated principle to classical skeptical problems in epistemology. In particular, I argue that Eternalism threatens to lead us to external world skepticism, and Modal Realism threatens to lead us to inductive skepticism. (shrink)

Most of our best scientific descriptions of the world employ rates of change of some continuous quantity with respect to some other continuous quantity. For instance, in classical physics we arrive at a particle’s velocity by taking the time-derivative of its position, and we arrive at a particle’s acceleration by taking the time-derivative of its velocity. Because rates of change are defined in terms of other continuous quantities, most think that facts about some rate of change obtain in virtue of (...) facts about those other continuous quantities. For example, on this view facts about a particle’s velocity at a time obtain in virtue of facts about how that particle’s position is changing at that time. In this paper we raise a puzzle for this orthodox reductionist account of rate of change quantities and evaluate some possible replies. We don’t decisively come down in favour of one reply over the others, though we say some things to support taking our puzzle to cast doubt on the standard view that spacetime is continuous. (shrink)

The arena of the philosophy of time has been largely concerned with deciding whether tense distinctions reflect absolute metaphysical distinctions or not. After bringing the debate over the metaphysical status of instantaneous velocity to bear on the debate over the nature of temporal passage, I argue that we should further investigate whether aspectual distinctions reflect objective and absolute metaphysical distinctions too. I conclude that those who think that being realist about tense uniquely makes room for the idea that time passes (...) should be realist about the progressive too. (shrink)

There are two no-change objections that can be raised against the B-theory of time. One stems from the observation that in a B-theoretic scenario changes of determinations can only be represented by propositions which have eternal truth values. The other derives from the principle that nothing can vary over a period of time if it doesn’t instantiate a state of change at all the instants of time which compose it. Here I argue that both objections apply to all comparative conceptions (...) of change, regardless of whether they take tense seriously or not. It follows that, contrary to what is widely believed, A-theoretic accounts of time are not immune to no-change objections, just in virtue of being realist about tense. A-theorists must either accept the conclusion that time, according to their account, does not flow, or put forward an account of flow that is not comparative. A number of difficulties with both of these options are discussed. (shrink)

Zeno’s paradoxes of motion, allegedly denying motion, have been conceived to reinforce the Parmenidean vision of an immutable world. The aim of this article is to demonstrate that these famous logical paradoxes should be seen instead as paradoxes of immobility. From this new point of view, motion is therefore no longer logically problematic, while immobility is. This is convenient since it is easy to conceive that immobility can actually conceal motion, and thus the proposition “immobility is mere illusion of the (...) senses” is much more credible than the reverse thesis supported by Parmenides. Moreover, this proposition is also supported by modern depiction of material bodies: the existence of a ceaseless random motion of atoms—the ‘thermal agitation’—in the scope of contemporary atomic theory, can offer a rational explanation of this ‘illusion of immobility’. Our new approach to Zeno’s paradoxes therefore leads to presenting the novel concept of ‘impermobility’, which we think is a more adequate description of physical reality. (shrink)

In contemporary metaphysics, the Eleatic Principle (EP) is a causal criterion for reality. Articulating the EP with precision is notoriously difficult. The criterion purportedly originates in Plato’s Sophist, when the Eleatic Visitor articulates the EP at 247d-e in the famous Battle of the Gods and the Giants. There, the Visitor proposes modifying the ontologies of both the Giants (who are materialists) and the Gods (who are friends of the many forms), using a version of the EP according to which only (...) items which have the capacity to affect or to be affected are real. Recently, it has been argued that while there are some genetic connections between the EP and the views of some of the historical Eleatics (Parmenides and Zeno), the views of Melissus are generally incompatible with the EP. This raises the following question: What, exactly, is Eleatic about the Eleatic Principle? In this paper, I look to the dialectical context in which the Visitor’s appeal to the EP appears, and I propose that there are at once three relevant senses of affecting and being affected in the text: (1) tangible contact (as in the interactions between the bodies of the materialists), (2) Cambridge change (as in the form's being affected by a soul via the act of coming to know), and (3) the notion of a cause that does not itself change (as in a form’s affecting another form, a soul, or any sensible item). I argue that these have clear parallels to the metaphysics of all three main Eleatic philosophers, and that the views of Parmenides, Zeno, and Melissus are therefore compatible with the EP. This has interesting consequences for narratives about the reception of the Eleatics in Plato, the inclusion of an Eleatic Visitor as an interlocutor in the Sophist, and for the metaphysics of subsequent schools (such as the Stoics) who are widely thought to have been influenced by the EP. (shrink)

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

La meccanica quantistica è una delle più grandi conquiste intellettuali del xx secolo. Le sue leggi regolano il mondo atomico e subatomico e si riverberano su una miriade di fenomeni del mondo macroscopico, dalla formazione dei cristalli alla superconduttività, dalle proprietà dei fluidi a bassa temperatura agli spettri di emissione di una candela che brucia o di una supernova che esplode, dai meccanismi di combustione della fornace solare ai principi di base delle nanotecnologie. Non c’è quasi nulla nel mondo che (...) ci circonda su cui non soffi l’alito delle leggi quantistiche. Tuttavia, per come è usualmente presentata nei libri di testo, la meccanica quantistica è sostanzialmente un’insieme di regole per calcolare le distribuzioni di probabilità dei risultati di qualunque esperimento (nel dominio di validità della meccanica quantistica). In quanto tale, non ci fornisce direttamente una descrizione della realtà. Una descrizione della realtà, cioè un’ontologia, dovrebbe dirci che cosa c’è nel mondo e come si comporta, quali sono i processi che si realizzano a livello microscopico e, di conseguenza, fornirci una spiegazione del formalismo quantistico. (shrink)

The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their business, be it (...) logic or metaphysics. However, it is not a particularly plausible view and it is very hard to maintain consistently, as we will see. 2) Logic is prior to metaphysics and has metaphysical implications. The extreme example of this kind of approach is the Dummettian one, according to which metaphysical questions are reducible to the question of which logic to adopt. 3) Metaphysics is prior to logic, and your logic should be compatible with your metaphysics. This approach suggests an answer to the question of what logic is grounded in, namely, metaphysics. Here I will defend the third option. (shrink)

This dissertation is concerned with two of the largest questions that we can ask about the nature of physical reality: first, whether physical reality begin to exist and, second, what criteria would physical reality have to fulfill in order to have had a beginning? Philosophers of religion and theologians have previously addressed whether physical reality began to exist in the context of defending the Kal{\'a}m Cosmological Argument (KCA) for theism, that is, (P1) everything that begins to exist has a cause (...) for its beginning to exist, (P2) physical reality began to exist, and, therefore, (C) physical reality has a cause for its beginning to exist. While the KCA has traditionally been used to argue for God's existence, the KCA does not mention God, has been rejected by historically significant Christian theologians such as Thomas Aquinas, and raises perennial philosophical questions -- about the nature and history of physical reality, the nature of time, the nature of causation, and so on -- that should be of interest to all philosophers and, perhaps, all humans. While I am not a religious person, I am interested in the questions raised by the KCA. In this dissertation, I articulate three necessary conditions that physical reality would need to fulfill in order to have had a beginning and argue that, given the current state of philosophical and scientific inquiry, we cannot determine whether physical reality began to exist. -/- Friends of the KCA have sought to defend their view that physical reality began to exist in two distinct ways. As I discuss in chapter 2, the first way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a priori arguments meant to show that, as a matter of metaphysical necessity, the past must be finite. If the past is necessarily finite, then the past history of physical reality is necessarily finite. And if having a finite past suffices for having a beginning, then, since the past history of physical reality is necessarily finite, physical reality necessarily began to exist. I show that the arguments which have been offered thus far for the view that the past is necessarily finite do not succeed. Moreover, as I elaborate on in chapter 5, having a finite past does not suffice for having a beginning. -/- As I discuss in chapter 3, the second way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a posteriori arguments meant to show that we have empirical evidence that physical reality has a finite past history. For example, the big bang is sometimes claimed to have been the beginning of physical reality and, since we have excellent empirical evidence for the big bang, we have excellent empirical evidence for the beginning of physical reality. The big bang can be understood in two ways. On the one hand, the big bang can be understood as a theory about the history and development of the observable universe. Understood in that sense, then I agree that the big bang is supported by excellent empirical evidence and by a scientific consensus. On the other hand, some authors (particularly science popularizers, science journalists, and religious apologists) have wrongly interpreted big bang theory as a theory about the beginning of the whole of physical reality. As I argue, while a beginning of physical reality may be consistent with classical big bang theory, classical big bang theory does not provide good reason for thinking that physical reality began to exist. -/- In part II, I turn to discussing three necessary, but not necessarily sufficient, conditions for physical reality to have a beginning. Before discussing the three conditions, in chapter 4, I introduce three metaphysical accounts of the nature of time (A-theory, B-theory, and C-theory) as well as some formal machinery that will subsequently become useful in the dissertation. I introduce the first of the three conditions in chapter 5. According to the Modal Condition, physical reality began to exist only if, at the closest possible worlds without time, physical reality does not exist. I show that this condition helps us to make sense of various views in both theology and philosophy of physics. In chapter 6}, I introduce the second of my three conditions, the Direction Condition, according to which, roughly, physical reality began to exist only if all space-time points agree about the direction of time, so that all space-time points can agree that physical reality's putative beginning took place in their objective past. In chapter 7, I discuss the third condition, the Boundary Condition, according to which physical reality began to exist only if there is a past temporal boundary such that physical reality did not exist before the boundary. I show that there are two senses in which physical reality could be said to have had a past temporal boundary. Lastly, in chapter 8, I show that there is a relationship between my three conditions and classical big bang theory, even though the relationship is not the one usually identified in the literature. -/- In part III, I present four arguments for the view that, at the present stage of philosophical and scientific inquiry, we cannot know whether physical reality satisfies the three necessary conditions to have had a beginning and, consequently, we cannot know whether physical reality had a beginning. As I will prove in chapter 9, no set of observations that we currently have, when conjoined with General Relativity, entails that physical reality satisfies the Direction or Boundary Conditions. As I show in chapter 10, considerations in the philosophical foundations of statistical mechanics entail either that the Cosmos violates the Modal Condition or else that there is a transcendental condition on the possibility of our knowledge of the past that prevents our access to data we would need to gather to determine whether physical reality satisfies the Boundary Condition. In chapter 11, I show that there are a number of live cosmological models according to which physical reality does not satisfy the Boundary Condition. As long as we don't know whether any of those cosmological models are correct, we do not know whether physical reality satisfies the Boundary Condition. Lastly, I turn to confirmation theory and show that, at our present stage of inquiry, ampliative inferences for the conclusion that physical reality satisfies the Modal, Direction, and Boundary Conditions are not successful. (shrink)

In his In Contradiction (1987), Priest levelled three powerful arguments against the received Russellian view of change and motion. He argued that his preferred paraconsistent theory of change, the Hegelian account, is immune from these objections. Here I argue that these three arguments are sound, but that the Hegelian account falls pray to them too. I conclude, however, that the Hegelian account is in a better position to tackle these challenges.

In this paper we discuss Priest’s account of change and motion, contrasting it with its more orthodox rival, the Russellian account. The paper is divided in two parts. In first one we take a stance that is more sympathetic to the Russellian view, arguing that Priest’s arguments against it are inconclusive. In the second part, instead, we take a more sympathetic attitude towards Priest’s objections. We argue, however, that if these objections pose insurmountable difficulties to the Russellian account, then they (...) pose the same difficulties also to Priest’s favoured Hegelian account, and for the same reasons. (shrink)

According to comparativist theories of quantities, their intrinsic values are not fundamental. Instead, all the quantity facts are grounded in scale-independent relations like "twice as massive as" or "more massive than." I show that this sort of scale independence is best understood as a sort of metaphysical symmetry--a principle about which transformations of the non-fundamental ontology leave the fundamental ontology unchanged. Determinism--a core scientific concept easily formulated in absolutist terms--is more difficult for the comparativist to define. After settling on the (...) most plausible comparativist understanding of determinism, I offer some examples of physical systems that the comparativist must count as indeterministic although the relevant physical theory gives deterministic predictions. Several morals are drawn. In particular: comparativism is metaphysically contingent if true, and it is most natural for a comparativist to accept an at-at theory of motion. (shrink)

Many philosophers of physics think that physical rates of change, like velocity or acceleration in classical physics, are extrinsic. Many philosophers of mind think that phenomenal properties, which characterize what it’s like to be an agent at a time, are intrinsic. I will argue that these two views can’t both be true. Given that these two views are in tension, we face an explanatory challenge. Why should there be any interesting connection between these physical quantities and consciousness in the first (...) place? In a speculative spirit, I close by developing a panpsychist view which promises to explain this connection in a particularly satisfying way. (shrink)

Some recent philosophical debate about persistence has focussed on an argument against perdurantism that discusses rotating perfectly homogeneous discs. The argument has been mostly discussed by metaphysicians, though it appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. After introducing the argument and emphasizing the relevance of physics, I review some metaphysicians' replies to the argument, especially those by Callender, Lewis, Robinson and Sider. Thereafter, I argue (...) for three main conclusions. They all arise from the fact, emphasized in Section 2, that classical mechanics is both more subtle, and more problematic, than philosophers generally realize. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ``imagine away'' the dynamical effects of rotation. The second is that in general relativity, the RDA fails because of frame-dragging. The third is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated. Namely, by the perdurantist taking objects in classical mechanics to have only temporally extended, i.e. non-instantaneous, temporal parts: which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of `definition' than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts: can do the jobs within the endurantism- perdurantism debate that the perdurantist wants temporal parts to do; and are supported by both classical and quantum mechanics. (shrink)

Este texto tem como objetivo apresentar a principal motivação filosófica para se defender uma teoria causal da memória, que é explicar como pode um evento que se deu no passado estar relacionado a uma experiência mnêmica que se dá no presente. Para tanto, iniciaremos apresentando a noção de memória de maneira informal e geral, para depois apresentar elementos mais detalhados. Finalizamos apresentando uma teoria causal da memória que se beneficia da noção de veritação (truthmaking).

I argue that it may well be the case that space and time do not consist of points, indeed that they have no smallest parts. I examine two different approaches to such pointless spaces : a topological approach and a measure theoretic approach. I argue in favor of the measure theoretic approach.

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

It is widely accepted that continuity is the most essential characteristic of motion; the motion of macroscopic objects is apparently continuous, and classical mechanics, which describes such motion, is also based on the assumption of continuous motion. But is motion really continuous in reality? In this paper, I will try to answer this question through a new analysis of the cause of motion. It has been argued that the standard velocity in classical mechanics cannot fulfill the causal role required for (...) explaining continuous motion in a deterministic way. However, there is a hot debate over the solution to this causal explanation problem. The existing solutions, i.e. the "at-at" theory, the impetus view and the "no instants" view, have serious drawbacks. After reviewing their drawbacks and presenting my own objections, I propose a new solution to this causal explanation problem. It is argued that the relativity of motion or the equivalence between motion and rest demands that motion has no deterministic cause, and thus no causal explanation is needed for motion. Based on this result, I further argue that the uncaused motion is not deterministic and continuous but essentially random and discontinuous. Moreover, objects have a potential that determines the probabilities of their future positions. This suggests a possible connection with quantum mechanics. Lastly, I give a brief explanation for the apparent inconsistency between the suggested potential theory of motion and the appearance of continuous motion in the macroscopic world. (shrink)

In the present paper I argue that the formalism of Newtonian mechanics stems directly from the general principle to be called the principle of microlevel reducibility which physical systems obey in the realm of classical physics. This principle assumes, first, that all the properties of physical systems must be determined by their states at the current moment of time, in a slogan form it is ``only the present matters to physics.'' Second, it postulates that any physical system is nothing but (...) an ensemble of structureless particles arranged in some whose interaction obeys the superposition principle. I substantiate this statement and demonstrate directly how the formalism of differential equations, the notion of forces in Newtonian mechanics, the concept of phase space and initial conditions, the principle of least actions, etc. result from the principle of microlevel reducibility. The philosophical concept of thick presentism and the introduction of two dimensional time-physical time and meta-time that are mutually independent on infinitesimal scales-are the the pivot points in these constructions. (shrink)

The role of the light postulate in special relativity is reexamined. The existing theory of relativity without light shows that one can deduce Lorentz-like transformations with an undetermined invariant speed based on homogeneity of space and time, isotropy of space and the principle of relativity. However, since the transformations can be Lorentzian or Galilean, depending on the finiteness of the invariant speed, a further postulate is needed to determine the speed in order to establish a real connection between the theory (...) and special relativity. In this paper, I argue that a certain discreteness of space-time, whose existence is strongly suggested by the combination of quantum theory and general relativity, may result in the existence of a maximum and invariant speed when combing with the principle of relativity, and thus it can determine the finiteness of the speed in the theory of relativity without light. According to this analysis, the speed constant c in special relativity is not the actual speed of light, but the ratio between the minimum length and the shortest time of discrete space-time. This suggests a more complete theory of relativity, the theory of relativity in discrete space-time, which is based on the principle of relativity and the constancy of the minimum size of discrete space-time. (shrink)

The impetus theory of motion states that to be in motion is to have a non-zero velocity. The at-at theory of motion states that to be in motion is to be at different places at different times, which in classical physics is naturally understood as the reduction of velocities to position developments. I first defend the at-at theory against the criticism raised by Arntzenius that it renders determinism impossible. I then develop a novel impetus theory of motion that reduces positions (...) to velocity developments. As this impetus theory of motion is by construction a mirror image of the at-at theory of motion, I claim that the two theories of motion are in fact epistemically on par—despite the unfamiliar metaphysical picture of the world furnished by the impetus version. (shrink)