This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is (...) genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the (...) philosophical significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

This essay examines the philosophical significance of Ω-logic in Zermelo-Fraenkel set theory with choice (ZFC). The dual isomorphism between algebra and coalgebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of Ω-logical validity can then be countenanced within a coalgebraic logic, and Ω-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of Ω-logical validity correspond to those (...) of second-order logical consequence, Ω-logical validity is genuinely logical, and thus vindicates a neo-logicist conception of mathematical truth in the set-theoretic multiverse. Second, the foregoing provides a modal-computational account of the interpretation of mathematical vocabulary, adducing in favor of a realist conception of the cumulative hierarchy of sets. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions (...) and hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...) and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

Aristotle sometimes claims that the perception of special perceptibles by their proper sense is unerring. This claim is striking, since it might seem that we quite often misperceive things like colours, sounds and smells. Aristotle also claims that the perception of common perceptibles is more prone to error than the perception of special perceptibles. This is puzzling in its own right, and also places constraints on the interpretation of. I argue that reading Alexander of Aphrodisias on perceptual error can help (...) to make good sense of both of Aristotle’s claims. (shrink)

This essay presents the nature of aesthetic judgment, the significance of aesthetic judgment and finally, the relevance of art to understanding aesthetic judgment.

The distinction between positive and negative eugenics is perhaps the best-known distinction that has been made between forms that eugenics takes. Roughly, positive eugenics refers to efforts aimed at increasing desirable traits, while negative eugenics refers to efforts aimed at decreasing undesirable traits. Still, it is easy to fall into confusion in drawing and deploying the distinction in particular contexts. Clarity here is important not only historically, but also for appeals to the distinction in contemporary discussions of “new eugenics” or (...) “newgenics”. (shrink)

Giubilini and Minerva argue that the permissibility of abortion entails the permissibility of infanticide. Proponents of what we refer to as the Birth Strategy claim that there is a morally significant difference brought about at birth that accounts for our strong intuition that killing newborns is morally impermissible. We argue that strategy does not account for the moral intuition that late-term, non-therapeutic abortions are morally impermissible. Advocates of the Birth Strategy must either judge non-therapeutic abortions as impermissible in the later (...) stages of pregnancy or conclude that they are permissible on the basis of premises that are far less intuitively plausible than the opposite conclusion and its supporting premises. (shrink)

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

In his classic essay, "The Dilemma of Determinism", William James argues that the truth of determinism would make regret irrational. Given the central role of regret in our moral lives, James concludes that determinism is false. In this paper I explore the attitude of regret and show that James's argument is mistaken. Not only can we rationally regret events that were determined to occur, but we can also rationally regret events that had to occur.

Many epistemologists are enamored with a defeat condition on knowledge. In this paper we present some implementation problems for defeatism, understood along either internalist or externalist lines. We then propose that one who accepts a knowledge norm of belief, according to which one ought to believe only what one knows, can explain away much of the motivation for defeatism. This is an important result, because on the one hand it respects the plausibility of the intuitions about defeat shared by many (...) in epistemology; but on the other hand, it obviates the need to provide a unified account of defeat which plays well with the most plausible views of how knowledge fits with evidential probability. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

The Eugenic Mind Project is a wide-ranging, philosophical book that explores and critiques both past and present eugenic thinking, drawing on the author’s intimate knowledge of eugenics in North America and his previous work on the cognitive, biological, and social sciences, the fragile sciences. Informed by the perspectives of Canadian eugenics survivors in the province of Alberta, The Eugenic Mind Project recounts the history of eugenics and the thinking that drove it, and critically engages contemporary manifestations of eugenic thought, newgenics. (...) An accessible, original work of scholarship adopting what the author calls a standpoint eugenics, this book focuses on the roots of eugenic thinking past and present. It will provoke and enrich discussions about human nature and human diversity, the social uses of biotechnology, and social policy governing future generations. You can download the preface and acknowledgements here. (shrink)

In Plato’s Protagoras, Socrates argues that ‘the many’ are confused about the experience they describe as ‘being overcome by pleasure’. They think the cause is ‘something other than ignorance’. He argues it follows from what they believe that the cause is ‘ignorance’ and ‘false belief’. I show that his argument depends on a premise he does not introduce but they should deny: that when someone is overcome by pleasure, the desire stems from a belief. To explain why Plato does not (...) make Socrates introduce this premise, the account I construct is speculative. It starts from the assumption that Plato is thinking through an understanding of human beings and what they must do to live good lives that he takes the historical Socrates to set out. (shrink)

In Plato’s Gorgias, Socrates says to Callicles that “your love of the people, existing in your soul, stands against me, but if we closely examine these same matters often and in a better way, you will be persuaded” (513c7–d1). I argue for an interpretation that explains how Socrates understands Callicles’s love of the people to stand against him and why he believes examination often and in a better way will persuade Callicles.

It is widely accepted that there is a visual field, but the analogous notion of an auditory field is rejected by many philosophers on the grounds that the metaphysics or phenomenology of audition lack the necessary spatial or phenomenological structure. In this paper, I argue that many of the common objections to the existence of an auditory field are misguided and that, contrary to a tradition of philosophical scepticism about the spatiality of auditory experience, it is as richly spatial as (...) visual experience—and in some ways even more so. By carefully considering the spatiality and boundedness of audition, along with how sounds or their sources are experienced as occurring within the surrounding acoustic environment, we can gain a better understanding of (i) our auditory experience of space and (ii) the conditions for the existence of spatial sensory fields in general in a way that does not privilege vision over the other senses. (shrink)

This open-access editorial discusses confronting silences in different disciplinary contexts, such as science and technology studies, cultural anthropology, and philosophy. It has a focus on race and concludes with thoughts about Indigenous expertise, the Australian referendum on the Indigenous Voice, to parliament, and racism.

Built-in decision thresholds for AI diagnostics are ethically problematic, as patients may differ in their attitudes about the risk of false-positive and false-negative results, which will require that clinicians assess patient values.

The impressive variation amongst biological individuals generates many complexities in addressing the simple-sounding question what is a biological individual? A distinction between evolutionary and physiological individuals is useful in thinking about biological individuals, as is attention to the kinds of groups, such as superorganisms and species, that have sometimes been thought of as biological individuals. More fully understanding the conceptual space that biological individuals occupy also involves considering a range of other concepts, such as life, reproduction, and agency. There has (...) been a focus in some recent discussions by both philosophers and biologists on how evolutionary individuals are created and regulated, as well as continuing work on the evolution of individuality. (shrink)

This paper explores the relationship between eugenics, disability, and dehumanization, with a focus on forms of eugenics beyond Nazi eugenics.

This paper attempts to do two things. First, it recounts the problem of intentionality, as it has typically been conceptualized, and argues that it needs to be reconceptualized in light of the radical form of externalism most commonly referred to as the extended mind thesis. Second, it provides an explicit, novel argument for that thesis, what I call the argument from meaning making, and offers some defense of that argument. This second task occupies the core of the paper, and in (...) completing it I distinguish _active _ _cognition_ from _cyborg fantasy arguments_ for externalism, and develop the analogy between the extended mind thesis in the cognitive sciences and developmental systems theory in developmental biology. The rethinking of the problem of intentionality on offer leads not so much to a solution as to a dissolution of that problem, as traditionally conceived. (shrink)

The conceptualisation of kinship and its study remain contested within anthropology. This paper draws on recent cognitive science, developmental cognitive psychology, and the philosophy of science to offer a novel argument for a view of kinship as progeneratively or reproductively constrained. I shall argue that kinship involves a form of extended cognition that incorporates progenerative facts, going on to show how the resulting articulation of kinship’s progenerative nature can be readily expressed by an influential conception of kinds, the homeostatic property (...) cluster view. Identifying the distinctive role that our extended cognitive access to progenerative facts plays in kinship delivers an integrative, progenerativist view that avoids standard performativist criticisms of progenerativism as being ethnocentric, epistemically naïve, and reductive. (shrink)

This volume of twelve specially commissioned essays about species draws on the perspectives of prominent researchers from anthropology , botany, developmental psychology , the philosophy of biology and science, protozoology, and zoology . The concept of species has played a focal role in both evolutionary biology and the philosophy of biology , and the last decade has seen something of a publication boom on the topic (e.g., Otte and Endler 1989; Ereshefsky 1992b; Paterson 1994; lambert and Spence 1995; Claridge, Dawah, (...) and Wilson 1997; Wheeler and Meier 1999; Howard and Berlocher 1998). (shrink)

Philosophers of biology and biologists themselves for the most part assume that the concept of kin is progenerative: what makes two individuals kin is a direct or indirect function of reproduction. Derivatively, kinship might likewise be presumed to be progenerative in nature. Yet a prominent view of kinship in contemporary cultural anthropology is a kind of constructivism or performativism that rejects such progenerativist views. This paper critically examines an influential line of thinking used to critique progenerativism and support performativism that (...) cites cross-cultural diversity in what I will call kinmaking. I challenge several key assumptions made in moving from this appeal to ethnography to conclusions about kinship and progeneration, arguing that closer scrutiny of both the ethnographic record and inferences that draw on it in fact support progenerative views of both kinship and kinmaking. (shrink)

In this article, I reconsider bio-essentialism in the study of kinship, centering on David Schneider’s influential critique that concluded that kinship was “a non-subject” (1972:51). Schneider’s critique is often taken to have shown the limitations of and problems with past views of kinship based on biology, genealogy, and reproduction, a critique that subsequently led those reworking kinship as relatedness in the new kinship studies to view their enterprise as divorced from such bio-essentialist studies. Beginning with an alternative narrative connecting kinship (...) past and present and concluding by introducing a novel way of thinking about kinship, I have three constituent aims in this research article: (1) to reconceptualize the relationship between kinship past and kinship present; (2) to reevaluate Schneider’s critique of bio-essentialism and what this implies for the contemporary study of kinship; and (3) subsequently to redirect theoretical discussion of what kinship is. This concluding discussion introduces a general view, the homeostatic property cluster (HPC) view of kinds, into anthropology, providing a theoretical framework that facilitates realization of the often-touted desideratum of the integration of biological and social features of kinship. [bio-essentialism, kinship studies, homeostatic property cluster kinds, Schneider, genealogy]. (shrink)

The Westermarck Effect posits that intimate association during childhood promotes human incest avoidance. In previous work, I articulated and defended a version of the Westermarck Effect by developing a phylogenetic argument that has purchase within primatology but that has had more limited appeal for cultural anthropologists due to their commitment to conventionalist or culture-first accounts of incest avoidance. Here I look to advance the discussion of incest and incest avoidance beyond culture-first accounts in two ways. First, I shall dig deeper (...) into the disciplinary grooves within cultural anthropology that make attractive the view that incest has a naturalness to it that is countered only or primarily by explicit social rules, such as taboos. Second, I further explore the emerging, post-conventionalist view of incest avoidance in a more positive vein by elaborating on the nature of the Westermarckian mechanism and how it relates to such explicit social rules and our innate biological endowments. One general aim here is to overcome the bifurcation between perspectives that are seen as biological and those seen as cultural, preempting or countering the claim that rejecting culture-first accounts entails a form of biological reductionism, a general aim I have pursued in related publications on bioessentialism about kinship. (shrink)

This paper offers an overview of "the species problem", arguing for a view of species as homeostatic property cluster kinds, positioning the resulting form of realism about species as an alternative to the claim that species are individuals and pluralistic views of species. It draws on taxonomic practice in the neurosciences, especially of neural crest cells and retinal ganglion cells, to motivate both the rejection of the species-as-individuals thesis and species pluralism.

This paper begins by saying enough about eugenics to explain why disability is central to eugenics (section 2), then elaborates on why cognitive disability has played and continues to play a special role in eugenics and in thinking about moral status (section 3) before identifying three reasons why eugenics remains a live issue in contemporary bioethics (section 4). After a reminder of the connections between Nazi eugenics, medicine, and bioethics (section 5), it returns to take up two more specific clusters (...) of issues at the intersection of eugenics, disability, and bioethics. These concern questions of life, death, and reproductive value (section 6) and the value of standpoint theory and epistemology for understanding some of the tensions between bioethics and disability in light of a shared eugenic past (section 7). (shrink)

Eugenic thinking involves distinguishing between sorts or kinds of people in terms of the perceived desirable or undesirable traits that those people are likely to transmit to future generations. While eugenics itself is often thought of as an ideology that generated a social movement of global influence from roughly 1900 to 1945, eugenic thinking both pre-dates this period and continues to inform a range of contemporary debates and social policies, including those concerning prenatal screening, transhumanism, population control, and disability. Various (...) sciences, including the then-nascent sciences of psychology and psychiatry, played important roles in early twentieth-century eugenics, and their legacy is reflected in contemporary eugenic thinking and policies. Understanding the history of eugenics and the role of these early sciences of cognition in that history is useful in reflecting further on ongoing forms of eugenic thinking to which the contemporary cognitive sciences are relevant. (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)

Purpose – The purpose of this paper is to assess the impact of smallholder supply chains on sustainable sourcing to answer the question how food and agribusiness multinationals can best include smallholders in their sourcing strategies and take social responsibility for large-scale sustainable and more equitable supply. A sustainable smallholder sourcing model with a list of critical success factors (CSFs) has been applied on two best-practise cases. In this model, business and corporate social responsibility perspectives are integrated. Design/methodology/approach – The (...) primary data of the value chain analyses of the two smallholder supply chains of a food and agribusiness multinational have been applied. Both cases were of a join research program commissioned by the multinational and a non-governmental organization using the same methods and research tools. Similarities, differences and interference between the cases have been determined and assessed in order to confirm, fine tune or adjust the CSFs. Findings – Both cases could be conceptualized through the smallholder sourcing model. Most CSFs could be found in both cases, but differences were also found, which led to fine tuning of some CSFs: building of a partnership and effective producers organization, providing farm financing and the use of cross-functional teams in smallholder supplier development programs. It was also concluded that the smallholder sourcing model is applicable in different geographical areas. Research limitations/implications – The findings of this study are based on just two cases. More best-practise cases are recommended in order to confirm or to adjust the developed sourcing model and the CSFs. Originality/value – This paper/research fills the need in sustainable supply chain management literature to study supply chains that comply with the triple bottom line concept, rather than supply chains that are just more “green.” Keywords Small- to medium-sized enterprises, Food products, Supply chain management, Developing countries, Business development, Food industry, Commodity markets Paper type Research pape. (shrink)

I think there is something to be said in a positive and constructive vein about collective intentionality in non-human animals. Doing so involves probing at the concept of collective intentionality fairly directly (Section 2), considering the various forms that collective intentionality might take (Section 3), showing some sensitivity to the history of appeals to that concept and its close relatives (Section 4), and raising some broader questions about the relationships between sociality, cognition, and institutions by discussing two different possible cases (...) of collective intentionality in non-human animals: that of the social insects (Section 5) and that of highly social mammals, such as canines (Section 6). If the discussion here is on track, then the widely shared perspective on collective intentionality exemplified by the work of Searle and Tomasello needs to be reconsidered. (shrink)

Many countries are experiencing increasing levels of demand for access to assisted reproductive technologies. Policies regarding who can access ART and with what support from a collective purse are highly contested, raising questions about what state responses are justified. Whilst much of this debate has focused on the status of infertility as a disease, we argue that this is something of a distraction, since disease framing does not provide the far-reaching, robust justification for state support that proponents of ART seem (...) to suppose. Instead, we propose that debates about appropriate state responses should consider the various implications for health and broader well-being that may be associated with difficulties starting a family. We argue that the harms and disruption to valued life projects of subfertility-related suffering may provide a stronger basis for justifying state support in this context. Further, we suggest that, whilst ART may alleviate some of the harm resulting from subfertility, population-level considerations can indicate a broader range of interventions aimed at tackling different sources of subfertility-related harm, consistent with broader public health aims. (shrink)

The first half of this review article on Locke on primary and secondary qualities leads up to a fairly straightforward reading of what Locke says about the distinction in Essay II.viii, one that, in its general outlines, represents a sympathetic understanding of Locke’s discussion. The second half of the paper turns to consider a few of the ways in which interpreting Locke on primary and secondary qualities has proven more complicated. Here we take up what is sometimes called the Berkeleyan (...) interpretation of Locke, the understanding of Locke’s resemblance thesis, and Locke’s views of qualities and their relationship to powers. (shrink)

This commentary continues an exchange on eugenics in Monash Bioethics Review between Anomaly (2018), Wilson (2019), and Veit, Anomaly, Agar, Singer, Fleischman, and Minerva (2021). The eponymous question, “Can ‘Eugenics’ be Defended?”, is multiply ambiguous and does not receive a clear answer from Veit et al.. Despite their stated desire to move beyond mere semantics to matters of substance, Veit et al. concentrate on several uses of the term “eugenics” that pull in opposite directions. I argue, first, that Veit et (...) al. (2021) makes much the same error as does Anomaly (2018) in characterizing eugenics; second, that the paper misunderstands the relationship between eugenics and enhancement; and third, that it distorts the views expressed in my “Eugenics Undefended”. (shrink)

The ontological turn (OT) is a loose cluster of theoretical approaches within cultural anthropology that advocates a synthetic, overarching way forward for ethnographically oriented cultural anthropology. We argue that in order to contribute substantively to ethnobiology the OT needs to distance itself from a long-standing tradition of thinking within ethnography that assumes some kind of fundamental divide between the natural and the social sciences. This distancing seems especially unlikely in light of the meta-anthropological nature of the OT as primarily a (...) perspective on ethnographic methodology. Instead, we advocate for naturalistic theoretical alternatives for thinking about human sociality, where philosophical innovation develops in concert with ongoing empirical work across the biological, cognitive, and social sciences. We illustrate this perspective by drawing on two naturalistic accounts likely to prove more fruitful for ethnobiological practice, namely, trans-genera models of sociality and progenerative views of kinship. (shrink)

Suboptimality of decision making needs no explanation. High level accounts of suboptimality in diverse tasks cannot add up to a mechanistic theory of perceptual decision making. Mental processes operate on the contents of information brought by the experimenter and the participant to the task, not on the amount of information in the stimuli without regard to physical and social context.

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

ABSTRACT: In this essay I provide one methodology that yields the level of analysis of an alleged knowledge-claim under investigation via its relations to varying gradations of scepticism. Each proposed knowledge-claim possesses a specified relationship with: (i) a globally sceptical argument; (ii) the least sceptical but successful argument that casts it into doubt; and (iii) the most sceptical yet unsuccessful argument, which is conceivably hypothesized to repudiate it but fails to do so. Yielding this specified set of relations, by means (...) of proceeding from global scepticism to (ii) and (iii), increases the chances of identifying the highest evaluative relevancy of the levels of analysis and observation of an alleged knowledge-claim. I argue that the failure to analyse and derive a difference between (i) and (ii) with respect to an alleged knowledge-claim signifies that the claim is grounded within the theoretical framework itself, that the claim lacks specification with regard to content that is analysable via that framework, and the claim is dubious insofar as alternative theoretic frameworks may present greater relevancy to levels of observation. KEYWORDS: knowledge, scepticism, perception, level of observation, magnification level, methodological scepticism. (shrink)