A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. Additionally, conservativity for (...) classical over intuitionistic/minimal logic for the seven (finitary) Glivenko sequent classes is here shown to hold also for the corresponding infinitary classes. (shrink)

This paper investigates the relationship between structural explanation and the New Mechanistic account of explanation. The aim of this paper is twofold: firstly, to argue that some phenomena in the domain of fundamental physics, although mechanically brute, are structurally explained; and secondly, by elaborating on the contrast between SE and mechanistic explanation to better clarify some features of SE. Finally, this paper will argue that, notwithstanding their apparently antithetical character, SE and ME can be reconciled within a unified account of (...) general scientific explanation. (shrink)

The aim of this paper is to analyse the role that the distinction between principle and constructive theories have in the question of the explanatory power of Special Relativity. We show how the distinction breaks down at the explanatory level. We assess Harvey Brown’s (2005) claim that, as a principle theory, Special Relativity lacks of explanatory power and criticize it, as, we argue, based upon an unrealistic picture of the kind of explanations provided by principle (and constructive) theories. Finally, we (...) claim that the structural account of explanation (Hughes 1989b) captures the explanatory success of Special Relativity. (shrink)

In his recent book Bananaworld. Quantum mechanics for primates, Jeff Bub revives and provides a mature version of his influential information-theoretic interpretation of Quantum Theory (QT). In this paper, I test Bub’s conjecture that QT should be interpreted as a theory about information, by examining whether his information-theoretic interpretation has the resources to explain (or explain away) quantum conundrums. The discussion of Bub’s theses will also serve to investigate, more in general, whether other approaches succeed in defending the claim that (...) QT is about quantum information. First of all, I argue that Bub’s interpretation of QT as a principle theory fails to fully explain quantum non-locality. Secondly, I argue that a constructive interpretation, where the quantum state is interpreted ontically as information, also fails at providing a full explanation of quantum correlations. Finally, while epistemic interpretations might succeed in this respect, I argue that such a success comes at the price of rejecting some in between the most basic scientific standards of physical theories. (shrink)

The aim of this paper is to explore the ways in which Axiomatic Reconstructions of Quantum Theory in terms of Information-Theoretic principles can contribute to explaining and understanding quantum phenomena, as well as to study their explanatory limitations. This is achieved in part by offering an account of the kind of explanation that axiomatic reconstructions of Quantum Theory provide, and re-evaluating the epistemic status of the program in light of this explanation. As illustrative case studies, I take Clifton's, Bub's and (...) Halvorson's characterization theorem and Popescu's and Rohrlich's toy models, and their explanatory contribution with respect to quantum nonlocality. On the one hand, I argue that ARQITs can aspire to provide genuine explanations of quantum nonlocality. On the other hand, I argue that such explanations cannot rule out a mechanical quantum theory. (shrink)

Within the current mainstream research in the foundations of physics, much attention has been turned to the program of Axiomatic Reconstruction of Quantum Theory in terms of Information-Theoretic principles (ARQIT). ARQIT aims at finding a few general information-theoretic principles from which, once translated into mathematical terms, one can formally derive the structure of quantum theory. This chapter explores the role of mechanistic explanations and mathematical explanations (in particular, structural explanations) within ARQIT. With such considerations as a point of departure, we (...) investigate how ARQIT contributes to the explanation of quantum phenomena, and the possible prospects for explanations provided by mechanical interpretations of quantum theory. (shrink)

The idea at the core of the New Mechanical account of explanation can be summarized in the claim that explaining means showing ‘how things work’. This simple motto hints at three basic features of Mechanistic Explanation (ME): ME is an explanation-how, that implies the description of the processes underlying the phenomenon to be explained and of the entities that engage in such processes. These three elements trace a fundamental contrast with the view inherited from Hume and later from strict logical (...) empiricism (see Creath 2017), focused on epistemic and formal features of science and according to which issues concerning the kind of entities and processes that lie within a theory’s domain are extraneous to science and belong instead to ontology or metaphysics. Philosophers belonging to the new mechanical philosophy believe that the received view of scientific explanation (Hempel 2001), pivoting on the notion of law of nature, overshadows this insight. Since its origin in the 17th century, mechanical philosophy aimed to explain natural phenomena by reducing them to mechanisms. Traditional attempts to define the concept of mechanism involved the identification of a limited set of fundamental elements as, for instance, contact action, action at a distance, inertial motion (see e.g. Hesse 2005), and, more recently, transmission of a mark, or of a conserved quantity (see Frisch, this volume). The new mechanical philosophy rejects this austere characterization of mechanisms and mechanistic explanation and aim at providing a novel, philosophically rigorous explication of the concept of mechanism and of its role in scientific explanation and practice. ME has been adopted with profit in philosophy of special sciences (for instance in biomedical sciences, e.g. in the explanation of chemical transmission at synapses ((Machamer, Darden and Craver 2000), MDC henceforth); but also in social sciences, e.g. the three kinds of social mechanisms in Coleman’s analysis of Max Weber’s account of the role of the Protestant ethic in the growth of capitalism (Hedström and Swedberg 1998)), where exceptionless regularities are rarely ever found. In physics, it is generally possible to formulate explanations in law-based form, with the result that the plurality of explanatory forms might be overlooked. This should not come as a surprise, given that physics was the main inspiration for logical empiricists, and, in particular, Newtonian physics was a template for Hempel’s formulation of the covering law model. However, this situation is unfortunate, since, we will argue, knowing how things work is often part of the explanation of physical phenomena. In this chapter, we provide an introduction to the basic features of ME, with specific focus on its application to physics (section 1). The main part of the chapter is devoted to the defence of two theses: on the one hand, some domains of physics are not compatible with mechanistic reasoning and explanation (section 2); on the other hand, a comprehensive account of explanation in physics can’t dispense with ME (section 3). (shrink)

Alongside the analogy between maximal ideals and complete theories, the Jacobson radical carries over from ideals of commutative rings to theories of propositional calculi. This prompts a variant of Lindenbaum’s Lemma that relates classical validity and intuitionistic provability, and the syntactical counterpart of which is Glivenko’s Theorem. The Jacobson radical in fact turns out to coincide with the classical deductive closure. As a by-product we obtain a possible interpretation in logic of the axioms-as-rules conservation criterion for a multi-conclusion Scott-style entailment (...) relation over a single-conclusion one. (shrink)

The problems that exist in relating quantum mechanical phenomena to classical concepts like properties, causes, or entities like particles or waves are well-known and still open to question, so that there is not yet an agreement on what kind of metaphysics lies at the foundations of quantum mechanics. However, physicists constantly use the formal resources of quantum mechanics in order to explain quantum phenomena. The structural account of explanation, therefore, tries to account for this kind of mathematical explanation in physics, (...) and hinges on the following claims: i) scientific models are central in scientific explanation; ii) in some cases the relevant information for the explanation/understanding of a phenomenon P consists in the sole structural properties of the (models displayed by the) theory; iii) in these cases, the interpretation of the formalism in terms of a categorial framework is unessential for the explanation of P and a mathematical model can be at the base of an objective and effective scientific explanation. The present paper will carry a reflection about some issues arising from R.I.G. Hughes and Robert Clifton’s works in the attempt to outline some details of structural explanation. (shrink)

Glivenko’s theorem says that classical provability of a propositional formula entails intuitionistic provability of the double negation of that formula. This stood right at the beginning of the success story of negative translations, indeed mainly designed for converting classically derivable formulae into intuitionistically derivable ones. We now generalise this approach: simultaneously from double negation to an arbitrary nucleus; from provability in a calculus to an inductively generated abstract consequence relation; and from propositional logic to any set of objects whatsoever. In (...) particular, we give sharp criteria for the generalisation of classical logic to be a conservative extension of the one of intuitionistic logic with double negation. (shrink)

This is the first of two papers reviewing and analysing the approach to locality and to mind-body dualism proposed in Everett interpreta- tions of quantum mechanics. The planned companion paper will focus on the contemporary decoherence-based approaches to Everett. This paper instead treats the explicitly mentalistic Many Minds Interpreta- tion proposed by David Albert and Barry Loewer (Albert and Loewer 1988). In particular, we investigate what kind of supervenience of the mind on the body is implied by Albert and Loewer’s (...) Many Minds In- terpretation, and how the interpretation of the related ‘mindless hulks’ problem affects the issue of locality within this interpretation. (shrink)

The so-called bottoming-out problem is considered one of the most serious problems in Stuart Glennan's mechanistic theory of causality. It is usually argued that such a problem cannot be overcome with the acknowledgement of the non-causal character of fundamental phenomena. According to such a widespread view, in the mechanistic account causation must go all the way down to the bottom level; a solution to the bottoming-out problem, therefore, requires an appeal to an ancillary account of causation that covers fundamental phenomena. (...) In this paper I reconsider the arguments that led to this conclusion and criticize them. I argue that the no-causality-at-the-fundamental-level solution is in harmony with the causal anti-fundamentalism that characterizes the mechanistic theory. Moreover, contrarily to the dualistic solution put forward by Glennan, the no-causality-at-the-fundamental-level is not an ad-hoc solution.Finally, I provide the sketch for an account of the existence of an order in nature at the fundamental level that is consistent with the singularist and ontologically parsimonious spirit of the mechanistic account. (shrink)

In this paper we argue that quantum mechanics provides a genuine kind of structural explanations of quantum phenomena. Since structural explanations only rely on the formal properties of the theory, they have the advantage of being independent of interpretative questions. As such, they can be used to claim that, even in the current absence of one agreed-upon interpretation, quantum mechanics is capable of providing satisfactory explanations of physical phenomena. While our proposal clearly cannot be taken to solve all interpretive issues (...) raised by quantum theory, we will argue that it can be successfully applied to some of its most puzzling phenomena, such Heisenberg's uncertainty relations and quantum non-locality. The discussion of these two case studies will also serve to illustrate the main properties of structural explanations and compare them to the DN and the unificationist models. Finally, we briefly discuss how structural explanations might relate to structural realism. (shrink)

In this paper we argue that structural explanations are an effective way of explaining well known relativistic phenomena like length contraction and time dilation, and then try to understand how this can be possible by looking at the literature on scientific models. In particular, we ask whether and how a model like that provided by Minkowski spacetime can be said to represent the physical world, in such a way that it can successfully explain physical phenomena structurally. We conclude by claiming (...) that a partial isomorphic approach to scientific representation can supply an answer only if supplemented by a robust injection of pragmatic factors. (shrink)

The main aim of this study is to explore the breadth of the inference field and the type of etiopathogenetic contents of symptom explanations provided by the client and therapist in the first two psychotherapy sessions conducted using a systemic approach. Does the therapist use triadic explanations of psychopathology as suggested by her approach? And do clients resort almost exclusively to monadic and dyadic explanations as did the university students in our previous study? What kind of explanations do they propose? (...) The coding system “1 to 3: from the monad to the triad” was applied to the transcripts of 25 individual systemic therapies conducted by the same therapist. This manual allows to code the inference field of symptom explanations according to three categories: monadic, dyadic and triadic. These three broad categories are also used to analyse the etiopathogenetic content of each explanation: traumatic, intrapersonal, and interpersonal. Our findings showed that clients and their therapist actually used different inference fields: clients resorted almost exclusively to monadic and dyadic explanations, whereas their therapist included the triadic explanatory level. Moreover, the therapist provided more interpersonal explanations than her clients. Hence, the dissonance between client and therapist about the inference fields¬–a crucial premise of one of the most accepted ideas of therapeutic change according to systemic therapies–is proved, at least among our participants. Thanks to this dissonance, clients and therapists can create a new story, potentially able to change clients’ feelings, without disconfirming their emotions. (shrink)

The Carol J. Adams Reader gathers together Adams's foundational and recent articles in the fields of critical studies, animal studies, media studies, vegan studies, ecofeminism and feminism, as well as relevant interviews and conversations in which Adams identifies key concepts and new developments in her decades-long work. This volume, a companion to The Sexual Politics of Meat (Bloomsbury Revelations), offers insight into a variety of urgent issues for our contemporary world: Why do batterers harm animals? What is the relationship between (...) genocide and attitudes toward other animals? How do activism and theory feed each other? How do race, gender, and species categories interact in strengthening oppressive attitudes? In clear language, Adams identifies the often hidden aspects of cultural presumptions. The essays and conversations found here capture the decades-long energy and vision that continue to shape new ways of thinking about and responding to oppression. (shrink)