Online research in philosophy

We are told by philosophers that photographs are a distinct category of image because the photographic process is mind-independent. Furthermore, that the experience of viewing a photograph has a special status, justified by a viewer’s knowledge that the photographic process is mind-independent. Versions of these ideas are central to discussions of photography in both the philosophy of art and epistemology and have far-reaching implications for science, forensics and documentary journalism. Mind-independence (sometimes ‘belief independence’) is a term employed to (...) highlight what is important in the idea that photographs can be produced naturally, mechanically, accidentally or automatically. Insofar as the process is physical, natural, mechanical or causal it can occur without human agency or intervention, entirely in the absence of intentional states. Presented innocuously, the idea is that although photographs are dependent on natural or mechanical processes, they can be produced independently of human agency – particularly human beliefs. Presented in a stronger form, the claim is that even if human agency is heavily involved in the production process, the definitive features that make the photograph a photograph and determine its salient properties are nonetheless independent of human minds. In epistemic debates, mind-independence is viewed as essential for explaining why photographs occupy a distinct category among images and justifying a variety of claims about their privileged epistemic and affective status in science, forensics, popular culture and journalism. But, in the philosophy of art, claims about mind-. (shrink)

An agent who violates independence can avoid dynamic inconsistency in sequential choice if he is sophisticated enough to make use of backward induction in planning. However, Seidenfeld has demonstrated that such a sophisticated agent with dependent preferences is bound to violate the principle of dynamic substitution, according to which admissibility of a plan is preserved under substitution of indifferent options at various choice nodes in the decision tree. Since Seidenfeld considers dynamic substitution to be a coherence condition on dynamic (...) choice, he concludes that sophistication cannot save a violator of independence from incoherence. In response to McClennen’s objection that relying on dynamic substitution when independence is at stake must be question-begging, Seidenfeld undertakes to prove that dynamic substitution follows from the principle of backward induction alone, provided we assume that the agent’s admissible choices from different sets of feasible plans are all based on a fixed underlying preference ordering of plans. This paper shows that Seidenfeld's proof fails: depending on the interpretation, it is either invalid or based on an unacceptable assumption. (shrink)

We present a family of counter-examples to David Christensen's Independence Criterion, which is central to the epistemology of disagreement. Roughly, independence requires that, when you assess whether to revise your credence in P upon discovering that someone disagrees with you, you shouldn't rely on the reasoning that lead you to your initial credence in P. To do so would beg the question against your interlocutor. Our counter-examples involve questions where, in the course of your reasoning, you almost fall (...) for an easy-to-miss trick. We argue that you can use the step in your reasoning where you (barely) caught the trick as evidence that someone of your general competence level (your interlocutor) likely fell for it. Our cases show that it's permissible to use your reasoning about disputed matters to disregard an interlocutor's disagreement, so long as that reasoning is embedded in the right sort of explanation of why she finds the disputed conclusion plausible, even though it's false. (shrink)

We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.

We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about independence and (...) dependence. We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using = ${(\vec{x}, \vec{y})}$ have. (shrink)

Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in a compositional analysis of the (...) de dicto - de re ambiguity in natural language. It will be argued that Independence Friendly logic is suitable, whereas Dependence Logic is not. (shrink)

: Descartes maintained substance dualism, the thesis that no substance has both mental and material properties. His main argument for this thesis, the so-called separability argument from the Sixth Meditation (AT VII: 78) has long puzzled readers. In this paper I argue that Descartes’ independence conception of substance (which Descartes presents in article 51 of the Principles) is crucial for the success of the separability argument and that Descartes used this conception of substance to defend his argument for substance (...) dualism from an important objection. (shrink)

Rawls in his later philosophy claims that it is sufficient to accept political conception as true or right, depending on what one's worldview allows, on the basis of whatever reasons one can muster, given one's worldview (doctrine). What political liberalism is interested in is a practical agreement on the political conception and not in our reasons for accepting it. There are deep issues (regarding deep values, purpose of life, metaphysics etc.) which cannot be resolved through invoking common reasons (this is (...) the fact of free reason itself), and trying to resolve them would involve us in interminable debates and would hamper the practical task of agreement on the political conception. Given the absolute necessity of a political society which is stable and enduring, it is thus wise to avoid these issues in founding a political society and choosing its basic principles - this is the pragmatic part of Rawls's position. In this paper I argue that this strategy leads Rawls into a paradox: (i) although the intention is to stay independent of comprehensive doctrines, the political conception is in fact totally (and precariously) dependent on comprehensive doctrines (not just on one doctrine but on each and every major doctrine in society). It is dependent on them: for its conceptualisation as an independent idea, for its justification, for the check of its reasonability in relation to the external world, for the formation of identities and value inculcation and hence for the formation of its model citizen; (ii) the very search for independence makes the political conception more dependent on comprehensive doctrines, and by extension makes it potentially more prone to intervention in and tampering with comprehensive doctrines (it is enough to show that it is a strong conceptual possibility to cast doubt on the whole strategy). Thus, for example, the political conception relies on the hope that “firmly held convictions gradually change” and that it would “in fact . . . have the capacity to shape those doctrines toward itself”. The purpose of the Rawlsian conjecture is to give these “hopes” a concrete, practical form by giving advice to proponents of the comprehensive doctrine on how they can do all this and “try to show them that, despite what they might think, they can still endorse a reasonable political conception”. I further argue that this paradox can be overcome by making the core of political liberalism more flexible. (shrink)

David Lewis’s semantics for counterfactuals remains the standard view. Yet counter-examples have emerged, which suggest a need to invoke causal independence, and thus threaten conceptual circularity. I will review some of these counter-examples (§§1–2), illustrate how causal independence proves useful (§3), and suggest that any resulting circularity is unproblematic (§4).

In his well-known 1952 dialogue Max Black describes a counterexample to the Principle of the Identity of Indiscernibles (PII). The counterexample is a world containing nothing but two purportedly indiscernible iron spheres. Reflecting on Black's example, Robert Adams uses the possibility of a world containing two almost indiscernible spheres to argue for the possibility of the indiscernible spheres world. One of Adams's almost indiscernible spheres has a small impurity, and, Adams writes, "Surely... the absence of the impurity would not make (...) such a universe impossible." The appeal to "surely" constitutes a gap in Adams's argument. This paper bridges the gap with a premise that exploits the counterfactual conditional and the related notion of causal independence. The paper then argues that causal independence bears in a similar way on an issue Nathan Salmon raises concerning Kripke's argument for the Essentiality of Origins. (shrink)

I argue that mind-independence realism should be characterised in terms of what I call 'essential', rather than 'modal', independence from our mental lives. I explore the connections between the two kinds of independence, and argue that characterizations in terms of essence respect more intuitions about what realism is, harmonize better with standard characterizations of anti-realism, and avert the threat of subversion from Blackburn's quasi-realist.

According to orthodox (Kolmogorovian) probability theory, conditional probabilities are by definition certain ratios of unconditional probabilities. As a result, orthodox conditional probabilities are undefined whenever their antecedents have zero unconditional probability. This has important ramifications for the notion of probabilistic independence. Traditionally, independence is defined in terms of unconditional probabilities (the factorization of the relevant joint unconditional probabilities). Various “equivalent” formulations of independence can be given using conditional probabilities. But these “equivalences” break down if conditional probabilities are (...) permitted to have conditions with zero unconditional probability. We reconsider probabilistic independence in this more general setting. We argue that a less orthodox but more general (Popperian) theory of conditional probability should be used, and that much of the conventional wisdom about probabilistic independence needs to be rethought. (shrink)

Individual substances are the ground of Aristotle’s ontology. Taking a liberal approach to existence, Aristotle accepts among existents entities in such categories other than substance as quality, quantity and relation; and, within each category, individuals and universals. As I will argue, individual substances are ontologically independent from all these other entities, while all other entities are ontologically dependent on individual substances. The association of substance with independence has a long history and several contemporary metaphysicians have pursued the connection. In (...) this chapter, I will discuss the intersection of these notions of substance and ontological dependence in Aristotle. I will canvass a few contemporary formulations of ontological dependence and discuss some of the interpretative difficulties in ascribing any of these formulations to Aristotle’s characterization of individual substances as ontologically independent. My aim is not to resolve fully these difficulties but to locate the topics of substance and independence relative to certain other controversies in Aristotle studies. However, I will sketch a position. In particular, elsewhere I have speculated that Aristotle is both a primitivist and a pluralist with respect to ontological dependence, and I will develop this line of interpretation a bit further later in the chapter. (shrink)

It is widely held that, as Morgenbesser’s case is usually taken to show, considerations of causal or probabilistic dependence should enter into the evaluation of counterfactuals. This paper challenges that idea. I present a modified version of Morgenbesser’s case and show how probabilistic approaches to counterfactuals are in serious trouble. Specifically, I show how probabilistic approaches run into a dilemma in characterizing probabilistic independence. The modified case also illustrates a difficulty in defining causal independence. I close with a (...) suggestion for a strategy to handle this difficulty. (shrink)

Traditionally, independence accounts of substance have held pride of place. Aristotle, Aquinas, Descartes and Spinoza—among many others—accepted independence accounts in one form or another. The general thrust of such views is that substances are those things that are apt to exist in themselves. In this paper, I argue that several contemporary independence theories of substance—including those of Kit Fine, E.J. Lowe and Michael Gorman—include an ad hoc element that renders them unacceptable. I’ll also consider the theories of (...) Hoffman and Rosenkrantz. (shrink)

Intuitively, a classical field theory is background-independent if the structure required to make sense of its equations is itself subject to dynamical evolution, rather than being imposed ab initio. The aim of this paper is to provide an explication of this intuitive notion. background-independence is not a not formal property of theories: the question whether a theory is background-independent depends upon how the theory is interpreted. Under the approach proposed here, a theory is fully backgroundindependent relative to an interpretation (...) if each physical possibility corresponds to a distinct spacetime geometry; and it falls short of full background-independence to the extent that this condition fails. The notions of geometrization, physical possibility, and gauge equivalence play important roles. An elementary notion of gauge equivalence is employed which does not depend upon the Hamiltonian or Lagrangian frameworks and whose connection with interpretative issues is clear. (shrink)

The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation . Then in a Hilbert space turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann quantum logic (...) can be interpreted by taking their disjunction to be ¬(A & B). Their logic can thus be mapped into a Boolean structure to which an additional operator has been added. (shrink)

The value of optimality modeling has long been a source of contention amongst population biologists. Here I present a view of the optimality approach as at once playing a crucial explanatory role and yet also depending on external sources of confirmation. Optimality models are not alone in facing this tension between their explanatory value and their dependence on other approaches; I suspect that the scenario is quite common in science. This investigation of the optimality approach thus serves as a case (...) study, on the basis of which I suggest that there is a widely felt tension in science between explanatory independence and broad epistemic inter dependence, and that this tension influences scientific methodology. (shrink)

Some critics of the accounting/auditing profession in the United States claim that independence-related quality control problems are the cause of an increased number of alleged audit failures. Certified public accountants (CPAs) were queried regarding independence impairment in their profession. Questionnaire results indicate a number of CPAs believe independence deficiencies exist, and some CPAs admit to personal independence impairment.

Assumptions of stochastic independence are crucial to statistical models in science. But under what circumstances is it reasonable to suppose that two events are independent? When they are not causally or logically connected, so the usual story goes. But scientific models frequently treat causally dependent events as stochastically independent, raising the question whether there are kinds of causal connection that do not undermine stochastic independence. This paper provides one piece of an answer to this question, treating the simple (...) case of two tossed coins with and without a midair collision. (shrink)

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game (...) theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic. (shrink)

It is widely believed that some puzzling and provocative remarks that Frege makes in his late writings indicate he rejected independence arguments in geometry, particularly arguments for the independence of the parallels axiom. I show that this is mistaken: Frege distinguished two approaches to independence arguments and his puzzling remarks apply only to one of them. Not only did Frege not reject independence arguments across the board, but also he had an interesting positive proposal about the (...) logical structure of correct independence arguments, deriving from the geometrical principle of duality and the associated idea of substitution invariance. The discussion also serves as a useful focal point for independently interesting details of Frege’s mathematical environment. This feeds into a currently active scholarly debate because Frege’s supposed attitude to independence arguments has been taken to support a widely accepted thesis (proposed by Ricketts among others) concerning Frege’s attitude toward metatheory in general. I show that this thesis gains no support from Frege’s puzzling remarks about independence arguments. (shrink)

According to Hugh Mellor in Real Time II (1998, Ch. 12), assuming the logical independence of causal facts and the 'law of large numbers', causal loops are impossible because if they were possible they would produce inconsistent sets of frequencies. I clarify the argument, and argue that it would be preferable to abandon the relevant independence assumption in the case of causal loops.

The paper examines Wright’s attempt to inflate deflationism about truth. It accepts the details of Wright’s argument but contends that it should best be seen as posing a dilemma for the deflationist: either truth is independent of norms of warranted assertibility—in which case it is substantial—or it is not—in which case epistemicism about truth is a consequence. Some concerns about epistemicism are raised in avoiding the second horn. The first is avoided by distinguishing between independence and substantiality and arguing (...) that only the first applies to truth and only the second is worrisome to deflationism. So, despite its sub-title, the following is not a diatribe against Home Rule but a modest defence of deflationism. (shrink)

Background independence is generally considered to be ‘the mark of distinction’ of general relativity. However, there is still confusion over exactly what background independence is and how, if at all, it serves to distinguish general relativity from other theories. There is also some confusion over the philosophical implications of background independence, stemming in part from the definitional problems. In this paper I attempt to make some headway on both issues. In each case I argue that a proper (...) account of the observables of such theories goes a long way in clarifying matters. Further, I argue, against common claims to the contrary, that the fact that these observables are relational has no bearing on the debate between substantivalists and relationalists, though I do think it recommends a structuralist ontology, as I shall endeavour to explain. (shrink)

This research explores the relationship between work context and professional ethics. Specifically, we analyze through an online survey of professional accountants the degree to which changing work conditions have altered individual accountants’ commitment to the core professional value of auditor independence. We argue that certain changes in the condition of work have made some categories of accountants more susceptible to the logic of commercialism rather than the logic of professionalism. We find general support for this argument. We observe that (...) accountants working outside of public accounting have a higher commitment to independence than do accountants working in the context of public accounting firms. We further observe that accountants in large international accounting firms (i.e. the “Big Four”) report lower commitment to auditor independence than do others in public accounting. And we observe that older accountants report stronger commitment to auditor independence. One finding, however, contradicts our general thesis. We find that commitment to one’s client does not necessarily result in a loss of commitment to the core professional value of independence. We conclude that changes in the context of work have contributed to the demise of ethics among professional accountants and suggest that further research be done to elaborate the relationship between client commitment and independence commitment. (shrink)

The actuarial profession has a long history of providing critical expertise to society. The services delivered are some of the most complex and mysterious to outsiders of all professions but little has been written about the professional responsibilities of actuaries in the academic literature beyond that of the profession itself. This paper makes the case that the issues surrounding professional independence of actuaries are, in principle, similar to those that faced the audit profession before the scandals and resultant regulatory (...) changes early this century. It is argued that, despite the position taken by the actuarial profession and management, the status quo raises genuine concerns about conflicts of interest and independence and that the risks that arise are of sufficient magnitude that they should at least be the subject of a full debate. (shrink)

In this paper, I will reconstruct Hume's argument for the ontological (in the sense of rigid existential) independence of simple properties in A Treatise of Human Nature , Book 1 (1739). According to my reconstruction, the main premises of the argument are the real distinctness of every perception of a simple property, Hume's Separability Principle and his Conceivability Principle. In my view, Hume grounds the real distinctness of every perception of a simple property in his atomistic theory of sense (...) perception and his Copy Principle. I will also show why Hume's argument should be seen as relevant nowadays. David Lewis and his followers in metaphysics continue Hume's line of thinking in this respect, which is opposed by power ontologists (Brian Ellis, Stephen Mumford), for example. (shrink)

This paper continues the work begun by Crispin Wright of identifying, articulating, and explaining the relations between various realist-relevant axes that emerge when it is conceded that any predicate capable of satisfying a small range of platitudes is syntactically and semantically adequate to count as a truth predicate for a discourse. I argue that the fact that a given discourse satisfies the three realist-relevant axes that remain if evidence-transcendent truth and reference to evidence-transcendent facts are ruled out by Dummettian meaning-theoretic (...) considerations is not sufficient for what I have elsewhere called “modest metaphysical realism.” I conclude that mind-independence marks yet another realist-relevant axis and explore the relationships between the proposed mind-independence axis and the realist-relevant axes identified by Wright. (shrink)

Replies to Kevin de Laplante’s ‘Certainty and Domain-Independence in the Sciences of Complexity’ (de Laplante, 1999), defending the thesis of J. Franklin, ‘The formal sciences discover the philosophers’ stone’, Studies in History and Philosophy of Science, 25 (1994), 513-33, that the sciences of complexity can combine certain knowledge with direct applicability to reality.

It has often been recommended that the differing probability distributions of a group of experts should be reconciled in such a way as to preserve each instance of independence common to all of their distributions. When probability pooling is subject to a universal domain condition, along with state-wise aggregation, there are severe limitations on implementing this recommendation. In particular, when the individuals are epistemic peers whose probability assessments are to be accorded equal weight, universal preservation of independence is, (...) with a few exceptions, impossible. Under more reasonable restrictions on pooling, however, there is a natural method of preserving the independence of any fixed finite family of countable partitions, and hence of any fixed finite family of discrete random variables. (shrink)

This paper analyzes concepts of independence and assumptions of convexity in the theory of sets of probability distributions. The starting point is Kyburg and Pittarelli’s discussion of “convex Bayesianism” (in particular their proposals concerning E-admissibility, independence, and convexity). The paper offers an organized review of the literature on independence for sets of probability distributions; new results on graphoid properties and on the justification of “strong independence” (using exchangeability) are presented. Finally, the connection between Kyburg and Pittarelli’s (...) results and recent developments on the axiomatization of non-binary preferences, and its impact on “complete” independence, are described. (shrink)

E. Beltrami in 1868 did not intend to prove the consistency of non-euclidean plane geometry nor the independence of the euclidean parallel postulate. His approach would have been unsuccessful if so intended. J. Hoüel in 1870 described the relevance of Beltrami's work to the issue of the independence of the euclidean parallel postulate. Hoüel's method is different from the independence proofs using reinterpretation of terms deployed by Peano about 1890, chiefly in using a fixed interpretation for non-logical (...) terms. Comparing the work of Beltrami and Hoüel with the treatment of non-euclidean geometry after the development of the axiomatic method in the 1890s indicates an important shift in mathematicians? attitudes towards mathematical theories. (shrink)

I trace the development of arguments for the consistency of non-Euclidean geometries and for the independence of the parallel postulate, showing how the arguments become more rigorous as a formal conception of geometry is introduced. I analyze the kinds of arguments offered by Jules Hoüel in 1860-1870 for the unprovability of the parallel postulate and for the existence of non-Euclidean geometries, especially his reaction to the publication of Beltrami’s seminal papers, showing that Beltrami was much more concerned with the (...) existence of non-Euclidean objects than he was with the formal consistency of non-Euclidean geometries. The final step towards rigorous consistency proofs is taken in the 1880s by Henri Poincaré. It is the formal conception of geometry, stripping the geometric primitive terms of their usual meanings, that allows the introduction of a modern fully rigorous consistency proof. (shrink)

In this paper, the author analyzes critically some of the ideas found in Karel Lambert's recent book, Meinong and the Principle of Independence (Cambridge: Cambridge University Press, 1983). Lambert attempts to forge a link between the ideas of Meinong and the free logicians. The link comes in the form of a principle which, Lambert says, these philosophers adopt, namely, Mally's Principle of Independence, which Mally himself later abandoned. Instead of following Mally and attempting to formulate the principle in (...) the material mode as the claim that an object can have properties without having any sort of being, Lambert formulates the principle in the formal mode, as (something equivalent to) the rejection of the traditional constraint on the principle of predication. The principle of predication is that a formula of the form Fa' is true iff the general term F' is true of the object denoted by the object term a'. The traditional constraint on this predication principle is that for the sentence Fa' to be true, not only must the object term have a denotation, but it must also denote an object that has being. According to Lambert, the free logicians violate this constraint by suggesting that Fa' can be true even if the object term has no denotation, whereas Meinong violates this constraint by proposing Fa' can be true even when the object term denotes an object that has no being. Lambert then tries to `vindicate' the Principle of Independence, thereby justifying both the work of the free logicians and Meinong. (shrink)

This paper explores versions of agency or manipulability theories of causation and argues that they are unacceptable both for the well-known reasons of their anthropomorphism, limited scope, and circularity and because they are subsumed by an alternative "independence" theory of causation, which is free of these difficulties.

This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a free generator for a logical calculus — a concept we claim was anticipated by Wittgenstein— we show precisely why certain difficulties associated with his doctrine cannot be overcome. We then show that Russell's version of logical atomism — with independent particulars instead of elementary propositions — avoids the same difficulties.

A relation between two secrets, known in the literature as nondeducibility , was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence . This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.

This paper presents an analysis of the opinions of U.K. Finance Directors – also known as Chief Financial Officers (CFOs) in North America – on factors which may effect the roles and responsibilities of the external auditor to the organization. A number of proposals have been put forward over the years to enhance auditor independence and these were treated as dependent variables in this study. A questionnaire was mailed to 3 000 named Finance Directors and 776 useable replies were (...) received. From the responses to the questionnaire, three independent variables were identified: opinions on the value of the audit in general; opinions on the impact of the audit on the organization; and the relationship between the Finance Director and the auditor. The results reveal that those Finance Directors concerned in general about the value of auditing favoured the banning of non-audit work and the rotation of auditors. In addition, those Finance Directors with good relationships with their external auditors preferred the banning of non-audit services and the rotation of external auditors. Those respondents favouring the separate regulation of auditors were also concerned about the impact of the audit on the organization. The results of this study shed some light on the sensitivity of U.K. Finance Directors to ethical issues regarding external auditor independence. (shrink)

The projection lattices T(Mr), T(M2) of two von Neumann subalgebras Mr, M2 of the von Neumann algebra M are defined to be logically independent if A A B g 0 for any 0 g A E P(&r), 0 g B E 7 (M2). After motivating this notion of independence it is shown that 7 (Mr), 7 (M2) are logically independent if Mr is a subfactor in a finite factor M and T(&r),V'(M2) commute. Also, logical independence is related to (...) the statistical independence conditions called C*-independence W*- independence and strict locality. Logical independence of T(Mr), T(M2) turns out to be equivalent to the C*- independence of (Mr, M2) for mutually commuting Mr, M2, and it is shown that if (Mr, M2) is a pair of (not necessarily commuting) von Neumann subalgebras, then T(&r),V'(M2) are logically independent if (Mr, M2) is a W*-independent pair or if Mr, M2 have the property of strict locality. (shrink)

As the paper explains, it is crucial to epistemology in general and to the theory of causation in particular to investigate the properties of conditional independence as completely as possible. The paper summarizes the most important results concerning conditional independence with respect to two important representations of epistemic states, namely (strictly positive) probability measures and natural conditional (or disbelief or ranking) functions. It finally adds some new observations.

The aim of the paper is to explicate the concept of causal independence between sets of factors and Reichenbach's screening-off-relation in probabilistic terms along the lines of Suppes' probabilistic theory of causality (1970). The probabilistic concept central to this task is that of conditional stochastic independence. The adequacy of the explication is supported by proving some theorems about the explicata which correspond to our intuitions about the explicanda.

In the last two decades, there has been increasing interest in a re-evaluation of Frege's stance towards consistency- and independence proofs. Papers by several authors deal with Frege's views on these topics. In this note, I want to discuss one particular problem, which seems to be a main reason for Frege's reluctant attitude towards his own proposed method of proving the independence of axioms, namely his view that thoughts, that is, intensional entities are the objects of metatheoretical investigations. (...) This stands in contrast to more straightforward interpretations, which claim that Frege's hesitancy is mainly due to worries concerning the logical constants or what counts as a logical inference. (shrink)

This theoretical note proposes a two-dimensional cognitive architecture for dual-process theories of reasoning and decision making. Evans (2007b, 2008a, 2009) distinguishes between two types of dual-processing models: parallel-competitive , in which both types of processes operate in parallel, and default-interventionist , in which heuristic processes precede the analytic processes. I suggest that this temporal dimension should be enhanced with a functional distinction between interactionist architecture, in which either type of process influences the content and valence of the other, and independent (...) architecture, in which they do not. Override architecture is a special case of the latter, which postulates statistical interaction, but no interaction of valence and content. I show that this added dimensional distinction casts doubt on two assumptions of statistical modelling that Evans makes: independence and linearity. However, Evans' (2007b) point, that statistical modelling is underspecified vis- -vis the verbal theory, is given further support. The functional dimension is crucial to interpreting the statistical model, as well as to theoretical understanding of the cognitive architecture and its educational applications. (shrink)

This paper examines definitions of independence for events and variables in the context of full conditional measures; that is, when conditional probability is a primitive notion and conditioning is allowed on null events. Several independence concepts are evaluated with respect to graphoid properties; we show that properties of weak union, contraction and intersection may fail when null events are present. We propose a concept of “full” independence, characterize the form of a full conditional measure under full (...) class='Hi'>independence, and suggest how to build a theory of Bayesian networks that accommodates null events. (shrink)

We prove independence results concerning the number of nonisomorphic models (using the S-chain condition and S-properness) and the consistency of "ZCF + 2 ℵ 0 = ℵ 2 + there is a universal linear order of power ℵ 1 ". Most of these results were announced in [Sh 4], [Sh 5]. In subsequent papers we shall prove an analog f MA for forcing which does not destroy stationary subsets of ω 1 , investigate D-properness for various filters and prove (...) the consistency with G.C.H. of an axiom implying SH (for ℵ 1 ), and connected results. (shrink)

We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and domain independence of queries in database theory. Our framework and results suggest that domain-independence and absoluteness might be the key notions in a general theory of constructibility, predicativity, and computability.

A proof of the (propositional) Craig interpolation theorem for cut-free sequent calculus yields that a sequent with a cut-free proof (or with a proof with cut-formulas of restricted form; in particular, with only analytic cuts) with k inferences has an interpolant whose circuit-size is at most k. We give a new proof of the interpolation theorem based on a communication complexity approach which allows a similar estimate for a larger class of proofs. We derive from it several corollaries: (1) Feasible (...) interpolation theorems for the following proof systems: (a) resolution (b) a subsystem of LK corresponding to the bounded arithmetic theory S 2 2 (α) (c) linear equational calculus (d) cutting planes. (2) New proofs of the exponential lower bounds (for new formulas) (a) for resolution ([15]) (b) for the cutting planes proof system with coefficients written in unary ([4]). (3) An alternative proof of the independence result of [43] concerning the provability of circuit-size lower bounds in the bounded arithmetic theory S 2 2 (α). In the other direction we show that a depth 2 subsystem of LK does not admit feasible monotone interpolation theorem (the so called Lyndon theorem), and that a feasible monotone interpolation theorem for the depth 1 subsystem of LK would yield new exponential lower bounds for resolution proofs of the weak pigeonhole principle. (shrink)

We develop a new notion of independence (þ-independence, read "thorn"-independence) that arises from a family of ranks suggested by Scanlon (þ-ranks). We prove that in a large class of theories (including simple theories and o-minimal theories) this notion has many of the properties needed for an adequate geometric structure. We prove that þ-independence agrees with the usual independence notions in stable, supersimple and o-minimal theories. Furthermore, we give some evidence that the equivalence between forking and (...) þ-forking in simple theories might be closely related to one of the main open conjectures in simplicity theory, the stable forking conjecture. In particular, we prove that in any simple theory where the stable forking conjecture holds. þ-independence and forking independence agree. (shrink)

We extend an independence result proved in our earlier paper "Solovay's Theorem Cannot Be Simplified" (Annals of Pure and Applied Logic 112 (2001)). Our method uses the Barwise.

The mechanisms of imperial control - violence and economic warfare, hardly a distant memory in Latin America - are losing their effectiveness, a sign of the shift toward independence. Washington is now compelled to tolerate governments that in the past would have drawn intervention or reprisal.

We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.

The paper takes up a traditional view that has also been a part of some recent analytic metaphysics, namely, the view that substance is to be understood in terms of independence. Taking as my point of departure some recent remarks by Kit Fine, I propose reviving the Aristotelian-scholastic idea that the sense in which substances are independent is that they are non-inherent, and I do so by developing a broad notion of inherence that is more usable in the context (...) of contemporary analytic metaphysics than the traditional notion is. I end by showing how non-inherence, while necessary for being a substance, cannot be taken as sufficient without some qualifying remarks. (shrink)

In Kvart (1991a), I discussed the analysis of causal relevance presented in A Theory of Counterfactuals (1986) (and first in 1975). I explained there in what respect the notion captured by the analysis of Kvart (1986) is a mere approximation to the requisite notion of causal relevance. In this paper I present another analysis of causal relevance, devoid of the shortcoming of its predecessor. The present analysis of causal relevance is, again, grounded in a chancelike notion of objective probability. The (...) correlative notion of causal independence is analyzed as holding in case there is a so-called causal impact series, which is defined here. The basic notions used for this analysis are the notion of a differentiator, which upsets an equiprobability case, and that of a blocker, which restores it. (shrink)

Independence of Conditionals (IC) has recently been proposed as a basic rule for causal structure learning. If a Bayesian network represents the causal structure, its Conditional Probability Distributions (CPDs) should be algorithmically independent. In this paper we compare IC with causal faithfulness (FF), stating that only those conditional independences that are implied by the causal Markov condition hold true. The latter is a basic postulate in common approaches to causal structure learning. The common spirit of FF and IC is (...) to reject causal graphs for which the joint distribution looks ‘non-generic’. The difference lies in the notion of genericity: FF sometimes rejects models just because one of the CPDs is simple, for instance if the CPD describes a deterministic relation. IC does not behave in this undesirable way. It only rejects a model when there is a non-generic relation between different CPDs although each CPD looks generic when considered separately. Moreover, it detects relations between CPDs that cannot be captured by conditional independences. IC therefore helps in distinguishing causal graphs that induce the same conditional independences (i.e., they belong to the same Markov equivalence class). The usual justification for FF implicitly assumes a prior that is a probability density on the parameter space. IC can be justified by Solomonoff’s universal prior, assigning non-zero probability to those points in parameter space that have a finite description. In this way, it favours simple CPDs, and therefore respects Occam’s razor. Since Kolmogorov complexity is uncomputable, IC is not directly applicable in practice. We argue that it is nevertheless helpful, since it has already served as inspiration and justification for novel causal inference algorithms. (shrink)

Financial statement users must believe that external auditors are free from management control, or users will doubt the verity of auditors' representations. Although U.S.-based auditing firms claim they are independent of their corporate clients, research has demonstrated that many individuals and groups perceive the situation otherwise. A proposal for enhancing perceptions of auditor independence is offered in this article. The proposal calls for an auditor-administered educational program, complemented by corporate audit committee involvement to lend credibility to auditors' claims.

ment on the same propositions, and is plagued by impossibility re- 2. What is the role of independence in judgment aggregation sults. In this paper we study the central notion of independence in..

A first-order theory has the Independence Property provided implies for some i whenever are formulae of a suitable type and ( Q ) is any quantifier sequence. Variants of this property have been noticed for some time in logic programming and in linear programming.

Dividing independence for ultraimaginaries is neither symmetric nor transitive. Moreover, any notion of independence satisfying certain axioms (weaker than those for independence in a simple theory) and defined for all ultraimaginary sorts, is necessarily trivial.

In the Chinese stock market, special treatment (ST) firms are the firms listed as facing imminent danger of delisting, unless they return to profitability after reporting two consecutive annual losses. Some ST firms voluntarily pay substantial fees to their external auditors to conduct interim audits, which are not required by regulations. In this study, we investigate and find that ST firms that pay for voluntary interim audits report greater discretionary accrued earnings, higher non-operating earnings, and higher returns on assets in (...) ensuing annual reports. As a result, these firms are more likely to return to profitability and reduce their delisting risk. Our results, which contribute to the current debate on auditor independence, appear to be consistent with the possibility that ST firms “buy” external auditors’ cooperation to manipulate earnings when faced with the threat of delisting. (shrink)

While lawyers' independence initially developed as a way of protecting lawyers and their clients from the power of the state, it is now also associated with the protection of the public interest from lawyers who are too close to their clients. In this context independence is seen as a way of ensuring that lawyers act ethically, that is, with regard to their overriding duty to the court and the administration of justice rather than according to sectional, personal or (...) economic interests. It has been noted in various contexts that lawyers who work closely with powerful clients may be less able to withstand client pressure and uphold their obligations to the administration of justice. In-house lawyers are seen as particularly vulnerable due to their position within the client's organisational structure. On the other hand some have argued that the position of in-house lawyers gives them greater potential to exercise independent judgment and influence the ethical behaviour of their organisation. This paper argues that the concept of independence is multi-faceted with the essential aspect being the capacity for independent judgment or independence of mind. This is supported by status, power and structural protections. The paper goes on to critically consider the courts' interpretations of independence of in-house counsel in the context of claims of client legal privilege (also known as legal professional privilege). The paper argues that the judicial tests reveal a number of different approaches with limited connection to core concepts of independence. (shrink)

Wittgenstein initially endorsed but then abandoned, by the time of “Some Remarks on Logical Form”, the view that elementary propositions are logically independent. In this paper it is argued that the doctrine of logical independence is in fact inconsistent with the intuitions and examples that motivated the picture theory of the Tractatus Logico-Philosophicus. This leaves the question of whether the logical independence of elementary propositions can be reconciled with the theory itself; the paper explores some interpretations of the (...) early Wittgenstein with which this is, and others with which it is not, consistent. (shrink)

In this paper, we examine whether ethics officers are able to perform their assigned duties independently of organizational management. Specifically, we investigate whether inherent conflicts of interest with company management potentially hinder the ability of ethics officers to serve as an effective monitor and deterrent of unethical activity throughout the organization. As part of our analysis, we conducted 10 detailed phone interviews with current and retired ethics officers in order to determine whether practicing ethics officers feel the need for additional (...) independence protection from management. We propose that the current system in which ethics officers report to management must be changed in order for ethics officers to effectively perform their jobs. Specifically, we maintain that ethics officers should (1) be hired by, (2) be fired by, and (3) report directly to the corporate board of directors rather than company management. Such a change in the reporting environment would greatly enhance the independence of ethics officers. (shrink)

Condorcet's classic jury theorem shows that when the members of a group have noisy but independent information about what is best for the group as a whole, majority decisions tend to outperform dictatorial ones. When voting is supplemented by communication, however, the resulting interdependencies between decision-makers can strengthen or undermine this effect: they can facilitate information pooling, but also amplify errors. We consider an intriguing non-human case of independent information pooling combined with communication: the case of nest-site choice by honey (...) bee swarms. It is empirically well-documented that when there are different nest sites that vary in quality, the bees usually choose the best one. We develop a new agent-based model of the bees’ decision process and show that its remarkable reliability stems from a particular interplay of independence and interdependence between the bees. (shrink)

Thomas Jefferson’s argument against long-term debt and his theory of usufruct are used to show why each generation is obligated to protect the independence of future generations. This argument forms the theory of “Jeffersonian generational independence.” The theory has wide implications for the environmental movement because most environmental problems result in limitations on the liberty of future generations. I compare and defend Jeffersonian generational independence from two alternatives including the investment theory raised by James Madison and the (...) problem of generational interdependence raised by John Passmore or Edmund Burke. When the obligation to protect the independence of future generations is taken seriously, liberalism can no longer reasonably be used to defend environmental exploitation, since such exploitation amounts to an attack on the liberty and independence which form its core values. (shrink)

In the article the problem of independence in mathematics is discussed. The status of the continuum hypothesis, large cardinal axioms and the axiom of constructablility is presented in some detail. The problem whether incompleteness is really relevant for ordinary mathematics and for empirical science is investigated. Another aim of the article is to give some arguments for the thesis that the problem of reliability and justification of new axioms is well-posed and worthy of attention. In my opinion, investigations concerning (...) the status of independent sentences give insight into our understanding of mathematical concepts, of mathematical knowledge and of the role of mathematics in empirical science. (shrink)

Though media ethics has emerged as a strong topic in recent years, the discussion may be of little value in helping improve ethical performance of the media until owner ethics becomes a major topic. This case study explores the conflict of interest problem for owners lobbying for special interest legislation and eroding independence of newsrooms.

This study compares the relationship between the moral reasoning modes and leadership orientation of males versus females, and managers versus engineers/scientists. A questionnaire developed by Worthley (1987) was used to measure the degree of each participant's respective independence and justice, and relationships and caring moral reasoning modes. Leadership orientation values and attitudes were measured using the Fiedler and Chemers (1984) Least Preferred Coworker Scale.The results suggest that, although males differ from female in their dominant moral reasoning modes, managers are (...) not distinguishable from the engineers/scientists they manage in terms of their moral reasoning mode or Least Preferred Coworker score. (shrink)

James Franklin has argued that the formal, mathematical sciences of complexity — network theory, information theory, game theory, control theory, etc. — have a methodology that is different from the methodology of the natural sciences, and which can result in a knowledge of physical systems that has the epistemic character of deductive mathematical knowledge. I evaluate Franklin’s arguments in light of realistic examples of mathematical modelling and conclude that, in general, the formal sciences are no more able to guarantee certainty (...) than the natural sciences. Yet the formal sciences are characterized by a ‘domain-independence’ that is philosophically interesting, and I argue that it is this property that Franklin actually employs to distinguish the formal from the natural sciences. I use Einstein’s ‘principle’/‘constructive’ theory distinction to contrast the domain-independence of physical theories with the domain-independence of formal mathematical theories, and show how both kinds of domain-independence function to generate the domain-independence that is observed in the complex systems sciences. © 1999 Elsevier Science Ltd. All rights reserved. (shrink)

In continuation of [JOH04, OH07], we prove that existentially closed CSA-groups have the independence property. This is done by showing that there exist words having the independence property relative to the class of torsion-free hyperbolic groups.

The Fraenkel-Mostowski method has been widely used to prove independence results among weak versions of the axiom of choice. In this paper it is shown that certain statements cannot be proved by this method. More specifically it is shown that in all Fraenkel-Mostowski models the following hold: 1. The axiom of choice for sets of finite sets implies the axiom of choice for sets of well-orderable sets. 2. The Boolean prime ideal theorem implies a weakened form of Sikorski's theorem.

Sandu and Pietarinen [Partiality and Games: Propositional Logic. Logic J. IGPL 9 (2001) 101] study independence friendly propositional logics. That is, traditional propositional logic extended by means of syntax that allow connectives to be independent of each other, although the one may be subordinate to the other. Sandu and Pietarinen observe that the IF propositional logics have exotic properties, like functional completeness for three-valued functions. In this paper we focus on one of their IF propositional logics and study its (...) properties, by means of notions from computational complexity. This approach enables us to compare propositional logic before and after the IF make-over. We observe that all but one of the best-known decision problems experience a complexity jump, provided that the complexity classes at hand are not equal. Our results concern every discipline that incorporates some notion of independence such as computer science, natural language semantics, and game theory. A corollary of one of our theorems illustrates this claim with respect to the latter discipline. (shrink)

Peter Spirtes. Conditional Independence in Directed Cyclic Graphical Models for Feedback.

This book publishes, for the first time in decades, and in many cases, for the first time in a readily accessible edition, English language philosophical literature written in India during the period of British rule. Bhushan's and Garfield's own essays on the work of this period contextualize the philosophical essays collected and connect them to broader intellectual, artistic and political movements in India. This volume yields a new understanding of cosmopolitan consciousness in a colonial context, of the intellectual agency of (...) colonial academic communities, and of the roots of cross-cultural philosophy as it is practiced today. It transforms the canon of global philosophy, presenting for the first time a usable collection and a systematic study of Anglophone Indian philosophy. -/- Many historians of Indian philosophy see a radical disjuncture between traditional Indian philosophy and contemporary Indian academic philosophy that has abandoned its roots amid globalization. This volume provides a corrective to this common view. The literature collected and studied in this volume is at the same time Indian and global, demonstrating that the colonial Indian philosophical communities were important participants in global dialogues, and revealing the roots of contemporary Indian philosophical thought. -/- The scholars whose work is published here will be unfamiliar to many contemporary philosophers. But the reader will discover that their work is creative, exciting, and original, and introduces distinctive voices into global conversations. These were the teachers who trained the best Indian scholars of the post-Independence period. They engaged creatively both with the classical Indian tradition and with the philosophy of the West, forging a new Indian philosophical idiom to which contemporary Indian and global philosophy are indebted. (shrink)

We present some new set and class theoretic independence results from ZFC and NBGC that are particularly simple and close to the primitives of membership and equality (see sections 4,5). They are shown to be equivalent to familiar small large cardinal hypotheses. We modify these independendent statements in order to give an example of a sentence in set theory with 5 quantifiers which is independent of ZFC (see section 6). It is known that all 3 quantifier sentences are decided (...) in a weak fragment of ZF without power set (see [Fr02a]). (shrink)

No theory of a partially ordered set of finite width has the independence property, generalizing Poizat's corresponding result for linearly ordered sets. In fact, a question of Poizat concerning linearly ordered sets is answered by showing, moreover, that no theory of a partially ordered set of finite width has the multi-order property. It then follows that a distributive lattice is not finite-dimensional $\operatorname{iff}$ its theory has the independence property $\operatorname{iff}$ its theory has the multi-order property.

The Independence postulate links current preferences between called-off acts with current preferences between constant acts. Under the assumption that the chance-events used in compound von Neumann-Morgenstern lotteries are value-neutral, current preferences between these constant acts are linked to current preferences between hypothetical acts, conditioned by those chance events. Under an assumption of stability of preferences over time, current preferences between these hypothetical acts are linked to future preferences between what are then and there constant acts. Here, I show that (...) a failure of Independence with respect to current preferences leads to an inconsistency in sequential decisions. Two called-off acts are constructed such that each is admissible in the same sequential decision and yet one is strictly preferred to the other. This responds to a question regarding admissibility posed by Rabinowicz ([2000] Preference stability and substitution of indifferents: A rejoinder to Seidenfeld, Theory and Decision 48: 311–318 [this issue]). (shrink)

I show that locality, as it occurs in EPR arguments for the incompleteness of quantum mechanics, can be construed as causal independence understood in terms of Lewis' counterfactual analysis of causation. This construal has two benefits. It supplements recent analyses, which have not treated locality in detail. And it clarifies the relation between two EPR arguments that have recently been distinguished. It shows that the simpler of the two is more complex than has been thought; and that the other (...) argument does not need 'counterfactual definiteness'. (shrink)

The purpose of this study was to assess the degree of editorial independence at a sample of medical journals and the relationship between the journals and their owners. We surveyed the editors of 33 medical journals owned by not-for-profit organizations (“associations”), including 10 journals represented on the International Committee of Medical Journal Editors (nine of which are general medical journals) and a random sample of 23 specialist journals with high impact factors that are indexed by the Institute for Scientific (...) Information. The main outcome measures were the authority to hire, fire, and oversee the work of the editor; the editor’s tenure and financial compensation; control of the journal’s budget; publication of material about the association; and the editor’s perceptions about editorial independence and pressure over editorial content. Of the 33 editors, 23 (70%) reported having complete editorial freedom, and the remainder reported a high level of freedom (a score of ≥8, where 10 equals complete editorial freedom and 1 equals no editorial freedom). Nevertheless, a substantial minority of editors reported having received at least some pressure in recent years over editorial content from the association’s leadership (42%), senior staff (30%), or rank-and-file members (39%). The association’s board of directors has the authority to hire (48%) or fire (55%) the editor for about half of the journals, and the editor reports to the board for 10 journals (30%). Twenty-three editors (70%) are appointed for a specific term (median term =5 years). Three-fifths of the journals have no control over their profit, and the majority of journals use the association’s legal counsel and/or media relations staff. Stronger safeguards are needed to give editors protection against pressure over editorial content, including written guarantees of editorial freedom and governance structures that support those guarantees. Strong safeguards are also needed because editors may have less freedom than they believe (especially if they have not yet tested their freedom in an area of controversy). (shrink)

Professor Franklin is correct to say that there are significant areas of agreement between his account of formal science (Franklin, 1994) and my critique of his account. We both agree that the domain-independence exhibited by the formal sciences is ontologically and epistemically interesting, and that the concept of ‘structure’ must be central in any analysis of domain-independence. We also agree that knowledge of the structural, relational properties of physical systems should count as empirical knowledge, and that it makes (...) sense to talk about an empirical ‘science’ of structure. Where we disagree is over the frequency of occasions where ‘practical certainty’ is actually attained: Franklin argues that practical certainty is not uncommon in the formal sciences, while I argue that there are barriers to practical certainty that Franklin fails to appreciate. In Franklin’s response, he briefly presents and offers criticisms of my two main arguments against his central thesis. Franklin asserts that the flaw in my first argument is that it does not appreciate that modern mathematical models exhibit structural stability, and thus that many of their predictions are robust under small variations in input or parameter values (and hence, insensitive to the inevitable gaps between estimates and actual values). Nevertheless, what I had in mind in using the term ‘realistic modelling situations’ were models of fairly complex natural systems, such as the dripping faucet, spruce budworm and ecosystem ecology examples. My objection is not that mathematical models of such systems cannot legitimately and accurately describe structural properties that are genuinely predicable of real-world systems, but simply that for.. (shrink)

In this paper we prove the independence of δ 1 n for n ≥ 3. We show that δ 1 4 can be forced to be above any ordinal of L using set forcing. For δ 1 3 we prove that it can be forced, using set forcing, to be above any L cardinal κ such that κ is Π 1 definable without parameters in L. We then show that δ 1 3 cannot be forced by a set forcing (...) to be above every cardinal of L. Finally we present a class forcing construction to make δ 1 3 greater than any given L cardinal. (shrink)

We investigate how the just cause principle is applicable to contingency planning about armed interventions in civil wars that are somewhat likely to occur in the future. According to a 2005 peace agreement that formally ended a civil war between the Sudanese government in Khartoum and the Sudan People’s Liberation Army, a referendum on South Sudan independence is to be held no later than January 9, 2011. Close observers of Sudan warn that this promise of an independence referendum (...) might not be correctly fulfilled, and that a North-South civil war is somewhat likely to recur. Focusing on the case of Sudan, we discuss the following key question, from the temporal standpoint of August 2010, the month this paper was completed: How may the just cause principle be used prospectively to decide whether there would be a just cause for armed intervention in Sudan, if a renewed North-South civil war were to occur there during the years 2010–2014? To illuminate this question of application, we also discuss a question of theory. What is the just cause principle? A core thesis is that the deterrent threat of armed intervention is an essential tool for preventing such a civil war. By means of deterrent threats of limited forms of armed intervention—for instance, the deterrent threat of imposing no-fly zones—the balance of cost/benefit calculations by the Sudanese government about the prospect of civil war might be tipped in favor of acceptance of South Sudan independence. We recommend that responsible actors in the international community should plan contingently about such armed intervention in Sudan, with the goal of preventing a renewed North-South civil war there. (shrink)

This paper analyzes the rhetoric surrounding the profession’s presentations of auditor independence. We trace the evolution of thecharacter of the auditor from Professional Man in the early years of the twentieth century to the more public and abstract figures of Judicial Man and Economic Man. The changing character of the auditor in the profession’s narratives of legitimation reflects changes in the role of auditing, in the economic environment, and in the values of American society. Economic man is a self-interested (...) and shallow character who offered the auditing profession little protection against involvement in corporate scandals. In the wake of recent accounting scandals, the profession is calling for a return to the character of Professional Man to restore trust in audits and the financial markets.We also analyze the philosophical bases of the metaphors surrounding auditor independence. These metaphors, particularly the metaphor of independence as separation, create problems in conceptualizing independence concepts. How can you discuss appropriate relationships when your basic concept is one of separation, or no relationship? On the other hand, relational concepts of independence are also flawed if they are not based on a firm moral foundation. We suggest how the profession can act to rebuildits moral foundation through recognition of collective responsibility. (shrink)

Kanger [4] gives a set of twelve axioms for the classical propositional Calculus which, together with modus ponens and substitution, have the following nice properties: (0.1) Each axiom contains $\supset$ , and no axiom contains more than two different connectives. (0.2) Deletions of certain of the axioms yield the intuitionistic, minimal, and classical refutability1 subsystems of propositional calculus. (0.3) Each of these four systems of axioms has the separation property: that if a theorem is provable in such a system, then (...) it is provable using only the axioms of that system for $\supset$ , and for the other connectives, if any, actually occurring in that theorem. (0.4) All twelve axioms are independent. It is easily seen that two of Kanger's axioms can be shortened, and that two others can be replaced by a single axiom which is the same length as one of the two which it replaces, without disturbing properties (0.1)-(0.3). These alterations have advantages of simplicity and elegance, but bring property (0.4) into question, in that similarities among some of the axioms in the altered system make demonstrations of independence considerably more difficult. It is the purpose of this paper to show that independence is nonetheless provable for the simplified system, and in another system which also satisfies (0.1)-(0.3), in which f (falsehood) is taken to be primitive instead of ∼ (negation). Nonnormal truth-tables2 are used to obtain the independence of one of the axioms. (shrink)

This contribution defends Ripstein's attempt to reconstruct Kant's political philosophy as entirely and consistently grounded on the idea of people's innate right to freedom as independence, in particular with respect to charges of circularity raised by other contributors to this symposium. However, it also argues that, if the concept of freedom as independence is to provide a foundation for a full-blown account of political justice, a richer interpretation of it should be provided. In other words, we must be (...) willing to make controversial and empirically informed claims about what counts as a threat to our freedom as independence under specific circumstances. We must have a more embedded account of freedom as independence, one that engages with the contingencies of politics and of the human condition. (shrink)

Peter Spirtes. Conditional Independence in Directed Cyclical Graphical Models Representing Feedback or Mixtures.

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the third edition has been extensively updated with expanded introductory material, new (...) chapters, and a new appendix on category theory. It covers recent developments in the field and contains numerous exercises, along with updated and increased coverage of the background material. This new paperback edition includes additional corrections and, for the first time, will make this landmark text accessible to students in logic and set theory. (shrink)

We address the classification of the possible finitely-additive probability measures on the Boolean algebra of definable subsets of M which are invariant under the natural action of $\operatorname{Aut}(M)$ . This pursuit requires a generalization of Shelah's forking formulas [8] to "essentially measure zero" sets and an application of Myer's "rank diagram" [5] of the Boolean algebra under consideration. The classification is completed for a large class of ℵ 0 -categorical structures without the independence property including those which are stable.

In this paper we examine optimal bidding without the independence axiom in a unified framework which allows for a clear graphical representation. Thus, we can show very simply the independence axiom to be a necessary and sufficient condition on preferences for strategical equivalence of the two first-price and second-price auctions, respectively, and for the second-price sealed-bid auction to be demand revealing. The analysis reveals that the betweenness property is necessary and sufficient for the ascending-bid auction to be demand (...) revealing while optimal bids exceed (are less than) bidders' valuations, iff preferences are quasiconcave (quasiconvex). Furthermore, it can be shown that fanning out (fanning in) leads to a higher (lower) selling-price in open than in sealed-bid auctions. (shrink)

The fundamental freedoms of speech, conscience, privacy, and religion are now an essential part of the fabric of contemporary society, set down in our most basic laws and regularly invoked in our political and cultural debates. These freedoms play a vital role in securing the spaces and opportunities within which people are able to pursue their own lives in their own ways. Independence of Mind takes this accepted thought a step further, by exploring the ways in which the fundamental (...) freedoms help us to achieve something even more profound, by enabling us to arrive at beliefs, convictions and voices of our own, so that we truly come to think, believe and speak for ourselves in the rich and various ways that the freedoms then protect. Privacy grants us the distance and refuge from others necessary to develop views of our own; freedom of speech calls on us to imagine ways of expressing ourselves that are both true to the views we have developed and innovative in their own right; freedom of conscience enables each of us to create a distinctive rational personality in which to embed the convictions that we wish to treat as non-negotiable; freedom of religion allows groups of us to endorse certain beliefs as articles of faith, free from the full demands of rational scrutiny. Much has been written about the political and legal implications of the fundamental freedoms and their entrenchment in bills of rights. This is the first book to undertake a comprehensive philosophical examination of their moral bases. It offers a penetrating analysis of what makes these particular freedoms matter to us in the ways that they do, and of the true significance of their entrenchment in law. (shrink)

Glover proposes a planning–control model for the parietal lobe that contrasts with previous formulations that suggest independent mechanisms for perception and action. The planning–control model potentially solves practical functional problems with a proposed independence of perception and action, and offers some new directions for a study of human performance.

The role of Eritrean women in thirty years war of independence brought major changes and reflects in the present demography and economy of Eritrea in the development arena. Their participation in the economy contributes to local production and income by filling the gaps left by men who died in the war or who have left the country and settled in different parts of the world. Despite the growing importance of women for the formal economy, jobs and self-employment opportunities available (...) to women are still clustered in low-productivity and/or low-status industries. To cope with the growing number of female-headed households, Eritrea needs to increase the earning potential of women. This paper indicates that providing women with education at secondary or tertiary level is one way to go. This paper deals with, why Eritrean women are entering into the labour markets: one, family ties and control of women is weakened due to absent men and increasing divorce rates. The second, there is a shortage of male breadwinners. The third, growing education levels increase their earning potential. (shrink)

We prove the independence of a strong partition relation on ℵ ω , answering a question of Erdos and Hajnal. We then give an almost complete answer to the free subset problem.

We give an alternative proof of the stability of separably closed fields of fixed Éršov invariant to the one given in [W]. We show that in case the Éršov invariant is finite, the theory is in fact equational. We also characterize the independence relation in those theories.

Critics of liberalism have argued that liberal individualismmisdescribes persons in ignoring the degree to which they aredependent on their communities. Indeed, they argue that personsare essentially socially constituted. In this paper, however, Iprovide two arguments – the first concerning communitariandescriptive claims about persons, our society, and the communitarian ideal society, and the second regarding thecommunitarian view of individual autonomy – that the communitariantheory of Alasdair MacIntyre, Charles Taylor, and Michael Sandel,relies on individuals either being independent from theircommunities or having a (...) community-independent desire. Thisis indicative of a deep contradiction in communitarian thought. (shrink)

Radical skepticism about the external world is founded on two assumptions: one is that the mind and the external world are logically independent; the other is that all our evidence for the nature of that world consists of facts about our minds.

In assessing counterfactuals, should we consider circumstances which match the actual circumstances in all probablistically independent fact or all causally independent fact? Jonathan Schaffer argues the latter and claims that the former approach, advanced by me, cannot deal with the case of Morgenbesser’s coin. More generally, he argues that, where there is a difference between the two, his account yields our intuitive verdicts about the truth of counterfactuals where mine does not (Schaffer 2004: 307, n. 16). In this brief note, (...) I explain how my approach deals with the case of Morgenbesser’s coin and argue that the situation is, in fact, the reverse. To keep things brief, I rely upon Schaffer’s paper for general explanation of the context of our debate. (shrink)

The paper argues that renormalization in quantum field theory was not a radically new - and possibly ad hoc - technique to save a badly flawed theory, but rather the culmination of a methodological strategy that physicists had been applying for a long time. The strategy was to obtain reliable results from unreliable theories by making the derivation of the results independent of possible future modifications of the theory. Examples of this practice include Bohr's use of the Correspondence (...) Principle and Heisenberg's S-matrix theory. (shrink)