Should the government censor dangerous anti-vaccination propoganda? Should it restrict the praise of terrorist groups, or speech intended to promote discriminatory attitudes? In other words, should the government curb the advocacy of dangerous ideas and actions (i.e. 'harmful advocacy'), or should the government take a more permissive approach? Strong free speech supporters argue that citizens should be free to engage in and to hear harmful advocacy, arguing that restrictions are deeply objectionable at best, and, at worst, wholly impermissible. To support (...) their position, strong free speech supporters have offered a wide range of arguments and ideas. One of the most interesting arguments revolves around the idea that restrictions on harmful advocacy are deeply insulting to citizens. The worry, broadly understood, is that this kind of censorship is demeaning, treats citizens as though they are stupid, or as though they are children. As such, even when censorship is effective in preventing harms to citizens, it nonetheless comes at the significant political cost of failing to properly respect the citizenry at large. By contrast, so the thought goes, an alternative political scheme that prohibits censorship, or permits it only in exceptional cases, does a better job of respecting citizens as independent, rational, morally responsible agents. This alternative political system may, sometimes, be less effective at preventing speech harms. But it is a political system where citizens can stand tall and hold their heads high. In this paper, I consider and reject three versions of the worry that censorship is insulting. §1 explores the idea that censorship is insulting qua involving a negative appraisal of the citizens being interfered with. The key idea here is that censorship involves a lack of what Stephen Darwall terms ‘appraisal respect’, insofar as the government is suggesting that citizens cannot be trusted to manage their own beliefs and intentions. Drawing on the work of Thomas Nagel, §2 explores the idea that censorship diminishes the political status of citizens. Finally, §3 explores the suggestion that censorship is incompatible with a full appreciation of the thinking nature of citizens, and thus involves a lack of what Darwall would term ‘recognition respect’. The paper argues that censorship is not necessarily premised upon an insulting view of the citizenry. On the contrary, it argues that the best kind of censorship stems from a rich appreciation of the diverse range of capabilities, needs, vulnerabilities, and responsibilities of citizens, as well as the need for co-operation between citizens if societal flourishing is going to be achieved on a large scale. Granted, such a vision places an emphasis on the imperfections and liabilities of citizens – at least when compared to the rather solitary, highly intellectual creature one sometimes finds in the philosophical literature. Still, such a vision of citizens as imperfect falls well short of being genuinely insulting. To err is human. And there’s nothing insulting about being treated like a human. (shrink)

Scientific realists with traditional semantic inclinations are often pressed to explain away the distinguished series of referential failures that seem to plague our best past science. As recent debates make it particularly vivid, a central challenge is to find a reliable and principled way to assess referential success at the time a theory is still a live concern. In this paper, I argue that this is best done in the case of physics by examining whether the putative referent of a (...) term is specifiable within the limited domain delineated by the range of parameters over which the theory at stake is empirically accurate. I first implement this selective principle into a general account of reference, building on Stathis Psillos's works. Then, I show that this account offers a remarkably reliable basis to assess referential success before theory change in the case of effective theories. Finally, I briefly show that this account still works well with other physical examples and explain how it helps us to handle problematic cases in the history of physical sciences. (shrink)

Renormalisation Group (RG) methods are one of the theoretical masterpieces of postwar physics whose historical development still remains largely unexplored. This article traces the origins of Kenneth Wilson's RG from 1956 to 1965, with a particular focus on its relationship to Murray Gell-Mann and Francis Low's RG published in 1954. I argue that there is ultimately little methodological and conceptual continuity between their respective versions. The article briefly concludes with the evolution of the Wilsonian RG from 1965 to the early (...) 1970s. (shrink)

This chapter examines two ways in which liberal thinkers have appealed to claims about disagreement in order to defend a principle of free speech. One argument, from Mill, says that free speech is a necessary condition for healthy disagreement, and that healthy disagreement is conducive to human flourishing. The other argument says that in a community of people who disagree about questions of value, free speech is a necessary condition of legitimate democratic government. We argue that both of these arguments, (...) in their standard guises, are premised upon contestable views about the realpolitik of disagreement in a liberal society. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

In Philosophical Investigations 193–94, Wittgenstein draws a notorious analogy between the working of a machine and the application of a rule. According to the view of rule-following that Wittgenstein is criticizing, the future applications of a rule are completely determined by the rule itself, as the movements of the machine components are completely determined by the machine configuration. On what conception of the machine is such an analogy based? In this paper, I intend to show that Wittgenstein relied on quite (...) a specific scientific tradition very active at the beginning of the twentieth century: the kinematic or the general science of machines. To explain the fundamental tenets of this line of research and its links with Wittgenstein, I focus on Franz Reuleaux, whose works were known to Wittgenstein. The first payoff of this investigation is to help distance the functionalist framework from which this passage is often read: Wittgenstein’s machines are not computers. The second payoff is to explain why Wittgenstein talks about machines at this place in his discussion on rule-following: it is not the machine model in itself that is criticized in PI 193–94, but the “philosophical” temptation to generalize from it. (shrink)

Les efforts pour définir la vie se sont intensifiés ces dernières années dans les sciences biologiques. Partant d’une interrogation sur les motivations qui président à ces efforts, nous montrons que l’on doit distinguer deux projets qui s’exposent à des difficultés philosophiques très différentes : ceux présentant l’obtention d’une définition de la vie comme un moyen nécessaire pour l’enquête scientifique ; ceux qui pensent celle-ci comme une fin. Puis nous analysons les usages qui sont faits du terme « vie ». Tandis (...) que l’ensemble des analyses l’ont considéré comme un terme de classe dont les organismes seraient des instances, nous montrons qu’en pratique il existe un second usage implicite de ce terme : dans certains contextes « vie » sert à désigner un individu dont les organismes sont des parties. (shrink)

The majority of analyses investigating the professionalisation of scientific domains tend to assume the linear and general features of this transformation. These studies focus on the shift from a non-professionalised state to a professionalised state. This dual approach, however, crucially lacks some other aspects of the process of professionalisation. This issue is discussed within the context of the growth of prehistoric archaeology in France from the 1940s, by observing scientific societies, national research organisations and their social networks. Looking at the (...) scale of Georges Laplace’s career and that of his research group, which studied the typologie analytique method, this article demonstrates the benefits of a ternary model which also encompasses the modes of refusal of professionalisation. (shrink)

The issue of the definition and position of archaeology as a discipline is examined in relation to the dispute which took place from 1980 to 2009 between the archaeologist Jean-Claude Gardin and the sociologist Jean-Claude Passeron. This case study enables us to explore the actual conceptual relationships between archaeology and the other sciences (as opposed to those wished for or prescribed). The contrasts between the positions declared by the two researchers and the rooting of their arguments in their disciplines are (...) examined: where the sociologist makes use of his philosophical training, the archaeologist relies mainly on his work on semiology and informatics. Archaeology ultimately plays a minor role in the arguments proposed. This dispute therefore cannot be considered as evidence for the movement of concepts between archaeology and the social sciences. A blind spot in the debate, relating to the ontological specificities of archaeological objects, nevertheless presents itself as a possible way of implementing this movement. (shrink)

Usual narratives among prehistoric archaeologists consider typological approaches as part of a past and outdated episode in the history of research, subsequently replaced by technological, functional, chemical, and cognitive approaches. From a historical and conceptual perspective, this paper addresses several limits of these narratives, which (1) assume a linear, exclusive, and additive conception of scientific change, neglecting the persistence of typological problems; (2) reduce collective developments to personal work (e.g. the “Bordes’” and “Laplace’s” methods in France); and (3) presuppose the (...) coherence and identity of these “methods” over time. It explores the case of the “Structural and analytical typology” method, developed in France, Spain, and Italy from the 1950s to the 2000s by Georges Laplace and his collaborators for lithic implements. This paper (1) provides a detailed historical account of the evolving content of this collective endeavour over five decades; (2) it addresses the epistemological question of what makes the identity and unity of a scientific method, demonstrating that the core component of the “analytical typology” lies in its particular way to represent real-world phenomena through its notation system; and (3) it reveals how this little known but significant episode of advances in the methods and theory of archaeology, contemporary but independent of the “New Archaeology” trend in English-speaking archaeology, was instrumental in the continuation of evolutionary perspectives in France and in the development of quantitative and formal methods in archaeology in southwestern Europe, foreseeing crucial knowledge representation issues raised today by digital methods in archaeology and data curation. (shrink)

Methodological innovations have a special status in disciplinary histories, because they can be widely adopted and anonymised. In the 1950s, this occurred to Georges Laplace’s innovative use of 3-dimensional metric Cartesian coordinate system to record the positions of archaeological objects. This paper proposes a conceptual and social history of this process, with a focus on its spatial context, the Pyrenean region (Spain, Basque Country, and France). Main results of this research based on archives, publications, and bibliometric data, include: 1) a (...) critical discussion of the notions concerning authorship of such methodological innovations; 2) a presentation of the lesser-known aspects of Laplace’s method, showing its contribution to the abstraction and formalisation of archaeological observations and data recording; and 3) the identification of an international Pyrenean intellectual lineage of innovation regarding stratigraphy and excavation methods, from the late 19th century to the early 21th century. (shrink)

Community detection is a major issue in network analysis. This paper combines a socio-historical approach with an experimental reconstruction of programs to investigate the early automation of clique detection algorithms, which remains one of the unsolved NP-complete problems today. The research led by the archaeologist Jean-Claude Gardin from the 1950s on non-numerical information and graph analysis is retraced to demonstrate the early contributions of social sciences and humanities. The limited recognition and reception of Gardin's innovative computer application to the humanities (...) are addressed through two factors, in addition to the effects of historiography and bibliographies on the recording, discoverability, and reuse of scientific productions: (1) funding policies, evidenced by the transfer of research effort on graph applications from temporary interdisciplinary spaces to disciplinary organizations related to the then-emerging field of computer science; and (2) the erratic careers of algorithms, in which efficiency, flaws, corrections, and authors’ status, were determining factors. (shrink)

In the last decades, many changes have occurred in scientific publishing, including online publication, data repositories, file formats and standards. The role played by computers in this process rekindled the argument on forms of technical determinism. This paper addresses this old debate by exploring the case of publishing processes in prehistoric archaeology during the second part of the twentieth century, prior to the wide-scale adoption of computers. It investigates the case of a collective and international attempt to standardize the typological (...) analysis of prehistoric lithic objects, coined typologie analytique by Georges Laplace and developed by a group of French, Italian, and Spanish researchers. The aim of this paper is to: 1) present a general bibliometric scenario of prehistoric archaeology publishing in continental Europe; 2) report on the little-known typologie analytique method in archaeology, using publications, archives, and interviews; 3) show how the publication of scientific production was shaped by social (editorial policies, support networks) and material (typography features and publication formats) constraints; and 4) highlight how actors founded resources to control and counterbalance these effects, namely by changing and improving publishing formats. (shrink)

1. Une dispute épistémologique 1.1 Quatre itinéraires à proximité puis à distance des structuralismes 1.2 Un différend sur les « usages réglés du rationalisme » en sciences de l’homme 2. Les mots et les descriptions en sciences de l’homme 2.1 Une commune limitation du déterminisme linguistique 2.2 Un problème philosophique implicite : descriptions définies et noms propres 2.3 L’usage des descriptions définies en sciences de l’homme 2.4 Les (semi-)noms propres des sciences historiques 2.5 Le degré de généralité des concepts employés (...) et ses conséquences sur les raisonnements 3. La spécificité des raisonnements en sciences de l’homme 3.1 Quelle logique pour raisonner sur les phénomènes humains ? 3.2 Les usages d’une référence commune : la logique naturelle 3.3 Propositions et énoncés : divergences sur l’analyse des raisonnements 4. Le juste degré de formalisation du langage et des raisonnements 4.1 La formalisation des descriptions 4.2 Les modèles et la formalisation des raisonnements 4.3 Des formalisations qui s’ignorent 5. Le caractère historique des sciences de l’homme 5.1 Formaliser implique-t-il de dé-historiciser ? 5.2 Les mécanismes du changement scientifique 5.3 Pragmatique de l’intervention théorique. (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)

James Levine has recently argued that there is a tension between Russell’s Moorean semantical framework and Russell’s Peano-inspired analytical practice. According to Levine, this discrepancy runs deep in Russell’s thought from 1900 to 1918, and underlies many of the doctrinal changes occurring during this period. In this paper, I suggest that, contrary to what Levine claims, there is no incompatibility between Moore’s theory of meaning and the idea of informative conceptual analysis. I show this by relating Moore’s view of meaning (...) to his Sidgwick-inspired criticism of the so-called naturalistic fallacy. I maintain that Moore’s semantical framework has a methodological intent: following Sidgwick, Moore wants to block any attempt to justify ethical principles through setting ad hoc conditions on the meaning of the terms involved. Thus, far from grounding philosophical knowledge on subjective intuitions, as Levine suggests, Moore’s framework would provide us with the means to make room for a discursive and dialectic conception of philosophical inquiry. (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)

Focusing on the history of prehistoric archaeology in the 20th century, this papers shows (1) that statistical multidimensional analyses were carried out by a new kind of actors who challenged the previous common language shared by prehistorians. This fundamental change was important, considering that (2) language is a fundamental point for the epistemology of archaeology. However, a comparison of multidimensional analyses applications over time shall make clear that (3) the differences are mostly a generational matter: the transmission processes between them (...) will be addressed. (shrink)

Efforts by governments, firms, and patients to deliver pioneering drugs for critical health needs face a challenge of diminishing efficiency in developing those medicines. While multi-sectoral collaborations involving firms, researchers, patients, and policymakers are widely recognized as crucial for countering this decline, existing incentives to engage in drug development predominantly target drug manufacturers and thereby do little to stimulate collaborative innovation. In this mini review, we consider the unexplored potential within pharmaceutical regulations to create novel incentives to encourage a diverse (...) set of actors from the public and private spheres to engage in the kind of collaborative knowledge exchange requisite for fostering enhanced innovation in early drug development. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

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)

Human agents happen to judge that a conjunction of two terms is more probable than one of the terms, in contradiction with the rules of classical probabilities—this is the conjunction fallacy. One of the most discussed accounts of this fallacy is currently the quantum-like explanation, which relies on models exploiting the mathematics of quantum mechanics. The aim of this paper is to investigate the empirical adequacy of major quantum-like models which represent beliefs with quantum states. We first argue that they (...) can be tested in three different ways, in a question order effect configuration which is different from the traditional conjunction fallacy experiment. We then carry out our proposed experiment, with varied methodologies from experimental economics. The experimental results we get are at odds with the predictions of the quantum-like models. This strongly suggests that this quantum-like account of the conjunction fallacy fails. Future possible research paths are discussed. (shrink)

The literature on the history of electricity production have studied the evolution of electricity in both developed and developing countries and its impact on their economies. Some have laid foundations upon which other works are carried out. A close examination of historiography and multidisciplinary research on electricity production in Ghana shows that more efforts are required to improve the electric power landscape in Ghana. From the colonial era, the increasing demand for electricity has been the biggest challenge plaguing the energy (...) sector. Respective governments have made significant strides in ensuring reliable and universal access to electricity throughout Ghana, yet such efforts have been accompanied by different levels of challenges. The study uses a qualitative and exploratory research approach to trace the activities that helped, in many other ways to the creation of a sustainable electric power provision to household and industry in Ghana, particularly in two of Ghana’s cities; Accra and Kumasi, within the period 1900 to the1960s. The work focused mainly on archival sources in its quest to arrive at how indigenous Ghanaians provided power for industrial activities and for household purposes. Results from the study show that local and cottage industries relied predominantly on wood, fuel, and biomass for their operations even before the introduction of the more sophisticated means of power generation. Also, the study revealed that in finding solutions to the challenges of electricity production, policymakers have focused more on current issues with little or no effort to trace the historical foundation of electricity production. This notwithstanding, the little efforts that have been made examined the history of energy production, with a limited focus on the immediate post-independence era. (shrink)

The Global Forum on Bioethics in Research (GFBR) served as a global platform for debate on ethical issues in international health research between 1999 and 2008, bringing together research ethics experts, researchers, policy makers and community members from developing and developed countries. In total, nine GFBR meetings were held on six continents. Work is currently underway to revive the GFBR. This paper describes the purpose and history of the GFBR and presents key elements for its reinstatement, future functioning and sustainability. (...) Potential participants and sponsors are encouraged to contribute actively to the future of this unique international research ethics event. (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.

This article argues that the relations of social and political power that obtain between humans and pets are illegitimate. We begin by showing that pets, a largely neglected population in political philosophy, are subject to socially and politically organised power, which stands in need of justification. We then argue that pets have three moral complaints against the relations of power to which they are subject. First, our power over pets disrespects their moral independence: the fact that they are not simply (...) available to be used to serve the interests or projects of others. Second, our power over pets systematically sets back their interests in exercising control over their own body, actions, and environment. Third, in subjecting pets to asymmetric relations of power in which they are heavily dependent on humans for the satisfaction of their interests, we subject them to objectionable risks of harm. Together, these complaints support our thesis that the power relations central to the institution of pet keeping are illegitimate. The practical upshot is that we have a strong moral reason to abolish this institution. (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)

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)

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

This is the second part of my theological dialogue with ChatGPT on the meaning of God. We explore the nature of God's agency, will, goodness, the problem of evil and suffering, the meaning of sin, and the meaning and nature of the redemptive act of Christ.

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

So-called ‘facial’ cumshots, when a man ejaculates onto a woman’s face, are very common in pornography. While they are frequently said to be degrading and misogynistic, the fact that women are usually shown as enjoying this act should make us think again. Facials are instead rooted in male insecurity: of a fear that an aspect of how men orgasm—semen—is disgusting to women. By contrast, the fantasy, which pornography makes vivid, is that women might not just tolerate but celebrate and eroticize (...) both ejaculation and its product. The way mainstream pornography presents facials may often be misogynistic, but it does not have to be, and it is not always. -/- NOTE: This may not be a philosophy paper. My intention is to submit it to a sexuality studies journal. (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)

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.

Cezary Cieśliński has proved a result shows that highlights `logical reflection': The principle that every logically provable sentence is true. He suggests further that this result has a good deal of philosophical significance, specifically for the so-called `conservativeness argument' against deflationism. This note discusses the question to what extent Cieśliński's result generalizes, and just how strong `logical reflection' is, and suggests that the answers to these questions call the philosophical (though not the technical) significance of Cieśliński's result into doubt.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Many people have sexual fantasies about being forced to have sex, or forcing someone to have sex. Several authors have argued that it is wrong to enjoy such fantasies: They lead to harm, or reinforce oppressive social structures, are liable to corrupt our character, or, mostly interestingly, are wrong in themselves, because they involve the eroticization of things that are wrong. I argue here that all such arguments fail properly to distinguish between fantasy and desire (despite authors' acknowledgement of that (...) distinction), and between objects of desire and sources of arousal. The broader significance of this point is also discussed. -/- This paper is intended, in part, as a defense of claims about sexual fantasy made at the end of "Does Pornography Presuppose Rape Myths?". (shrink)

So-called `disentangled' truth-theories are supposed to prevent assumptions about the truth of statements in the object-language from inadvertently strengthening the background syntax. In earlier work, I proved some limitative results in an attempt to show that the strategy works, but those results leave several questions unanswered. We address some of them here. We also discuss a subtlety that has so far been overlooked in discussions of these theories.

The relationship between archaeology and other sciences has only recently become a research topic for sociologists and historians of science. From the 1950s to the present day, different approaches have been taken and the aims of research studies have changed considerably. Besides methodological textbooks, which aim at advancing archaeological knowledge, historians of archaeology have tackled this question by exploring the development of archaeology as a scientific discipline. More recently, collaborations between archaeologists and other scientists have been examined as a general (...) phenomenon regarding transfers of knowledge and power relationships between specialists, organizations, and scientific tools, where archaeology is considered as a scientific practice. Adopting a sociohistorical perspective, this entry examines the specificity of aims, facts, and procedures shared by archaeologists and other scientists regarding the crucial question of measuring time and computations. (shrink)

There are three main moral theories: virtue ethics, the deontological approach and utilitarianism. The concern here is how they interrelate, why they come into focus at different times and places, and how they are configured in their application to a modern democratic society. Person-oriented virtue ethics was the dominant understanding in Ancient Greece but within the Western tradition this was later subordinated to the monotheism of Ancient Judaism as modified by Christianity. Of growing importance by the eighteenth century was rights (...) theory which was often still situated religiously. Kant’s principle of the categorical imperative has been highly influential but was challenged by the emerging nature of industrial and capitalist society. Utilitarianism, within which the moral rightness of activity resides in its tendency to promote happiness or unhappiness, represented the decisive move from the transcendental to the immanent approach. Although all three approaches to moral theory continue to be relevant to identifiable situations and aspects of modern society, there has been a substantial turn towards a heavily modified utilitarianism associated with parliamentary democracy and market economies founded on property ownership. The root cause of this is the ability of utilitarianism, as opposed to the other approaches, to handle considerations of number and probability. The concept of utility is fundamental in economics but the idea has evolved away from its origins to mean “preference”. There is a sense in which the straightforward appeal of basic utilitarianism has been “leased out” in modified form to a set of institutional arrangements. Certain “pressure points” in a modern society are noted which pose particular problems pertinent to moral theory. Bernard Williams argues persuasively for an appropriately modified form of virtue ethics. (shrink)

We provide a philosophical reconstruction and analysis of the debate on the scientific status of cosmic inflation that has played out in recent years. In a series of critical papers, Ijjas et al. have questioned the scientificality of the current views on cosmic inflation. Proponents of cosmic inflation have in turn defended the scientific credentials of their approach. We argue that, while this defense, narrowly construed, is successful against Ijjas et al., the latter's reasoning does point to a significant epistemic (...) issue that arises with respect to inflation. A broadening of the concept of theory assessment is needed to address that issue in an adequate way. (shrink)

This paper argues that a popular account of intentions can be extended to beliefs. Beliefs are stable all-out states that allow for planning and coordination in a way that is tractable for cognitively limited creatures like human beings. Scepticism is expressed that there is really anything like credences as standardly understood.

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)