This paper addresses the issue of finite versus countable additivity in Bayesian probability and decision theory -- in particular, Savage's theory of subjective expected utility and personal probability. I show that Savage's reason for not requiring countable additivity in his theory is inconclusive. The assessment leads to an analysis of various highly idealised assumptions commonly adopted in Bayesian theory, where I argue that a healthy dose of, what I call, conceptual realism is often helpful in understanding (...) the interpretational value of sophisticated mathematical structures employed in applied sciences like decision theory. In the last part, I introduce countable additivity into Savage's theory and explore some technical properties in relation to other axioms of the system. (shrink)

De Finetti would claim that we can make sense of a draw in which each positive integer has equal probability of winning. This requires a uniform probability distribution over the natural numbers, violating countable additivity. Countable additivity thus appears not to be a fundamental constraint on subjective probability. It does, however, seem mandated by Dutch Book arguments similar to those that support the other axioms of the probability calculus as compulsory for subjective interpretations. These two lines (...) of reasoning can be reconciled through a slight generalization of the Dutch Book framework. Countable additivity may indeed be abandoned for de Finetti's lottery, but this poses no serious threat to its adoption in most applications of subjective probability. Introduction The de Finetti lottery Two objections to equiprobability 3.1 The ‘No random mechanism’ argument 3.2 The Dutch Book argument Equiprobability and relative betting quotients The re-labelling paradox 5.1 The paradox 5.2 Resolution: from symmetry to relative probability Beyond the de Finetti lottery. (shrink)

In two excellent recent papers, Jacob Ross has argued that the standard arguments for the ‘thirder’ answer to the Sleeping Beauty puzzle lead to violations of countable additivity. The problem is that most arguments for that answer generalise in awkward ways when he looks at the whole class of what he calls Sleeping Beauty problems. In this note I develop a new argument for the thirder answer that doesn't generalise in this way.

Our aim here is to present a result that connects some approaches to justifying countable additivity. This result allows us to better understand the force of a recent argument for countable additivity due to Easwaran. We have two main points. First, Easwaran’s argument in favour of countable additivity should have little persuasive force on those permissive probabilists who have already made their peace with violations of conglomerability. As our result shows, Easwaran’s main premiss – (...) the comparative principle – is strictly stronger than conglomerability. Second, with the connections between the comparative principle and other probabilistic concepts clearly in view, we point out that opponents of countable additivity can still make a case that countable additivity is an arbitrary stopping point between finite and full additivity. (shrink)

This paper presents and defends an argument that the continuum hypothesis is false, based on considerations about objective chance and an old theorem due to Banach and Kuratowski. More specifically, I argue that the probabilistic inductive methods standardly used in science presuppose that every proposition about the outcome of a chancy process has a certain chance between 0 and 1. I also argue in favour of the standard view that chances are countably additive. Since it is possible to randomly pick (...) out a point on a continuum, for instance using a roulette wheel or by flipping a countable infinity of fair coins, it follows, given the axioms of ZFC, that there are many different cardinalities between countable infinity and the cardinality of the continuum. (shrink)

This essay has two aims. The first is to correct an increasingly popular way of misunderstanding Belot's Orgulity Argument. The Orgulity Argument charges Bayesianism with defect as a normative epistemology. For concreteness, our argument focuses on Cisewski et al.'s recent rejoinder to Belot. The conditions that underwrite their version of the argument are too strong and Belot does not endorse them on our reading. A more compelling version of the Orgulity Argument than Cisewski et al. present is available, however---a point (...) that we make by drawing an analogy with de Finetti's argument against mandating countable additivity. Having presented the best version of the Orgulity Argument, our second aim is to develop a reply to it. We extend Elga's idea of appealing to finitely additive probability to show that the challenge posed by the Orgulity Argument can be met. (shrink)

This article discusses how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. Techniques and ideas from non-standard analysis are brought to bear on the problem.

Peter Walley argues that a vague credal state need not be representable by a set of probability functions that could represent precise credal states, because he believes that the members of the representor set need not be countably additive. I argue that the states he defends are in a way incoherent.

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ (...) ⍯φ iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation that (...) satisfies certain arguably acceptable postulates determines a (finitely additive) probability distribution over the states and a utility assignment to the consequences, such that the preferences among acts are determined by their expected utilities. Additional problematic assumptions are however required in Savage's proofs. First, there is a Boolean algebra of events (sets of states) which determines the richness of the set of acts. The probabilities are assigned to members of this algebra. Savage's proof requires that this be a σ-algebra (i.e., closed under infinite countable unions and intersections), which makes for an extremely rich preference relation. On Savage's view we should not require subjective probabilities to be σ-additive. He therefore finds the insistence on a σ-algebra peculiar and is unhappy with it. But he sees no way of avoiding it. Second, the assignment of utilities requires the constant act assumption: for every consequence there is a constant act, which produces that consequence in every state. This assumption is known to be highly counterintuitive. The present work contains two mathematical results. The first, and the more difficult one, shows that the σ-algebra assumption can be dropped. The second states that, as long as utilities are assigned to finite gambles only, the constant act assumption can be replaced by the more plausible and much weaker assumption that there are at least two non-equivalent constant acts. The second result also employs a novel way of deriving utilities in Savage-style systems -- without appealing to von Neumann-Morgenstern lotteries. The paper discusses the notion of “idealized agent" that underlies Savage's approach, and argues that the simplified system, which is adequate for all the actual purposes for which the system is designed, involves a more realistic notion of an idealized agent. (shrink)

I criticise a paper by Peter Forrest in which he argues that a principle of unrestricted countable fusion has paradoxical consequences. I argue that the paradoxical consequences that he exhibits may be due to his Whiteheadean assumptions about the nature of spacetime rather than to the principle of unrestricted countable fusion.

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.

In situations where we ignore everything but the space of possibilities, we ought to suspend judgment—that is, remain agnostic—about which of these possibilities is the case. This means that we cannot sum our degrees of belief in different possibilities, something that has been formalized as an axiom of non-additivity. Consistent with this way of representing our ignorance, I defend a doxastic norm that recommends that we should nevertheless follow a certain additivity of possibilities: even if we cannot sum (...) degrees of belief in different possibilities, we should be more confident in larger groups of possibilities. It is thus shown that, in the type of situation considered (in so-called ‘classical ignorance’, i.e. “behind a thin veil of ignorance”), it is epistemically rational for advocates of suspending judgment to endorse this comparative confidence; while on the other hand it is shown that, even in classical ignorance, no stronger belief—such as a precise uniform probability distribution—is warranted. (shrink)

We prove a representation theorem for preference relations over countably infinite lotteries that satisfy a generalized form of the Independence axiom, without assuming Continuity. The representing space consists of lexicographically ordered transfinite sequences of bounded real numbers. This result is generalized to preference orders on abstract superconvex spaces.

Every year, the Vietnamese people reportedly burned about 50,000 tons of joss papers, which took the form of not only bank notes, but iPhones, cars, clothes, even housekeepers, in hope of pleasing the dead. The practice was mistakenly attributed to traditional Buddhist teachings but originated in fact from China, which most Vietnamese were not aware of. In other aspects of life, there were many similar examples of Vietnamese so ready and comfortable with adding new norms, values, and beliefs, even contradictory (...) ones, to their culture. This phenomenon, dubbed “cultural additivity”, prompted us to study the co-existence, interaction, and influences among core values and norms of the Three Teachings –Confucianism, Buddhism, and Taoism–as shown through Vietnamese folktales. By applying Bayesian logistic regression, we evaluated the possibility of whether the key message of a story was dominated by a religion (dependent variables), as affected by the appearance of values and anti-values pertaining to the Three Teachings in the story (independent variables). Our main findings included the existence of the cultural additivity of Confucian and Taoist values. More specifically, empirical results showed that the interaction or addition of the values of Taoism and Confucianism in folktales together helped predict whether the key message of a story was about Confucianism, β{VT ⋅ VC} = 0.86. Meanwhile, there was no such statistical tendency for Buddhism. The results lead to a number of important implications. First, this showed the dominance of Confucianism because the fact that Confucian and Taoist values appeared together in a story led to the story’s key message dominated by Confucianism. Thus, it presented the evidence of Confucian dominance and against liberal interpretations of the concept of the Common Roots of Three Religions (“tam giáo đồng nguyên”) as religious unification or unicity. Second, the concept of “cultural additivity” could help explain many interesting socio-cultural phenomena, namely the absence of religious intolerance and extremism in the Vietnamese society, outrageous cases of sophistry in education, the low productivity in creative endeavors like science and technology, the misleading branding strategy in business. We are aware that our results are only preliminary and more studies, both theoretical and empirical, must be carried out to give a full account of the explanatory reach of “cultural additivity”. (shrink)

Academic discussions of the count/mass distinction in Chinese feature three general problems, upon which this essay critically reflects: 1) Most studies focus either on modern or on classical Chinese thus representing parallel discussions that never intersect; 2) studies on count/mass grammar are often detached from reflections on count/mass semantics, which results in serious theoretical and terminological flaws; 3) approaches to Chinese often crucially depend on observations of English grammar and semantics, as, e.g., many/much vs. few/little patterns, the use of plural (...) inflections, etc., which is seldom justified. The article investigates the relevant discourse on the count/mass issue in classical and modern Chinese and concludes with exploring two distinct areas related to countability: the semantics of singular in contexts in which objects are introduced as referential-indefinite and the semantics of number and countability as revealed in diangu. (shrink)

There is an emerging view according to which countability is not an integral part of the lexical meaning of singular count nouns, but is ‘added on’ or ‘made available’, whether syntactically, semantically or both. This view has been pursued by Borer and Rothstein among others in order to deal with classifier languages such as Chinese as well as challenges to standard views of the mass-count distinction such as object mass nouns such as furniture. I will discuss a range of data, (...) partly from German, that such a grammar-based view of countability receives support when applied to verbs with respect to the event argument position. Verbs themselves fail to specify events as countable in English and related languages; instead countability is made available only by the use of the event classifier time or else particular lexical items, such as frequency expressions, German beides ‘both’, or the nominalizing light noun -thing. The paper will not adopt or elaborate a particular version of the grammar-based view of countability, but rather critically discuss existing versions and present two semantic options of elaborating the view. (shrink)

Proper names are generally taken to be count nouns. This paper argues that this is mistaken and that at least in some languages, for example German, names divide into mass and count. Making use of Kayne's (2005, 2010) theory of light nouns, this paper argues that light nouns are part of (simple) names and that a mass-count distinction among light nouns explains the behavior of certain types of names in German as mass rather than count. The paper elaborates the role (...) of light nouns with new generalizations regarding their linguistic behavior in quantificational and pronominal NPs, their selection of relative pronouns in German, and a general difference in the support of plural anaphora between English and German. (shrink)

How can we resist the repugnant conclusion? James Griffin has plausibly suggested that part way through the sequence we may reach a world—let us call it “J”—in which the lives are lexically superior to those that follow. If it would be preferable to live a single life in J than through any number of lives in the next one, then it would be strange to judge K the better world. Instead, we may reasonably “suspend addition” and judge J superior, as (...) if aggregating the lives in the larger world intrapersonally. I argue that the addition of new people with separate preferences renders this inference illicit when comparing J+ and K. When one pairwise comparison suspends addition and the other does not, the result is an intransitive value judgement: J < J+ < K < J, producing the mere addition paradox. (shrink)

Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.

In this paper, I argue that one of the arguments usually put forward in defence of universism is in tension with current set theoretic practice. According to universism, there is only one set theoretic universe, V, and when applying the method of forcing we are not producing new universes, but only simulating them inside V. Since the usual interpretation of set generic forcing is used to produce a “simulation” of an extension of V from a countable set inside V (...) itself, the above argument is credited to be a strong defence of universism. However, I claim, such an argument does not take into account current mathematical practice. Indeed, it is possible to find theorems that are available to the multiversists but that the advocate of universism cannot prove. For example, it is possible to prove results on infinite games in non-well-founded set-theories plus the axiom of determinacy (such as ZF + AFA + PD) that are not available in ZFC + PD. These results, I contend, are philosophically problematic on a strict universist approach to forcing. I suggest that the best way to avoid the difficulty is to adopt a pluralist conception of set theory and embrace a set theoretic multiverse. Consequently, the current practice of set generic forcing better supports a multiverse conception of set theory. (shrink)

Is the overall value of a world just the sum of values contributed by each value-bearing entity in that world? Additively separable axiologies (like total utilitarianism, prioritarianism, and critical level views) say 'yes', but non-additive axiologies (like average utilitarianism, rank-discounted utilitarianism, and variable value views) say 'no'. This distinction is practically important: additive axiologies support 'arguments from astronomical scale' which suggest (among other things) that it is overwhelmingly important for humanity to avoid premature extinction and ensure the existence of a (...) large future population, while non-additive axiologies need not. We show, however, that when there is a large enough 'background population' unaffected by our choices, a wide range of non-additive axiologies converge in their implications with some additive axiology -- for instance, average utilitarianism converges to critical-level utilitarianism and various egalitarian theories converge to prioritiarianism. We further argue that real-world background populations may be large enough to make these limit results practically significant. This means that arguments from astronomical scale, and other arguments in practical ethics that seem to presuppose additive separability, may be truth-preserving in practice whether or not we accept additive separability as a basic axiological principle. (shrink)

This article develops an axiom system to justify an additive representation for a preference relation ${\succsim}$ on the product ${\prod_{i=1}^{n}A_{i}}$ of extensive structures. The axiom system is basically similar to the n-component (n ≥ 3) additive conjoint structure, but the independence axiom is weakened in the system. That is, the axiom exclusively requires the independence of the order for each of single factors from fixed levels of the other factors. The introduction of a concatenation operation on each factor A i (...) makes it possible to yield a special type of restricted solvability, i.e., additive solvability and the usual cancellation on ${\prod_{i=1}^{n}A_{i}}$ . In addition, the assumption of continuity and completeness for A i implies a stronger type of solvability on A i . The additive solvability, cancellation, and stronger solvability axioms allow the weakened independence to be effective enough in constructing the additive representation. (shrink)

The additive presupposition of particles like "too"/"even" is uncontested, but usually stipulated. This paper proposes to derive it based on two properties. (i) "too"/"even" is cross-linguistically focus-sensitive, and (ii) in many languages, "too"/"even" builds negative polarity items and free-choice items as well, often in concert with other particles. (i) is the source of its existential presupposition, and (ii) offers clues regarding how additivity comes about. (i)-(ii) together demand a sparse semantics for "too/even," one that can work with different kinds (...) of alternatives (focus, subdomain, scalar) and invoke suitably different further operators. (shrink)

I present a new argument for the repugnant conclusion. The core of the argument is a risky, intrapersonal analogue of the mere addition paradox. The argument is important for three reasons. First, some solutions to Parfit’s original puzzle do not obviously generalize to the intrapersonal puzzle in a plausible way. Second, it raises independently important questions about how to make decisions under uncertainty for the sake of people whose existence might depend on what we do. And, third, it suggests various (...) difficulties for leading views about the value of a person’s life compared to her nonexistence. (shrink)

We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has (...) the finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)

The quantitative argument against the notion of a best possible world claims that, no matter how many worthwhile lives a world contains, another world contains more and is, other things being equal, better. Parfit’s ‘ Mere Addition Paradox ’ suggests that defenders of this argument must accept his ‘ Repugnant Conclusion ’ : that outcomes containing billions upon billions of lives barely worth living are better than outcomes containing fewer lives of higher quality. Several responses to the Paradox are discussed (...) and rejected as either inadequate or unavailable in a theistic context. The quantitative argument fails if some world is such that addition to it is not possible, i.e., if it is intensively infinite, as Liebniz claimed. If the notion of such a world is incoherent, then no world is quantitatively best and the quantitative argument succeeds, but only at the cost of embracing the Repugnant Conclusion. (shrink)

The shape of a life hypothesis holds that the temporal sequence of good or bad times in a life can itself be a valuable feature of that life. This is generally thought to be incompatible with additivism about lifetime well-being, which holds that lifetime well-being is fully determined by momentary well-being. This discussion examines Dale Dorsey’s recent argument that these views are in fact compatible. I argue that accepting the conjunction of these views requires stronger commitments than Dorsey recognizes. After (...) arguing that these commitments are problematic, I conclude that we should reject the compatibility claim. (shrink)

Economic policy evaluations require social welfare functions for variable-size populations. Two important candidates are critical-level generalized utilitarianism (CLGU) and rank-discounted critical-level generalized utilitarianism, which was recently characterized by Asheim and Zuber (2014) (AZ). AZ introduce a novel axiom, existence of egalitarian equivalence (EEE). First, we show that, under some uncontroversial criteria for a plausible social welfare relation, EEE suffices to rule out the Repugnant Conclusion of population ethics (without AZ’s other novel axioms). Second, we provide a new characterization of CLGU: (...) AZ’s set of axioms is equivalent to CLGU when EEE is replaced by the axiom same-number independence. (shrink)

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...) results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

Accuracy arguments for the core tenets of Bayesian epistemology differ mainly in the conditions they place on the legitimate ways of measuring the inaccuracy of our credences. The best existing arguments rely on three conditions: Continuity, Additivity, and Strict Propriety. In this paper, I show how to strengthen the arguments based on these conditions by showing that the central mathematical theorem on which each depends goes through without assuming Additivity.

In this essay, I argue the manifestations of social harmony in Confucian societies can be studied quantitatively using the "cultural additivity" framework and phenomenologically using the "mindsponge" model.

This paper presents a dilemma for the additive model of reasons. Either the model accommodates disjunctive cases in which one ought to perform some act $$\phi $$ just in case at least one of two factors obtains, or it accommodates conjunctive cases in which one ought to $$\phi $$ just in case both of two factors obtains. The dilemma also arises in a revised additive model that accommodates imprecisely weighted reasons. There exist disjunctive and conjunctive cases. Hence the additive model (...) is extensionally inadequate. The upshot of the dilemma is that one of the most influential accounts of how reasons accrue to determine what we ought to do is flawed. (shrink)

This week, the Royal Swedish Academy of Sciences announced the names of Nobel laureates in different fields. This year, the Nobel Prize in Biomedical Sciences was awarded to Swedish geneticist Svante Paabo for his discoveries concerning the DNA sequence of apes and human evolution. His work is especially meaningful as the question of human origin has long been a major concern to mankind. Modern-day wise humans belong to the genus Homo sapiens, along with seven ancient human races that existed millions (...) of years ago. Over time, many species became extinct and Professor Paabo discovered the gene transfer of these extinct species to Homo sapiens. With this discovery, he laid the foundation for other scientists to continue to search for the origin of modern humans. (shrink)

Craig (1981) presents and defends several different kalam cosmological arguments. The core of each of these arguments is the following ur argument.

Even-like particles have widely been analyzed as inducing scalar and additive presuppositions (cf. Horn 1969; Karttunen & Peters 1979; Rooth 1992; Gast & van der Auwera 2011). However, the additivity of even has been controversial since at least Horn 1992 and increasingly called into question (see Greenberg & Umbach 2021 for references); Greenberg specifically argues that scalar even-like particles can vary in additivity. This claim is surprising in light of the typological study in Gast & van der Auwera (...) 2011, which subsumes even and similar expressions under a larger class of additive particles. Against this background, we present an analysis of Italian addirittura, which with perfino has been described as scalar-additive (Visconti 2005) – but only optionally so – and is chosen preferentially over perfino precisely in those contexts that Greenberg takes to challenge the additivity of even. We argue, drawing on observations in Atayan 2017, that addirittura contrasts with perfino in deriving its scalar alternatives from rhetorical structure rather than focus structure. Once this is recognized we can view addirittura as additive, after all, in a rhetorical sense we describe below. (shrink)

One guide to an argument's significance is the number and variety of refutations it attracts. By this measure, the Dutch book argument has considerable importance.2 Of course this measure alone is not a sure guide to locating arguments deserving of our attention—if a decisive refutation has really been given, we are better off pursuing other topics. But the presence of many and varied counterarguments at least suggests that either the refutations are controversial, or that their target admits of more than (...) one interpretation, or both. The main point of this paper is to focus on a way of understanding the Dutch Book argument (DBA) that avoids many of the well-known criticisms, and to consider how it fares against an important criticism that still remains: the objection that the DBA presupposes value-independence of bets. (shrink)

From the point of view of a theorist in ethics, the interest in public policy usually centres on the policy outcomes. But this point of view does not take much account of the roles and practices through which public policies are enacted. What additional ethical focuses for the policy agent might these entail? I outline four features of policy making, centred on the agent's performance of their role in the process, that raise ethical issues. These features are: the nature of (...) the policy process; the definition of the public; the treatment of policy agents; and accounting for public policy decisions. Brief examples are used to illustrate the nature of the issues and support the conclusion that these present additional ethical focuses for agents in public policy roles. (shrink)

According to the Desire-Based Reasons Model reasons for action are provided by desires. Many, however, are critical about the Model holding an alternative view of practical reason, which is often called valued-based. In this paper I consider one particular attempt to refute the Model, which advocates of the valued-based view often appeal to: the idea of reason-based desires. The argument is built up from two premises. The first claims that desires are states that we have reason to have. The second (...) argues that desires do not add to the stock of reasons the agent has for having them. Together the two theses entail that desires are based on reasons, which they transmit but to which they cannot add. In the paper I deal with a counterexample to the second premise: tie-breaking desires. I first distinguish two interesting cases and argue that only the second challenges the premise. Then I move onto analyze this challenge by focusing on Ruth Chang’s recent employment of it. I show that contrary to its counterintuitive appearance, the challenge can be sustained. However, I also argue that Chang overlooks the full potential of one particular response to the challenge: the introduction of higher-order reasons determining the normative significance of these desires. At the same time, I show that this response has a problem that Chang does not consider. As a result, the response can only partially disarm the challenge of tie-breaking desires; or not at all, depending on what significance we attribute to the counterexamples. (shrink)

We present a new approach to the invariant subspace problem for complex Hilbert spaces.This approach based on nonconservative Extension of the Model Theoretical NSA. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace.

In free speech theory ‘speech’ has to be defined as a special term of art. I argue that much free speech discourse comes with a tacit commitment to a ‘Subtractive Approach’ to defining speech. As an initial default, all communicative acts are assumed to qualify as speech, before exceptions are made to ‘subtract’ those acts that don’t warrant the special legal protections owed to ‘speech’. I examine how different versions of the Subtractive Approach operate, and criticise them in terms of (...) their ability to yield a substantive definition of speech which covers all and only those forms of communicative action that – so our arguments for free speech indicate – really do merit special legal protection. In exploring alternative definitional approaches, I argue that what ultimately compromises definitional adequacy in this arena is a theoretical commitment to the significance of a single unified class of privileged communicative acts. I then propose an approach to free speech theory that eschews this theoretical commitment. (shrink)

The Successive Addition Argument (SAA) is one of the key arguments espoused by William Lane Craig for the thesis that the universe began to exist. Recently, Malpass, Mind, 131(523), 786–804 (2021) has developed a challenge to the SAA by way of constructing a counterexample that originates in the work of Fred Dretske. In this paper, I show that the Malpass-Dretske counterexample is in fact no counterexample to the argument. Utilizing a distinction between properties of members and properties of collections, I (...) argue that Malpass’ counterexample has no bearing on the soundness of the SAA. I also develop a novel parity argument against Malpass’ argument that I demonstrate can only be resolved by way of the aforementioned analysis. (shrink)

The manufacturing industry is evolving rapidly, becoming more complex, more interconnected, and more geographically distributed. Competitive pressure and diversity of consumer demand are driving manufacturing companies to rely more and more on improved knowledge management practices. As a result, multiple software systems are being created to support the integration of data across the product life cycle. Unfortunately, these systems manifest a low degree of interoperability, and this creates problems, for instance when different enterprises or different branches of an enterprise interact. (...) Common ontologies (consensus-based controlled vocabularies) have proved themselves in various domains as a valuable tool for solving such problems. In this paper, we present a consensus-based Additive Manufacturing Ontology (AMO) and illustrate its application in promoting re-usability in the field of dentistry product manufacturing. (shrink)

One method for uncovering the subprocesses of mental processes is the “Additive Factors Method” (AFM). The AFM uses reaction time data from factorial experiments to infer the presence of separate processing stages. This paper investigates the conceptual status of the AFM. It argues that one of the AFM’s underlying assumptions is problematic in light of recent developments in cognitive neuroscience. Discussion begins by laying out the basic logic of the AFM, followed by an analysis of the challenge presented by neural (...) reuse. Following this, implications are analysed and avenues of response considered. (shrink)

The present article is the third part of a trilogy of papers, devoted to analysing the influence of semantic Platonism on contemporary philosophy of language. In Part I (Picazo 2021), the discussion was set out by examining a number of typical traces of Platonism in semantic theory since Frege. In Part II (Picazo 2021a), additional illustrations of such traces were provided, taken from a collection of recent commissioned essays on the philosophy of language (Schantz 2012). The present part is devoted (...) to providing yet additional illustrations of such traces, taken from a collection of classic essays on the subject: the book Modern Philosophy of Language, edited by Maria Baghramian in 1998. We shall, thus, describe a number of examples in which the influence of semantic Platonism on these essays can be felt. Prominent among these examples are the confusion between sentences and propositions (and related confusions), the avoidant attitude with respect to basic aspects of linguistic meaning, the overuse of analytic methodology for semantic research, the adoption of a background Platonic metaphysics of meanings and the overreaction against semantic Platonism and germane views, witnessing an inverse influence (‘by opposition’) from these views. (shrink)

In 2001 the Indonesian government agreed to the introduction in the Indonesian Papua of regional, consociational elements of power-sharing, despite the fact that the dominant model of this system in Indonesia is centripetalism. The so-called special autonomy for the Indonesian Papua has never been fully implemented, however. The article seeks to test the thesis that the Indonesian authorities' institution of consociational arrangements for Papua, and their subsequent failure to fully implement those arrangements, were, in fact, tactical moves serving to reduce (...) the threat arising from growing pro-independence aspirations among the Papuans and to firmly attach Papuan territory to Indonesia. This article has been published in "Hemispheres" 2016, Vol. 31, No. 4, pp. 5-20. (shrink)

The Levelling-Down Objection is a standard objection to monistic egalitarian theories where equality is the only thing that has intrinsic value. Most egalitarians, however, are value pluralists; they hold that, in addition to equality being intrinsically valuable, the egalitarian currency in which we are equal or unequal is also intrinsically valuable. In this paper, I shall argue that the Levelling-Down Objection still minimizes the weight that the intrinsic badness of inequality could have in the overall intrinsic evaluation of outcomes, given (...) a certain way of measuring the badness of inequality, namely, the Additive Individual-Complaints Measure. (shrink)

The present research investigated the relationship between meaning perceptions and the structure of counterfactual thoughts. In Study 1, participants reflected on how turning points in their lives could have turned out otherwise. Those who were instructed to engage in subtractive (e.g., If only I had not done X...”) counterfactual thinking (SCT) about those turning points subsequently reported higher meaning perceptions than did those who engaged in additive (e.g., ‘If only I had done X...’) counterfactual thinking (ACT). In Study 2, participants (...) who reflected upon life events from the perspective of understanding the past (versus preparing for the future) tended to engage in more SCT than ACT. Finally, in Study 3, participants engaged in more SCT than ACT about life events whose meaning was perceived as certain (as opposed to uncertain) – presumably to maintain their pre-existing sense of meaning. Implications for the study of counterfactual thinking and meaning are discussed. (shrink)