Facts happen at every interaction, but they are not absolute: they are relative to the systems involved in the interaction. Stable facts are those whose relativity can effectively be ignored. In this work, we describe how stable facts emerge in a world of relative facts and discuss their respective roles in connecting quantum theory and the world. The distinction between relative and stable facts resolves the difficulties pointed out by the no-go theorem of Frauchiger and Renner, and is consistent with (...) the experimental violation of the Local Friendliness inequalities of Bong et al.. Basing the ontology of the theory on relative facts clarifies the role of decoherence in bringing about the classical world and solves the apparent incompatibility between the ‘linear evolution’ and ‘projection’ postulates. (shrink)

Quantum gravity poses the problem of merging quantum mechanics and general relativity, the two great conceptual revolutions in the physics of the twentieth century. The loop and spinfoam approach, presented in this book, is one of the leading research programs in the field. The first part of the book discusses the reformulation of the basis of classical and quantum Hamiltonian physics required by general relativity. The second part covers the basic technical research directions. Appendices include a detailed history of the (...) subject of quantum gravity, hard-to-find mathematical material, and a discussion of some philosophical issues raised by the subject. This fascinating text is ideal for graduate students entering the field, as well as researchers already working in quantum gravity. It will also appeal to philosophers and other scholars interested in the nature of space and time. (shrink)

Why do we remember the past and not the future? What does it mean for time to "flow"? Do we exist in time or does time exist in us? In lyric, accessible prose, Carlo Rovelli invites us to consider questions about the nature of time that continue to puzzle physicists and philosophers alike. For most readers this is unfamiliar terrain. We all experience time, but the more scientists learn about it, the more mysterious it remains. We think of it (...) as uniform and universal, moving steadily from past to future, measured by clocks. Rovelli tears down these assumptions one by one, revealing a strange universe where at the most fundamental level time disappears. He explains how the theory of quantum gravity attempts to understand and give meaning to the resulting extreme landscape of this timeless world. Weaving together ideas from philosophy, science and literature, he suggests that our perception of the flow of time depends on our perspective, better understood starting from the structure of our brain and emotions than from the physical universe. (shrink)

In this article we will address the issue whether and in how far Anton Marty had a significant influence on the development of the phenomenological movement. As “the phenomenological movement” is not a clearly defined and circumscribed notion, we need to provide an appropriate context for any comparison. The phenomenological movement grew out of the School of Brentano and we take this larger whole as our starting point. Since Marty did not found his own school or movement, but remained a (...) Brentanist, it is quite difficult to identify a clear influence of Marty on the phenomenological movement that would not be intermingled with a general Brentanist background. A specifically Martian influence could perhaps mainly be found in the philosophy of language. We will look at Marty’s and Husserl’s shared background, mutual criticisms and common legacy in order to evaluate the significance of any influence there might have been. (shrink)

We discuss the principles for a primitive, object-linguistic notion of consequence proposed by ) that yield a version of Curry’s paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a notion (...) of logical consequence: we study the corresponding theory of validity by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke’s inductive theory of truth. Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence. (shrink)

In his 1956 book ‘The Direction of Time’, Hans Reichenbach offered a comprehensive analysis of the physical ground of the direction of time, the notion of physical cause, and the relation between the two. I review its conclusions and argue that at the light of recent advances in physics Reichenbach analysis provides the best account for the physical underpinning of these notions. I integrate results in cosmology, and on the physical underpinning of records and agency into Reichenbach’s account, and discuss (...) which questions it leaves open. (shrink)

1. Tra Seicento e Settecento -- 2. Tra Ottocento e Novecento.

According to the implicit commitment thesis, once accepting a mathematical formal system S, one is implicitly committed to additional resources not immediately available in S. Traditionally, this thesis has been understood as entailing that, in accepting S, we are bound to accept reflection principles for S and therefore claims in the language of S that are not derivable in S itself. It has recently become clear, however, that such reading of the implicit commitment thesis cannot be compatible with well-established positions (...) in the foundations of mathematics which consider a specific theory S as self-justifying and doubt the legitimacy of any principle that is not derivable in S: examples are Tait’s finitism and the role played in it by Primitive Recursive Arithmetic, Isaacson’s thesis and Peano Arithmetic, Nelson’s ultrafinitism and sub-exponential arithmetical systems. This casts doubts on the very adequacy of the implicit commitment thesis for arithmetical theories. In the paper we show that such foundational standpoints are nonetheless compatible with the implicit commitment thesis. We also show that they can even be compatible with genuine soundness extensions of S with suitable form of reflection. The analysis we propose is as follows: when accepting a system S, we are bound to accept a fixed set of principles extending S and expressing minimal soundness requirements for S, such as the fact that the non-logical axioms of S are true. We call this invariant component the semantic core of implicit commitment. But there is also a variable component of implicit commitment that crucially depends on the justification given for our acceptance of S in which, for instance, may or may not appear reflection principles for S. We claim that the proposed framework regulates in a natural and uniform way our acceptance of different arithmetical theories. (shrink)

Background: For many years the body of literature known as ‘care ethics’ or ‘ethics of care’ has been discussed as regards its status and nature. There is much confusion and little structured discussion. The paper of Klaver et al. (2014) was written as a discussion article to which we respond. Objectives: We aim to contribute to the ongoing discussion about the status and nature of care ethics. Research design: Responding to ‘Demarcation of the ethics of care as a discipline’ by (...) Klaver et al. (2014) and ‘Three versions of an ethics of care’ by Edwards (2009), we identified shared concerns and formulated criticisms of both texts in order to develop an alternative view. Participants and research context: This paper has been written from the academic context of a master in care ethics an policy. Ethical considerations: We have tried to be fair and respectful to the authors discussed. Findings: Both Klaver et al. (2014) and Edwards (2009) raise important concerns about the question if care ethics can be considered an academic discipline, and to what extend it can be seen as a moral theory. Despite shared concerns, their arguments fail to convince us in all respects. Discussion and conclusion: We propose to conceive care ethics as an interdisciplinary field of inquiry, incorporating a dialectical relation between empirical research and theoretical reflection. Departing from the notion of caring as a practice of contributing to a life-sustaining web, we argue that care ethics can only profit from a loosely organized academic profile that allows for flexibility and critical attitude that brings us close to the good emerging in specific practices. This asks for ways of searching for a common focus and interest that is inherently democratic and dialogical and thus beyond demarcation. (shrink)

As a response to the semantic and logical paradoxes, theorists often reject some principles of classical logic. However, classical logic is entangled with mathematics, and giving up mathematics is too high a price to pay, even for nonclassical theorists. The so-called recapture theorems come to the rescue. When reasoning with concepts such as truth/class membership/property instantiation, (These are examples of concepts that are taken to satisfy naive rules such as the naive truth schema and naive comprehension, and that therefore are (...) compatible with a solution to paradox cast in the logics considered below. Other notions of similar kind can be added to the list.) if one is interested in consequences of the theory that only contain mathematical vocabulary, nothing is lost by reasoning in the nonclassical framework. This article shows that this claim is highly misleading, if not simply false. Under natural assumptions, some well-established approaches to recapture are incorrect. (shrink)

The article examines the development of Husserl’s early philosophy from his Habilitationsschrift (1887) to the Philosophie der Arithmetik (1891). -/- An attempt will be made at reconstructing the lost Habilitationsschrift (of which only the first chapter survives, which we know as Über den Begriff der Zahl). The examined sources show that the original version of the Habilitationsschrift was by far broader than the printed version, and included most topics of the PA. -/- The article contains an extensive and detailed comparison (...) of these texts to illustrate the changes in Husserl’s position before and after February 1890. This date is taken as a turning point in his development, because of Husserl’s announcement in a letter to Carl Stumpf that he was mistaken in his basic assumption, i.e. that the (psychological) analysis of the concept of Anzahl would yield a foundation for arithmetic. Some interesting conclusions in this respect can also be drawn from an unpublished lecture that Husserl held in the WS 1889/90, in which he anticipates aspects of his position hitherto deemed to belong to the last phases of the PA. (shrink)

In what follows I consider the apparent contrast between two kinds of theories of context: a theory of objective context - exemplified in the works of Kaplan and Lewis - and a theory of subjective context -exemplified in the works of McCarthy and Giunchiglia. I consider then some difficulties for the objective theory. I don't give any formalization; instead I give some theoretical points about the problem. A possible result could be the abandon of the double indexing for a development (...) a multi-context theory (I give an example of a case). However other results could be possible and a challenge is posed to solve problems using the best results from each tradition of research. (shrink)

The concept of dignity is notoriously vague. In this paper it is argued that the reason for this is that there are three versions of dignity that are often confused. First we will take a short look at the history of the concept of dignity in order to demonstrate how already from Roman Antiquity two versions of dignity can be distinguished. Subsequently, the third version will be introduced and it will be argued that although the three versions of dignity hang (...) together, they should also be clearly distinguished in order to avoid confusion. The reason for distinguishing the three versions is because all three of them are only partially effective. This will be demonstrated by taking the discussion about voluntary ‘dying with dignity’ as an example. Inspired by both Paul Ricoeur’s concept of ethics and the ethics of care a proposition will be done as to how the three versions of dignity may sustain each other and help achieve what neither one of the versions can do on its own. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

One of the world's most renowned theoretical physicists, Carlo Rovelli has entranced millions of readers with his singular perspective on the cosmos. In Helgoland, Rovelli examines the enduring enigma of quantum theory. The quantum world Rovelli describes is as beautiful as it is unnerving. Helgoland is a treeless island in the North Sea where the 21-year-old Werner Heisenberg first developed quantum theory, setting off a century of scientific revolution. Full of alarming ideas (ghost waves, distant objects that seem to (...) be magically connected, cats that appear both dead and alive), quantum physics has led to countless discoveries and technological advancements. Today our understanding of the world is based on this theory, yet it is still profoundly mysterious. As scientists and philosophers continue to fiercly debate the theory's meaning, Rovelli argues that its most unsettling contradictions can be explained by seeing the world as fundamentally made of relationships, not substances. We and everything around us exist only in our interactions with one another. This bold idea suggests new directions for understanding the structure of reality and even the nature of consciousness. Rovelli makes learning about quantum mechanics an almost psychedelic experience. Shifting our perspective once again, he takes us on a riveting journey through the universe so we can better understand our place in it. (shrink)

One way to study and understand the notion of truth is to examine principles that we are willing to associate with truth, often because they conform to a pre-theoretical or to a semi-formal characterization of this concept. In comparing different collections of such principles, one requires formally precise notions of inter-theoretic reduction that are also adequate to compare these conceptual aspects. In this work I study possible ways to make precise the relation of conceptual equivalence between notions of truth associated (...) with collections of principles of truth. In doing so, I will consider refinements and strengthenings of the notion of relative truth-definability proposed by Fujimoto (2010): in particular I employ suitable variants of notions of equivalence of theories considered in Visser (2006) and Friedman & Visser (2014) to show that there are better candidates than mutual truth-definability for the role of sufficient condition for conceptual equivalence between the semantic notions associated with the theories. In the concluding part of the paper, I extend the techniques introduced in the first and show that there is a precise sense in which ramified truth (either disquotational or compositional) does not correspond to iterations of comprehension. (shrink)

We introduce and study some local versions of o-minimality, requiring that every definable set decomposes as the union of finitely many isolated points and intervals in a suitable neighbourhood of every point. Motivating examples are the expansions of the ordered reals by sine, cosine and other periodic functions.

Choice can be defined in thermodynamical terms, and shown to have a thermodynamic cost: choosing between a binary alternative at temperature T dissipates an energy $$E\ge kT\ln 2$$.

The world appears to be well described by gauge theories; why? I suggest that gauge is more than mathematical redundancy. Gauge-dependent quantities can not be predicted, but there is a sense in which they can be measured. They describe “handles” though which systems couple: they represent real relational structures to which the experimentalist has access in measurement by supplying one of the relata in the measurement procedure itself. This observation leads to a physical interpretation for the ubiquity of gauge: it (...) is a consequence of a relational structure of physical quantities. (shrink)

Quantum mechanics is not about 'quantum states': it is about values of physical variables. I give a short fresh presentation and update on the *relational* perspective on the theory, and a comment on its philosophical implications.

Following the invitation of the editors of Foundations of Physics, I give here a personal assessment of string theory, from the point of view of an outsider, and I compare it with the theory, methods, and expectations of my own field.

There are fields of research on NE which still need attention: the edition of the text the style and rhetorical and logical instruments employed by Aristotle in setting out his position. After indicating the situation of the research on the text of NE, I describe some rhetorical devices used by Aristotle in his work: the presence of a preamble, clues about how the argument will be developed, a tendency to introduce new arguments in an inconspicuous way and the articulation of (...) general definitions through more specific analyses. At a deeper level NE seems to be organised on the model of investigating definitions described in the second Book of the Postenor Analytics, and not according the so-called' dialectical method'. In conclusion I argue that NE is not an early or a confused work, as some scholars maintain, but rather a skilful construction, the fruit of a mature intelligence. (shrink)

The definitive account of Aristotle's life and school This definitive biography shows that Aristotle's philosophy is best understood on the basis of a firm knowledge of his life and of the school he founded. First published in Italian, and now translated, updated, and expanded for English readers, this concise chronological narrative is the most authoritative account of Aristotle's life and his Lyceum available in any language. Gathering, distilling, and analyzing all the evidence and previous scholarship, Carlo Natali, one of (...) the world's leading Aristotle scholars, provides a masterful synthesis that is accessible to students yet filled with evidence and original interpretations that specialists will find informative and provocative. Cutting through the controversy and confusion that have surrounded Aristotle's biography, Natali tells the story of Aristotle's eventful life and sheds new light on his role in the foundation of the Lyceum. Natali offers the most detailed and persuasive argument yet for the view that the school, an important institution of higher learning and scientific research, was designed to foster a new intellectual way of life among Aristotle's followers, helping them fulfill an aristocratic ideal of the best way to use the leisure they enjoyed. Drawing a wealth of connections between Aristotle's life and thinking, Natali demonstrates how the two are mutually illuminating. For this edition, ancient texts have been freshly translated on the basis of the most recent critical editions; indexes have been added, including a comprehensive index of sources and an index to previous scholarship; and scholarship that has appeared since the book's original publication has been incorporated. (shrink)

Is reality three-dimensional and becoming real (Presentism), or is reality four-dimensional and becoming illusory (Eternalism)? Both options raise difficulties. I argue that we do not need to be trapped by this dilemma. There is a third possibility: reality has a more complex temporal structure than either of these two naive options. Fundamental becoming is real, but local and unoriented. A notion of present is well defined, but only locally and in the context of approximations.

The first book of NE is organised on the model of investigating definitions described in the second Book of the Posterior Analytics, although, of course, with some adaptation due to the subject matter. It first establishes if the object exists and looks for the meaning of the terms used in common language to indicate it, next considers some necessary qualities of the object and then concludes with a definition of the object. We find there a dialectical syllogism of definition, and (...) not the procedure in three steps described in NE VII 1, sometimes called 'the method of ethics'. In fact, the method described in NE VII 1 does not apply to the first book of the NE. Its relevance for the NE has been somehow exaggerated. (shrink)

The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.

The project of growing meat artificially represents for some the next best thing to humanity. If successful, it could be the solution to several problems, such as feed- ing a growing global population while reducing the environmental impact of raising animals for food and, of course, reducing the amount and degree of animal cruelty and suffering that is involved in animal farming. In this paper, I argue that the issue of the morality of such a project has been framed only (...) in terms of the best conse- quences for the environment, animals, and humans, or in terms of deontic princi- ples. I argue that to appreciate how deep and difficult this issue is, it is necessary to consider it in terms of a virtue-oriented approach. Such an approach will reveal aspects that are not apparent, not contemplated by typical approaches, but are essen- tial to our understanding of the morality of lab-grown meat. As I argue, evaluating the issue from a virtue-oriented perspective suggests that the project of in vitro meat should not be supported because it stems from unvirtuous motivations. (shrink)

The main point of the paper is the claim that a strong notion of cognitive context can answer the needs of a representation of dialogue context, with a higher generality than the "normative" notion suggested by Gauker. I will discuss some well known claims in the literature about communication and context, and I will suggest giving a central role to the notion of contract or semantic bargaining and to the normative constraints of indexicals and anaphora.

Science progresses through debate and disagreement, and scientific controversies play a crucial role in the growth of scientific knowledge. However, not all controversies and disagreements are progressive in science. Sometimes, controversies can be pseudoscientific; in fact, bogus controversies, and what seem like genuine scientific disagreements, can be a distortion of science set up by non-scientific actors. Bogus controversies are detrimental to science because they can hinder scientific progress and eventually bias science-based decisions. The first goal of this paper is to (...) elucidate the distinction between bogus and genuine scientific controversies and provide a qualitative methodology, based on the literature on expertise, for distinguishing between the two. We will illustrate six epistemic criteria for distinguishing bogus from genuine scientific debates in science and medicine. This heuristic strategy applies directly to scientific reports, and it relies mostly on the social structure of science. We will then apply the above criteria to a case study: the controversy over statins, which are widely prescribed drugs for reducing the level of cholesterol and preventing cardiovascular disease. (shrink)

This paper explores the scope and limits of rational consensus through mutual respect, with the primary focus on the best known formal model of consensus: the Lehrer–Wagner model. We consider various arguments against the rationality of the Lehrer–Wagner model as a model of consensus about factual matters. We conclude that models such as this face problems in achieving rational consensus on disagreements about unknown factual matters, but that they hold considerable promise as models of how to rationally resolve non-factual disagreements.

A solution to the issue of time in quantum gravity is proposed. The hypothesis that time is not defined at the fundamental level (at the Planck scale) is considered. A natural extension of canonical Heisenberg-picture quantum mechanics is defined. It is shown that this extension is well defined and can be used to describe the "non-Schrödinger regime," in which a fundamental time variable is not defined. This conclusion rests on a detailed analysis of which quantities are the physical observables of (...) the theory; a main technical result of the paper is the identification of a class of gauge-invariant observables that can describe the (observable) evolution in the absence of a fundamental definition of time. The choice of the scalar product and the interpretation of the wave function are carefully discussed. The physical interpretation of the extreme "no time" quantum gravitational physics is considered. (shrink)

Goldberg notes that the relationship is a component of Conflicts of Interests. Networks of relationships and the simultaneous presence of several interests are not negative per se but become so when they generate a conflict that undermines impartiality. The solution to the problem of COIs, therefore, cannot be to abolish relationships and the interests that they necessarily express but rather to verify whether those relationships are such as to unduly affect an individual’s judgement. The evolution of an Italian legislation about (...) COIs is eloquent in this regard. (shrink)

This paper gives attention to a special point in Brandom’s Making it Explicit. Brandom proposes in MIE a “Fregean” way out of Kripke’s puzzle about belief. In the first part, I analyze two main features of Brandom’s strategy, the definition of anaphoric chains as senses of proper names and the implausibility of the application of a disquotational principle to proper names. In the second part, I discuss the problem of the stability of contents and the problem of sharing contents. I (...) claim that Brandom’s strong holism leads to irresolvable difficulties with the concept of conceptual content as it emerges from the discussion of Kripke’s puzzle. (shrink)

While Gödel's (first) incompleteness theorem has been used to refute the main contentions of Hilbert's program, it does not seem to have been generally used to stress that a basic ingredient of that program, the concept of formal system as a closed system - as well as the underlying view, embodied in the axiomatic method, that mathematical theories are deductions from first principles must be abandoned. Indeed the logical community has generally failed to learn Gödel's lesson that Hilbert's concept of (...) formal system as a closed system is inadequate and continues to use it as if there were no incompleteness theorem. In this paper I will stress the role of Gödel's incompleteness theorem in showing the inadequacy of such a concept of formal system and the need for a more articulated view of mathematical theories. More generally I will argue that Gödel's result entails that, as an alternative to mathematical logic, a new concept of logic is required: logic as the theory of communicating inference processes. (shrink)