Judgment subjectivism is the view that x is good for S if and only if, because, and to the extent that S believes, under the proper conditions, that x is good for S. In this paper, I offer three related arguments against the theory. The arguments are about what judgment subjectivism implies about the well-being of welfare nihilists, people who believe there are no welfare properties, or at least that none are instantiated. I maintain that welfare nihilists can be benefited (...) and harmed. Judgment subjectivism is implausible because it implies otherwise. (shrink)

Intentional action is often accompanied by knowledge of what one is doing—knowledge which appears non-observational and non-inferential. G.E.M. Anscombe defends the stronger claim that intentional action always comes with such knowledge. Among those who follow Anscombe, some have altered the features, content, or species of the knowledge claimed to necessarily accompany intentional action. In this paper, I argue that there is no knowledge condition on intentional action, no matter the assumed features, content, or species of the knowledge. Further, rather than (...) follow the usual methodology in this debate of arguing by counterexample, I present an argument that explains why we continue to find counterexamples: intentional action and knowledge are regulated by thresholds under distinct pressures; in particular, the threshold of control regulating intentional action is disparately influenced by the role of intentional action in practical normativity. (shrink)

There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Pettigrew 2016). However, this equivalence has been established only when the set of propositions on which credence functions are defined is finite. In this paper, I establish connections between accuracy dominance and coherence when credence functions are defined on an infinite set of propositions. In particular, I establish the necessary results to extend the classic accuracy (...) argument for probabilism to certain classes of infinite sets of propositions including countably infinite partitions. (shrink)

Santiago Ramón y Cajal practice what became neuroscience in the remote town of Ayerbe, Aragón Spain. He struggled to travel to conferences in northern Europe to share his remarkable discovery.

In this paper, I introduce the notion of ‘philosophy moves’: prominent tropes featured in contemporary academic philosophy. Moves are more than patterns – they are tools for advancing and enriching philosophical debates. By recognizing these patterns in the philosophical literature, we collect an ensemble of moves for deployment in novel contexts, each with the potential to forge new paths of philosophical investigation through a given topic. The moves featured in this paper are constructive and progressive, with the potential to push (...) past stalemates and open up a wider conceptual landscape. Following a presentation of five exemplars taken from the philosophy of biology literature, I show how different moves could be made within a current interdisciplinary debate. Overall, I aim to demonstrate that recognizing these patterns is insightful pedagogically and potentially useful when put to use as part of one’s philosophical methodology. (shrink)

James Prosek paints flora and fauna, but first became known for his paintings of trout. This essay situates Prosek's paintings, especially those at the Lowe Museum exhibit, within the long tradition of the depiction of nature. The essay comments on the relationship between the representation of nature and the nature of representation.

Some actions we perform “just like that” without taking a means, e.g., raising your arm or wiggling your finger. Other actions—the nonbasic actions—we perform by taking a means, e.g., voting by raising your arm or illuminating a room by flipping a switch. A nearly ubiquitous view about nonbasic action is that one's means to a nonbasic action constitutes the nonbasic action, as raising your arm constitutes voting or flipping a switch constitutes illuminating a room. In this paper, I challenge this (...) view. I argue that one's means to a nonbasic action can cause rather than constitute it. In the process, we gain a clearer understanding of the scope of our agency—one that includes mental actions such as judgment and decision—and the pluralistic nature of basic features of action including control, purposefulness, and agent participation. (shrink)

Robust metanormative realists think that there are irreducibly normative, metaphysically heavy normative facts. One might wonder how we could be epistemically justified in believing that such facts exist. In this paper, I offer an answer to this question: one’s belief in the existence of robustly real normative facts is epistemically justified because so believing is indispensable to being a successful inquirer for creatures like us. The argument builds on Enoch's (2007, 2011) deliberative indispensability argument for Robust Realism but avoids relying (...) on an overly pragmatic account of the sources of basic epistemic justification. Instead, I suggest that the sources of basic epistemic justification are those belief-forming methods which are indispensable for zetetically indispensable projects, that is, projects which are constitutive of being a successful inquirer for embodied, agential creatures like ourselves. (shrink)

According to subjectivism about ill-being, the token states of affairs that are basically bad for you must be suitably connected, under the proper conditions, to your negative attitudes. This article explores the prospects for this family of theories and addresses some of its challenges. This article (i) shows that subjectivism about ill-being can be derived from a more general doctrine that requires a negatively valenced relationship between any welfare subject and the token states that are of basic harm to that (...) subject and (ii) responds to some objections, including the objection that subjectivists about ill-being cannot plausibly explain the badness of pain. (shrink)

As part of the development of the Symbolic and Sub-symbolic Robotics Intelligence Control System, we have implemented a memory store to allow a robot to retain knowledge from previous exp...

Stillbirths are largely excluded from international measures of mortality and morbidity. Zeshan Qureshi and colleagues argue that stillbirth should be higher on the global health agenda.

I argue that Goethe’s scientific writings carry in them the seeds of the theory of evolution. Goethe’s works on plant morphology reflects the conflicting ideas of his era on the discreteness and on the stability of species. Goethe’s theory of plant morphology provides a link between the discontinuous view of nature, as exemplified in works of the Swedish botanist Carl Linnaeus (1707-1778), and the continuous view of nature, as exemplified in the work of the English naturalist Charles Darwin (1809-1882).

Harold Brown has written an ambitious work, which traces the formation of concepts in individuals and cultures, examines case studies of concepts in calculus, mathematics, biology and related fields, summarises important philosophical works on the theory of concepts, and seeks to reconcile scientific realism with conceptual change. Brown considers himself a scientific realist but concedes that this very label is one that depends on a long history of concepts that came before, and may indeed be superseded as conceptual change continues. (...) Yet, concepts are not strictly relative to their contexts. ‘‘The usual claim is that truth is relative – period; and this claim assumes a non-relativized truth-concept’’ (p. 309). Crucial to his goal of developing a theory of concepts is how Brown reconciles conceptual change with objectivity. (shrink)

As the digitization of information accelerates, the push to encode our surrounding numerically instead of linguistically increases. The role that language has traditionally played in the nomenclature of an integrative taxonomy is being replaced by the numeric identification of one or few quantitative characteristics. Nineteenth-century scientific systems of color identification divided, grouped, and named colors according to multiple characteristics. Now color identification relies on numeric values applied to spectrographic readings. This means of identification of color lacks the taxonomic rigor of (...) nineteenth century systems. Identifying color by numeric value instead of by grouping and naming them, strips color taxonomy of all but one quantitative aspect of a color. I use the case of color taxonomy to argue against a similar trend of numeric identification in the biological sciences. Unlike historically more integrative approaches to taxonomy in biology, genomic sequencing identifies one or few quantitative characteristics to encode an organism. If genomic sequencing becomes the primary means of identification in the biological sciences, just as in numeric systems of color identification, scientific taxonomy would suffer. Basing my analysis on theories of perception of division and on theories of language, I use the cases of color and species to argue for the advantages of an integrative taxonomic system of naming and categorizing over a method of identification, which encodes limited characteristics numerically. I hold that language is the most sophisticated tool for systematic taxonomy and that taxonomic nomenclature should be retained. (shrink)

A response to critical commentaries. Crookston begins her commentary by noting that my book would have been better with answers to “the following three questions: (1) Why is the harm principle the right principle upon which to base a theory of toleration? (2) How is Cohen thinking of the concept of volenti? (p. x ) Is interference (i.e., the abandonment of toleration) ever morally required by the harm principle?” (p. x ). She is right, and I address these questions below (...) in Sections 2, 3, and 4. That is the bulk of this essay. I then turn to Kelley's issues in Sections 6, 7, and 8; these have to do with “the link between toleration and relativism,” the way I distinguish “the concepts of toleration and endurance,” and a “question about moral toleration” (p. x ). Despite much agreement, there are points of contention and I try to make my position clearer in response . (shrink)

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s (...) axiom which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the (...) existence of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. 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. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

In 1966 Gene Roddenberry, then a relatively unknown TV writer, created what was to become a cultural sensation. From cell phones and tablets, to MRI machines and medical jet injectors, Star Trek has undoubtedly anticipated much of the technology that we take for granted today. Moreover, the disagreements, fights and jokes between Captain Kirk (William Shatner), Dr Leonard ‘Bones’ McCoy (DeForest Kelley) and Mr Spock (Leonard Nimoy) were expertly crafted for dramatic impact. But I’m not writing this to confess (...) to you my obsessive infatuation with the Star Trek universe. Instead I want to discuss how the beliefs and practices of Vulcans like Spock are similar to those of the Stoic school of philosophy. (shrink)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...) exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)