This book, starting from the idea that in contemporary societies many cultures exist, tries to work out a solution that can ensure the peaceful coexistence of different, and potentially conflicting, cultural and religious groups.

We characterize the collapse of Buss' bounded arithmetic in terms of the provable collapse of the polynomial time hierarchy. We include also some general model-theoretical investigations on fragments of bounded arithmetic.

We consider the problem of uniqueness of certain simultaneity structures in flat spacetime. Absolute simultaneity is specifiled to be a non-trivial equivalence relation which is invariant under the automorphism group Aut of spacetime. Aut is taken to be the identity-component of either the inhomogeneous Galilei group or the inhomogeneous Lorentz group. Uniqueness of standard simultaneity in the first, and absence of any absolute simultaneity in the second case are demonstrated and related to certain group theoretic properties. Relative simultaneity with respect (...) to an additional structure X on spacetime is specified to be a non-trivial equivalence relation which is invariant under the subgroup in Aut that stabilises X. Uniqueness of standard Einstein simultaneity is proven in the Lorentzian case when X is an inertial frame. We end by discussing the relation to previous work of others. (shrink)

Despite the burgeoning literature on the governance and impact of cross-sector partnerships in the past two decades, the debate on how and when these collaborative arrangements address globally relevant problems and contribute to systemic change remains open. Building upon the notion of wicked problems and the literature on governing such wicked problems, this paper defines harnessing problems in multi-stakeholder partnerships as the approach of taking into account the nature of the problem and of organizing governance processes accordingly. The paper develops (...) an innovative analytical framework that conceptualizes MSPs in terms of three governance processes harnessing three key dimensions of wicked problems. The Roundtable on Sustainable Palm Oil provides an illustrative case study on how this analytical framework describes and explains organizational change in partnerships from a problem-based perspective. The framework can be used to better understand and predict the complex relationships between MSP governance processes, systemic change and societal problems, but also as a guiding tool in organizing governance processes to continuously re-assess the problems over time and address them accordingly. (shrink)

We show that every model of IΔ0 has an end extension to a model of a theory where log-space computable function are formalizable. We also show the existence of an isomorphism between models of IΔ0 and models of linear arithmetic LA.

Let be a saturated model of inaccessible cardinality, and let be arbitrary. Let denote the expansion of with a new predicate for. Write for the collection of subsets such that ≡. We prove that if the VC-dimension of is finite then is externally definable.

This paper explores the relationship between business experience in cross-sector partnerships and the co-creation of what we refer to as ‘dynamic capabilities for stakeholder orientation,’ consisting of the four dimensions of sensing, interacting with, learning from and changing based on stakeholders. We argue that the co-creation of dynamic capabilities for stakeholder orientation is crucial for CSPs to create societal impact, as stakeholder-oriented organizations are more suited to deal with “wicked problems,” i.e., problems that are large, messy, and complex. By means (...) of a grounded theory approach of inductive research, we collected and interpreted data on four global agri-food companies which have heterogeneous experience in participating in CSPs. The results of this paper highlight that only companies’ capability of interacting with stakeholders continually increases, while their capabilities of sensing, learning from, and changing based on stakeholders first increase and then decrease as companies gain more experience in CSP participation. To a large extent, this can be attributed to the development of corporate strategies on sustainability after a few years of CSP participation, which entails a shift from a reactive to a proactive attitude towards sustainability issues and which may decrease the need or motivation for stakeholder orientation. These findings open up important issues for discussion and for future research on the impact of CSPs in a context of wicked problems. (shrink)

We prove that there are uncountably many sets that are low for the class of Schnorr random reals. We give a purely recursion theoretic characterization of these sets and show that they all have Turing degree incomparable to 0'. This contrasts with a result of Kučera and Terwijn [5] on sets that are low for the class of Martin-Löf random reals.

On his way to General Relativity (GR) Einstein gave several arguments as to why a special relativistic theory of gravity based on a massless scalar field could be ruled out merely on grounds of theoretical considerations. We re-investigate his two main arguments, which relate to energy conservation and some form of the principle of the universality of free fall. We find that such a theory-based a priori abandonment not to be justified. Rather, the theory seems formally perfectly viable, though in (...) clear contradiction with (later) experiments. (shrink)

The main purpose of this article is to present the fundamental concepts of a theory of social systems, with special reference to the concepts of medium and form, and their application in sociology. By challenging the indifference and opposition shown by most contemporary sociologists to the ontological and theoretical questions of social theory, systems theory has, from the beginning, represented an attempt at an analysis focusing on the fundamental concepts of a general theory of society. Ignoring the elaboration of these (...) concepts may be tantamount to reducing sociology to countless collections of facts of a limited informative value. Indeed, only an adequate conceptual framework will suffice. Certain recent developments in systems theory offer useful tools. Some of these developments are illustrated in this article, which marshals a network of concepts, each dealing with specific aspects relating to sociological analysis. (shrink)

In this essay, Domenico Jervolino summarizes twenty years of Ricoeur’s reading of Patočka’s work, up to the Neapolitan conference of 1997. Nowhere is Ricoeur closer to Patočka’s a-subjective phenomenology. Both thinkers belong, together with authors like Merleau-Ponty and Levinas, to a third phase of the phenomenological movement, marked by the search for a new approach to the relation between human beings and world, beyond Husserl and Heidegger. In the search for this approach, Patočka strongly underlines the relation between body, (...) temporality and sociality. Central to this new encounter of Patočka and Ricoeur is the discovery of an idea of inter-human community based on a a-subjective conception of existence. (shrink)

We present a simple and completely model-theoretical proof of a strengthening of a theorem of Ajtai: The independence of the pigeonhole principle from IΔ0. With regard to strength, the theorem proved here corresponds to the complexity/proof-theoretical results of [10] and [14], but a different combinatorics is used. Techniques inspired by Razborov [11] replace those derived from Håstad [8]. This leads to a much shorter and very direct construction.

Recently Shakurov pioneered the study of subalgebras of diagonalizable algebras of theories of arithmetic. We show that his results extend to weaker theories.

The energy-momentum tensor for a particular matter component summarises its local energy-momentum distribution in terms of densities and current densities. We re-investigate under what conditions these local distributions can be integrated to meaningful global quantities. This leads us directly to a classic theorem by Max von Laue concerning integrals of components of the energy-momentum tensor, whose statement and proof we recall. In the first half of this paper we do this within the realm of Special Relativity and in the traditional (...) mathematical language using components with respect to affine charts, thereby focusing on the intended physical content and interpretation. In the second half we show how to do all this in a proper differential-geometric fashion and on arbitrary space-time manifolds, this time focusing on the group-theoretic and geometric hypotheses underlying these results. Based on this we give a proper geometric statement and proof of Laue's theorem, which is shown to generalise from Minkowski space to space-times with significantly less symmetries. This result, which seems to be new, not only generalises but also clarifies the geometric content and hypotheses of Laue's theorem. A series of three appendices lists our conventions and notation and summarises some of the conceptual and mathematical background needed in the main text. (shrink)

An effective formalism is developed to handle decaying two-state systems. Herewith, observables of such systems can be described by a single operator in the Heisenberg picture. This allows for using the usual framework in quantum information theory and, hence, to enlighten the quantum features of such systems compared to non-decaying systems. We apply it to systems in high energy physics, i.e. to oscillating meson–antimeson systems. In particular, we discuss the entropic Heisenberg uncertainty relation for observables measured at different times at (...) accelerator facilities including the effect of $\mathcal{CP}$ violation, i.e. the imbalance of matter and antimatter. An operator-form of Bell inequalities for systems in high energy physics is presented, i.e. a Bell-witness operator, which allows for simple analysis of unstable systems. (shrink)

Starting from the works by Aselli on the milky veins and Harvey on the motion of the heart and the circulation of the blood, the practice of vivisection witnessed a resurgence in the early modern period. I discuss some of the most notable cases in the century spanning from Aselli’s work to the investigations of fluid pressure in plants and animals by Stephen Hales. Key figures in my study include Johannes Walaeus, Jean Pecquet, Marcello Malpighi, Reinier de Graaf, Richard Lower, (...) Anton Nuck, and Anton de Heide. Although vivisection dates from antiquity, early modern experimenters expanded the range of practices and epistemic motivations associated with it, displaying considerable technical skills and methodological awareness about the problems associated with the animals being alive and the issue of generalizing results to humans. Many practitioners expressed great discomfort at the suffering of the animals; however, many remained convinced that their investigations were not only indispensable from an epistemic standpoint but also had potential medical applications. Early modern vivisection experiments were both extensive and sophisticated and cannot be ignored in the literature of early modern experimentation or of experimentation on living organisms across time. (shrink)

"Symmetry" was one of the most important methodological themes in 20th-century physics and is probably going to play no lesser role in physics of the 21st century. As used today, there are a variety of interpretations of this term, which differ in meaning as well as their mathematical consequences. Symmetries of crystals, for example, generally express a different kind of invariance than gauge symmetries, though in specific situations the distinctions may become quite subtle. I will review some of the various (...) notions of "symmetry" and highlight some of their uses in specific examples taken from Pauli's scientific oevre. This paper is based on a talk given at the conference "Wolfgang Pauli's Philosophical Ideas and Contemporary Science", May 20.-25. 2007, at Monte Verita, Ascona, Switzerland. (shrink)

In December 1924 Wolfgang Pauli proposed the idea of an inner degree of freedom of the electron, which he insisted should be thought of as genuinely quantum mechanical in nature. Shortly thereafter Ralph Kronig and, independently, Samuel Goudsmit and George Uhlenbeck took up a less radical stance by suggesting that this degree of freedom somehow corresponded to an inner rotational motion, though it was unclear from the very beginning how literal one was actually supposed to take this picture, since it (...) was immediately recognised that it would very likely lead to serious problems with Special Relativity if the model were to reproduce the electron's values for mass, charge, angular momentum, and magnetic moment. However, probably due to the then overwhelming impression that classical concepts were generally insufficient for the proper description of microscopic phenomena, a more detailed reasoning was never given. In this contribution I shall investigate in some detail what the restrictions on the physical quantities just mentioned are, if they are to be reproduced by rather simple classical models of the electron within the framework of Special Relativity. It turns out that surface stresses play a decisive role and that the question of whether a classical model for the electron does indeed contradict Special Relativity can only be answered on the basis of an exact solution, which has hitherto not been given. (shrink)

Numerical tables are important objects of study in a range of fields, yet they have been largely ignored by historians of science. This paper contrasts and compares ways in which numerical tables were used by Galileo and Mersenne, especially in the Dialogo and Harmonie Universelle. I argue that Galileo and Mersenne used tables in radically different ways, though rarely to present experimental data. Galileo relied on tables in his work on error theory in day three of the Dialogo and also (...) used them in a very different setting in the last day of the Discorsi. In Mersenne's case they represent an important but so far unrecognized feature of his notion of universal harmony. I conclude by presenting a classification of different ways in which tables were used within the well-defined disciplinary and temporal boundaries of my research. In doing so, however, I provide a useful tool for extending similar investigations to broader domains. (shrink)

In this contribution I wish to address the question whether, and how, the global cosmological expansion influences local physics, like particle orbits and black hole geometries. Regarding the former I argue that a pseudo Newtonian picture can be quite accurate if “expansion” is taken to be an attribute of the inertial structure rather than of “space” in some substantivalist sense. This contradicts the often-heard suggestion to imagine cosmological expansion as that of “space itself”. Regarding isolated objects in full General Relativity, (...) like black holes, I emphasise the need for proper geometric characterisations in order to meaningfully compare them in different spacetimes, like static and expanding ones. Examples are discussed in some detail to clearly map out the problems. A slightly extended version of this contribution may be found at philsci-archive.pitt.edu/10033. (shrink)

Multiple authorship is so common and pervasive in our world that it is tempting to take it for granted. Prior to the twentieth century, however, multiple authorship was exceedingly rare.

Summary The investigation and representation of insects in the seventeenth century posed huge problems: on the one hand, their size and texture required optical tools and fixation techniques to disentangle and identify their tiny parts; on the other, the esoteric nature of those parts required readers to make sense of images alien to their daily experiences. Naturalists and anatomists developed sophisticated techniques of investigation and representation, involving tacit and unusual conventions that even twentieth-century readers found at times baffling. This essay (...) develops a comparative approach based on seven pairs of investigations involving Francesco Stelluti, Francesco Redi, Giovanni Battista Hodierna, Robert Hooke, Marcello Malpighi, and Jan Swammerdam. Seen together, they document an extraordinary time in the study of insects and reconstruct a number of iconographic dialogues shedding light on the conventions and styles adopted. (shrink)

As a reply to the commentary (Lenhard in Found Sci, 2012), we stress here that structural understanding of data analysis techniques is the natural counterpart to the lack of understanding of phenomena in agnostic science. We suggest moreover that the dynamics of computational processes, and their parallels with the dynamics of natural processes, will increasingly be, possibly, the driving force of the development of data analysis.

The long history of ergodic and quasi-ergodic hypotheses provides the best example of the attempt to supply non-probabilistic justifications for the use of statistical mechanics in describing mechanical systems. In this paper we reverse the terms of the problem. We aim to show that accepting a probabilistic foundation of elementary particle statistics dispenses with the need to resort to ambiguous non-probabilistic notions like that of (in)distinguishability. In the quantum case, starting from suitable probability conditions, it is possible to deduce elementary (...) particle statistics in a unified way. Following our approach Maxwell-Boltzmann statistics can also be deduced, and this deduction clarifies its status.Thus our primary aim in this paper is to give a mathematically rigorous deduction of the probability of a state with given energy for a perfect gas in statistical equilibrium; that is, a deduction of the equilibrium distribution for a perfect gas. A crucial step in this deduction is the statement of a unified statistical theory based on clearly formulated probability conditions from which the particle statistics follows. We believe that such a deduction represents an important improvement in elementary particle statistics, and a step towards a probabilistic foundation of statistical mechanics.In this Part I we first present some history: we recall some results of Boltzmann and Brillouin that go in the direction we will follow. Then we present a number of probability results we shall use in Part II. Finally, we state a notion of entropy referring to probability distributions, and give a natural solution to Gibbs' paradox. (shrink)

As a reply to the commentary (Humphreys in Found Sci, 2012), we explore the methodological implications of seeing artificial neural networks as generic classification tools, we show in which sense the use of descriptions and models in data analysis is not equivalent to the original empirical use of epicycles in describing planetary motion, and we argue that agnostic science is essentially related to the type of problems we ask about a phenomenon and to the processes used to find answers.

Moving from Paris, Pisa, and Oxford to London, Amsterdam, and Cambridge, this essay documents extensive collaborations between anatomists and mathematicians. At a time when no standard way to acknowledge collaboration existed, it is remarkable that in all the cases I discuss anatomists expressed in print their debt to mathematicians. The cases I analyze document an extraordinarily fertile period in the history of anatomy and science and call into question historiographic divisions among historians of science and medicine. I focus on Steno's (...) Myology, showing how his collaboration with mathematician Viviani led to a geometrical treatment of muscular contraction and to an epistemology inspired by Galileo. The collaboration between Steno and Viviani enables us to interpret a major text in the history of anatomy, one whose implications had so far eluded historians. (shrink)

In statistical thermodynamics the 2nd law is properly spelled out in terms of conditioned probabilities. As such it makes the statement, that `entropy increases with time' without preferring a time direction. In this paper we try to explain this statement---which is well known since the time of the Ehrenfests---in some detail within a systematic Bayesian approach.

We consider fragments of the relational logic RL obtained by posing various constraints on the relational terms involving the operator of composition of relations. These fragments allow to express several non classical logics including modal and description logics. We show how relational dual tableaux can be employed to provide decision procedures for each of them.

Widespread commercial use of the internet has significantly increased the volume and scope of data being collected by organisations. ‘Big data’ has emerged as a term to encapsulate both the technical and commercial aspects of this growing data collection activity. To date, much of the discussion of big data has centred upon its transformational potential for innovation and efficiency, yet there has been less reflection on its wider implications beyond commercial value creation. This paper builds upon normal accident theory to (...) analyse the broader ethical implications of big data. It argues that the strategies behind big data require organisational systems that leave them vulnerable to normal accidents, that is to say some form of accident or disaster that is both unanticipated and inevitable. Whilst NAT has previously focused on the consequences of physical accidents, this paper suggests a new form of system accident that we label data accidents. These have distinct, less tangible and more complex characteristics and raise significant questions over the role of individual privacy in a ‘data society’. The paper concludes by considering the ways in which the risks of such data accidents might be managed or mitigated. (shrink)