We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata registries, (...) thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning. (shrink)

Most theories of parenthood assume, at least implicitly, that a child will grow up to be an independent, autonomous adult. However, some children with cognitive limitations or psychiatric illness are unable to do so. For this reason, these accounts do not accommodate the circumstances and responsibilities of parents of such adult children. Our article attempts to correct this deficiency. In particular, we describe some of the common characteristics and experiences of this population of parents and children, examine the unique aspects (...) of their relationships, review several philosophical accounts of parental obligations, consider how these accounts might be extrapolated to semiautonomous adult children, and provide suggestions about parental obligations to promote autonomy and independence in adult children with cognitive limitations or psychiatric illness. In extending accounts of parental responsibilities to the case of semiautonomous adults, we find that the parental role includes the duty to continue to provide care—indefinitely if necessary—while cultivating autonomy and independence. (shrink)

Parts of the genome of a single individual can have conflicting interests, depending on which parent they were inherited from. One mechanism by which these conflicts are expressed in some taxa, including mammals, is genomic imprinting, which modulates the level of expression of some genes depending on their parent of origin. Imprinted gene expression is known to affect body size, brain size, and the relative development of various tissues in mammals. A high fraction of imprinted gene expression occurs (...) in the brain. Biologists including Hamilton, Trivers and Haig have proposed that this may explain some intrapersonal conflict in humans. This speculation amounts to an inference from conflict within the genome to conflict within the brain or mind. This is a provocative proposal, which deserves serious attention. In this paper I assess aspects of Haig’s version of the proposal. I argue, first, that the notion that intragenomic conflict predicts personal inconsistency should be rejected. Second, while it is unlikely that it credibly predicts sub-personal agents representing conflicting genetic interests, it is plausible that it predicts that the division of cognitive labour could be exploited to turn sub-systems into proxies for conflicting interests. (shrink)

Assisted reproductive technologies have greatly increased our control over reproductive choices, leading some bioethicists to argue that we face unprecedented moral obligations towards progeny. Several models attempting to balance the principle of procreative autonomy with these obligations have been proposed. The least demanding is the minimal threshold model (MTM), according to which every reproductive choice is permissible, except creating children whose lives will not be worth living. Hence, as long as the future child is likely to have a life worth (...) living, prospective parents may be allowed to use preimplantation genetic diagnosis (PGD) to select embryos with genetic diseases or disabilities. Assuming a consequentialist person‐affecting view of morality, this paper investigates whether the MTM is an appropriate tool to guide procreative decisions given the continuous development of reproductive genetic technologies. In particular, I consider germline genome editing (GGE) and I argue that its application in human reproduction, unlike PGD, should be conceived as person‐affecting towards future progeny. I claim that even if we assume the plausibility of the MTM within PGD, we are committed to accepting that a greater moral obligation towards progeny should guide procreative decisions if GGE were available. In this case, the MTM should no longer be considered an appropriate instrument to guide procreative choices. Finally, I investigate when we face this greater moral obligation, concluding that it applies only when prospective parents have already engaged in the in vitro fertilization process. (shrink)

Procreative obligations are often discussed by evaluating only the consequences of reproductive actions or omissions; less attention is paid to the moral role of intentions and attitudes. In this paper, I assess whether intentions and attitudes can contribute to defining our moral obligations with regard to assisted reproductive technologies already available, such as preimplantation genetic diagnosis (PGD), and those that may be available in future, such as reproductive genome editing and ectogenesis, in a way compatible with person‐affecting constraints. I propose (...) the parent–child relationship argument, which is based on the moral distinction between creating and parenting a child. Hence, I first argue that intentions and attitudes can play a role in defining our moral obligations in reproductive decisions involving PGD. Second, I maintain that if we accept this and recognize reproductive genome editing and ectogenesis as person‐affecting procedures, we should be committed to arguing that prospective parents may have moral reasons to prefer reproduction via such techniques than via sexual intercourse. In both cases, I observe an extension of our procreative responsibility beyond what is proposed by the consequentialist person‐affecting morality. (shrink)

This paper introduces the concept of ‘skeuomorphic reassurance’ as a guiding principle for human interfaces in technological development and design, particularly for older people and people with dementia (PwD). Skeuomorphs exhibit decorative design elements reminiscent of ‘parent’ objects that incorporated such design elements because they were structurally integral. Human interfaces adopted by new technologies need to be carefully balanced between novelty and recognisability. -/- The philosophy of personhood is discussed in the context of dementia, concluding that the subjective character (...) of conscious mental processes is an irreducible feature of reality, and that the persistence of personhood in PwD constitutes a further argument in support of this assertion. -/- Assistive technologies that aid family and carers, as well as PwD, and their relationships, need to ensure that skeuomorphic reassurance is incorporated in their design, not least because older people and PwD need recognisable interfaces today, but, as this paper argues, because the problems today’s over-65s have with digital technologies may quite likely not go away, but re-present themselves generation after generation, unless skeuomorphic reassurance is built into their design. (shrink)

In this paper, I analyze the ethical implications of genetic enhancement within the specific framework of the “child’s right to an open future” argument (CROF). Whilst there is a broad ethical consensus that genetic modifications for eradicating diseases or disabilities are in line with – or do not violate – CROF, there is huge disagreement about how to ethically understand genetic enhancement. Here, I analyze this disagreement and I provide a revised formulation of the argument in the specific field of (...) genetic enhancement. First, I argue that CROF is not in contrast with every kind of enhancement. I subsequently discuss whether CROF requires some moral obligations to enhance progeny. My argument is that parents do not have the moral obligation to open as many options as possible for their children. Rather, they should provide them with a reasonable range of opportunities. Finally, I contend that the moral obligations required by CROF are directly dependent on what Allen Buchanan calls the ‘dominant cooperative framework’ in a given society. I conclude by claiming that, at present, parents are not morally obliged to genetically enhance their children since a non-enhanced person already might have access to a reasonable range of opportunities. However, the moral obligation to enhance progeny might arise if a structural modification of the dominant cooperative framework occurs. (shrink)

Preface: The following article is an adaptation of an open letter sent by the au- thor to the local U.S. Elementary School Administration on October 14, 2022, in response to the introduction of Transgender Literature in grades 2 and above (starting age 7) in the local US elementary school attended by the author’s children. More specifically, children have been introduced to three books: I Am Jazz, by Jessica Herthel and Jazz Jennings; Jacob’s New Dress, by Ian Hoffman and Sarah Hoffman; (...) and Born Ready. The True Story of a Boy Named Penelope, by Jodie Patterson. As part of this, children have been asked to join discussion in class to talk about the contents of each book and other related literature. Of note, several meetings with the administration and the school board have followed, but no changes have been made to the administration and content of the literature presented to children, with the exception of parents’ voluntary exclusion, per direct request, of their children from class time in which the books above and related new literature will be discussed in the future. Furthermore, these topics have also been discussed as part of a recent Lecture the author presented at the Academy of Sciences of Rome with the title “Science or Ideology?” in November 2022. (shrink)

Among moral philosophers, general disapproval of genetic enhancement has in recent years given way to the view that the permissibility of a eugenic policy depends only on its particular features. Buchanan, Brock, Daniels, and Wikler have extensively defended such a view. However, while these authors go so far as to argue that there are conditions under which parents are not only permitted but also obligated to procure genetic treatments for their intended child, they stop short of arguing that there are (...) conditions under which parents are required to procure enhancements. By contrast, David Heyd argues that parents are required to procure treatments or enhancements for their future child, but only if the intervention would not alter the future child’s personal identity. In this paper I take the case for genetic enhancement a step further by arguing that there are conditions under which parents are morally required to procure genetic interventions for their intended child, regardless of whether the intervention is a treatment or an enhancement, and regardless of whether it would alter the child’s personal identity. (shrink)

Embora este volume é um pouco datado, há poucos livros populares recentes lidando especificamente com a psicologia do assassinato e é uma visão rápida disponível para alguns dólares, por isso ainda vale bem o esforço. Não faz nenhuma tentativa de ser detalhado e é um tanto superficial nos lugares, com o leitor esperado preencher os espaços em branco de seus muitos outros livros e a literatura vasta na violência. Para uma atualização ver, por exemplo, Buss, O Manual de Psicologia Evolucionária (...) 2ª ed. v1 (2016) p 265, 266, 270 – 282, 388 – 389, 545 – 546, 547, 566 e Buss, Psicologia Evolutiva 5º Ed. (2015) p 26, 96 – 97223, 293-4, 300, 309 – 312, 410 e Shackelford e Hansen , A Evolução da Violência (2014).Ele está entre os principais psicólogos evolucionários por várias décadas e abrange uma ampla gama de comportamentos em suas obras, mas aqui ele se concentra quase inteiramente sobre os mecanismos psicológicos que causam pessoas individuais a assassinar e seus possíveis função evolutiva no EEE (ambiente de adaptação evolutiva — i. e., as planícies da África durante os últimos milhões de anos ou mais). Buss começa por notar que, como com outros comportamentos, explicações ' alternativas ', tais como psicopatologia, ciúme, ambiente social, pressões de grupo, drogas e álcool, etc. não realmente explicam, uma vez que a questão ainda permanece a respeito de por que estes produzem impulsos homicida, ou seja, são as causas proximas e não as últimas evolutivas (genéticas). Como sempre, ele inevitavelmente se resume a aptidão inclusiva (seleção de parentes), e assim a luta pelo acesso a companheiros e recursos, que é a explicação definitiva para todo o comportamento em todos os organismos. Os dados sociológicos (e o senso comum) tornam claro que os machos mais pobres mais jovens são os mais propensos a matar. Ele apresenta seus próprios e outros dados de homicídio de nações industrializadas, e culturas tribais, morte conespecífica em animais, arqueologia, dados do FBI e sua própria pesquisa sobre as fantasias homicida das pessoas normais. Muita evidência arqueológica continua a acumular-se de assassinatos, incluindo o de grupos inteiros, ou de grupos menos jovens fêmeas, em tempos pré-históricos. Depois de examinar os comentários de Buss, apresento um breve resumo da psicologia intencional (a estrutura lógica da racionalidade), que é amplamente coberta em meus muitos outros artigos e livros. Aqueles com um monte de tempo que querem uma história detalhada de violência homicida de uma perspectiva evolutiva pode consultar Steven Pinker ' os melhores 2 anjos da nossa natureza por que a violência diminuiu ' (2012), e minha revisão do mesmo, facilmente disponível na net e em dois dos meus livros recentes. Momentaneamente, Pinker observa que o assassinato diminuiu firmemente e dramàtica por um fator de aproximadamente 30 desde nossos dias como Foragers. Assim, mesmo que as armas agora tornam extremamente fácil para qualquer um matar, homicídio é muito menos comum. Pinker acha que isso é devido a vários mecanismos sociais que trazem os nossos "melhores anjos", mas eu acho que é devido principalmente à abundância temporária de recursos do estupro implacável do nosso planeta, juntamente com a presença policial aumentada, com a comunicação e vigilância e sistemas jurídicos que fazem com que seja muito mais provável que seja punido. Isto torna-se claro cada vez que há mesmo uma breve e local ausência da polícia. Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd(2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no 21St século 5a Ed (2019), A Estrutura Lógica do Comportamento Humano (2019), e A Estrutura Lógica da Consciência (2019) e outras. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our (...) field—a book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

Hume maintained that, philosophically speaking, there is no difference between exiting a room out of the first-floor window and using the door. Nevertheless, Hume’s reason and common sense prevailed over his scepticism and he advocated that we should always use the door. However, we are currently living in a world that is more seriously committed to the Humean philosophy of empiricism than he was himself and thus the potential to act inappropriately is an ever-present potential. In this paper, I explore (...) how Hume’s two versions of causality have detrimentally affected our ability both to arrive at and to use research to improve human well-being. I illustrate my argument with an example of what I think is an incorrect yet supposedly scientifically sound assumption: that absenteeism causes poor school attainment. Instead I make the interdisciplinary argument that absenteeism is better understood as an aggravating symptom of a number of other causes of poor attainment, such as poverty and individual psychological factors. I suggest that an instrumental, punitive policy against parents whose children tend to be absent from school may be ineffectual or even counterproductive if the objective is to improve the well-being of those children. To support my argument, I introduce the critical realist idea of transfactuality. Using the example of research into moon rocks, I show how mainstream science uses transfactuality despite its empiricist aversion to it. I also suggest that it is our honesty, integrity, and stoicism that lead us to the extreme overthrow of reason and common sense that we see today in many of the UK’s social policies; an overthrow that Hume himself did not achieve. Metaphorically speaking, British professionals, stoically and honestly believing in the ability of their trusted research correlations to guide their action, are exiting out of the first-floor window rather than using the door. This is a significant barrier to our ability to devise and implement social policy. (shrink)

I argue that according to Socrates in the Phaedo we should not merely evaluate bodily pleasures and desires as worthless or bad, but actively avoid them. We need to avoid them because they change our values and make us believe falsehoods. This change in values and acceptance of falsehoods undermines the soul’s proper activity, making virtue and happiness impossible for us. I situate this account of why we should avoid bodily pleasures within Plato’s project in the Phaedo of providing Pythagorean (...) and Orphic ideas with clearer meanings and better justifications. (shrink)

The ethics of biological procreation has received a great deal of attention in recent years. Yet, as I show in this paper, much of what has come to be called procreative ethics is conducted in a strangely abstract, impersonal mode, one which stands little chance of speaking to the practical perspectives of any prospective parent. In short, the field appears to be flirting with a strange sort of practical irrelevance, wherein its verdicts are answers to questions that no-one is (...) asking. I go on to articulate a theory of what I call existential grounding, a notion which explains the role that prospective children play in the lives of many would-be parents. Procreative ethicists who want their work to have real practical relevance must, I claim, start to engage with this markedly first-personal kind of practical consideration. (shrink)

Consequentialism, many philosophers have claimed, asks too much of us to be a plausible ethical theory. Indeed, the theory's severe demandingness is often claimed to be its chief flaw. My thesis is that as we come to better understand this objection, we see that, even if it signals or tracks the existence of a real problem for Consequentialism, it cannot itself be a fundamental problem with the view. The objection cannot itself provide good reason to break with Consequentialism, because it (...) must presuppose prior and independent breaks with the view. The way the objection measures the demandingness of an ethical theory reflects rather than justifies being in the grip of key anti-Consequentialist conclusions. We should reject Consequentialism independently of the Objection or not at all. Thus, we can reduce by one the list of worrisome fundamental complaints against Consequentialism. (shrink)

Critics have argued that human-controlled avatar interactions fail to facilitate the kinds of expressivity and social understanding afforded by our physical bodies. We identify three claims meant to justify the supposed expressive limits of avatar interactions compared to our physical interactions. First, “The Limited Expressivity Claim”: avatars have a more limited expressive range than our physical bodies. Second, “The Inputted Expressivity Claim”: any expressive avatarial behaviour must be deliberately inputted by the user. Third, “The Decoding Claim”: users must infer or (...) figure out the expressive meaning of human-controlled avatars’ behaviour through cognitively onerous processes. With the aim of critically assessing all three claims, we analyze data collected through observations of and interviews with expert players of the avatar-based video game League of Legends. Focusing on Daniel Stern’s (2010) notion of vitality, we analyze the participants’ descriptions of seeing and interacting with other avatars during performance. Our analysis shows that the informants experience human-based avatarial interactions as qualitatively different than interactions with bots, that the informants see the movements of other players’ avatars as having different expressive styles, and that the informants actively use and manipulate this avatarial expressivity during performance. The results of our analysis, we argue, provide reasons for loosening or resisting the three claims concerning the limits of avatarial expressivity. (shrink)

Stove's article, 'So you think you are a Darwinian?'[ 1] was essentially an advertisement for his book, Darwinian Fairytales.[ 2] The central argument of the book is that Darwin's theory, in both Darwin's and recent sociobiological versions, asserts many things about the human and other species that are known to be false, but protects itself from refutation by its logical complexity. A great number of ad hoc devices, he claims, are used to protect the theory. If co operation is observed (...) where the theory predicts competition, then competition is referred to the time of the cavemen, or is reinterpreted as competition between some hidden entities like genes or abstract entities like populations. In a characteristic sally, Stove writes of the sociobiologists' oscillation on the meaning of kin altruism: Any discussion of altruism with an inclusive fitness theorist is, in fact, exactly like dealing with a pair of balloons connected by a tube, one balloon being the belief that kin altruism is an illusion, the other being the belief that kin altruism is caused by shared genes. If a critic puts pressure on the illusion balloon - perhaps by ridiculing the selfish theory of human nature - air is forced into the causal balloon. There is then an increased production of earnest causal explanations of why we love our children, why hymenopteran workers look after their sisters, etc., etc. Then, if the critic puts pressure on the causal balloon - perhaps about the weakness of sibling altruism compared with parental, or the absence of sibling altruism in bacteria - then the illusion balloon is forced to expand. There will now be an increased production of cynical scurrilities about parents manipulating their babies for their own advantage, and vice versa, and in general, about the Hobbesian bad times that are had by all. In this way critical pressure, applied to the theory of inclusive fitness at one point, can always be easily absorbed at another point, and the theory as a whole is never endangered.[ 3] Now, it is uncontroversial to assert that Darwinism is a logically complex theory, and that its relation to empirical evidence is distant and multi faceted. One does not directly observe chance genetic variations leading to the development of new species, or even continuous variations in the fossil record, but must rely on subtle arguments to the best explanation, scaling up from varieties to species, and so on.. (shrink)

This paper considers the phenomenon of lying and the implications it has for those subjects who are capable of lying. It is argued that lying is not just intentional untruthfulness, but is intentional untruthfulness plus an insincere invocation of trust. Understood in this way, lying demands of liars a sophistication in relation to themselves, to language, and to those to whom they lie which exceeds the demands on mere truth-tellers.

eSports practice designates a unique set of activities tethered to competitive, virtual environments, or worlds. This correlation between eSports practitioner and virtual world, we argue, is inadequately accounted for solely in terms of something physical or intellectual. Instead, we favor a perspective on eSports practice to be analyzed as a perceptual and embodied phenomenon. In this article, we present the phenomenological approach and focus on the embodied sensations of eSports practitioners as they cope with and perceive within their virtual worlds. (...) By approaching eSports phenomenologically, we uncover ways in which its unique forms of virtual involvement overlap with as well as differentiate themselves from traditional structures of embodiment. (shrink)

These days, just about every philosophical debate seems to generate a position labeledinternalism. The debate I will be joining in this essay concerns reasons for action and their connection, or lack of connection, to motivation. The internalist position in this debate posits a certain essential connection between reasons and motivation, while the externalist position denies such a connection. This debate about internalism overlaps an older debate between Humeans and Kantians about the exclusive reason-giving power of desires. As we will see, (...) however, while these debates overlap, the new debate is importantly different from the old debate. (shrink)

I argue that Meno’s Paradox targets the type of knowledge that Socrates has been looking for earlier in the dialogue: knowledge grounded in explanatory definitions. Socrates places strict requirements on definitions and thinks we need these definitions to acquire knowledge. Meno’s challenge uses Socrates’ constraints to argue that we can neither propose definitions nor recognize them. To understand Socrates’ response to the challenge, we need to view Meno’s challenge and Socrates’ response as part of a larger disagreement about the value (...) of inquiry. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Debiasing procedures are experimental methods aimed at correcting errors arising from the cognitive biases of the experimenter. We discuss two of these methods, the predesignation rule and randomization, showing to what extent they are open to the experimenter’s regress: there is no metarule to prove that, after implementing the procedure, the experimental data are actually free from biases. We claim that, from a contractarian perspective, these procedures are nonetheless defensible since they provide a warrant of the impartiality of the experiment: (...) we only need proof that the result has not been intentionally manipulated for prima facie acceptance. (shrink)

The central objective of Dewey’s Democracy and Education is to explain ‘what is needed to live a meaningful life and how can education contribute?’ While most acquainted with Dewey’s educational philosophy know that ‘experience’ plays a central role, the role of ‘situations’ may be less familiar or understood. This essay explains why ‘situation’ is inseparable from ‘experience’ and deeply important to Democracy and Education’s educational methods and rationales. First, a prefatory section explores how experience is invoked and involved in pedagogical (...) practice, especially experience insofar as it is (a) experimental, (b) direct, and (c) social-moral in character. The second and main section on situations follows. After a brief introduction to Dewey’s special philosophical use of ‘situation’, I examine how situations are implicated in (a) student interest and motivation; (b) ‘aims’ and ‘criteria’ in problem-solving; and (c) moral education (habits, values, and judgements). What should become abundantly clear from these examinations is that there could be no such thing as meaningful education, as Dewey understood it, without educators’ conscious, intentional, and imaginative deployment of experience and situations. (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage is Prior (...) Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality through (...) both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

In this chapter, we argue that it’s possible to lose your faith in God by the actions of other people. In particular, we argue that spiritually violent religious trauma, where religious texts are used to shame a person into thinking themselves unworthy of God’s love, can cause a person to stop engaging in activities that sustain their faith in God, such as engaging in the worship of God. To do this, we provide an analysis of faith, worship, and love on (...) which to have faith in God is to have an attitude of worship to him; to have such an attitude of worship to God is to love him; and to love God is to desire union with him. We apply this analysis particularly to the case of LGBT Christians and their experience in the church today. (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)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

The article focuses on the justification provided by classical contract theory for the right of states to enact laws and the corresponding obligation of political allegiance. First the distinction between political authority and parental authority developed by John Locke in his seminal work “Two Treatises of Government” is explored. Thereafter it is discussed why the interests the individuals have in the creation of a state fail to vindicate the exercise of governmental power. As regards David Hume’s influential objections to (...) contract theory it is argued that the consent criterion of political legitimacy withstands his criticism. Hume cannot establish that the core idea of Locke’s justificatory approach is mistaken; he merely demonstrates that hardly any existing state meets the consent requirement. Finally the question is discussed which conditions a state must fulfil in order to be entitled to claim that its citizens tacitly approve of its authority. (shrink)

Cartwright attempts to argue from an analysis of the composition of forces, and more generally the composition of laws, to the conclusion that laws must be regarded as false. A response to Cartwright is developed which contends that properly understood composition poses no threat to the truth of laws, even though agreeing with Cartwright that laws do not satisfy the "facticity" requirement. My analysis draws especially on the work of Creary, Bhaskar, Mill, and points towards a general rejection of Cartwright's (...) view that laws, especially fundamental laws, should be seen as false. (shrink)

Liberal-contractarian philosophies of justice see the unjust systems of slavery and autocracy in the past as being based on coercion—whereas the social order in modern democratic market societies is based on consent and contract. However, the ‘best’ case for slavery and autocracy in the past were consent-based contractarian arguments. Hence, our first task is to recover those ‘forgotten’ apologia for slavery and autocracy. To counter those consent-based arguments, the historical anti-slavery and democratic movements developed a theory of inalienable rights. Our (...) second task is to recover that theory and to consider several other applications of the theory. Finally, the liberal theories of justice expounded by John Rawls and by Robert Nozick are briefly examined from this perspective. (shrink)

I argue that the technique Socrates describes in the Meno at 86e-87c allows him to make progress without definitions, even while accepting that definitions are necessary for knowledge. Some contend that the technique involves provisionally accepting a claim. I argue, instead, that it provides a secure biconditional that one can use to reduce the question one cares care about to a new question that one thinks will be easier to answer.

Political equality is in tension with political quality, and quality has recently been neglected. My thesis is that proper attention to the quality of democratic procedures and their outcomes requires that we accept substantive inequalities of political input in the interest of increasing input overall. Mainly, I hope to refute political egalitarianism, the view that justice or legitimacy requires substantive political equality, specifically equal availability of power or influence over collective choices that have legal force. I hope to show that (...) political egalitarianism exaggerates individual rights in the conduct of political procedures, and neglects the substantive justice of the decisions made through those procedures. Some unequal distributions of influence may better promote just decisions, and without reliance on any invidious comparisons such as the relative wisdom of the wealthy or the educated. (shrink)

For Charles Peirce, the project of inquiry is a social one. Though inquiry, the passage from genuine doubt to settled belief, can be described on the individual level, its significance as a human activity is manifested in collective action. For any individual, Truth transcends experience and inquiry. But it does not transcend experience and inquiry altogether: is a fixed limit, an ideal, towards which a properly functioning community converges. What, in principle, makes the cohesion of such a community possible? Why (...) did Peirce believe that convergence towards an ultimate conclusion was the necessary end of unlimited scientific inquiry? This essay examines Peirce's notion of community to answer these questions and suggests that the presence of genuine doubt not only makes convergence possible, but also constitutes the starting point for almost all inquiry. The exception is philosophical inquiry. (shrink)

This paper examines whether Socrates provides his interlocutors with good reasons to seek knowledge of what virtue is, reasons that they are in a position to appreciate. I argue that in the Laches he does provide such reasons, but they are not the reasons that are most commonly identified as Socratic. Socrates thinks his interlocutors should be motivated not by the idea that virtue is knowledge nor by the idea that knowledge is good for its own sake, but rather by (...) the idea that knowledge is needed to recognize what to aim at. His argument reaches the potentially life-altering conclusion that we should all seek knowledge of what virtue is. It is powerful precisely because it relies on uncontroversial premises that his interlocutors could be expected to accept. In laying out this argument, I distinguish different ways in which someone could count as a teacher of virtue. At the end of the article, I situate the argument within the debate about whether virtue is teachable. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. Higher observational type theory might be one way to make first-order abstraction principles defined via inference rules, although not higher-order (...) abstraction principles, computable. The truth of my first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. Epistemic modality and hyperintensionality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)