Philosophers of science turned to historical case studies in part in response to Thomas Kuhn's insistence that such studies can transform the philosophy of science. In this issue Joseph Pitt argues that the power of case studies to instruct us about scientific methodology and epistemology depends on prior philosophical commitments, without which case studies are not philosophically useful. Here I reply to Pitt, demonstrating that case studies, properly deployed, illustrate styles of scientific work and modes of argumentation that are not (...) well handled by currently standard philosophical analyses. I illustrate these claims with exemplary findings from case studies dealing with exploratory experimentation and with interdisciplinary cooperation across sciences to yield multiple independent means of access to theoretical entities. The latter cases provide examples of ways that scientists support claims about theoretical entities that are not available in work performed within a single discipline. They also illustrate means of correcting systematic biases that stem from the commitments of each discipline taken separately. These findings illustrate the transformative power of case study methods, allow us to escape from the horns of Pitt's "dilemma of case studies," and vindicate some of the post-Kuhn uses to which case studies have been put. (shrink)

Bu makalede, bilim felsefecisi kimliğiyle tanınan Thomas Kuhn’un eğitim ve özellikle fen eğitimi alanındaki görüşlerine değinilmektedir. Fen eğitimi, bilim, bilimin doğası ve bilim uygulamaları hakkında düşünceler geliştirmeye odaklanarak fen öğrenimi için gerekli olan beceri ve anlayışın geliştirilmesini amaçlamaktadır. Fen eğitiminin temel amaçlarından biri bilimin gerçek doğasının tespit edilmesi ve bu doğrultuda bir eğitim modelinin belirlenmesidir. Bu çerçevede Kuhn’un bilim tarihine yönelik incelemeleri neticesinde ileri sürdüğü paradigma kavramı bilimin doğası ve fen eğitimi konusundaki görüşlerin değişimine yol açmıştır. Kuhn açısından fen eğitimi (...) yürürlükteki bilim yapma tarzının temelinde yatan paradigma ve öğretilerinin bilim insanlarına ve öğrencilere aktarılması sürecidir, bu nedenle fen eğitimi yalnızca olağan bilim döneminde mümkündür. Kuhn’un eğitim modeli, mevcut paradigmayla ilişkili olarak karşılaşılan bulmaca ya da sorunları çeşitli örneklerden hareketle tekrar tekrar çözmeye çalışan öğrenciler aracılığıyla gerçekleştirilir. Kuhn’un olağan bilimin sınırları içerisinde kalarak değerlendirdiği fen eğitimi anlayışı eleştirel düşünceyi engellediği iddiasıyla Karl Popper, John Watkins ve Richard Bailey tarafından katı, tutucu, dogmatik ve endoktrinasyonu vurgulayan bir eğitim anlayışı olarak görülmektedir. Bu çerçevede makalede, öncelikli olarak Kuhn’un bilimin doğası ve bilimin gelişim tarzına yönelik belirlemeleri doğrultusunda fen eğitimine yönelik düşünceleri ve bu düşüncelerin eğitim alanındaki yansımaları incelenmektedir. Ardından, Kuhn’un fen eğitimi üzerine görüşlerinin iddia edildiği gibi dogmatik bir yapıda olmadığı, endoktrinasyonu ya da zorla öğretimi vurgulamadığı, bu tür yorumların radikal bir yaklaşımdan öteye gidemediği ileri sürülmektedir. Son olarak makalede, Kuhn’un fen eğitimi anlayışının yalnızca bir durum tespiti ya da bir fen eğitimi tasviri olarak değerlendirilmesi gerektiği düşüncesi ön plana çıkarılmaktadır. -/- In this article, Thomas Kuhn’s impact, who is known as a philosopher of science, on science education are mentioned. Science education aims to develop the skills and understanding necessary for science learning, with a focus on developing ideas about science and the nature of science. One of the main purposes of science education is to determine the true nature of science and to determine an education model in this direction. In this context, the concept of paradigm, which Kuhn put forward as a result of his studies on the history of science, has led to a change in views on the nature of science and science education. For Kuhn, science education is the process of conveying the paradigm underlying the current way of doing science to scientists and students because science education is possible only in the normal science period. Kuhn’s educational model is carried out through students who repeatedly try to solve puzzles or problems encountered in relation to the current paradigm. Kuhn’s understanding of science education is seen by Karl Popper, John Watkins and Richard Bailey as a rigid, conservative, dogmatic and indoctrinational education approach with the claim that it prevents critical thinking. In this context, the article primarily examines Kuhn’s thoughts on science education and the reflections of these thoughts in the field of education. Then, it is argued that Kuhn’s views on science education are not dogmatic as claimed, he does not emphasize indoctrination, and that such interpretations cannot go beyond a radical approach. Finally, in the article, it is emphasized that Kuhn’s understanding of science education should be evaluated only as a description of science education. (shrink)

The topic of truth has long been thought to be connected to scientific realism and its opposition. In this essay, I discuss the various ways that truth might be related to realism. First, I consider how truth might be of use when defining scientific realism and its opposition. Second, I consider whether various stances regarding realism require specific stances on the nature of truth. I survey "neutralist" views that argue that one's stance on realism is independent of one's view on (...) truth, and partisan positions that claim that one's attitude on realism is, in part, determined by one's theory of truth. Though partisan views have been popular, and defended by seminal figures such as Thomas Kuhn, Richard Rorty, Hilary Putnam, and Arthur Fine, I raise a number of objections for them. (shrink)

In a transcendent gathering beyond the confines of time and space, philosopher Socrates finds himself engaged in profound dialogues with some of history's most influential thinkers. These dialogues span five days and delve into a wide array of philosophical topics, guided by quantum entanglement. This unique assembly unearths the timeless questions surrounding knowledge, reality, causation, and the interface between philosophy and science. The first day witnesses Socrates conversing with Plato, Aristotle, René Descartes, John Locke, and David Hume, delving into the (...) essence of knowledge. Their discourse navigates through Plato's Theory of Forms, Aristotle's empirical approach, Descartes' emphasis on the role of the mind, Locke's ideas on the role of experience, and Hume's skepticism regarding causation. The day culminates in Kant's synthesis of empiricism and rationalism. On the second day, these thinkers explore the nature of reality and the distinction between ontology and mental reality. Quantum physicist Richard Conn Henry joins them, bringing fresh insights on quantum perspectives. They contemplate the implications of quantum causation and how it challenges traditional notions of cause and effect. The third day centers on the relationship between philosophy and science, highlighting the significance of imagination and empirical evidence. Philosopher Thomas Kuhn introduces the concept of paradigms, sparking intriguing discussions. The fourth day extends this discourse, emphasizing the role of imagination and empirical evidence in philosophy and science. It touches on atomic theory, Max Planck, Niels Bohr, and the fascinating world of sub-particles. The final day reflects on the differences between philosophy and science, with philosopher Karl Popper adding his perspective. The dialogue culminates in discussions on cosmology, where ancient cosmologists and modern scientists intertwine in an exploration of the cosmos. In these five days, Socrates and his esteemed colleagues delve into the timeless questions that have shaped human understanding for millennia. Their insights shed light on the interplay between ancient wisdom and contemporary knowledge, reminding us that the pursuit of wisdom transcends temporal and spatial boundaries. (shrink)

Traditional epistemology is haunted by the spectre of scepticism. Yet the more pressing concern in the contemporary intellectual scene must surely be relativism rather than scepticism. This has been the case in the history and philosophy of science since the work of Thomas Kuhn and Paul Feyerabend, to say nothing of the emergence of the sociology of scientific knowledge. In Epistemic Relativism: A Constructive Critique, Markus Seidel comes firmly to grips with this modern spectre. Though Seidel devotes attention to other (...) forms of relativism, the primary focus of the book is epistemic relativism, which he understands to be relativism about epistemic justification. Relativist or relativist-tending authors such as Kuhn, Nelson Goodman, Martin Kusch, Richard Rorty and Peter Winch receive some discussion . But Seidel takes as his main relativist target the work of the founding figures of the Edinburgh “strong programme”, Barry Barnes and David Bloor. While .. (shrink)

Lloyd Humberstone’s recently published Philosophical Applications of Modal Logic presents a number of new ideas in modal logic as well explication and critique of recent work of many others. We extend some of these ideas and answer some questions that are left open in the book.

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)

Inferentialism is the view that representational content is explained by lingual or mental states interacting according to inferential rules. Mendelovici and Bourget have argued against inferentialism that rules of inference do not sufficiently constrain content. This paper argues that their argument can be further strengthened such that its conclusion yields that content and inferential roles are strictly independent. It will then be argued that this conclusion is untenable and that the argument, rather than undermining inferentialism, corrodes the model theoretic foundations (...) of standard philosophical semantics. The paper concludes with some hints towards an alternative semantic paradigm. (shrink)

Nomophobia (no-mobile-phone phobia) is the fear and anxiety of being without a mobile phone. This study pioneers the investigation of nomophobia in Afghanistan using the Nomophobia Questionnaire (NMP-Q), addressing a crucial gap in the field. We collected statistical data from 754 undergraduate medical students, comprising men (56.50 %) and women (43.50 %), and analyzed the dimensions of nomophobia. While results revealed that all but two participants were nomophobic, they identified three significant dimensions affecting the level of nomophobia among participants: (a) (...) gender, (b) age, and (c) marital status. The study's contributions are precious, given the peculiarity of Afghan political turmoil, security, and human rights issues, especially for women. For example, the study's data collection was abruptly halted in December 2022 due to the Taliban regime's decision to make it illegal for women to enroll in universities as students. Therefore, while examining the characteristics of nomophobia across societies is imperative, it is also vital to investigate what is true of one society, Afghanistan, at one point in time and space. The study concludes by emphasizing the need to broaden participants' scope in future studies to better understand the prevalence of nomophobia across broader societal contexts and forces. (shrink)

Tasks, tools, and techniques that we perform, use, and acquire, define the elements of expertise which we value as the hallmarks of goal-driven behavior. Somehow, the creation of tools enables us to define new tasks, or is it that the envisioning of new tasks drives us to invent new tools? Or maybe it is that new tools engender new techniques which then result in new tasks? This jumble of issues will be explored and discussed in this diverse collection of papers. (...) Individually, few of the papers are related to each other by topic or by techniques of analysis. Collectively, all focus on tasks performed using tools and discuss the techniques of tool use which enable differences in performance and expertise across individuals, societies, and (even) species. -/- . (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

This is an edited transcription of Thomas S. Kuhn’s “Does Knowledge ‘Grow’?”.

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)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

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)

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.

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

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

According to proponents of the extended mind, bio-external resources, such as a notebook or a smartphone, are candidate parts of the cognitive and mental machinery that realises cognitive states and processes. The present chapter discusses three areas of ethical concern associated with the extended mind, namely mental privacy, mental manipulation, and agency. We also examine the ethics of the extended mind from the standpoint of three general normative frameworks, namely, consequentialism, deontology, and virtue ethics.

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires that revised beliefs (...) incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

We explore the ethics of deliberately exposing consenting adults to SARS-CoV-2 to induce immunity to the virus (“DEI” for short). We explain what a responsible DEI program might look like. We explore a consequentialist argument for DEI according to which DEI is a viable harm-reduction strategy. Then we consider a non-consequentialist argument for DEI that draws on the moral significance of consent. Additionally, we consider arguments for the view that DEI is unethical on the grounds that, given that large-scale DEI (...) would be highly likely to result in some severe illnesses and deaths, DEI amounts to a form of killing. Our thesis is that incorporating a DEI program alongside the status-quo “calibrate-the-curve” responses could have significant advantages at the early stages of pandemics. These potential advantages mean that, at a minimum, research into DEI would have been justified early in the COVID-19 pandemic, and that DEI programs should be explored as potential additions to our overall approach to emerging pandemics in the future. (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.

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)

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)

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)

Our perceptual experience is largely based on prediction, and as such can be influenced by knowledge of forthcoming events. This susceptibility is commonly exploited by magicians. In the Vanishing Ball Illusion, for example, a magician tosses a ball in the air a few times and then pretends to throw the ball again, whilst secretly concealing it in his hand. Most people claim to see the ball moving upwards and then vanishing, even though it did not leave the magician’s hand (Kuhn (...) & Land, 2006; Triplett, 1900). But what exactly can such illusions tell us? We investigated here whether seeing a real action before the pretend one was necessary for the Vanishing Ball Illusion. Participants either saw a real action immediately before the fake one, or only a fake action. Nearly one third of participants experienced the illusion with the fake action alone, while seeing the real action beforehand enhanced this effect even further. Our results therefore suggest that perceptual experience relies both on long-term knowledge of what an action should look like, as well as exemplars from the immediate past. In addition, whilst there was a forward displacement of perceived location in perceptual experience, this was not found for oculomotor responses, consistent with the proposal that two separate systems are involved in visual perception. (shrink)

Magicians use misdirection to prevent you from realizing the methods used to create a magical effect, thereby allowing you to experience an apparently impossible event. Magicians have acquired much knowledge about misdirection, and have suggested several taxonomies of misdirection. These describe many of the fundamental principles in misdirection, focusing on how misdirection is achieved by magicians. In this article we review the strengths and weaknesses of past taxonomies, and argue that a more natural way of making sense of misdirection is (...) to focus on the perceptual and cognitive mechanisms involved. Our psychologically-based taxonomy has three basic categories, corresponding to the types of psychological mechanisms affected: perception, memory, and reasoning. Each of these categories is then divided into subcategories based on the mechanisms that control these effects. This new taxonomy can help organize magicians' knowledge of misdirection in a meaningful way, and facilitate the dialog between magicians and scientists. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

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

In the history of external information systems, the World Wide Web presents a significant change in terms of the accessibility and amount of available information. Constant access to various kinds of online information has consequences for the way we think, act and remember. Philosophers and cognitive scientists have recently started to examine the interactions between the human mind and the Web, mainly focussing on the way online information influences our biological memory systems. In this article, we use concepts from the (...) extended cognition and distributed cognition frameworks and from transactive memory theory to analyse the cognitive relations between humans and the Web. We first argue that while neither of these approaches neatly capture the nature of human-Web interactions, both offer useful concepts to describe aspects of such interactions. We then conceptualize relations between the Web and its users in terms of cognitive integration, arguing that most current Web applications are not deeply integrated and are better seen as a scaffold for memory and cognition. Some highly personalised applications accessed on wearable computing devices, however, may already have the capacity for deep integration. Finally, we draw out some of the epistemic implications of our cognitive analysis. (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)

Whilst media and political rhetoric in Britain is sceptical and often outright damning of the (presumed) morals and behaviours of the White marginalized poor, our aim is to explore the conditions under which successful communities are nevertheless built. Specifically, we examine the features of community and stress its importance both for belonging and bonding around shared norms and practices and for fostering the necessary bridging essential for interacting and cooperating with others. In considering what it means to foster a community (...) that acts as a breakwater against the tides of stigma or disadvantage, we pay special attention to what we will call enabling conditions – essential features that communities either can or should be able to provide or that exist independent of communities and are indispensable for accessing opportunities in the wider society. We detail the dynamics of White poverty and exclusion before turning our attention to possible responses to these challenges. In searching for viable responses to stigma and disadvantage, we compare some different typologies of community presently available to the White poor in Britain and examine whether these are sufficient to satisfy the enabling conditions associated with more robust forms of group membership. (shrink)

It is argued here that cognitive science currently neglects an important source of insight into the human mind: the effects created by magicians. Over the centuries, magicians have learned how to perform acts that are perceived as defying the laws of nature, and that induce a strong sense of wonder. This article argues that the time has come to examine the scientific bases behind such phenomena, and to create a science of magic linked to relevant areas of cognitive science. Concrete (...) examples are taken from three areas of magic: the ability to control attention, to distort perception, and to influence choice. It is shown how such knowledge can help develop new tools and indicate new avenues of research into human perception and cognition. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

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

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.

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)

ABSTRACT In ‘Scorekeeping in a Pornographic Language Game’, Rae Langton and Caroline West borrow ideas from David Lewis to attempt to explain how pornography might subordinate and silence women. Pornography is supposed to express certain misogynistic claims implicitly, through presupposition, and to convey them indirectly, through accommodation. I argue that the appeal to accommodation cannot do the sort of work Langton and West want it to do: Their case rests upon an overly simplified model of that phenomenon. I argue further (...) that, once we are clear about why Langton and West's account fails, a different and more plausible account of pornography's influence emerges. (shrink)

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.

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (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.

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)

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.