Occasions of Identity is an exploration of timeless philosophical issues about persistence, change, time, and sameness. Andre Gallois offers a critical survey of various rival views about the nature of identity and change, and puts forward his own original theory. He supports the idea of occasional identities, arguing that it is coherent and helpful to suppose that things can be identical at one time but distinct at another. Gallois defends this view, demonstrating how it can solve puzzles about persistence dating (...) back to the Ancient Greeks, and investigates the metaphysical consequences of rejecting the necessity and eternity of identities. (shrink)

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that, conversely, concepts (...) and methods originating from randomness enrich computability theory.The book covers topics such as lowness and highness properties, Kolmogorov complexity, betting strategies and higher computability. Both the basics and recent research results are desribed, providing a very readable introduction to the exciting interface of computability and randomness for graduates and researchers in computability theory, theoretical computer science, and measure theory. (shrink)

Covering the basics as well as recent research results, this book provides a very readable introduction to the exciting interface of computability and ...

Moral reasoning typically informs environmental decision-making by measuring the possible outcomes of policies or actions in light of a preferred ethical theory. This method is subject to many problems. Environmental pragmatism tries to overcome them, but it suffers also from some pitfalls. This paper proposes a new method of environmental pragmatism that avoids the problems of both the traditional method of environmental moral reasoning and of the general versions of environmental pragmatism. We call it 'justificatory moral pluralism' - it develops (...) the intuition that normative ethical theories need not be mutually exclusive. This leaves room for important forms of pluralist environmental ethics that do not require a once-and-for-all prior commitment to an ethical theory when deciding about policies or courses of action related to the protection of the environment. Justificatory moral pluralism offers a viable solution to the recurrent conflicts between efficient environmental decisions and the need for moral reasoning. (shrink)

The Antecedent-Behavior-Consequence (ABC)-analysis is a tool for analyzing behavior and stems from the field of psychology where it is used as a tool for the understanding of behavior in general and organizational behavior in particular. In this paper the ABC-analysis is implemented as a tool to understand why people behave ethically in organizations, through the identification of key environmental factors that cause such behavior. This analysis can be the first step to recognizing the complexity of circumstances determining ethical behavior, as (...) well as trigger for changing that behavior. This will be elaborated in the implementation process of an ethical code. The working of the ABC-analysis will be illustrated with an example derived from field research concerning the reorganization of a department of a chemical company. (shrink)

More and more organisations formulate a code of conduct in order to stimulate responsible behaviour among their members. Much time and energy is usually spent fixing the content of the code but many organisations get stuck in the challenge of implementing and maintaining the code. The code then turns into nothing else than the notorious "paper in the drawer", without achieving its aims. The challenge of implementation is to utilize the dynamics which have emerged from the formulation of the code. (...) This will support a continuous process of reflection on the central values and standards contained in the code. This paper presents an assessment method, based on the EFQM model, which intends to support this implementation process. (shrink)

The biinterpretability conjecture for the r.e. degrees asks whether, for each sufficiently large k, the [Formula: see text] relations on the r.e. degrees are uniformly definable from parameters. We solve a weaker version: for each k ≥ 7, the [Formula: see text] relations bounded from below by a nonzero degree are uniformly definable. As applications, we show that Low 1 is parameter definable, and we provide methods that lead to a new example of a ∅-definable ideal. Moreover, we prove that (...) automorphisms restricted to intervals [d, 1], d ≠ 0, are [Formula: see text]. We also show that, for each c ≠ 0, can be interpreted in [0, c] without parameters. (shrink)

We investigate the upper semilattice Eq* of recursively enumerable equivalence relations modulo finite differences. Several natural subclasses are shown to be first-order definable in Eq*. Building on this we define a copy of the structure of recursively enumerable many-one degrees in Eq*, thereby showing that Th has the same computational complexity as the true first-order arithmetic.

Most professionals have the arduous task of managing their own dual loyalty: in one contextual relationship, they are members of a profession while simultaneously they are employed as members of a locally established organisation. This sense of a dual loyalty has to be taken into account when professional bureaucracies develop ethics programmes. This article focuses on universities. Accounting for the dual loyalty of academic professionals, it is the objective of the study to contribute to the most appropriate ethics programmes in (...) such an academic context. Based on a review of the literature, we identify which ethical issues commonly emerge in educational and research activities. Then we offer a conceptual analysis of the conditions required for each different strategy of ethics management. We argue that none of the four theoretically derived strategies is applicable solely on its own. For universities it is most promising to design ethics programmes based on the guiding values of the academic community, including integrity measures for universities and corrective measures for students. The argument developed in this article is assumed to be widely applicable in assessing the appropriateness of ethics management strategies in other professional settings. (shrink)

§1. Introduction. Natural sets that can be enumerated by a computable function always seem to be either actually computable or of the same complexity as the Halting Problem, the complete r.e. set K. The obvious question, first posed in Post [1944] and since then called Post's Problem is then just whether there are r.e. sets which are neither computable nor complete, i.e., neither recursive nor of the same Turing degree as K?Let be the r.e. degrees, i.e., the r.e. sets modulo (...) the equivalence relation of equicomputable with the partial order induced by Turing computability. This structure is a partial order with least element 0, the degree of the computable sets, and greatest element 1 or 0′, the degree of K. Post's problem then asks if there are any other elements of.The solution of Post's problem by Friedberg [1957] and Muchnik [1956] was followed by various algebraic or order theoretic results that were interpreted as saying that the structure was in some way well behaved:Theorem 1.1. Every countable partial ordering or even uppersemilattice can be embedded into.Theorem 1.2. For every nonrecursive r.e. degreeathere are r.e. degreesb, c < asuch thatb ∨ c = a.Theorem 1.3. For every pair of nonrecursive r.e. degreesa < bthere is an r.e. degreecsuch thata < c < b. (shrink)

We show that the elementary theory of the recursively enumerable tt-degrees has the same computational complexity as true first-order arithmetic. As auxiliary results, we prove theorems about exact pairs and initial segments in the tt-degrees.

La délicate mise en rapport de la philosophie nietzschéenne et de l’économie est d’une pratique récente. Dans ce contexte, cet article est motivé par l’introduction du traitement nietzschéen de la « destruction créatrice » en économie et la manière de justifier philosophiquement cette référence. Pour cela, nous mettons en concurrence les interprétations évolutionnistes et nietzschéennes de la destruction créatrice. Ces deux métaphores nous semblent difficilement conciliables et nous avançons des arguments en faveur de la volonté de puissance, contre la lutte (...) pour la vie, pour mieux interpréter le mécanisme de destruction créatrice. (shrink)

We use Demuth randomness to study strong lowness properties of computably enumerable sets, and sometimes of Δ20 sets. A set A⊆N is called a base for Demuth randomness if some set Y Turing above A is Demuth random relative to A. We show that there is an incomputable, computably enumerable base for Demuth randomness, and that each base for Demuth randomness is strongly jump-traceable. We obtain new proofs that each computably enumerable set below all superlow Martin-Löf random sets is strongly (...) jump traceable, using Demuth tests. The sets Turing below each ω2-computably approximable Martin-Löf random set form a proper subclass of the bases for Demuth randomness, and hence of the strongly jump traceable sets. The c.e. sets Turing below each ω2-computably approximable Martin-Löf random set satisfy a new, very strong combinatorial lowness property called ω-traceability. (shrink)

nombreux textes inédits André Robinet. 2. LE SECOND MEMBRE DE LA DISJONCTION ARCHITECTONIQUE (D2): LES AUTOMATES SYSTÉMIQUES ( 1686-1716) Le discours leibnizien dans (v>4) emprunte la voie d'une communication qui ...

Pierre André,Michel Bourban | : Dans un contexte d’urgence, les philosophes ne peuvent plus se contenter d’élaborer des théories idéales de la justice climatique fondées sur des motivations purement morales. Il est désormais nécessaire d’envisager des approches non idéales. Nous proposons ici de prendre au sérieux le problème de la motivation à l’action et nous mettons en avant certains motifs prudentiels pour lutter contre le changement climatique, en vue non pas de remplacer, mais de renforcer les motivations morales existantes, (...) mais insuffisantes. Nous commençons par présenter trois grandes approches idéales qui ont prévalu jusqu’ici dans la recherche sur la justice climatique et sont fondées respectivement sur l’éthique déontologique, sur l’éthique des vertus et sur l’utilitarisme. Nous mettons en évidence leurs limites pratiques, en ciblant le problème de la motivation à l’action. Nous proposons ensuite quelques pistes pour résoudre ce problème en esquissant une approche non idéale de la justice climatique. Cette approche est centrée sur les motivations amorales ressortant de l’examen attentif des perturbations systémiques globales et des contextes nationaux et locaux spécifiques. Elle est à notre sens incontournable pour motiver les États-nations, les entreprises et les individus. Il s’agit cependant moins de la substituer totalement aux théories idéales de la justice climatique que de compléter celles-ci pour établir une vision plus compréhensive qui distingue le problème de la justification morale de celui de la motivation. | : In a situation of urgency, philosophers can no longer rely exclusively on ideal theories of climate justice grounded on purely moral motives. It has become necessary to build nonideal approaches. We propose to give serious consideration to the problem of motivation to act by putting forward some prudential reasons for tackling climate change—with the aim not of replacing existing but inadequate moral motivations, but of strengthening them. First, we identify three major ideal approaches that have so far prevailed in climate justice research, grounded respectively on deontological ethics, on virtue ethics, and on utilitarianism. We highlight their practical limitations, particularly with regards to the problem of motivation to act. Second, we open the way for an alternative nonideal approach to climate justice based on amoral motivations issuing from a careful examination of global systemic disruptions as well as of specific national and local situations. This approach cannot be ignored if one wishes to motivate nation-states, corporations, and individuals to act. However, our goal is not to replace ideal theory with nonideal theory, but rather to complete the former with the latter for a more comprehensive account of climate justice that distinguishes the problem of moral justification from the problem of motivation. (shrink)

Cet article s’inscrit dans la lignée de précédents travaux visant à rapprocher l’entrepreneur schumpétérien et le surhumain nietzschéen. Les deux partagent une créativité pouvant s’interpréter comme l’extériorisation d’un surcroît de force qui, dans l’optique nietzschéenne, s’assimile à la source extra-morale de l’accroissement de la vie. Reste à savoir si le cadre dans lequel ils évoluent est le même. Au-delà d’une approche historique du cycle de la conjoncture, notre hypothèse est que l’approche philosophique d’un cycle du devenir s’avère être féconde pour (...) une interprétation enrichie du cycle de la conjoncture, complétant et prolongeant ainsi notre interprétation du surhumain et de l’entrepreneur. (shrink)

We give new examples of FA presentable torsion-free abelian groups. Namely, for every n2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group in which every nontrivial cyclic subgroup is not FA recognizable.

We give a first-order coding without parameters of a copy of in the computably enumerable weak truth table degrees. As a tool, we develop a theory of parameter definable subsets.

Judith Andre examines the issue of the scope of the market. She offers a framework for thinking about the issue of blocked exchanges that draws upon concepts of ownership, alienation, and the impact of the market on exchanges, interactions, and market participants. She shows where Michael Walzer's notion of dominance fits into her wider taxonomy of the limits of the market.

The Jordan decomposition theorem states that every function $f \colon \, [0,1] \to \mathbb {R}$ of bounded variation can be written as the difference of two non-decreasing functions. Combining this fact with a result of Lebesgue, every function of bounded variation is differentiable almost everywhere in the sense of Lebesgue measure. We analyze the strength of these theorems in the setting of reverse mathematics. Over $\mathsf {RCA}_{0}$, a stronger version of Jordan’s result where all functions are continuous is equivalent to (...) $\mathsf {ACA}_0$, while the version stated is equivalent to ${\textsf {WKL}}_{0}$. The result that every function on $[0,1]$ of bounded variation is almost everywhere differentiable is equivalent to ${\textsf {WWKL}}_{0}$. To state this equivalence in a meaningful way, we develop a theory of Martin–Löf randomness over $\mathsf {RCA}_0$. (shrink)

Drawing on a half century of scholarship, of Polish studies of Copernicus and Cracow University, and of Copernicus's sources, this book offers a comprehensive re-evaluation of Copernicus's achievement, and explains his commitment to the ...

This collection of five articles and two interviews, compiled by the author himself as a kind of political testament, focuses on the ecological thinking he pioneered in Europe.

The usual action integral of classical electrodynamics is derived starting from Lanczos’s electrodynamics – a pure field theory in which charged particles are identified with singularities of the homogeneous Maxwell’s equations interpreted as a generalization of the Cauchy–Riemann regularity conditions from complex to biquaternion functions of four complex variables. It is shown that contrary to the usual theory based on the inhomogeneous Maxwell’s equations, in which charged particles are identified with the sources, there is no divergence in the self-interaction so (...) that the mass is finite, and that the only approximations made in the derivation are the usual conditions required for the internal consistency of classical electrodynamics. Moreover, it is found that the radius of the boundary surface enclosing a singularity interpreted as an electron is on the same order as that of the hypothetical “bag” confining the quarks in a hadron, so that Lanczos’s electrodynamics is engaging the reconsideration of many fundamental concepts related to the nature of elementary particles. (shrink)