This article explores the Nuffield Council on Bioethics’ recent report about non-invasive prenatal testing. Given that such testing is likely to become the norm, it is important to question whether there should be some ethical parameters regarding its use. The article engages with the viewpoints of Jeff McMahan, Julian Savulescu, Stephen Wilkinson and other commentators on prenatal ethics. The authors argue that there are a variety of moral considerations that legitimately play a significant role with regard to (prospective) parental decision-making (...) in the context of NIPT, for example, views on the morality of abortion and understandings of the impact of disability on quality of life. The variable nature of such considerations, both singularly and combined, suggests that any approach to NIPT should be sensitive to and understanding of similarly variable parental assessments and decisions. The implications of the approach developed for current and future policies in this area are explored, along with the impact of such arguments on ideas about procreative beneficence. (shrink)

When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This collection of original essays--by philosophers of biology, biologists, and cognitive scientists--provides a wide range of perspectives on species. Including contributions from David Hull, John Dupre, David Nanney, Kevin de Queiroz, and Kim Sterelny, amongst others, this book has become especially well-known for the three essays it contains on the homeostatic property cluster view of natural kinds, papers by Richard Boyd, Paul Griffiths, and Robert A. Wilson.

Agency is an amazing thing: it transduces cognitivity into causality, it makes thought real. How it does so has been a matter of considerable dispute, the resolution of which has been hampered by moral complications. The supposition of a rational basis for morality can play an essential role in clarifying agency by providing a ground for legitimizing the objects of desire and the motivation they provide. The four-stage model of agency presented here – deliberation, calculation, intention, and enactment – emerges (...) when the moral concerns regarding desire have been detoxified. A crucial distinction is between the cognitive and causal aspects of desire, between the estimation of desirability (preference) and the actual motivation it may initiate (desire). Failure to recognize desire’s cognitive aspect preemptively disables its participation in practical reasoning. (shrink)

Two meta-analyses of 66 behavioral studies examined variables influencing functional cerebral lateralization of each language of brain-intact bilingual adults. Functional lateralization was found to be primarily influenced by age of onset of bilingualism: bilinguals who acquired both languages by 6 years of age showed bilateral hemispheric involvement for both languages, whereas those who acquired their second language after age 6 showed left hemisphere dominance for both languages. Moreover, among late bilinguals, left hemisphere involvement was found to be greater for those (...) less proficient in their second language, those whose second language was English, and for studies involving dichotic listening paradigms; early bilinguals instead showed bilateral involvement in every condition. Implications of the observed differences in lateralization between early and late bilinguals are explored for existing theories of bilingualism and for neurocognitive models of brain functional organization of language. (shrink)

The question “Why should I be moral?” has long haunted normative ethics. How one answers it depends critically upon one’s understanding of morality, self-interest, and the relation between them. Stephen Finlay, in “Too Much Morality”, challenges the conventional interpretation of morality in terms of mutual fellowship, offering instead the “radical” view that it demands complete altruistic self-abnegation: the abandonment of one’s own interests in favor of those of any “anonymous” other. He ameliorates this with the proviso that there is no (...) rational basis for morality’s presumption of precedence, leaving it up to each person to decide when and whether they prefer self-interested concerns to more stringent moral requirements. I counter Finlay’s radical altruism with fair egalitarianism, a more congenial interpretation of moral normativity that repudiates self-abnegation and holds instead that ceteris paribus everybody’s interests are equal. As a result, supererogation and moral sainthood become more intelligible, and the choice between self-interest and morality becomes one between different decision procedures, the particular advantage of morality being others compatible results. (shrink)

These reflections are an attempt to get to the heart of the "reason is the slave of the passions" debate. The whole point of deliberation is to arrive at a choice. What factors persons find to be choice-relevant is a purely empirical matter. This has significant consequences for the views of Hume, Williams, Nagel, Parfit and Korsgaard regarding practical reason.

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

Finding something humorous is intrinsically rewarding and may facilitate emotion regulation, but what creates humour has been underexplored. The present experimental study examined humour generated under controlled conditions with varying social, affective, and cognitive factors. Participants listed five ways in which a set of concept pairs (e.g. MONEY and CHOCOLATE) were similar or different in either a funny way (intentional humour elicitation) or a “catchy” way (incidental humour elicitation). Results showed that more funny responses were produced under the incidental condition, (...) and particularly more for affectively charged than neutral concepts, for semantically unrelated than related concepts, and for responses highlighting differences rather than similarities between concepts. Further analyses revealed that funny responses showed a relative divergence in output dominance of the properties typically associated with each concept in the pair (that is, funny responses frequently highlighted a property high in output dominance for one concept but simultaneously low in output dominance for the other concept); by contrast, responses judged not funny did not show this pattern. These findings reinforce the centrality of incongruity resolution as a key cognitive ingredient for some pleasurable emotional elements arising from humour and demonstrate how it may operate within the context of humour generation. (shrink)

The realist belief in robustly attitude-independent evaluative truths – more specifically, moral truths – is challenged by Sharon Street’s essay “A Darwinian Dilemma for Realist Theories of Value”. We know the content of human normative beliefs and attitudes has been profoundly influenced by a Darwinian natural selection process that favors adaptivity. But if simple adaptivity can explain the content of our evaluative beliefs, any connection they might have with abstract moral truth would seem to be purely coincidental. She continues the (...) skeptical attack in “Objectivity and Truth: You’d Better Rethink It”, concentrating on the intuitionist realism of Ronald Dworkin. The latter sees the issue fundamentally as a holistic choice between moral objectivity and the genocide-countenancing consequences of abandoning objective standards. Street counters that, because of realism’s skeptical difficulties, Dworkin’s Choice (as I call it) actually works in favor of her Euthyphronic antirealism. I will argue that she misrepresents the realist’s skeptical challenge, and that clarifying the character of that challenge renders the case for normative realism much more appealing. Indeed, I claim that Street fails to exclude the genuine possibility of a rational basis for moral truth. (shrink)

I defend the Seventh Letter, traditionally attributed to Plato, against Michael Frede's argument that it presents a political philosophy inconsistent with that found in the Laws. Frede argues that Plato had given up the idea of the philosopher-king in his Laws, but the 7th Letter seems to be still committed to the project. I argue the Laws, particularly with the introduction of the Nocturnal Council, has Philosopher-Rulers in all but name. I consider the education of the Nocturnal Council and how (...) it functions relative to the other constitutional structures of Magnesia. Frede advances several other arguments that the 7th Letter is spurious, but it at least escapes the most damning charge that it is inconsistent with the Laws philosophically. (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)

This paper revisits Derrida’s and Deleuze’s early discussions of “Platonism” in order to challenge the common claim that there is a fundamental divergence in their thought and to challenge one standard narrative about the history of deconstruction. According to that narrative, deconstruction should be understood as the successor to phenomenology. To complicate this story, I read Derrida’s “Plato’s Pharmacy” alongside Deleuze’s discussion of Platonism and simulacra at the end of Logic of Sense. Both discussions present Platonism as the effort to (...) establish a representative order (of original ideas and authorized reproductions of them) with no excess or outside (simulacra, or ideas that cannot be tied to an eidos). Since such pure representation is impossible, Platonism functions by means of the violent suppression of the simulacra and pharamakoi that exceed its eidetic structures. To overcome Platonism is thus not to reverse it, but to establish something like a practice of counter-memorials: detecting, exhuming, and writing back textual traces of what Platonism excludes. I then briefly apply this practice to narratives about the history of deconstruction, and suggest that they tend to occlude precisely the materialist elements of that history, as (for example) the importance of Spinoza as an interlocutor. In other words, the emerging canonical narrative about deconstruction runs the risk of repeating the Platonic gesture that Derrida spent his career writing against. (shrink)

What Bar-On and Simmons call 'Conceptual Deflationism' is the thesis that truth is a 'thin' concept in the sense that it is not suited to play any explanatory role in our scientific theorizing. One obvious place it might play such a role is in semantics, so disquotationalists have been widely concerned to argued that 'compositional principles', such as -/- (C) A conjunction is true iff its conjuncts are true -/- are ultimately quite trivial and, more generally, that semantic theorists have (...) misconceived the relation between truth, meaning, and logic. This paper argues, to the contrary, that even such simple compositional principles as (C) have substantial content that cannot be captured by deflationist 'proofs' of them. The key thought is that (C) is supposed, among other things, to affirm the truth-functionality of conjunction and that disquotationalists cannot, ultimately, make sense of truth-functionality. -/- This paper is something of a companion to "The Logical Strength of Compositional Principles". (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

It is natural to oppose morality and self-interest; it is customary also to oppose morality to interests as such, an inclination encouraged by Kantian tradition. However, if “interest” is understood simply as what moves a person to do this rather than that, then – if persons ever actually are good and do what is right – there must be moral interests. Bradley, in posing the “Why should I be moral?” question, raises Kant-inspired objections to the possibility of moral interests qua (...) particular, conditional causes. The paper argues that these objections can be met if (a) one distinguishes between what makes something right and what makes something right happen, and (b) doing what is right is intrinsic to a person’s interests and not merely a means to ulterior ends. The requisite completeness of rational morality is shown to exclude pluralistic approaches. Given rational monism, people can find intrinsic advantage in morality’s justifiability, cooperativeness and communality. (shrink)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

Sharon Street’s 2006 article “A Darwinian Dilemma for Realist Theories of Value” challenges the epistemological pretensions of the moral realist, of the nonnaturalist in particular. Given that “Evolutionary forces have played a tremendous role in shaping the content of human evaluative attitudes” – why should one suppose such attitudes and concomitant beliefs would track an independent moral reality? Especially since, on a nonnaturalist view, moral truth is causally inert. I abstract a logical skeleton of Street’s argument and, with its aid, (...) focus on problematic assumptions regarding the (a)causality of moral truth. It emerges that there are acquired causal powers that compensate for the intrinsic impotence of moral truth, as well as two distinct levels at which truth-tracking might occur. I argue that while evolution’s selective forces do not track moral truth, that does not imply individual organisms could not have evolved that capability. -/- . (shrink)

All disciplines must define their basic units and core processes. In evolutionary biology, the core process is natural selection and the basic unit of selection and adaptation is the individual. To operationalize the theory of natural selection we must count individuals, as they are the bearers of fitness. While canonical individuals have often been taken to be multicellular organisms, the hierarchy of life shows that new kinds of individuals have evolved. A variety of criteria have been used to define biological (...) individuality. Some criteria rely on the presence/absence of a particular property while others advocate an approach that reflects the process of natural selection. The plethora of approaches to classifying individuality has resulted in confusion regarding how to study individuality in a given taxon. (shrink)

It is generally supposed that borderline cases account for the tolerance of vague terms, yet cannot themselves be sharply bounded, leading to infinite levels of higher order vagueness. This higher order vagueness subverts any formal effort to make language precise. However, it is possible to show that tolerance must diminish at higher orders. The attempt to derive it from indiscriminability founders on a simple empirical test, and we learn instead that there is no limit to how small higher order tolerance (...) may become. That means there is no limit to how precisely we may draw the boundaries of borderline cases, thus forestalling any requirement for higher order vagueness. (shrink)

The argument that follows has a certain air of prestidigitation about it. I attempt to show that, given a couple of innocent-seeming suppositions, it is possible to derive a positive and complete theory of normative ethics from the Humean maxim "You can't get ought from is." This seems, of course, absurd. If the reasoning isn't completely unhinged, you may be sure, the trick has to lie in those "innocent-seeming" props. And, in fact, you are right. But every argument has to (...) begin somewhere, and, however questionable, those suppositions just don't seem to harbor serious normative import. (shrink)

Contemporary discussions do not always clearly distinguish two different forms of vagueness. Sometimes focus is on the imprecision of predicates, and sometimes the indefiniteness of statements. The two are intimately related, of course. A predicate is imprecise if there are instances to which it neither definitely applies nor definitely does not apply, instances of which it is neither definitely true nor definitely false. However, indefinite statements will occur in everyday discourse only if speakers in fact apply imprecise predicates to such (...) indefinite instances. (What makes an instance indefinite is, it should be clear, predicate-relative.) The basic issue in the present inquiry is whether this indefiniteness ever really occurs; the basic question is, Why should it ever occur? (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Is 'vague' vague? Is the meaning of 'true' vague? Is higher-order vagueness unavoidable? Is it possible to say precisely what it is to say something precisely? These questions, deeply interrelated and of fundamental importance to logic and semantics, have been addressed recently by Achille Varzi in articles focused on an ingenius attempt by Roy Sorensen ("An Argument for the Vagueness of 'Vague'") to demonstrate that 'vague' is vague.

Although high-performance human resource practices do not directly affect corporate social performance strengths, they do positively affect CSP strengths in companies that are highly innovative or have high levels of slack. High-performance human resource management practices also directly and negatively affect CSP concerns. Drawing on the resource-based view and using secondary data from an objective, third-party database, the authors develop and test hypotheses about how high-performance HRM affects a company’s CSP strengths and concerns. Findings suggest that HRM and innovation are (...) important capabilities because they create and enhance other capabilities. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative artificial intelligence (AI) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

During much of the past century, it was widely believed that phonemes--the human speech sounds that constitute words--have no inherent semantic meaning, and that the relationship between a combination of phonemes (a word) and its referent is simply arbitrary. Although recent work has challenged this picture by revealing psychological associations between certain phonemes and particular semantic contents, the precise mechanisms underlying these associations have not been fully elucidated. Here we provide novel evidence that certain phonemes have an inherent, non-arbitrary emotional (...) quality. Moreover, we show that the perceived emotional valence of certain phoneme combinations depends on a specific acoustic feature--namely, the dynamic shift within the phonemes' first two frequency components. These data suggest a phoneme-relevant acoustic property influencing the communication of emotion in humans, and provide further evidence against previously held assumptions regarding the structure of human language. This finding has potential applications for a variety of social, educational, clinical, and marketing contexts. (shrink)

My aim in this paper is to identify the wrong that is done in all cases of testimonial injustice, if there is one. Miranda Fricker (2007) proposes one account of this distinctive wrong, and Gaile Pohlhaus Jr. (2014) offers another. I think neither works. Nor does an account based on giving due respect to the testifier's epistemic competence. Nor does an account based on exposing the testifier to substantial risk of harm. Rachel Fraser (2023) describes a further account, and the (...) proposal I favour is a slight amendment of this. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

How should your opinion change in light of an epistemic peer's? We show that the pooling rule known as "upco" is the unique answer satisfying some natural desiderata. If your revised opinion will impact your other views by Jeffrey conditionalization, then upco is the only standard pooling rule that ensures the order in which peers are consulted makes no difference. Popular alternatives like linear pooling, geometric pooling, and harmonic pooling cannot boast the same. In fact, no alternative can that possesses (...) four minimal properties these proposals all share. (shrink)

Adaptive preferences give rise to puzzles in ethics, political philosophy, decision theory, and the theory of action. Like our other preferences, adaptive preferences lead us to make choices, take action, and give consent. In 'False Consciousness for Liberals', recently published in The Philosophical Review, David Enoch (2020) proposes a criterion by which to identify when these choices, actions, and acts of consent are less than fully autonomous; that is, when they suffer from what Natalie Stoljar (2014) calls an 'autonomy deficit'. (...) According to Enoch, such actions are not protected in the usual way against interference by others; there is not the same prohibition against trying to prevent someone from acting in a particular way when that action is motivated by such adaptive preferences and is an attempt to satisfy them. In this note, I raise two concerns about Enoch's criterion. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

This work is the transcript of a theological dialogue I had with ChatGPT that spanned a couple of days. I began it merely out of curiosity over how ChatGPT might respond to questions and challenges I posed. As it progressed, I became increasingly impressed with the nuance, depth, and relevance of its responses. The dialogue became, for me, something of a contemplative exercise. I still don’t know quite how to understand the ability of generative A.I. to respond with such (apparent) (...) understanding and even insight. -/- I’ve decided to post this dialogue, not only because of the puzzle it poses concerning A.I, but even more, because I believe that the theological conclusions ‘we’ arrived at have real merit. -/- In the end, the theological views expressed here echo those that I’ve expressed in other works of mine, but the expression of these views are enhanced by the way ChatGPT picks up on them, rephrases them, elaborates upon them, and often places them in the context of the classical theological tradition. -/- I might add that I have been an A.I. skeptic for some time now, concerned over the potential dangers of A.I. in general. But this dialogue, anyway, reveals its potential use as a vehicle for reflection, even profound reflection. -/- . (shrink)

Human biological memory systems have adapted to use technological artifacts to overcome some of the limitations of these systems. For example, when performing a difficult calculation, we use pen and paper to create and store external number symbols; when remembering our appointments, we use a calendar; when remembering what to buy, we use a shopping list. This chapter looks at the history of memory artifacts, describing the evolution from cave paintings to virtual reality. It first characterizes memory artifacts, memory systems, (...) and the two main functions such artifacts have, which are to aid individual users in completing memory tasks and as a cultural inheritance channel (section 2). It then outlines some of our first symbolic practices such as making cave paintings and figurines, and then moves on to outline several key developments in external representational systems and the artifacts that support these such as written language, numeral systems and counting devices, diagrams and maps, measuring devices, libraries and archives, photographs, analogue and digital computational artifacts, the World Wide Web, virtual reality, and smartphones (section 3). After that, it makes some brief points about the cumulative nature of the cultural evolution of memory artifacts and speculates about the possible future of memory artifacts, arguing that it is very difficult to look beyond an epistemological horizon of more than five years (section 4). (shrink)

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

In this brief dialogue I consider the humanity and morality of the doctrine of eternal punishment.

Can we find a phenomenological basis for the ethical 'ought'? This essay addresses this question through a reflection on Husserl's fifth Meditation. In the fifth Meditation Husserl endeavors to show the manner in which I constitute the other through an associative pairing of the other with my own subjectivity. This essay argues that this same associative pairing forces me to acknowledge the other as a person of intrinsic worth insofar as I recognize myself as one. Having acknowledged the intrinsic worth (...) of the other in this way, I cannot but acknowledge my obligation to treat the other as I would like to be treated. Thus, the ethical imperative, in the form of the Golden Rule, proves to be implicated in the very constitution of the other in his or her otherness. (shrink)

In this paper, I ask three questions of the liberal. In each, I fill in philosophical detail around a certain sort of complaint raised in current public debates about their position. In the first, I probe the limits of the liberal's tolerance for civil disobedience; in the second, I ask how the liberal can adjudicate the most divisive moral disputes of the age; and, in the third, I suggest the liberal faces a problem when there is substantial disagreement about the (...) boundaries of the rational and the reasonable. (shrink)

Epistemologists who study credences have a well-developed account of how you should change them when you learn new evidence; that is, when your body of evidence grows. What's more, they boast a diverse range of epistemic and pragmatic arguments that support that account. But they do not have a satisfactory account of when and how you should change your credences when you become aware of possibilities and propositions you have not entertained before; that is, when your awareness grows. In this (...) paper, I consider the arguments for the credal epistemologist's account of how to respond to evidence, and I ask whether they can help us generate an account of how to respond to awareness growth. The results are surprising: the arguments that all support the same norms for responding to evidence growth support a number of different norms when they are applied to awareness growth. Some of these norms seem too weak, others too strong. I ask what we should conclude from this, and argue that our credal response to awareness growth is considerably less rigorously constrained than our credal response to new evidence. (shrink)

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

Many welfarists wish to assign to each possible state of the world a numerical value that measures something like its moral goodness. How are we to determine this quantity? This paper proposes a contractualist approach: a legitimate measure of moral goodness is one that could be justified to each member of the population in question. How do we justify a measure of moral goodness to each individual? Each individual recognises the measure of moral goodness must be a compromise between the (...) different levels of well-being within the population. Some compromises are more reasonable than others; and some are better justifiable to a given member of the population than others. Each member recognises that the social chooser's measure of moral goodness is going to have to deviate from the well-being function of at least some of the members of the population. But we can nonetheless justify it to each of them if it doesn't deviate more than is necessary, and if the deviations from each member are given equal weighting in whatever process we use to determine it. This paper proposes that we begin with a measure of the distance from a proposed compromise to an individual's level of well-being, and then say that the moral goodness is the candidate compromise that minimizes the sum of distances from it to the individuals' levels of well-being. I describe a range of such measures of distance and show that some give utilitarianism, others different versions of prioritarianism. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

This paper explores the relationship between the questioning attitude of wondering and a class of attitudes I call 'epistemic desires'. Broadly, these are desires to improve one's epistemic position on some question. A common example is the attitude of wanting to know the answer to some question. I argue that one can have any kind of epistemic desire towards any question, Q, without necessarily wondering Q, but not conversely. That is, one cannot wonder Q without having at least some epistemic (...) desire directed towards Q. I defend this latter claim from apparent counterexamples due to Friedman (2013) and Drucker (2022), and finish with a proposal on which epistemic desires, particularly the desire for understanding, play an explanatory role in distinguishing wondering from other forms of question-directed thought. (shrink)

Th e recent revival of Berkeley studies in the last three decades or so make it interesting to look back at George Santayana’s discussion of Berkeley. Th ough Santayana understood the latter’s arguments for immaterialism, he claimed no one could both seriously accept immaterialism, and live, as Berkeley certainly did, an embodied life. As he writes of Berkeley, “Th is idealist was no hermit” (205). Santayana claimed that without matter there was nothing (“no machinery”) for the soul to work on. (...) For a soul (mind) the machinery consists of material objects including one’s body. In this, paper, aft er some introductory comments, particularly on some aspects of early modern philosophy, e.g. the theory of ideas, which Berkeley largely accepts, and the metaphysics of indirect realism which he rejects, I look at the issue of human embodiment, and conclude, although Santayana perhaps misread important aspects of Berkeley’s discussion, he is largely correct in noting that Berkeley’s idealism/immaterialism can’t capture the special relation we have to our bodies. (shrink)