The principle of maximum entropy is a general method to assign values to probability distributions on the basis of partial information. This principle, introduced by Jaynes in 1957, forms an extension of the classical principle of insufficient reason. It has been further generalized, both in mathematical formulation and in intended scope, into the principle of maximum relative entropy or of minimum information. It has been claimed that these principles are singled out as unique methods of statistical inference that agree with (...) certain compelling consistency requirements. This paper reviews these consistency arguments and the surrounding controversy. It is shown that the uniqueness proofs are flawed, or rest on unreasonably strong assumptions. A more general class of inference rules, maximizing the so-called Re[acute ]nyi entropies, is exhibited which also fulfill the reasonable part of the consistency assumptions. (shrink)

I argue that the medieval form of dialectical disputation known as obligationes can be viewed as a logical game of consistency maintenance. The game has two participants, Opponent and Respondent. Opponent puts forward a proposition P; Respondent must concede, deny or doubt, on the basis of inferential relations between P and previously accepted or denied propositions, or, in case there is none, on the basis of the common set of beliefs. Respondent loses the game if he concedes a contradictory (...) set of propositions. Opponent loses the game if Respondent is able to maintain consistency during the stipulated period of time. The obligational rules are here formalised by means of familiar notational devices, and the application of some game-theoretical concepts, such as (winning) strategy, moves, motivation, allows for an analysis of some crucial properties of the game. In particular, the primacy of inferential (syntactic) relations over semantic aspects and the dynamic character of obligations are outlined. (shrink)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion (...) of formal consistency. (shrink)

We have seen that despite Feferman's results Gödel's second theorem vitiates the use of Hilbert-type epistemological programs and consistency proofs as a response to mathematical skepticism. Thus consistency proofs fail to have the philosophical significance often attributed to them.This does not mean that consistency proofs are of no interest to philosophers. We know that a ‘non-pathological’ consistency proof for a system S will use methods which are not available in S. When S is as strong a (...) system as we are willing to entertain seriously then a consistency proof for it will yield no epistemological gain. But in other cases philosophers might argue that the proof uses methods which are merely different rather than stronger than those available in the system in question. This claim has been made, for example, in the case of the constructive consistency proofs for elementary number theory. Similar philosophical investigations can be made on relative consistency proofs, since these differ from each other in the principles they employ. For example, most relative consistency proofs can be carried out within elementary number theory, but without using the theory of real numbers, no one has been able to prove the consistency of Quine's ML relative to that of his NF.What about the consistency of all mathematics or of some strong system for set theory? How do we answer the skeptic? Since here a convincing proof is not possible, we have established that the skeptic demands too much. We cannot be certain that our axioms are free from contradiction and must treat them as hypotheses which may be abandoned or modified in the face of further mathematical experience. This attitude is taken by many foundational workers who also go on to voice opinions about thelikelihood that various systems are consistent. Since these opinions are variously supported by appeals to the clarity of the mathematical concept formalized, the existence or non-existence of ‘weird’ models for the system and actual empirical experience with the system, this is surely a fruitful area for philosophical research. (shrink)

In this paper I present a new way of understanding Dutch Book Arguments: the idea is that an agent is shown to be incoherent iff he would accept as fair a set of bets that would result in a loss under any interpretation of the claims involved. This draws on a standard definition of logical inconsistency. On this new understanding, the Dutch Book Arguments for the probability axioms go through, but the Dutch Book Argument for Reflection fails. The question of (...) whether we have a Dutch Book Argument for Conditionalization is left open. (shrink)

After a brief flirtation with logicism around 1917, David Hilbertproposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays andWilhelm Ackermann, throughout the 1920s. The two technical pillars of the project were the development of axiomatic systems for everstronger and more comprehensive areas of mathematics, and finitisticproofs of consistency of these systems. Early advances in these areaswere made by Hilbert (and Bernays) in a series of lecture courses (...) atthe University of Göttingen between 1917 and 1923, and notably in Ackermann's dissertation of 1924. The main innovation was theinvention of the -calculus, on which Hilbert's axiom systemswere based, and the development of the -substitution methodas a basis for consistency proofs. The paper traces the developmentof the ``simultaneous development of logic and mathematics'' throughthe -notation and provides an analysis of Ackermann'sconsistency proofs for primitive recursive arithmetic and for thefirst comprehensive mathematical system, the latter using thesubstitution method. It is striking that these proofs use transfiniteinduction not dissimilar to that used in Gentzen's later consistencyproof as well as non-primitive recursive definitions, and that thesemethods were accepted as finitistic at the time. (shrink)

It might be thought that we could argue for the consistency of a mathematical theory T within T, by giving an inductive argument that all theorems of T are true and inferring consistency. By Gödel's second incompleteness theorem any such argument must break down, but just how it breaks down depends on the kind of theory of truth that is built into T. The paper surveys the possibilities, and suggests that some theories of truth give far more intuitive (...) diagnoses of the breakdown than do others. The paper concludes with some morals about the nature of validity and about a possible alternative to the idea that mathematical theories are indefinitely extensible. (shrink)

Over three decades, Axel Honneth has developed one of the most fully-structured recognition paradigms in the field of social philosophy. Although it has undergone considerable theoretical changes, this paradigm retains a strong unity. I will analyze it in light of the Frankfurt school critical social theory research program. By so doing, I aim, first, to outline a defense of Honneth’s theory against growing criticisms, which tend to see depletion of its critical insights in his most recent works. Secondly, I aim (...) to highlight that most of the weaknesses pointed out by his critics derive from the methodology with which Honneth frames the concept of recognition, and which he explicitly related to the Frankfurt school critical social theory. Thirdly, I argue that, insofar as we are at present witnessing a transformation in the nature of current struggles for recognition, it is precisely one of the premises of this methodology that runs the risk of being undermined (i.e. the classical relation between theory and “praxis”). (shrink)

In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK∞+. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK∞+ interprets the Kelley Morse class theory. Here we prove that GPK∞+ + ACWF and the Kelley-Morse class theory with the axiom of global choice and the axiom “On is ramifiable” are mutually interpretable. This shows that GPK∞+ + ACWF is a “strong” theory since “On (...) is ramifiable” implies the existence of a proper class of inaccessible cardinals. (shrink)

Immanuel Kant is one of Alain Badiou’s principle philosophical enemies. Kant’s critical philosophy is anathema to Badiou not only because of the latter’s openly aired hatred of the motif of finitude so omnipresent in post-Kantian European intellectual traditions—Badiou blames Kant for inventing this motif—but also because of its idealism. For Badiou-the-materialist, as for any serious philosophical materialist writing in Kant’s wake, transcendental idealism must be dismantled and overcome. In his most recent works, Badiou attempts to invent a non-Kantian notion of (...) the transcendental, a notion compatible with the basic tenets of materialism. However, from 1988’s Being and Event up through the present, Badiou’s oeuvre contains indications that he hasn’t managed fully to purge the traces of Kantian transcendental idealism that arguably continue to haunt his system—with these traces clustering around a concept Badiou christens “counting-for-one”. The result is that, in the end, Kant’s shadow still falls over Badiouian philosophy—this is despite Badiou’s admirable, sophisticated, and instructive attempts to step out from under it—thus calling into question this philosophy’s self-proclaimed status as materialist through and through. (shrink)

This paper scrutinizes Everett Nelson's conception of consistency by comparing it with the “standard” account of C. I. Lewis. This conflict surprisingly resembles a related controversy between the ancient logicians Chrysippus and Diodorus. Nelson's intuitions behind his peculiar conception of consistency are analysed and certain features of his logical system are critically examined. In particular, his objections against the law of the transitivity of implication and against the laws of conjunction and disjunction have to be discussed. Although Nelson's (...) considerations contain interesting ideas in favour of a relevantist conception of logic, they fail to convincingly support the hardcore connexive thesis that even a selfcontradictory proposition doesn't entail its own negation. (shrink)

In *Cognition and Commitment in Hume's Philosophy*, Don Garrett argues for the coherence of Hume's philosophy when it is viewed as work in cognitive psychology. Without denying this, I argue that there is more to Hume's standpoint than cognitive psychology. Specifically, Hume's standpoint shifts as the level of inquiry changes. A descriptive cognitive psychology is one standpoint that he occupies. However, he occupies other standpoints as well: the commonsense standpoint of the vulgar is one; the radical doubt of the skeptic (...) is another. Such a radical perspectivism is central to Hume's writings. (shrink)

Stephen Yablo [23,24] introduces a new informal paradox, constituted by an infinite list of semi-formalized sentences. It has been shown that, formalized in a first-order language, Yablo’s piece of reasoning is invalid, for it is impossible to derive falsum from the sequence, due mainly to the Compactness Theorem. This result casts doubts on the paradoxical character of the list of sentences. After identifying two usual senses in which an expression or set of expressions is said to be paradoxical, since second-order (...) languages are not compact, I study the paradoxicality of Yablo’s list within these languages. While non-paradoxical in the first sense, the second-order version of the list is a paradox in our second sense. I conclude that this suffices for regarding Yablo’s original list as paradoxical and his informal argument as valid. (shrink)

Rule-consequentialism has been accused of either collapsing into act-consequentialism or being internally inconsistent. I have tried to develop a form of rule-consequentialism without these flaws. In this June's issue of Utilitas, Robert Card argued that I have failed. Here I assess his arguments.

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff there (...) is a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

The last section of “Lecture at Zilsel’s” [9, §4] contains an interesting but quite condensed discussion of Gentzen’s first version of his consistency proof for P A [8], reformulating it as what has come to be called the no-counterexample interpretation. I will describe Gentzen’s result (in game-theoretic terms), fill in the details (with some corrections) of Godel's reformulation, and discuss the relation between the two proofs.

In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert's programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert's epsilon-substitution method. There was, however, a second approach which was not reflected in the publications of the Hilbert school in the 1920s, and which is a direct precursor of Hilbert's first epsilon theorem and a certain "general consistency result" due to Bernays. An analysis of the form of this so-called (...) "failed proof" sheds further light on an interpretation of Hilbert's programme as an instrumentalist enterprise with the aim of showing that whenever a "real" proposition can be proved by ?ideal? means, it can also be proved by "real", finitary means. (shrink)

To consciously bolster behaviour that is disapproved by others (i.e., stigmatised behaviour) people may hold and report a favourable attitude toward the behaviour. However, achieving such bolstering outside awareness may be more difficult. Explicit attitudes were measured with self-report measures, and the Implicit Association Test was used to assess implicit attitudes toward behaviour held by stigmatised actors (smokers) and nonstigmatised actors (vegetarians and omnivores). Smokers' showed greater attitude-behaviour consistency in their explicit attitudes toward smoking that in their implicit attitudes. (...) By contrast, vegetarians and omnivores showed attitude-behaviour-consistency at both implicit and explicit levels. Smokers' implicit negative attitudes toward smoking may reflect its status as a stigmatised behaviour, or its addictive nature. (shrink)

Thought: A Journal of Philosophy, EarlyView.

We introduce a nonstandard arithmetic $NQA^-$ based on the theory developed by R. Chuaqui and P. Suppes in [2] (we will denote it by $NQA^+$ ), with a weakened external open minimization schema. A finitary consistency proof for $NQA^-$ formalizable in PRA is presented. We also show interesting facts about the strength of the theories $NQA^-$ and $NQA^+$ ; $NQA^-$ is mutually interpretable with $I\Delta_0 + EXP$ , and on the other hand, $NQA^+$ interprets the theories IΣ1 and $WKL_0$.

Tragic choices arise during the COVID-19 pandemic when the limited resources made available in acute medical settings cannot be accessed by all patients who need them. In these circumstances, healthcare rationing is unavoidable. It is important in any healthcare rationing process that the interests of the community are recognised, and that decision-making upholds these interests through a fair and consistent process of decision-making. Responding to recent calls (1) to safeguard individuals’ legal rights in decision-making in intensive care, and (2) for (...) new authoritative national guidance for decision-making, this paper seeks to clarify what consistency and fairness demand in healthcare rationing during the COVID-19 pandemic, from both a legal and ethical standpoint. The paper begins with a brief review of UK law concerning healthcare resource allocation, considering how community interests and individual rights have been marshalled in judicial deliberation about the use of limited health resources within the National Health Service (NHS). It is then argued that an important distinction needs to be drawn between procedural and outcome consistency, and that a procedurally consistent decision-making process ought to be favoured. Congruent with the position that UK courts have adopted for resource allocation decision-making in the NHS more generally, specific requirements for a procedural framework and substantive triage criteria to be applied within that framework during the COVID-19 pandemic are considered in detail. (shrink)

Is there any good reason to believe in Nietzsche's metaphysics even thought he himself claims that it is not "the truth" in correspondence with the world? According to Danto, Nietzsche's metaphysics is only valid for Nietzsche himself. However, this answer does not take into consideration Nietzsche's claim for the general superiority of his philosophy. Nietzsche's view seems inconsistent: on the one hand, he claimed all perspectives are equally false in respect to "the truth," but on the other, he regarded his (...) view as superior. This book explains in which respect Nietzshe justifies his claims, that Nietzsche's position is not inconsistent, and why consistency is important for him. (shrink)

The paper takes thePrincipal Principle to be a norm demanding that subjective degrees of belief of a Bayesian agent be equal to the objective probabilities once the agent has conditionalized his subjective degrees of beliefs on the values of the objective probabilities, where the objective probabilities can be not only chances but any other quantities determined objectively. Weak and strong consistency of the Abstract Principal Principle are defined in terms of classical probability measure spaces. It is proved that the (...) Abstract Principal Principle is weakly consistent and that it is strongly consistent in the category of probability measure spaces where the Boolean algebra representing the objective random events is finite. It is argued that it is desirable to strengthen the Abstract Principal Principle by adding a stability requirement to it. Weak and strong consistency of the resulting Stable Abstract Principal Principle are defined, and the strong consistency of the Abstract Principal Principle is interpreted as necessary for a non-omniscient Bayesian agent to be able to have rational degrees of belief in all epistemic situations. It is shown that the Stable Abstract Principal Principle is weakly consistent, but the strong consistency of the Stable Abstract Principal principle remains an open question. We conclude that we do not yet have proof that Bayesian agents can have rational degrees of belief in every epistemic situation. (shrink)

It is shown that the constructive four-valued logic N4 can be faithfully embedded into the modal logic S4. This embedding is used to obtain complete, cut-free display sequent calculi for N4 and C4, the modal logic of consistency over N4. C4 is a natural monotonic base system for semantics-based non-monotonic reasoning.

For “natural enough” systems of ordinal notation we show that α times iterated local reflection schema over a sufficiently strong arithmetic T proves the same Π 1 0 -sentences as ω α times iterated consistency. A corollary is that the two hierarchies catch up modulo relative interpretability exactly at ε-numbers. We also derive the following more general “mixed” formulas estimating the consistency strength of iterated local reflection: for all ordinals α ⩾ 1 and all β, β ≡ Π (...) 1 0 T ω α · , α ≡ Π 1 0 T β + ω α . Here T α stands for α times iterated local reflection over T , T β stands for β times iterated consistency, and ≡ Π 1 0 denotes mutual Π 1 0 -conservativity. In an appendix to this paper we develop our notion of “natural enough” system of ordinal notation and show that such systems do exist for every recursive ordinal. (shrink)

The paper investigates inaccessible set axioms and their consistency strength in constructive set theory. In ZFC inaccessible sets are of the form Vκ where κ is a strongly inaccessible cardinal and Vκ denotes the κth level of the von Neumann hierarchy. Inaccessible sets figure prominently in category theory as Grothendieck universes and are related to universes in type theory. The objective of this paper is to show that the consistency strength of inaccessible set axioms heavily depend on the (...) context in which they are embedded. The context here will be the theory CZF− of constructive Zermelo–Fraenkel set theory but without -Induction . Let INAC be the statement that for every set there is an inaccessible set containing it. CZF−+INAC is a mathematically rich theory in which one can easily formalize Bishop style constructive mathematics and a great deal of category theory. CZF−+INAC also has a realizability interpretation in type theory which gives its theorems a direct computational meaning. The main result presented here is that the proof theoretic ordinal of CZF−+INAC is a small ordinal known as the Feferman–Schütte ordinal Γ0. (shrink)

Two studies investigated how planning affects intention-behavior consistency. In Study 1 an experimental group and control group which each consisted of 14 undergraduates were requested in computerized interviews to indicate which activities they intended to perform on the following day. Subjects in the experimental group were also requested in a second phase of the interviews to specify when and where they intended to perform the activities. The results showed that activities for which time and place had been specified were (...) more likely to be performed. In Study 2 another 75 undergraduates volunteered to participate in an experiment in which they were requested to perform an activity (reporting mood effects of reading a prose excerpt) by themselves on one of three following days. One group of subjects only agreed to perform the activity, another group agreed to perform the activity as well as indicated when and where they would do it, and a third group in addition to this indicated which other activities they would perform on the same day. In support of the hypothesis that planning an activity increases the likelihood that it will be performed, the results showed that subjects who indicated other activities more frequently performed the target activity. More efficient time management resulting from planning may account for the findings, although further research is needed to show this conclusively. (shrink)

The logical theory of branching space-times, which is intended to provide a framework for studying objective indeterminism, remains at a certain distance from the discussion of space-time theories in the philosophy of physics. In a welcome attempt to clarify the connection, Earman has recently found fault with the branching approach and suggested ``pruning some branches from branching space-time''. The present note identifies the different---order theoretic vs. topological---points of view of both discussion as a reason for certain misunderstandings, and tries to (...) remove them. Most importantly, we give a novel, topological criterion of modal consistency that usefully generalizes the order-theoretic criterion of directedness, and we introduce a differential-geometrical version of BST based on the theory of non-Hausdorff manifolds. (shrink)

Although most business-owning families (BOFs) that operate large family firms practice community social engagement both in private via family foundations and in the business domain via community corporate social responsibility (CSR) programs, the relationship between their activities in the two domains remains unclear. Prior literature speculates that BOFs will deprioritize firms’ community CSR when they have family foundations as more efficient vehicles to achieve socioemotional wealth (SEW), which would imply that such BOFs are less ethical in operating their firms. We (...) contrast these speculations by enriching the socioemotional wealth (SEW) approach with instrumental stakeholder theory and cue consistency arguments and theorize that BOFs seek to ensure consistency between their activities in the two domains. Using data from 2008 to 2018 on the 95 largest US public family firms whose BOFs also operate private foundations, we show a positive relationship between family foundation giving and firm community CSR activity. Furthermore, we provide evidence for the boundary conditions of this relationship, showing that it is weaker for firms that do not share the family’s name and stronger for those firms with family leaders who also lead their families’ foundations. (shrink)

The aim of this study was to investigate the consistency between the self-reports and teacher ratings of students’ emotional and social inclusion at school as well as for their academic self-concept. The German version of the Perceptions of Inclusion Questionnaire (PIQ) was administered to 329 grade 8 students (50.8% female, Mage = 14.5 years, SDage = 0.5 years) and their teachers. First, the three-dimensional structure of both PIQ versions was confirmed by confirmatory item factor analysis. The  and  (...) coefficients demonstrated good reliability for all scales. Second, a correlated trait-correlated method minus one model provided evidence that the method-specificity of teacher ratings was larger than the consistency between the self-reports and teacher ratings. Third, the results of a latent difference model indicated that general method effects can partly be explained by a student’s gender or special educational needs. Finally, the low consistency between self-reports and teacher rating is discussed. (shrink)

This study adopts an intrapersonal perspective to explore how and when employees shift roles from help giver to help seeker by investigating the relationship between their help-giving and following help-seeking behavior. Based on self-regulation theory, we hypothesize two contradictory psychological processes (i.e., consistency vs. licensing) via which employees determine whether to seek help after giving help. Importantly, we differentiate autonomous help-seeking from dependent help-seeking and propose stronger effects of help-giving on dependent help-seeking. Further, we identify leader respect as a (...) moderator to solve the opposite effects of employees’ help-giving on their subsequent help-seeking indicated by the two contradictory mechanisms. Results of two field studies consistently showed that the negative (positive) relationship between help-giving and dependent help-seeking was serially mediated by personal reputation and reputation maintenance concerns (perceived increase of moral credits and help-seeking justification). Results regarding autonomous help-seeking were inconsistent and help-giving only positively affected autonomous help-seeking via perceived increase of moral credits and help-seeking justification in Study 2. Leader respect weakened the positive (in Study 1) but strengthened the negative relationship (in Study 1 and 2). We discuss theoretical implications for helping literature, self-regulation theory, and moral behavior research. (shrink)

The paper by Bowman-Smart et al. (2023) on noninvasive prenatal genetic testing (NIPT) for non-medical traits aims to set out the case for and the case against such testing. In response to their pa...

A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. da Costa’s approach has led to the family of Logics of Formal (In)consistency (LFIs). In this paper we provide non-deterministic semantics for a very large (...) family of first-order LFIs (which includes da Costa’s original system.. (shrink)

Gödel’s Second Incompleteness Theorem states axiom systems of sufficient strength are unable to verify their own consistency. We will show that axiomatizations for a computer’s floating point arithmetic can recognize their cut-free consistency in a stronger respect than is feasible under integer arithmetics. This paper will include both new generalizations of the Second Incompleteness Theorem and techniques for evading it.

Imagine a sculptor who molds a lump of clay to create a statue. Hylomorphism claims that the statue and the lump of clay are two different colocated objects that have different forms, even though they share the same matter. Recently, there has been some discussion on the requirements of consistency for hylomorphist theories. In this paper, we focus on an argument presented by Maegan Fairchild, according to which a minimal version of hylomorphism is inconsistent. We argue that the argument (...) is unsound or, at best, it just points to a well-known problem for hylmorphist theories. Additionally, we explore some general consequences of this fact. (shrink)

According to the metaethics of R. M. Hare, we determine morality objectively by making a moral judgment, committing to the moral principle underlying that judgment, and then logically extending that moral principle to all relevantly similar cases. This metaethical system called universal prescriptivism had a major impact on Peter Singer, whose arguments for radically improving animal welfare and alleviating global suffering frequently rely on Hare-ian appeals to logical consistency. Hare’s work in metaethics is largely rejected now, but Singer’s popularity (...) has kept Hare’s prescriptivism alive through the many animal welfarists and effective altruists who have borrowed Singer’s style in their own logic-based calls for the obligation to reduce suffering impartially. In this paper, I will describe Hare’s metaethics, show how this has served as Singer’s own metaethics for most of his academic career, and then I will describe a problem for Hare’s system that is particularly relevant to effective altruists who have been influenced by Singer’s early writings and may be repeating the mistakes that Hare bequeathed to Singer. (shrink)

An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has been proposed as a potential means to bound the impact of artificial general intelligence.

Moore and Donnelly argue in the paper ‘The job of “ethics committees”’ that research ethics committees should be renamed and that their job should be specified as “review of proposals for consistency with the duly established and applicable code” only.1 They raise a large number of issues, but in this comment I briefly want to suggest that two of their arguments are fundamentally flawed. The first flawed argument is the argument related to the separation of powers. Moore and Donnelly (...) proceed from the premise that it is pro tanto better to have an institutional arrangement that separates code-making powers and decisional powers, and then proceed to argue that this separation is not feasible for what they call ‘ethics consistency review’ because “no matter who established any prespecified review standards, the review decision maker must be empowered at review to revise those standards when this would make for an ethical improvement. This is because any understanding of ethics-consistency standards themselves and of their implications for any case is fallible and improvable in …. (shrink)