A. J. P. Taylor's book, The Origins of the Second World War, has generated substantial criticism from historians. However, Taylor and his critics agree on many aspects of causality. At least four models of the cause versus condition, argument can be discerned in the work of both Taylor and his critics. The first is the "traditional" theory that the war was caused by a single man, Adolf Hitler. A second issue concerns what it means to say that Hitler "intended" to (...) take certain actions. The third is to what extent conditions forced the occurrence of particular events. The final conception of cause revealed is the notion of a condition which is sufficient to effect a result. Though Taylor seems to arrive at this position, he does not offer any opinion on the sufficient conditions themselves. (shrink)

"L'auteur discute ici certaines grandes questions qui préoccupent aujourd'hui les philosophes de l'histoire en Grande-Bretagne et aux Etats-Unis. Dans chaque cas, il analyse le point de vue d'un philosophe ou d'un historien bien connu: R. G. Collingwood, Charles Beard, J. W. N. Watkins, A. J. P. Taylor et O. Spengler.

I argue that Kant’s mature political philosophy entails the provisionality thesis. The provisionality thesis asserts that in a world like ours, populated with beings sufficiently like us, acquired rights (rights to external objects of choice, including property, sovereignty and territory) are necessarily provisional. I motivate the standard view, which restricts the notion of provisional right to the state of nature and the transition from the state of nature to the civil condition. I then provide two textual arguments against it. I (...) conclude by reflecting on the normative implications of the provisionality thesis, arguing that they are more modest than has been formerly appreciated. (shrink)

Context The conduct of medical research led by Northern countries in developing countries raises ethical questions. The assessment of research protocols has to be twofold, with a first reading in the country of origin and a second one in the country where the research takes place. This reading should benefit from an independent local ethical review of protocols. Consequently, ethics committees for medical research are evolving in Africa. Objective To investigate the process of establishing ethics committees and their independence. Method (...) Descriptive study of 25 African countries and two North American countries. Data were recorded by questionnaire and interviews. Two visits of ethics committee meetings were conducted on the ground: over a period of 3 months in Kigali (Rwanda) and 2 months in Washington DC (USA). Results 22 countries participated in this study, 20 from Africa and two from North America. The response rate was 80%. 75% of local African committees developed into national ethics committees. During the last 5 years, these national committees have grown on a structural level. The circumstances of creation and the general context of underdevelopment remain the major challenges in Africa. Their independence could not be ensured without continuous training and efficient funding mechanisms. Institutional ethics committees are well established in USA and in Canada, whereas ethics committees in North America are weakened by the institutional affiliation of their members. Conclusion The process of establishing ethics committees could affect their functioning and compromise their independence in some African countries and in North America. (shrink)

Contractarians aim to derive moral principles from the dictates of instrumental rationality alone. But it is well-known that contractarian moral theories struggle to identify normative principles that are both uniquely rational and morally compelling. Michael Moehler's recent book, *Minimal Morality* seeks to avoid these difficulties by developing a novel "two-level" social contract theory, which restricts the scope of contractarian morality to cases of deep and persistent moral disagreement. Yet Moehler remains ambitious, arguing that a restricted version of Kant's categorical imperative (...) is a uniquely rational principle of conflict resolution. We develop a formal model of Moehler's informal game-theoretic argument, which reconstructs a valid argument for Moehler's conclusion. This model, in turn, enables us to expose how a successful argument for Moehler's contractarian principle rests on assumptions that can only be justified by subtle yet significant departures from the standard conception of rationality. We thus extend our understanding of familiar contractarian difficulties by showing how they arise even if we restrict the scope of contractarian morality to a domain where its application seems both promising and necessary. We show that the problem lies not in contractarians' immodest ambitions but in the modest resources rationality can offer to satisfy them. (shrink)

We isolate two abstract determinacy theorems for games of length $\omega_1$ from work of Neeman and use them to conclude, from large-cardinal assumptions and an iterability hypothesis in the region of measurable Woodin cardinals thatif the Continuum Hypothesis holds, then all games of length $\omega_1$ which are provably $\Delta_1$ -definable from a universally Baire parameter are determined;all games of length $\omega_1$ with payoff constructible relative to the play are determined; andif the Continuum Hypothesis holds, then there is a model of (...) ${\mathsf{ZFC}}$ containing all reals in which all games of length $\omega_1$ definable from real and ordinal parameters are determined. (shrink)

Takeuti introduced an infinitary proof system for determinate logic and showed that for transitive models of Zermelo-Fraenkel set theory with the Axiom of Dependent Choice that contain all reals, the cut-elimination theorem is equivalent to the Axiom of Determinacy, and in particular contradicts the Axiom of Choice. We consider variants of Takeuti's theorem without assuming the failure of the Axiom of Choice. For instance, we show that if one removes atomic formulae of infinite arity from the language of Takeuti's proof (...) system, then cut elimination is equivalent to a determinacy hypothesis provable, e.g., in ZFC + “there are infinitely many Woodin cardinals.” A slight extension of the proof system admits cut elimination for countable sequents under the same assumptions. A simple modification of the proof system yields analogs of the results above for the Axiom of Real Determinacy and uncountably many Woodin cardinals. (shrink)

It is shown that the determinacy of $G_{\delta \sigma }$ games of length $\omega ^2$ is equivalent to the existence of a transitive model of ${\mathsf {KP}} + {\mathsf {AD}} + \Pi _1\textrm {-MI}_{\mathbb {R}}$ containing $\mathbb {R}$. Here, $\Pi _1\textrm {-MI}_{\mathbb {R}}$ is the axiom asserting that every monotone $\Pi _1$ operator on the real numbers has an inductive fixpoint.

We characterize the determinacy of $F_\sigma $ games of length $\omega ^2$ in terms of determinacy assertions for short games. Specifically, we show that $F_\sigma $ games of length $\omega ^2$ are determined if, and only if, there is a transitive model of ${\mathsf {KP}}+{\mathsf {AD}}$ containing $\mathbb {R}$ and reflecting $\Pi _1$ facts about the next admissible set.As a consequence, one obtains that, over the base theory ${\mathsf {KP}} + {\mathsf {DC}} + ``\mathbb {R}$ exists,” determinacy for $F_\sigma $ (...) games of length $\omega ^2$ is stronger than ${\mathsf {AD}}$, but weaker than ${\mathsf {AD}} + \Sigma _1$ -separation. (shrink)

We give a simple proof ofΠ 1 1 andΠ 2 1 uniformization results, which is based on the use ofΠ 2 1 -Logic.

i) We show for each context-free language L that by considering each word of L as a structure in a natural way, one turns L into a finite union of classes which satisfy a finitary analog of the characteristic properties of complete universal first order classes of structures equipped with elementary embeddings. We show this to hold for a much larger class of languages which we call free local languages. ii) We define local languages, a class of languages between free (...) local and context-sensitive languages. Each local language L has a natural extension L ∞ to infinite words, and we prove a series of "pumping lemmas", analogs for each local language L of the "uvxyz theorem" of context free languages: they relate the existence of large words in L or L ∞ to the existence of infinite "progressions" of words included in L, and they imply the decidability of various questions about L or L ∞ . iii) We show that the pumping lemmas of ii) are independent from strong axioms, ranging from Peano arithmetic to ZF + Mahlo cardinals. We hope that these results are useful for a model-theoretic approach to the theory of formal languages. (shrink)