A survey of color science and color vision.

A survey of arguments for and against the view that colors are physical properties.

Color-vision defects constitute a spectrum of disorders with varying degrees and types of departure from normal human color vision. One form of color-vision defect is dichromacy; by mixing together only two lights, the dichromat can match any light, unlike normal trichromatic humans, who need to mix three. In a philosophical context, our titular question may be taken in two ways. First, it can be taken at face value as a question about visible properties of external objects, and second, it may (...) be interpreted as the more intangible question of “what it’s like” to be color-blind. (shrink)

This paper critically examines color relationalism and color relativism, two theories of color that are allegedly supported by variation in normal human color vision. We mostly discuss color relationalism, defended at length in Jonathan Cohen's The Red and the Real, and argue that the theory has insuperable problems.

DECODING THE MENO The truth the dialectic Meno attempts to search for is human excellence or virtue. Part of this process is defining exactly what each concept really means. In truth, however, Plato has given the reader the answer – the greatest human virtue or excellence is imagination. The answer is subtly weaved into the dialogue itself. Plato has subliminally communicated the pattern of excellence.

The strongest arguments for the permissibility of geoengineering (also known as climate engineering) rely implicitly on non-ideal theory—roughly, the theory of justice as applied to situations of partial compliance with principles of ideal justice. In an ideally just world, such arguments acknowledge, humanity should not deploy geoengineering; but in our imperfect world, society may need to complement mitigation and adaptation with geoengineering to reduce injustices associated with anthropogenic climate change. We interpret research proponents’ arguments as an application of a particular (...) branch of non-ideal theory known as “clinical theory.” Clinical theory aims to identify politically feasible institutions or policies that would address existing (or impending) injustice without violating certain kinds of moral permissibility constraints. We argue for three implications of clinical theory: First, conditional on falling costs and feasibility, clinical theory provides strong support for some geoengineering techniques that aim to remove carbon dioxide from the atmosphere. Second, if some kinds of carbon dioxide removal technologies are supported by clinical theory, then clinical theory further supports using those technologies to enable “overshoot” scenarios in which developing countries exceed the cumulative emissions caps that would apply in ideal circumstances. Third, because of tensions between political feasibility and moral permissibility, clinical theory provides only weak support for geoengineering techniques that aim to manage incoming solar radiation. (shrink)

Some types of solar radiation management (SRM) research are ethically problematic because they expose persons, animals, and ecosystems to significant risks. In our earlier work, we argued for ethical norms for SRM research based on norms for biomedical research. Biomedical researchers may not conduct research on persons without their consent, but universal consent is impractical for SRM research. We argue that instead of requiring universal consent, ethical norms for SRM research require only political legitimacy in decision-making about global SRM trials. (...) Using Allen Buchanan & Robert Keohane's model of global political legitimacy, we examine several existing global institutions as possible analogues for a politically legitimate SRM decision-making body. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

The decision tree of life is colossal. While physicists and metaphysicians explore the possibility that the multiverse grows larger at every decision, it is the ethicist’s lot to consider the paths chosen. That is to say, ethics is generally concerned with the build-up to a decision point. But what happens afterwards? And how do our choices influence our future decision-making?

In this paper, we argue that ‘Weak Modal Rationalism’, which is the view that ideal primary positive conceivability entails primary metaphysical possibility, is self-defeating. To this end, we outline two reductio arguments against ‘Weak Modal Rationalism’. The first reductio shows that, from supposing that ‘Weak Modal Rationalism’ is true, it follows that conceivability both is and is not conclusive evidence for possibility. The second reductio shows that, from supposing that ‘Weak Modal Rationalism’ is true, it follows that it is possible (...) that ‘Weak Modal Rationalism’ is necessarily false, and hence that ‘Weak Modal Rationalism’ is false. We then argue that adopting a weaker position according to which conceivability is merely prima facie evidence for possibility provides limited protection from our criticism of conceivability arguments. (shrink)

Graduates' employability indicates the excellent education and relevant preparation they obtained from their respective degrees. Tracer studies have enabled higher education institutions to profile their graduates while also reflecting on the quality of education they provide. With the foregoing, a tracer study determined the demographic and academic profile of teacher education graduates from 2017 to 2020 in a state university in the West Philippines. It also ascertained the advanced studies they attended after college, their employment data, the relevance of college (...) preparation with their current employment, difficulties they encountered while securing employment and in their present job, and recommendations to strengthen the teacher education program. The study utilized a descriptive survey research design with 80 non-random samples chosen based on availability. The survey was based on the Philippine Commission on Higher Education with modifications elucidated from previous studies. Results showed that graduates took the teacher education program with a strong passion for the teaching profession. More graduates received honors and awards, passed the licensure examinations for teachers, attended advanced studies for professional development, and are employable. Besides, the graduates’ college preparation is relevant to their current employment. Further, difficulties and problems encountered and recommendations to strengthen the teacher education program were noted. These findings may serve as a baseline for curriculum review and give suggestions for future tracer studies. (shrink)

Currently, the widely used notion of activity is increasingly present in computer science. However, because this notion is used in specific contexts, it becomes vague. Here, the notion of activity is scrutinized in various contexts and, accordingly, put in perspective. It is discussed through four scientific disciplines: computer science, biology, economics, and epistemology. The definition of activity usually used in simulation is extended to new qualitative and quantitative definitions. In computer science, biology and economics disciplines, the new simulation activity definition (...) is first applied critically. Then, activity is discussed generally. In epistemology, activity is discussed, in a prospective way, as a possible framework in models of human beliefs and knowledge. (shrink)

While every health care system stakeholder would seem to be concerned with obtaining the greatest value from a given technology, there is often a disconnect in the perception of value between a technology’s promoters and those responsible for the ultimate decision as to whether or not to pay for it. Adopting an empirical ethics approach, this paper examines how five Canadian medical device manufacturers, via their websites, frame the corporate “value proposition” of their innovation and seek to respond to what (...) they consider the key expectations of their customers. Our analysis shows that the manufacturers’ framing strategies combine claims that relate to valuable socio-technical goals and features such as prevention, efficiency, sense of security, real-time feedback, ease of use and flexibility, all elements that likely resonate with a large spectrum of health care system stakeholders. The websites do not describe, however, how the innovations may impact health care delivery and tend to obfuscate the decisional trade-offs these innovations represent from a health care system perspective. Such framing strategies, we argue, tend to bolster physicians’ and patients’ expectations and provide a large set of stakeholders with powerful rhetorical tools that may influence the health policy arena. Because these strategies are difficult to counter given the paucity of evidence and its limited use in policymaking, establishing sound collective health care priorities will require solid critiques of how certain kinds of medical devices may provide a better (i.e., more valuable) response to health care needs when compared to others. (shrink)

This volume has been brought together to generate new ideas and provoke discussion about what constitutes arts education in the twenty-first century, both within the institution and beyond. Art, Artists and Pedagogy is intended for educators who teach the arts from early childhood to tertiary level, artists working in the community, or those studying arts in education from undergraduate to Masters or PhD level.

In real-time, Twitter strongly imprints world events, popular culture, and the day-to-day; Twitter records an ever growing compendium of language use and change; and Twitter has been shown to enable certain kinds of prediction. Vitally, and absent from many standard corpora such as books and news archives, Twitter also encodes popularity and spreading through retweets. Here, we describe Storywrangler, an ongoing, day-scale curation of over 100 billion tweets containing around 1 trillion 1-grams from 2008 to 2020. For each day, we (...) break tweets into 1-, 2-, and 3-grams across 150+ languages, record usage frequencies, and generate Zipf distributions. We make the data set available through an interactive time series viewer, and as downloadable time series and daily distributions. We showcase a few examples of the many possible avenues of study we aim to enable including how social amplification can be visualized through ‘contagiograms’. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

Justification has long been considered a necessary condition for knowledge, and theories that deny the necessity of justification have been dismissed as nonstarters. In this chapter, we challenge this long-standing view by showing that many of the arguments offered in support of it fall short and by providing empirical evidence that individuals are often willing to attribute knowledge when epistemic justification is lacking.

There is growing interest in the use of technology to enhance the tracking and quality of clinical information available for patients in disaster settings. This paper describes the design and evaluation of the Wireless Internet Information System for Medical Response in Disasters (WIISARD).

Dramatic advances in 3D Web technologies have recently led to widespread development of virtual world Web browsers and 3D content. A natural question is whether 3D thumbnails can be used to find one’s way about such 3D content the way that text and 2D thumbnail images are used to navigate 2D Web content. We have conducted an empirical experiment that shows interactive 3D thumbnails, which we call worldlets, improve travelers’ landmark knowledge and expedite wayfinding in virtual environments.

This study aimed to understand the preserved elements of self-identity in persons with moderate to severe dementia attributable to Alzheimer’s disease. A semi-structured interview was developed to explore the narrative self among residents with dementia in a residential care facility and residents without dementia in an independent living setting. The interviews were transcribed verbatim from audio recordings and analyzed for common themes, while being sensitive to possible differences between the groups. The participants with dementia showed evidence of self-reference even though (...) losses in explicit memory were evident. The most noticeable difference between the two groups was time frame reference. Nonetheless, all participants showed understanding of their role in relationships and exhibited concrete preferences. Our findings suggest that memory loss and other cognitive deficits associated with moderate to severe dementia do not necessarily lead to a loss of “self.”. (shrink)

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

Background Consent policies for post-mortem organ procurement (OP) vary throughout Europe, and yet no studies have empirically evaluated the ethical implications of contrasting consent models. To fill this gap, we introduce a novel indicator of governance quality based on the ideal of informed support, and examine national differences on this measure through a quantitative survey of OP policy informedness and preferences in seven European countries. -/- Methods Between 2017–2019, we conducted a convenience sample survey of students (n = 2006) in (...) Austria (AT), Belgium (BE), Denmark (DK), Germany (DE), Greece (GR), Slovenia (SI) and Spain (ES), asking participants about their donation preferences, as well as their beliefs and views about the policy in place. From these measures, we computed indices of informedness, policy support, and fulfilment of unexpressed preferences, which we compared across countries and consent systems. -/- Results Our study introduces a tool for analyzing policy governance in the context of OP. Wide variation in policy awareness was observed: Most respondents in DK, DE, AT and BE correctly identified the policy in place, while those in SI, GR and ES did not. Respondents in opt-out countries (AT, BE, ES and GR) tended to support the policy in place (with one exception, i.e., SI), whereas those in opt-in countries (DE and DK) overwhelmingly opposed it. These results reveal stark differences in governance quality across countries and consent policies: We found a preponderance of informed opposition in opt-in countries and a general tendency towards support–either informed or uninformed–in opt-out countries. We also found informed divergence in opt-in countries and a tendency for convergence–either informed or uninformed–among opt-out countries. -/- Conclusion Our study offers a novel tool for analyzing governance quality and illustrates, in the context of OP, how the strengths and weaknesses of different policy implementations can be estimated and compared using quantitative survey data. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

Previous work has shown that the Complex Conceptual Spaces − Single Observation Mathematical framework is a useful tool for event characterization. This mathematical framework is developed on the basis of Conceptual Spaces and uses integer linear programming to find the needed similarity values. The work of this paper is focused primarily on space event characterization. In particular, the focus is on the ranking of threats for malicious space events such as a kinetic kill. To make the Conceptual Spaces framework work, (...) the similarity values between the contents of observations on the one hand and the properties of the entities observed on the other needs to be found. This paper shows how to exploit Dempster-Shafer theory to implement a statistical approach for finding these similarities values. This approach will allow a user to identify the uncertainty involved in similarity value data, which can later be propagated through the developed mathematical model in order for the user to know the overall uncertainty in the observation-to-concept mappings needed for space event characterization. (shrink)

Résumé – Nous nous intéressons à l’enseignement et l’apprentissage de l’infini en classe de mathématiques en considérant les différences et les relations entre infini potentiel et infini actuel. Nous présentons les principaux éléments de notre étude philosophique, épistémologique et didactique, ainsi que trois situations visant à conduire un travail explicite avec les élèves sur ces questions en début de lycée. ---------------------------------------------------------------------------------------------------- --------------------------------- Abstract – We are interested in the teaching and learning of infinite in mathematics class, taking into account the relations (...) between potential infinite and actual infinite. We report the main elements of our current philosophical, epistemological and didactical study; we also present three mathematical situations that we consider relevant for this purpose and to be explored with 10 and 11 grade students. (shrink)

Context — Children and adults with psychopathic traits and conduct or oppositional defiant disorder demonstrate poor decision making and are impaired in reversal learning. However, the neural basis of this impairment has not previously been investigated. Furthermore, despite high comorbidity of psychopathic traits and attention deficit/hyperactivity disorder, to our knowledge, no research has attempted to distinguish neural correlates of childhood psychopathic traits and attention-deficit/hyperactivity disorder. Objective—To determine the neural regions that underlie the reversal learning impairments in children with psychopathic traits (...) plus conduct or oppositional defiant disorder. Design — Case-control study. Setting — Government clinical research institute. Participants — Forty-two adolescents aged 10 to 17 years: 14 with psychopathic traits and oppositional defiant disorder or conduct disorder, 14 with attention-deficit/hyperactivity disorder only, and 14 healthy controls. Main Outcome Measure — Blood oxygenation level–dependent signal as measured via functional magnetic resonance imaging during a probabilistic reversal task. Results — Children with psychopathic traits showed abnormal responses within the ventromedial prefrontal cortex (Brodmann area 10) during punished reversal errors compared with children wit hattention deficit/hyperactivity disorder and healthy children (P < .05 corrected for multiple comparisons). Conclusions — To our knowledge, this study provides the first evidence of abnormal ventromedial prefrontal cortex responsiveness in children with psychopathic traits and demonstrates this dysfunction was not attributable to comorbid attention-deficit/hyperactivity disorder. These findings suggest that reversal learning impairments in patients with developmental psychopathic traits relate to abnormal processing of reinforcement information. (shrink)

In this open peer commentary, we categorize the possible “neuroscience in national security” definitions of misuse of science and identify which, if any, are uniquely presented by advances in neuroscience. To define misuse, we first define what we would consider appropriate use: the application of reasonably safe and effective technology, based on valid and reliable scientific research, to serve a legitimate end. This definition presents distinct opportunities for assessing misuse: misuse is the application of invalid or unreliable science, or is (...) the use of reliable scientific methods to serve illegitimate ends. Ultimately, we conclude that while national security is often a politicized issue, assessing the state of scientific progress should not be. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to (...) more definite states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

In the mid-seventeenth century a movement of self-styled experimental philosophers emerged in Britain. Originating in the discipline of natural philosophy amongst Fellows of the fledgling Royal Society of London, it soon spread to medicine and by the eighteenth century had impacted moral and political philosophy and even aesthetics. Early modern experimental philosophers gave epistemic priority to observation and experiment over theorising and speculation. They decried the use of hypotheses and system-building without recourse to experiment and, in some quarters, developed a (...) philosophy of experiment. The movement spread to the Netherlands and France in the early eighteenth century and later impacted Germany. Its important role in early modern philosophy was subsequently eclipsed by the widespread adoption of the Kantian historiography of modern philosophy, which emphasised the distinction between rationalism and empiricism and had no place for the historical phenomenon of early modern experimental philosophy. The re-emergence of interest in early modern experimental philosophy roughly coincided with the development of contemporary x-phi and there are some important similarities between the two. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, (...) putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic (...) sense) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

The question of how people change artworks is important for the metaphysics of art. It’s relatively easy for anyone to change a painting or sculpture, but who may change a literary or musical work is restricted and varies with context. Authors of novels and composers of symphonies often have a special power to change their artworks. Mary Shelley revised Frankenstein, and Tchaikovsky revised his Second Symphony. I cannot change these artworks. In other cases, such as those involving jazz standards and (...) folk songs, performers and ordinary folks have more power to change artworks. My preferred explanation of these facts is the created-abstract-simples view, according to which literary and musical works, unlike paintings and sculptures, are created abstract objects that have no parts. On this view, the way to change a literary or musical work is for an individual, empowered by social practices, to change rules about how a literary work should be published or a musical work should be performed. A. R. J. Fisher and Caterina Moruzzi object that the created-abstract-simples view doesn’t allow for literary and musical works to genuinely change, and Nemesio Garcia-Carríl Puy objects that the view doesn’t allow for these artworks to be repeatable. This paper clarifies the created-abstract-simples view and defends the view against these objections. -/- . (shrink)

O ceticismo é por vezes descartado como uma doutrina absurda e merecedora do seu lugar distante na antiguidade. Nada poderia ser menos correto. O ceticismo continua extremamente relevante para o pensamento filosófico e científico de hoje, servindo como um lembrete de que a sabedoria não é barata nem segura. Nesse texto, o meu objetivo principal é reproduzir o raciocínio das discussões clássicas sobre o ceticismo, mas de uma maneira coloquial e contemporânea. Após seguir as linhas de pensamento de Sexto Empírico, (...) René Descartes, e David Hume, eu vou extrair e identificar claramente as teses centrais que marcam as suas ideias. A minha intenção, porém, não é a de sugerir que as suas teses são auto-evidentes, ou incontestáveis, ou até hoje ainda incontestadas. Muito pelo contrário. A minha intenção é produzir um aperitivo ao debate e um convite a discussão. (shrink)

I defend an ontological distinction between three kinds of relation: internal,external and grounded relations. Even though, as we shall see, this trichotomy is basic, it is not found in influential contemporary metaphysics. Specifically, the widespread tendency, exemplified notably by David Armstrong, of not recognizing grounded relations as distinct from external relations, can be shown to be mistaken. I propose a definition of each of the three kinds of relation. Of vital importance to the parsimony of metaphysics, I also argue (...) that only external relations are ontologically fundamental. (shrink)

David Benatar argues that coming into existence is always a harm, and that – for all of us unfortunate enough to have come into existence – it would be better had we never come to be. We contend that if one accepts Benatar’s arguments for the asymmetry between the presence and absence of pleasure and pain, and the poor quality of life, one must also accept that suicide is preferable to continued existence, and that his view therefore implies both (...) anti-natalism and pro-mortalism . This conclusion has been argued for before by Elizabeth Harman – she takes it that because Benatar claims that our lives are ‘awful’, it follows that ‘we would be better off to kill ourselves’ (Harman 2009: 784). Though we agree with Harman’s conclusion, we think that her argument is too quick, and that Benatar’s arguments for non-pro-mortalism deserve more serious consideration than she gives them. We make our case using a tripartite structure. We start by examining the prima facie case for the claim that pro-mortalism follows from Benatar’s position, presenting his response to the contrary, and furthering the dialectic by showing that Benatar’s position is not just that coming into existence is a harm, but that existence itself is a harm. We then look to Benatar’s treatment of the Epicurean line, which is important for him as it undermines his anti-death argument for non-pro-mortalism. We demonstrate that he fails to address the concern that the Epicurean line raises, and that he cannot therefore use the harm of death as an argument for non-pro-mortalism. Finally, we turn to Benatar’s pro-life argument for non-pro-mortalism, built upon his notion of interests, and argue that while the interest in continued existence may indeed have moral relevance, it is almost always irrational. Given that neither Benatar’s anti-death nor pro-life arguments for non-pro-mortalism work, we conclude that pro-mortalism follows from his anti-natalism, As such, if it is better never to have been, then it is better no longer to be. -/- . (shrink)

We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can (...) get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism. (shrink)

Recent attention to "self-consistent" (Rosser-style) systems raises anew the question of the proper interpretation of the Gödel Second Incompleteness Theorem and its effect on Hilbert's Program. The traditional rendering and consequence is defended with new arguments justifying the intensional correctness of the derivability conditions.

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper I explain (...) how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

In Open Minded: Searching for Truth about the Unconscious Mind, Ben R. Newell & David R. Shanks (henceforth, N&S) challenge the popular claim that much of human judgment and decision-making is explained by unconscious processes...

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...) to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

Harsanyi und Rawls haben zu der Frage, wie die wichtigen Güter in einem Staat verteilt sein sollten, zwei sehr ähnliche Theorien entwickelt, kommen aber zu unterschiedlichen Schlüssen. Harsanyi plädiert für eine utilitaristische Regel, Rawls dagegen für eine Regel, die sich auf diejenigen konzentriert, denen es in der Gesellschaft am schlechtesten geht. Die fast fünfzig Jahre andauernde Diskussion zwischen den beiden wird hier systematisch dargestellt und analysiert. Erstens wird gezeigt, dass sich unter Berücksichtigung von Abneigung gegen Risiko und abnehmendem Grenznutzen die (...) auf dem Urzustand beruhenden Argumentationen weitaus ähnlicher sind, als den Autoren bewusst ist. Allerdings gibt Harsanyis Theorie wahrscheinlich den Armen im Gegensatz zu Rawls nur relative und keine absolute Priorität. Zweitens wird allerdings die Argumentation über den Urzustand infrage gestellt. Dabei sprechen außerhalb des Urzustandes mehrere praktische Erwägungen tendenziell für Rawls’ Differenzprinzip. (shrink)

l. There is an antinomy in Hare's thought between Ought-Implies-Can and No-Indicatives-from-Imperatives. It cannot be resolved by drawing a distinction between implication and entailment. 2. Luther resolved this antinomy in the l6th century, but to understand his solution, we need to understand his problem. He thought the necessity of Divine foreknowledge removed contingency from human acts, thus making it impossible for sinners to do otherwise than sin. 3. Erasmus objected (on behalf of Free Will) that this violates Ought-Implies-Can which he (...) supported with Hare-style ordinary language arguments. 4. Luther a) pointed out the antinomy and b) resolved it by undermining the prescriptivist arguments for Ought-Implies-Can. 5. We can reinforce Luther's argument with an example due to David Lewis. 6. Whatever its merits as a moral principle, Ought-Implies-Can is not a logical truth and should not be included in deontic logics. Most deontic logics, and maybe the discipline itself, should therefore be abandoned. 7. Could it be that Ought-Conversationally-Implies-Can? Yes - in some contexts. But a) even if these contexts are central to the evolution of Ought, the implication is not built into the semantics of the word; b) nor is the parallel implication built into the semantics of orders; and c) in some cases Ought conversationally implies Can, only because Ought-Implies-Can is a background moral belief. d) Points a) and b) suggest a criticism of prescriptivism - that Oughts do not entail imperatives but that the relation is one of conversational implicature. 8. If Ought-Implies-Can is treated as a moral principle, Erasmus' argument for Free Will can be revived (given his Christian assumptions). But it does not 'prove' Pelagianism as Luther supposed. A semi-Pelagian alternative is available. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

This chapter by Fisher continues the theme of the relation between Armstrong and Lewis, only Fisher casts the net far wider. He begins by arguing that there were at least two different lines of influence from early twentieth-century behaviourism to the identity theory: one through logical positivism and the other through ordinary language philosophy, the latter involving Place and Smart, and Lewis and Armstrong. It was Armstrong and Lewis who were to have a profound influence on subsequent developments in analytic (...) philosophy, both methodologically and in metaphysics, and it is for this reason that Fisher devotes the rest of his chapter to tracing the origins of their theories of mind and the manner in which the emphases and methodologies deployed in developing their respective theories became the hallmarks of their wider impact on analytic philosophy. (shrink)

We summarize a new realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory's basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this (...) intuitive picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. Our interpretation—which we claim is ultimately compatible with Lorentz invariance—reformulates wave-function collapse in terms of an underlying interpolating dynamics, makes it possible to derive the Born rule from deeper principles, and resolves several open questions regarding ontological stability and dynamics. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his (...) methodology reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive (...) picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)