Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)
Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that that (...) difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (shrink)
The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to (...) allow for the existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)
Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)
The ``doctrinal paradox'' or ``discursive dilemma'' shows that propositionwise majority voting over the judgments held by multiple individuals on some interconnected propositions can lead to inconsistent collective judgments on these propositions. List and Pettit (2002) have proved that this paradox illustrates a more general impossibility theorem showing that there exists no aggregation procedure that generally produces consistent collective judgments and satisfies certain minimal conditions. Although the paradox and the theorem concern the aggregation of judgments rather than preferences, they invite comparison (...) with two established results on the aggregation of preferences: the Condorcet paradox and Arrow's impossibility theorem. We may ask whether the new impossibility theorem is a special case of Arrow's theorem, or whether there are interesting disanalogies between the two results. In this paper, we compare the two theorems, and show that they are not straightforward corollaries of each other. We further suggest that, while the framework of preference aggregation can be mapped into the framework of judgment aggregation, there exists no obvious reverse mapping. Finally, we address one particular minimal condition that is used in both theorems – an independence condition – and suggest that this condition points towards a unifying property underlying both impossibility results. (shrink)
Recent work has defended “Euclidean” theories of set size, in which Cantor’s Principle (two sets have equally many elements if and only if there is a one-to-one correspondence between them) is abandoned in favor of the Part-Whole Principle (if A is a proper subset of B then A is smaller than B). It has also been suggested that Gödel’s argument for the unique correctness of Cantor’s Principle is inadequate. Here we see from simple examples, not that Euclidean theories of (...) set size are wrong, but that they must be either very weak and narrow or largely arbitrary and misleading. (shrink)
It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset of (...) the natural numbers. (shrink)
Priority setting in health care is ubiquitous and health authorities are increasingly recognising the need for priority setting guidelines to ensure efficient, fair, and equitable resource allocation. While cost-effectiveness concerns seem to dominate many policies, the tension between utilitarian and deontological concerns is salient to many, and various severity criteria appear to fill this gap. Severity, then, must be subjected to rigorous ethical and philosophical analysis. Here we first give a brief history of the path to today’s severity criteria in (...) Norway and Sweden. The Scandinavian perspective on severity might be conducive to the international discussion, given its long-standing use as a priority setting criterion, despite having reached rather different conclusions so far. We then argue that severity can be viewed as a multidimensional concept, drawing on accounts of need, urgency, fairness, duty to save lives, and human dignity. Such concerns will often be relative to local mores, and the weighting placed on the various dimensions cannot be expected to be fixed. Thirdly, we present what we think are the most pertinent questions to answer about severity in order to facilitate decision making in the coming years of increased scarcity, and to further the understanding of underlying assumptions and values that go into these decisions. We conclude that severity is poorly understood, and that the topic needs substantial further inquiry; thus we hope this article may set a challenging and important research agenda. (shrink)
Recent discussions of how axioms are extrinsically justified have appealed to abductive considerations: on such accounts, axioms are adopted on the basis that they constitute the best explanation of some mathematical data, or phenomena. In the first part of this paper, I set out a potential problem caused by the appeal made to the notion of mathematical explanation and suggest that it can be remedied once it is noted that all the justificatory work is done by appeal to the theoretical (...) virtues. In the second part of the paper, I appeal to the theoretical virtues account of axiom justification to provide an argument that judgements of theoretical virtuousness, and therefore of extrinsic justification, are subjective in a substantive sense. This tells against a recent claim by Penelope Maddy that such justification is “wholly objective”. (shrink)
The Affordable Care Act (ACA) may be the most important health law statute in American history, yet much of the most prominent legal scholarship examining it has focused on the merits of the court challenges it has faced rather than delving into the details of its priority-setting provisions. In addition to providing an overview of the ACA’s provisions concerning priority setting and their developing interpretations, this Article attempts to defend three substantive propositions. First, I argue that the ACA is neither (...) uniformly hostile nor uniformly friendly to efforts to set priorities in ways that promote cost and quality. Second, I argue that the ACA does not take a single, unified approach to priority setting; rather, its guidance varies depending on the aspect of the health care system at issue (Patient Centered Outcomes Research Institute, Medicare, essential health benefits) and the factors being excluded from priority setting (age, disability, life expectancy). Third, I argue that cost-effectiveness can be achieved within the ACA's constraints, but that doing so will require adopting new approaches to cost-effectiveness and priority setting. By limiting the use of standard cost-effectiveness analysis, the ACA makes the need for workable rivals to cost-effectiveness analysis a pressing practical concern rather than a mere theoretical worry. (shrink)
A possible world is a junky world if and only if each thing in it is a proper part. The possibility of junky worlds contradicts the principle of general fusion. Bohn (2009) argues for the possibility of junky worlds, Watson (2010) suggests that Bohn‘s arguments are flawed. This paper shows that the arguments of both authors leave much to be desired. First, relying on the classical results of Cantor, Zermelo, Fraenkel, and von Neumann, this paper proves the possibility of junky (...) worlds for certain weak set theories. Second, the paradox of Burali-Forti shows that according to the Zermelo-Fraenkel set theory ZF, junky worlds are possible. Finally, it is shown that set theories are not the only sources for designing plausible models of junky worlds: Topology (and possibly other "algebraic" mathematical theories) may be used to construct models of junky worlds. In sum, junkyness is a relatively widespread feature among possible worlds. (shrink)
A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.
The vast majority of health research resources are used to study conditions that affect a small, advantaged portion of the global population. This distribution has been widely criticized as inequitable and threatens to exacerbate health disparities. However, there has been little systematic work on what individual health research funders ought to do in response. In this article, we analyze the general and special duties of research funders to the different populations that might benefit from health research. We assess how these (...) duties apply to governmental, multilateral, nonprofit, and for-profit organizations. We thereby derive a framework for how different types of funders should take the beneficiaries of research into account when they allocate scarce research resources. (shrink)
Recently theorists have demonstrated a growing interest in the ethical aspects of resource allocation in international non-governmental humanitarian, development and human rights organizations (INGOs). This article provides an analysis of Thomas Pogge's proposal for how international human rights organizations ought to choose which projects to fund. Pogge's allocation principle states that an INGO should govern its decision making about candidate projects by such rules and procedures as are expected to maximize its long-run cost-effectiveness, defined as the expected aggregate moral value (...) of the projects it undertakes divided by the expected aggregate cost of these projects? I critique Pogge's argument on two fronts: (1) I demonstrate that his view is problematic on his own terms, even if we accept the cost-effectiveness framework he employs. (2) I take issue with his overall approach because it generates results which can undermine the integrity of INGOs. Further, his approach mis-characterizes the nature of INGOs, and this mistake is at the root of his problematic view of INGO priority-setting. Ultimately, I argue for a conception of INGOs in which they are understood as ?organizations of principle?, in the sense that they are independent moral agents and so should be permitted a fairly wide sphere of autonomy within reasonable moral constraints. (shrink)
Lippert-Rasmussen and Petersen discuss my ‘Moral case for legal age change’ in their article ‘Age change, official age and fairness in health’. They argue that in important healthcare settings (such as distributing vital organs for dying patients), the state should treat people on the basis of their chronological age because chronological age is a better proxy for what matters from the point of view of justice than adjusted official age. While adjusted legal age should not be used in deciding who (...) gets scarce vital organs, I remind the readers that using chronological age as a proxy is problematic as well. Using age as a proxy could give wrong results and it is better, if possible, for states to use the vital information directly than use age as a proxy. (shrink)
Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account (...) of reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)
In this paper, we identify a new and mathematically well-defined sense in which the coherence of a set of hypotheses can be truth-conducive. Our focus is not, as usual, on the probability but on the confirmation of a coherent set and its members. We show that, if evidence confirms a hypothesis, confirmation is “transmitted” to any hypotheses that are sufficiently coherent with the former hypothesis, according to some appropriate probabilistic coherence measure such as Olsson’s or Fitelson’s measure. Our findings have (...) implications for scientific methodology, as they provide a formal rationale for the method of indirect confirmation and the method of confirming theories by confirming their parts. (shrink)
This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The (...) previous attempts all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)
Kantians often talk about the capacity to set ends for oneself through reason and those who do assume that Kant regarded the capacity to set ends as a rational power or a component of practical reason. ‘Natural perfection’, Kant says, ‘is the cultivation of any capacities whatever for furthering ends set forth by reason’, and he refers to ‘humanity’ as the ‘capacity to set oneself any end at all’ or ‘the capacity to realize all sorts of possible ends’.¹ ‘Humanity’ comprises (...) the full range of human rational capacities, one of which is the capacity to adopt a wide variety of ends, including ends that are not morally required by pure practical reason.² Likewise Kant refers to ‘culture’ as ‘the aptitude and skill for all sorts of ends for which he can use nature (internal and external)’, or as ‘the production of the aptitude of a rational being for any ends in general (thus those of his freedom).’³ Christine Korsgaard characterizes ‘humanity’ as follows. (shrink)
Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of categories, (...) dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)
I follow standard mathematical practice and theory to argue that the natural numbers are the finite von Neumann ordinals. I present the reasons standardly given for identifying the natural numbers with the finite von Neumann's. I give a detailed mathematical demonstration that 0 is {} and for every natural number n, n is the set of all natural numbers less than n. Natural numbers are sets. They are the finite von Neumann ordinals.
A theistic science would have to represent the integration of all kinds of knowledge intent on explaining the whole of reality. These would include, at least, history, metaphysics, theology, formal logic, mathematics, and experimental sciences. However, what is the whole of reality that one wants to explain? :.
Neutrosophy has been introduced by Smarandache [7, 8] as a new branch of philosophy. The purpose of this paper is to construct a new set theory called the neutrosophic set. After given the fundamental definitions of neutrosophic set operations, we obtain several properties, and discussed the relationship between neutrosophic sets and others. Finally, we extend the concepts of fuzzy topological space [4], and intuitionistic fuzzy topological space [5, 6] to the case of neutrosophic sets. Possible application to superstrings (...) and space–time are touched upon. (shrink)
Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of (...) set and should be restricted as little as possible. The view might even have been held by Ernst Zermelo (1908), who,according to Penelope Maddy (1988), subscribed to a ‘one step back from disaster’ rule of thumb: if a natural principle leads to contra-diction, the principle should be weakened just enough to block the contradiction. We prove a generalization of McGee’s Theorem, anduse it to show that the situation for set theory is the same as that for truth: there are multiple incompatible sets of instances of Naïve Comprehension, none of which, given minimal assumptions, is recursively axiomatizable. This shows that the view adumbrated by Goldstein, Quine and perhaps Zermelo is untenable. (shrink)
As he recalls in his book Naive Physics, Paolo Bozzi’s experiments on naïve or phenomenological physics were partly inspired by Aristotle’s spokesman Simplicio in Galileo’s Dialogue. Aristotle’s ‘naïve’ views of physical reality reflect the ways in which we are disposed perceptually to organize the physical reality we see. In what follows I want to apply this idea to the notion of a group, a term which I shall apply as an umbrella expression embracing ordinary visible collections (of pieces of fruit (...) in the fruit bowl), but also families, populations, kinds, categories, species and genera. I will try to determine to what extent we can understand what groups, in this broad sense, have in common and how they are distinguished from two sorts of entities with which they are standardly confused, namely sets and wholes. (shrink)
Scientific antirealists run the argument from underconsideration against scientific realism. I argue that the argument from underconsideration backfires on antirealists’ positive philosophical theories, such as the contextual theory of explanation (van Fraassen, 1980), the English model of rationality (van Fraassen, 1989), the evolutionary explanation of the success of science (Wray, 2008; 2012), and explanatory idealism (Khalifa, 2013). Antirealists strengthen the argument from underconsideration with the pessimistic induction against current scientific theories. In response, I construct a pessimistic induction against antirealists that (...) since antirealists generated problematic philosophical theories in the past, they must be generating problematic philosophical theories now. (shrink)
Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)
The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum theory to define (...) the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness. (shrink)
How should governments balance saving people from very large individual disease burdens (such as an early death) against saving them from middling burdens (such as erectile dysfunction) and minor burdens (such as nail fungus)? This chapter considers this question through an analysis of a priority-setting proposal in the Netherlands, on which avoiding a multitude of middling burdens takes priority over saving one person from early death, but no number of very small burdens can take priority over avoiding one death. It (...) argues that there is some, albeit imperfect, evidence of substantial public support for such a policy. Furthermore, it provides a principled rationale for it in terms of respect for the person who faces the largest burden. (shrink)
The dominant school of logic, semantics, and the foundation of mathematics construct its theories within the framework of set theory. There are three strategies by means of which a member of this school might attempt to justify his ontology of sets. One strategy is to show that sets are already included in the naturalistic part of our everyday ontology. If they are, then one may assume that whatever justifies the everyday ontology justifies the ontology of sets. Another (...) strategy is to show that set theory is already part of logic. In this case, the ontology of sets would be justified in the sam way logic is justified. The third strategy is to show that set theory plays some unique role in theoretical work. If it does, then its ontology would be justified pragmatically. In this paper it is shown that none of these strategies is successful. One properly constructs foundations, not within set theory. bit within an intensional logic that takes properties, relations, propositions as basic. (shrink)
Here, we analyse some recent applications of set theory to topology and argue that set theory is not only the closed domain where mathematics is usually founded, but also a flexible framework where imperfect intuitions can be precisely formalized and technically elaborated before they possibly migrate toward other branches. This apparently new role is mostly reminiscent of the one played by other external fields like theoretical physics, and we think that it could contribute to revitalize the interest in set theory (...) in the future. (shrink)
Relevance logic has become ontologically fertile. No longer is the idea of relevance restricted in its application to purely logical relations among propositions, for as Dunn has shown in his (1987), it is possible to extend the idea in such a way that we can distinguish also between relevant and irrelevant predications, as for example between “Reagan is tall” and “Reagan is such that Socrates is wise”. Dunn shows that we can exploit certain special properties of identity within the context (...) of standard relevance logic in a way which allows us to discriminate further between relevant and irrelevant properties, as also between relevant and irrelevant relations. The idea yields a family of ontologically interesting results concerning the different ways in which attributes and objects may hang together. Because of certain notorious peculiarities of relevance logic, however,1 Dunn’s idea breaks down where the attempt is made to have it bear fruit in application to relations among entities which are of homogeneous type. (shrink)
This article proposes a novel strategy, one that draws on insights from antidiscrimination law, for addressing a persistent challenge in medical ethics and the philosophy of disability: whether health systems can consider quality of life without unjustly discriminating against individuals with disabilities. It argues that rather than uniformly considering or ignoring quality of life, health systems should take a more nuanced approach. Under the article's proposal, health systems should treat cases where quality of life suffers because of disability-focused exclusion or (...) injustice differently from cases where lower quality of life results from laws of nature, resource scarcity, or appropriate tradeoffs. Decisionmakers should ignore quality-of-life losses that result from injustice or exclusion when ignoring them would improve the prospects of individuals with disabilities; in contrast, they should consider quality-of-life losses that are unavoidable or stem from resource scarcity or permissible tradeoffs. On this proposal, while health systems should not amplify existing injustice against individuals with disabilities, they are not required to altogether ignore the potential effects of disability on quality of life. (shrink)
Cognitive Set Theory is a mathematical model of cognition which equates sets with concepts, and uses mereological elements. It has a holistic emphasis, as opposed to a reductionistic emphasis, and it therefore begins with a single universe (as opposed to an infinite collection of infinitesimal points).
In this essay, we explore an issue of moral uncertainty: what we are permitted to do when we are unsure about which moral principles are correct. We develop a novel approach to this issue that incorporates important insights from previous work on moral uncertainty, while avoiding some of the difficulties that beset existing alternative approaches. Our approach is based on evaluating and choosing between option sets rather than particular conduct options. We show how our approach is particularly well-suited to (...) address this issue of moral uncertainty with respect to agents that have credence in moral theories that are not fully consequentialist. (shrink)
A decision maker (DM) selects a project from a set of alternatives with uncertain productivity. After the choice, she observes a signal about productivity and decides how much effort to put in. This paper analyzes the optimal decision problem of the DM who rationally filters information to deal with her post-decision cognitive dissonance. It is shown that the optimal effort level for a project can be affected by unchosen projects in her choice set, and the nature of the choice set-dependence (...) is determined by the signal structure. Some comparative statics of choice set-dependence is also provided. Finally, based on the results, the optimal choice set design is also explored. This paper offers a simple framework to explain the experimental finding in psychology that people’s effort level for a project can be enhanced when the project is chosen by themselves rather than by others. (shrink)
An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.
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.
This paper argues that assessing personal responsibility in healthcare settings for the allocation of medical resources would be too privacy-invasive to be morally justifiable. In addition to being an inappropriate and moralizing intrusion into the private lives of patients, it would put patients’ sensitive data at risk, making data subjects vulnerable to a variety of privacy-related harms. Even though we allow privacy-invasive investigations to take place in legal trials, the justice and healthcare systems are not analogous. The duty of doctors (...) and healthcare professionals is to help patients as best they can—not to judge them. Patients should not be forced into giving up any more personal information than what is strictly necessary to receive an adequate treatment, and their medical data should only be used for appropriate purposes. Medical ethics codes should reflect these data rights. When a doctor asks personal questions that are irrelevant to diagnose or treat a patient, the appropriate response from the patient is: ‘none of your business’. (shrink)
I defend the idea that a liberal commitment to value neutrality is best honoured by maintaining a pure cardinality component in our rankings of opportunity or liberty sets. I consider two challenges to this idea. The first holds that cardinality rankings are unnecessary for neutrality, because what is valuable about a set of liberties from a liberal point of view is not its size but rather its variety. The second holds that pure cardinality metrics are insufficient for neutrality, because (...) liberties cannot be individuated into countable entities without presupposing some relevantly partisan evaluative perspective. I argue that a clear understanding of the liberal basis for valuing liberty shows the way to satisfying responses to both challenges. (shrink)
This paper explores types of organisational ignorance and ways in which organisational practices can affect the knowledge we have about the causes and effects of our actions. I will argue that because knowledge and information are not evenly distributed within an organisation, sometimes organisational design alone can create individual ignorance. I will also show that sometimes the act that creates conditions for culpable ignorance takes place at the collective level. This suggests that quality of will of an agent is not (...) necessary to explain culpable ignorance in an organisational setting. (shrink)
In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)
A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)
Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)
The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets also clearly (...) appear the distinction between the empty set, the nothing and the ur-elements. On a technical level, we introduce the notion of pre-element and we suggest a formal definition of the nothing distinct of that of the null-class. Among other results, we get a relative resolution of the anomaly of the intersection of a family free of sets and the possibility of building the empty set from ``nothing". The theory is presented with equi-consistency results . On both conceptual and technical levels, the introduction of Lambda leads to a resolution of the Russell's puzzle of the null-class. (shrink)
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.