Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence (...) for discrete datasets. The full Bayesian significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

While it is a point of agreement in contemporary republican political theory that property ownership is closely connected to freedom as non-domination, surprisingly little work has been done to elucidate the nature of this connection or the constraints on property regimes that might be required as a result. In this paper, I provide a systematic model of the boundaries within which republican property systems must sit and explore some of the wider implications that thinking of property in these terms may (...) have for republicans. The boundaries I focus on relate to the distribution of property and the application of types of property claims over particular kinds of goods. I develop this model from those elements of non-domination most directly related to the operation of a property regime: (a) economic independence, (b) limiting material inequalities, and (c) the promotion of common goods. The limits that emerge from this analysis support intuitive judgments that animate much republican discussion of property distribution. My account diverges from much orthodox republican theory, though, in challenging the primacy of private property rights in the realization of economic independence. The value of property on republican terms can be realized without private ownership of the means of production. (shrink)

Intuitively, a classical field theory is background-in- dependent 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 background-independent 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. (shrink)

Democratic decision-making is often defended on grounds of the ‘wisdom of crowds’: decisions are more likely to be correct if they are based on many independent opinions, so a typical argument in social epistemology. But what does it mean to have independent opinions? Opinions can be probabilistically dependent even if individuals form their opinion in causal isolation from each other. We distinguish four probabilistic notions of opinion independence. Which of them holds depends on how individuals are causally affected by (...) environmental factors such as commonly perceived evidence. In a general theorem, we identify causal conditions guaranteeing each kind of opinion independence. These results have implications for whether and how ‘wisdom of crowds’ arguments are possible, and how truth-conducive institutions can be designed. (shrink)

Two recent and influential papers, van Rooij 2007 and Lassiter 2012, propose solutions to the proviso problem that make central use of related notions of independence—qualitative in the first case, probabilistic in the second. We argue here that, if these solutions are to work, they must incorporate an implicit assumption about presupposition accommodation, namely that accommodation does not interfere with existing qualitative or probabilistic independencies. We show, however, that this assumption is implausible, as updating beliefs with conditional information (...) does not in general preserve independencies. We conclude that the approach taken by van Rooij and Lassiter does not succeed in resolving the proviso problem. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

We provide conditions under which an incomplete strongly independent preorder on a convex set X can be represented by a set of mixture preserving real-valued functions. We allow X to be infi nite dimensional. The main continuity condition we focus on is mixture continuity. This is sufficient for such a representation provided X has countable dimension or satisfi es a condition that we call Polarization.

Robustness arguments hold that hypotheses are more likely to be true when they are confirmed by diverse kinds of evidence. Robustness arguments require the confirming evidence to be independent. We identify two kinds of independence appealed to in robustness arguments: ontic independence —when the multiple lines of evidence depend on different materials, assumptions, or theories—and probabilistic independence. Many assume that OI is sufficient for a robustness argument to be warranted. However, we argue that, as typically construed, OI (...) is not a sufficient independence condition for warranting robustness arguments. We show that OI evidence can collectively confirm a hypothesis to a lower degree than individual lines of evidence, contrary to the standard assumption undergirding usual robustness arguments. We employ Bayesian networks to represent the ideal empirical scenario for a robustness argument and a variety of ways in which empirical scenarios can fall short of this ideal. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we (...) should resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...) sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of (...) validity outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

It is clear that lack of awareness of the consequences of an action can undermine moral responsibility and blame for these consequences. But when and how it does so is controversial. Sometimes an agent believing that the outcome might occur is excused because it seemed unlikely to her, and sometimes an agent having no idea that it would occur is nevertheless to blame. A low or zero degree of belief might seem to excuse unless the agent “should have known better”, (...) but it is unclear how to spell out this normative condition. -/- This chapter combines (a) an independently motivated account of responsibility, blame, and credit as grounded in a normal explanatory relation between agential qualities and objects of responsibility with (b) the familiar Strawsonian idea that moral blame and credit depend on the agent’s quality of will. The resulting explanatory quality of will condition on moral responsibility is then further motivated by being shown to account for the effects on moral blame and credit of justifications, as well as of excuses and undermined control in cases not involving ignorance. -/- The explanatory quality of will condition is finally applied to cases involving various degrees of lack of awareness. Though this condition itself involves no awareness requirement, it is shown how it accounts for the degrees to which lack of awareness can excuse. It is also explained how lack of awareness fails as an excuse exactly when the agent should have known better and can be blamed for not doing so. (shrink)

Nominalists need some account of correctness for sentences committed to the existence of abstract objects. This paper proposes a new statement of such conditions specifically for properties. The account builds on an earlier proposal of mine, but avoids the counter-examples against the latter pointed out by Thomas Schindler, particularly, the sentence ‘There are inexpressible properties’. I argue that the new proposal is independently motivated and more faithful to the spirit of the kind of error-theoretic nominalism that the original proposal was (...) part of. Along the way, I also propose novel treatments of Arthur Pap’s and W.V.O. Quine’s notoriously hard-to-paraphrase sentences about abstracta. (shrink)

It is argued that contraposition is valid for a class of natural language conditionals, if some modifications are allowed to preserve the meaning of the original conditional. In many cases, implicit temporal indices must be considered, making a change in verb tense necessary. A suitable contrapositive for implicative counterfactual conditionals can also usually be found. In some cases, the addition of certain words is necessary to preserve meaning that is present in the original sentence and would be lost or (...) changed in the contrapositive without them. A distinction is made between adding new meaning and adding new words to preserve existing meaning. For concessive conditionals and relevance conditionals, however, no valid contrapositive can be found. They do not belong to the class of contraposable conditionals, which can be independently defined. Difficult cases are also discussed in which the contradictory of the consequent semantically entails the truth of the antecedent. In such cases the content of the antecedent is implicit in the meaning of the consequent. Contraposition becomes possible if what is implicit in the original consequent is made explicit in the contrapositive antecedent. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an x and a (...) y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional (...) event; moreover, we give the lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold. (shrink)

A strongly independent preorder on a possibly in finite dimensional convex set that satisfi es two of the following conditions must satisfy the third: (i) the Archimedean continuity condition; (ii) mixture continuity; and (iii) comparability under the preorder is an equivalence relation. In addition, if the preorder is nontrivial (has nonempty asymmetric part) and satisfi es two of the following conditions, it must satisfy the third: (i') a modest strengthening of the Archimedean condition; (ii') mixture continuity; and (iii') completeness. Applications (...) to decision making under conditions of risk and uncertainty are provided. (shrink)

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by (...) $n$ conditional events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)

Recent work in contemporary compatibilist theory displays considerable sophistication and subtlety when compared with the earlier theories of classical compatibilism. Two distinct lines of thought have proved especially influential and illuminating. The first developed around the general hypothesis that moral sentiments or reactive attitudes are fundamental for understanding the nature and conditions of moral responsibility. The other important development is found in recent compatibilist accounts of rational self-control or reason responsiveness. Strictly speaking, these two lines of thought have developed independent (...) of each other. However, in the past decade or so they have been fused together in several prominent statements of compatibilist theory. I will refer to theories that combine these two elements in this way as RS theories. RS theories face a number of familiar difficulties that relate to each of their two components. Beyond this, they also face a distinct set of problems concerning how these two main components relate or should be integrated. My concerns in this paper focus primarily on this set of problems. According to one version of RS compatibilism, the role of moral sentiments is limited to explaining what is required for holding an agent responsible. In contrast with this, the role of reason responsiveness is to explain what moral capacities are required for an agent to be responsible, one who is a legitimate or fair target of our moral sentiments. More specifically, according to this view, moral sense is not required for rational selfcontrol or reason responsiveness. There is, therefore, no requirement that the responsible agent has some capacity to feel moral sentiment. Contrary to this view, I argue that a responsible agent must be capable of holding herself and others responsible. Failing this, an agent’s powers of rational self-control will be both limited and impaired. In so far as holding responsible requires moral sense, it follows that being responsible also requires moral sense. (shrink)

As stochastic independence is essential to the mathematical development of probability theory, it seems that any foundational work on probability should be able to account for this property. Bayesian decision theory appears to be wanting in this respect. Savage’s postulates on preferences under uncertainty entail a subjective expected utility representation, and this asserts only the existence and uniqueness of a subjective probability measure, regardless of its properties. What is missing is a preference condition corresponding to stochastic independence. To (...) fill this significant gap, the article axiomatizes Bayesian decision theory afresh and proves several representation theorems in this novel framework. (shrink)

Patrick Toner has recently criticized accounts of substance provided by Kit Fine, E. J. Lowe, and the author, accounts which say (to a first approximation) that substances cannot depend on things other than their own parts. On Toner’s analysis, the inclusion of this parts exception results in a disjunctive definition of substance rather than a unified account. In this paper (speaking only for myself, but in a way that would, I believe, support the other authors that Toner discusses), I first (...) make clear what Toner’s criticism is, and then I respond to it. Including the parts exception is not the adding of a second condition but instead the creation of a new single condition. Since it is not the adding of a condition, the result is not disjunctive. Therefore, the objection fails. (shrink)

The traditional metaethical distinction between cognitivist absolutism,on the one hand, and speaker relativism or noncognitivism, on the other,seemed both clear and important. On the former view, moral judgmentswould be true or false independently on whose judgments they were, andmoral disagreement might be settled by the facts. Not so on the latter views. But noncognitivists and relativists, following what Simon Blackburn has called a “quasi-realist” strategy, have come a long way inmaking sense of talk about truth of moral judgments and itsindependence (...) of moral judges and their attitudes or standards. Thesuccess of this strategy would undermine the traditional way of understanding the distinction, and it is not obvious how it can be reformulated. In this paper, I outline the difficulty posed by quasi-realism, raise problems for some prior attempts to overcome it, and present my own suggestion, focusing on correctness conditions that are internal to the act of moral judgment. (shrink)

This essay considers the nature of duties incumbent on legislators in virtue of the office itself. I argue that there is no duty for a legislator to enact a criminal law based on morality; there is no duty to incorporate substantive moral conditions into the criminal law; and there is therefore no duty derivable from the nature of the legislative office itself to make conditions of culpability depend on those of moral responsibility. Finally, I argue that the relation between morality (...) and the criminal law is therefore much less direct than assumed in most theories of the criminal law. (shrink)

I use Plotinus to present absolute divine simplicity as the consequence of principles about metaphysical and explanatory priority to which most theists are already committed. I employ Phil Corkum’s account of ontological independence as independent status to present a new interpretation of Plotinus on the dependence of everything on the One. On this reading, if something else (whether an internal part or something external) makes you what you are, then you are ontologically dependent on it. I show that this (...) account supports Plotinus’s claim that any entity with parts cannot be fully independent. In particular, I lay out Plotinus’s case for thinking that even a divine self-understanding intellect cannot be fully independent. I then argue that a weaker version of simplicity is not enough for the theist since priority monism meets the conditions of a moderate version of ontological independence just as well as a transcendent but complex ultimate being. (shrink)

In his ground‐breaking study Complicity, Christopher Kutz introduces the notion of ‘participatory intentions’ (individual intentions whose content is collective) to explain an agent's complicity with groups or organisations. According to Kutz, participatory intentions allow us to hold individuals morally accountable for collective wrongs independent of their causal contribution to the wrong and its ensuing harm. This article offers an alternative account of complicity. Its central claim is that an agent's complicity might be due to the dependence of his professional role (...) on the normative principles that make up the organisation or institution in whose practices he partakes. In other words, there might arise a constitutive failure in an agent's attempt to ascribe to himself a non‐complicit professional identity. I use the case of SS‐Judge Konrad Morgen in order to illustrate this understanding of complicity. (shrink)

Arrhenius’s impossibility theorems purport to demonstrate that no population axiology can satisfy each of a small number of intuitively compelling adequacy conditions. However, it has recently been pointed out that each theorem depends on a dubious assumption: Finite Fine-Grainedness. This assumption states that there exists a finite sequence of slight welfare differences between any two welfare levels. Denying Finite Fine-Grainedness makes room for a lexical population axiology which satisfies all of the compelling adequacy conditions in each theorem. Therefore, Arrhenius’s theorems (...) fail to prove that there is no satisfactory population axiology. In this paper, I argue that Arrhenius’s theorems can be repurposed. Since all of our population-affecting actions have a non-zero probability of bringing about more than one distinct population, it is population prospect axiologies that are of practical relevance, and amended versions of Arrhenius’s theorems demonstrate that there is no satisfactory population prospect axiology. These impossibility theorems do not depend on Finite Fine-Grainedness, so lexical views do not escape them. (shrink)

This paper calls for a re-appraisal of McGee's analysis of the semantics, logic and probabilities of indicative conditionals presented in his 1989 paper Conditional probabilities and compounds of conditionals. The probabilistic measures introduced by McGee are given a new axiomatisation built on the principle that the antecedent of a conditional is probabilistically independent of the conditional and a more transparent method of constructing such measures is provided. McGee's Dutch book argument is restructured to more clearly reveal that (...) it introduces a novel contribution to the epistemology of semantic indeterminacy, and shows that its more controversial implications are unavoidable if we want to maintain the Ramsey Test along with the standard laws of probability. Importantly, it is shown that the counterexamples that have been levelled at McGee's analysis|generating a rather wide consensus that it yields `unintuitive' or `wrong' probabilities for compounds |fail to strike at their intended target; for to honour the intuitions of the counterexamples one must either give up the Ramsey Test or the standard laws of probability. It will be argued that we need to give up neither if we take the counterexamples as further evidence that the indicative conditional sometimes allows for a non-epistemic `causal' interpretation alongside its usual epistemic interpretation. (shrink)

This chapter outlines a new disentangling strategy for moral epistemology. It builds on the fundamental distinction between value-neutrality and value-independence as two separate aspects of methodological austerity introduced by Matthew Kramer. This type of conceptual analysis is then applied to two major challenges in moral epistemology: globalised scepticism and debate fragmentation. Both challenges arise from collapsing the fact/value dichotomy. They can be addressed by comprehensive disentangling that runs along both dimensions – value neutrality vs. value non-neutrality and value (...) class='Hi'>independence vs. value dependence. The success of this strategy rests on two factors. The first is broadening the scope of disentangling to include theoretical-explanatory values on a par with distinctly ethical values. The second is differentiating between wider and narrower conceptualisations of what value neutrality requires with respect to contested matters. The objective is to pre-empt unjust theorising, a distinctive form of epistemic injustice that derives from the exclusive methodological focus on ethical evaluations at the expense of epistemic ones. When these methodological conditions are fulfilled, opponents should gain the confidence to treat each other as fellow inquirers engaged in the same project, that of reducing the scope of unhelpful disagreements. (shrink)

Here is a surprisingly neglected question in contemporary epistemology: what is it for an agent to believe that p in response to a normative reason for them to believe that p? On one style of answer, believing for the normative reason that q factors into believing that p in the light of the apparent reason that q, where one can be in that kind of state even if q is false, in conjunction with further independent conditions such as q’s being (...) a normative reason to believe that p. The primary objective of this paper is to demonstrate that that style of answer cannot be right, because we must conceive of believing for a normative reason as constitutively involving a kind of rationality-involving relation that can be instantiated at all only if there is a known fact on the scene, which the agent treats as a normative reason. A secondary objective, achieved along the way, is to demonstrate that in their Prime Time Errol Lord and Kurt Sylvan do not succeed in undermining the factoring picture in general, only a simple-minded version of it. (shrink)

In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of falsity conditions. (...) We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

In the context of the digital economy development, the priority component of the economic security of an enterprise is changing from material to digital, constituting an independent element of enterprise security. The relevance of the present research is driven by the need to solve the issue of modernizing the economic security of the enterprise taking into account the new risks and opportunities of digitalization. The purpose of the academic paper lies in identifying the features of preventing internal and external negative (...) influences (threats) in order to guarantee the effective and stable functioning and dynamic social development of the enterprise in the context of digitalization. The research methods are as follows: general scientific research methods, in particular, logical analysis, theoretical substantiation, methods of induction and deduction, formalization and generalization, statistical observation. Results. It has been proposed to introduce the concept of “digital security of the enterprise” for replacing the concept of “information component of economic security” in order to bring the terminology in line with new economic realities. The implementation of the “black box” model has made it possible to identify the latest risks and threats to the economic security of an enterprise within the conditions of the digitalization that differs from the existing ones. The assessment of enterprises’ digital security of the European Union member states has revealed that the digital security level does not depend on the size of the country, however, it is influenced by the institutional environment (in particular, digital development tools in the EU) and the size of enterprises. Also, within the research framework, an assessment of the digital security level of enterprises in the context of digitalization has been proposed. In order to characterize enterprises by the level of digital security, a calculation procedure using the coefficient method has been proposed. (shrink)

In my analysis I deal with some causes and origins of evil and of moral degeneration in the human dimension. My analysis focuses on Plato’s Republic. The origins and causes of the presence of injustice and of vice lie in the very structure of the human soul. The division of the soul into parts which are at least reciprocally independent of each other implies that there is the possibility that they are in conflict with each other. This is the origin (...) of injustice and the root of every form of evil. The correct equilibrium among the parts of the soul, which, in my opinion, are to be interpreted as authentic potencies, can be achieved only by developing the rational part. This development requires a thorough education in philosophy. Throughout my analysis I quote passages in which Plato points out the presence of bad instincts and, in general, of a morally difficult component in our soul. The kind of soul considered in my analysis is the embodied soul. (shrink)

Dutch Book arguments have been presented for static belief systems and for belief change by conditionalization. An argument is given here that a rule for belief change which under certain conditions violates probability kinematics will leave the agent open to a Dutch Book.

Some recent exchanges (Gebharter 2017a,2017b; Baumgartner and Cassini, 2023) concern whether composition can have conditional independence properties analogous to causal relations. If so, composition might sometimes be detectable by the application of causal search algorithms. The discussion has focused on a particular algorithm, PC (Spirtes and Glymour, 1991). PC is but one, and in many circumstances not the best, of a host of causal search algorithms that are candidates for methods of discovering composition provided appropriate statistical relations obtain. (...) The discussion raises two issues: 1. Does the structure of the composition relation entail probability relations such that PC and like algorithms cannot discover composition from frequency data about kinds; and 2. what can be discovered—and how—about the composition of systems by PC or related causal search algorithms that exploit conditional independence relations. Baumgartner and Cassini answer the first question positively: constitution entails probability relations incompatible with discovery by PC. They do not engage the second question, but we will. (shrink)

This is a conjecture about the conditions and operating structures that are required for the phenomenality of certain mental states. Specifically, full-blown phenomenality is assumed, as contrasted with constrained examples of phenomenal experience such as sensations of color and pain. Propositional attitudes and content, while not phenomenal per se, are standardly concurrent and may condition phenomenal states (e.g., when tied to false beliefs). It is conjectured that full phenomenality natively arises in coherent processes of situated sensory synthesis and representation (with (...) conceptual content) that are looped, mereologically whole and multi-dimensional. And that phenomenal states are typically phase-states within a parameterized conjoint structure of world and experiencer processes that are causally modulated across Markov blankets (which are conditionally independent and may be nested: cf. M. Kirchoff, et. al., 2017, 2018; and T. Burge, 2010, re: anti-individualism). Though they may, it is not accepted that phenomenally conscious states must be targets of higher-order representations (cf. A. Byrne, 2004). (shrink)

Tractatus 4.024 inspired the dominant semantics of our time: truth-conditional semantics. Such semantics is focused on possible worlds: the content of p is the set of worlds where p is true. It has become increasingly clear that such an account is, at best, defective: we need an ‘independent factor in meaning, constrained but not determined by truth-conditions’ (Yablo 2014, p. 2), because sentences can be differently true at the same possible worlds. I suggest a missing comment which, had it (...) been included in the Tractatus, would have helped semantics get this right from the start. This is my 4.0241: ‘Knowing what is the case if a sentence is true is knowing its ways of being true’: knowing a sentence’s truth possibilities and what we now call its topic, or subject matter. I show that the famous ‘fundamental thought’ that ‘the “logical constants” do not represent’ (4.0312) can be understood in terms of ways-based views of meaning. Such views also help with puzzling claims like 5.122: ‘If p follows from q, the sense of “p” is contained in the that of “q”’, which are compatible with a conception of entailment combining truth-preservation with the preservation of topicality, or of ways of being true. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives (...) may show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

Ian Hacking’s wide-ranging and penetrating analysis of science contains two well-developed lines of thought. The first emphasizes the contingent history of our inquiries into nature, focusing on the various ways in which our concepts and styles of reasoning evolve through time, how their current application is constrained by the conditions under which they arose, and how they might have evolved differently. The second is the mistrust of the idea that the world contains mind-independent natural kinds, preferring nominalism to ‘inherent structurism’. (...) These two pillars of thought seem at first to be mutually reinforcing: the lack of natural structure can help make sense of scientific variability and revision, while variability and revision provide reason to suspect that natural structure is little more than idealization. In what follows, I argue that these two pillars not only fail to support each other, but in fact conflict. One of them must fall, and it is clear which. (shrink)

Dilation occurs when an interval probability estimate of some event E is properly included in the interval probability estimate of E conditional on every event F of some partition, which means that one’s initial estimate of E becomes less precise no matter how an experiment turns out. Critics maintain that dilation is a pathological feature of imprecise probability models, while others have thought the problem is with Bayesian updating. However, two points are often overlooked: (1) knowing that E is (...) stochastically independent of F (for all F in a partition of the underlying state space) is sufficient to avoid dilation, but (2) stochastic independence is not the only independence concept at play within imprecise probability models. In this paper we give a simple characterization of dilation formulated in terms of deviation from stochastic independence, propose a measure of dilation, and distinguish between proper and improper dilation. Through this we revisit the most sensational examples of dilation, which play up independence between dilator and dilatee, and find the sensationalism undermined by either fallacious reasoning with imprecise probabilities or improperly constructed imprecise probability models. (shrink)

Many epistemologists have argued that there is some degree of independence between individual and collective reliability (e.g., Kitcher 1990; Mayo-Wilson, Zollman, and Danks 2011; Dunn 2018). The question, then, is: To what extent are the two independent of each other? And in which contexts do they come apart? In this paper, I present a new case confirming the independence between individual and collective reliability optimization. I argue that, in voting groups, optimizing individual reliability can conflict with optimizing collective (...) reliability. This can happen even if various conditions are held constant, such as: the evidence jurors have access to, the voting system, the number of jurors, some independence conditions between voters, and so forth. This observation matters in many active debates on, e.g., epistemic dilemmas, the wisdom of crowds, independence theses, epistemic democracy, and the division of epistemic labour. (shrink)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

David Papineau’s _The Metaphysics of Sensory Experience_ is deep, insightful, refreshingly brisk, and very readable. In it, Papineau argues that sensory experiences are intrinsic and non-relational states of subjects; that they do not essentially involve relations to worldly facts, properties, or other items (though they do happen to correlate with worldly items); and that they do not have truth conditions simply in virtue of their conscious (i.e., phenomenal) features. I am in enthusiastic agreement with the picture as described so far. (...) But Papineau also argues that sensory experiences are in no interesting sense essentially representational and that what is responsible for their truth conditions is their correlations with the environment. Here, I disagree. Indeed, I think Papineau does not follow his arguments to their proper conclusions. For if sensory experiences are intrinsic, non-relational, and only contingently correlated with worldly conditions (as Papineau and I agree they are), then the phenomenal features of sensory states are representational in an important sense: they constitute what we think, perceptually experience, or otherwise entertain, making up how things seem to us from a first-person perspective. Because of this, the truth conditions of perceptual experiences cannot be entirely independent of their phenomenal features. They cannot merely be a matter of environmental correlations. If we follow Papineau’s arguments to their proper conclusions, we end up with a view much closer to a version of representationalism that Papineau dismisses, a view he calls “pure phenomenal intentionalism”. (shrink)

I provide a characterization of weakly pseudo-rationalizable choice functions---that is, choice functions rationalizable by a set of acyclic relations---in terms of hyper-relations satisfying certain properties. For those hyper-relations Nehring calls extended preference relations, the central characterizing condition is weaker than (hyper-relation) transitivity but stronger than (hyper-relation) acyclicity. Furthermore, the relevant type of hyper-relation can be represented as the intersection of a certain class of its extensions. These results generalize known, analogous results for path independent choice functions.

In this paper, a complex non- linear programming problem with the two parts (real and imaginary) is considered. The efficient and proper efficient solutions in terms of optimal solutions of related appropriate scalar optimization problems are characterized. Also, the Kuhn-Tuckers' conditions for efficiency and proper efficiency are derived. This paper is divided into two independently parts: The first provides the relationships between the optimal solutions of a complex single-objective optimization problem and solutions of two related real programming problems. The second (...) part is concerned with the theory of a multi-objective optimization in complex space. (shrink)

THE CONGRESS The infrastructure of the colonial territories obeyed the logic of economic exploitation, territorial domain and commercial dynamics among others that left deep marks in the constructed landscape. The rationales applied to the decisions behind the construction of infrastructures varied according to the historical period, the political model of colonial administration and the international conjuncture. This congress seeks to bring to the knowledge of the scientific community the dynamics of occupation and transformation of colonial territory, especially related to and (...) resulting from the war effort, which involved not only the agency of architecture and urbanism but also of military apparatus, and its repercussions in the same territories as independent countries. Colonial infrastructures will be addressed to question, for instance, how housing production during armed conflict has conditioned future spatial models of the independent countries or what options taken by colonial administrations were abandoned or otherwise strengthened after independence. The congress is part of the ongoing research project entitled “ARCHWAR - Dominance and massviolence through Housing and Architecture during colonial wars. The Portuguese case (GuineaBissau, Angola, Mozambique): colonial documentation and post independence critical assessment” funded by ‘Fundação para a Ciência e Tecnologia’ (FCT - Foundation for Science and Technology), ref. PTDC/ART-DAQ/0592/2020, in which Calouste Gulbenkian Foundation (FCG) is a partner. The general goal of the congress is to debate on the repercussions of the decisions taken by the colonial states in the area of territorial infrastructures – in particular through the disciplines of architecture and urbanism – in post-independence spatial and urban models and the formation of independent countries with a colonial past. (shrink)

Several conditions for being an intrinsically intentional agent are put forward. On a first level of intentionality the agent has representations. Two kinds are described: cued and detached. An agent with both kinds is able to represent both what is prompted by the context and what is absent from it. An intermediate level of intentionality is achieved by having an inner world, that is, a coherent system of detached representations that model the world. The inner world is used, e.g., for (...) conditional and counterfactual thinking. Contextual or indexical representations are necessary in order that the inner world relates to the actual external world and thus can be used as a basis for action. To have full-blown intentionality, the agent should also have a detached self-awareness, that is, be able to entertain self-representations that are independent of the context. (shrink)

While the image of the slave as the antithesis of the freeman is central to republican freedom, it is striking to note that slaves themselves have not contributed to how this condition is understood. The result is a one-sided conception of both freedom and slavery, which leaves republicanism unable to provide an equal and robust protection for historically outcast people. I draw on the work of Frederick Douglass – long overlooked as a significant contributor to republican theory – to show (...) one way why this is so. Focusing the American Revolution, the subsequent republican government established new political institutions to maintain the collective interests of the whole population. The political revolution was held in place by processes of public reason that reflected the values and ideas of the people that had rebelled. The black population, however, had not been part of this revolution. After emancipation, black Americans were required to accept terms of citizenship that had already been defined, leaving them socially dominated, subject to the prejudices and biases within the prevailing ideas of public discourse. Douglass argued that republican freedom under law is always dependent on a more fundamental revolution, that he calls a ‘radical revolution in thought’, in which the entire system of social norms and practices are reworked together by members of all constituent social groups – women and men, black and white, rich and poor – so that it reflects a genuinely collaborative achievement. Only then can we begin the republican project of contestatory freedom as independence or non-domination that today’s republicans take for granted. (shrink)

ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings true. (...) This is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (shrink)

_ Source: _Page Count 25 This is a pre-print. Please cite only the revised published version. This paper presents an original, ambitious, truth-directed transcendental argument for the existence of an ‘external world’. It begins with a double-headed starting-point: Stroud’s own remarks on the necessary conditions of language in general, and Hegel’s critique of the “fear of error.” The paper argues that the sceptical challenge requires a particular critical concept of thought as that which may diverge from reality, and that this (...) concept is possible only through reflection on situations of error, in which how things are thought to be diverges from how things really are with independent items in an objective world. The existence of such a world is therefore a necessary condition of the possibility of scepticism: such scepticism is therefore false. I defend the argument against objections from Stroud’s sceptic and others. Drawing on Heidegger, the paper concludes by indicating that the chain of necessary conditions includes practical engagement with the world. (shrink)