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)

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (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)

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)

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.

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)

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)

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)

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)

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)

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

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)

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)

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)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (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.

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (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.

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 problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (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.

This article explores the ambivalent relationship of neo-Aristotelian naturalism to ethical supervenience. One of the main proponents of this approach, Michael Thompson, holds a position that leads to a rejection of local ethical supervenience. It is argued that this rejection implicitly undermines a premise held by other prominent neo-Aristotelian naturalists, such as Philippa Foot or Rosalind Hursthouse, who implemented Thompson’s species-relative logic of ethical evaluations into their theories. This premise—that there is a systematic connection between the virtuous life and the (...) benefit of the individual—could be re-established if neo-Aristotelian naturalism abandoned the species-essentialist understanding of life-forms and instead accepted local ethical supervenience as an ethical frame of reference. Although this article derives its problem from the main works of the aforementioned authors, its interest lies not mainly in exegesis, but in the systematic discussion of the logical status and the functionality of the concept of life-form in neo-Aristotelian naturalism. This discussion will be enriched by the inclusion of the logical distinctions and insights from modern philosophical biology. (shrink)

In a series of papers over the past twenty years, and in a new book, Igor Douven has argued that Bayesians are too quick to reject versions of inference to the best explanation that cannot be accommodated within their framework. In this paper, I survey their worries and attempt to answer them using a series of pragmatic and purely epistemic arguments that I take to show that Bayes’ Rule really is the only rational way to respond to your evidence.

The chapter addresses the problem of the socio-ecological transformation of industrialized societies determined by the ideology of growth. It points out that the knowledge of the impossibility of sustainable growth on a planet with finite resources has been available at least since the 1960s. However, economic policies, as well as organizational principles and imperatives of public and private institutions, have so far been formulated regarding the growth imperative. However, the concepts of the Anthropocene and Planetary boundaries formulated within the framework (...) of Earth System Sciences already precisely confirm the devastation of the planetary system on a scale that threatens the survival of civilization in its current geographical scope and complexity. Socio-ecological transformation thus appears as a necessary prerequisite for preserving the environmental conditions for the existence of organized human society. The concept of de-growth provides a theoretical basis for establishing societal boundaries, i.e. the total rate of resource consumption and the amount of waste and emissions that a society can produce to prevent planetary boundaries from being exceeded. However, as long as public policies continue to be subordinated to the imperative of growth and fictions about unlimited resources or the infinite capacity of the planetary system to absorb all forms of pollution, all so-called green policies or transformations will remain just rhetorical exercises, but more or less sophisticated forms of greenwashing. (shrink)

The concept of planetary boundaries has also emerged in the context of the debate on the shift of the planetary system from the Holocene to the Anthropocene, which programmatically seeks to formulate a systemic approach to global sustainability. It aims to define the biophysical and biochemical planetary boundaries within which humanity can safely function. The most recent version of this concept programmatically transcends the boundaries of the natural and social sciences by seeking to include the categories of environmental security and (...) justice in the quantification of identified key planetary boundaries. The paper focuses on the significance of this shift for political-philosophical reflection on the concept of the Anthropocene as a starting point for environmental political philosophy. (shrink)

The main goal of this paper is to investigate whether humans are unique in using tools and artifacts. Non-human animals exhibit some impressive instances of tool and artifact-use. Chimpanzees use sticks to get termites out of a mound, beavers build dams, birds make nests, spiders create webs, bowerbirds make bowers to impress potential mates, etc. There is no doubt that some animals modify and use objects in clever and sophisticated ways. But how does this relate to the way in which (...) humans make and use objects to achieve their goals? To answer this question, this paper first presents a taxonomy of artifacts, identifying four overlapping categories, namely embodied, perceptual, cognitive, and affective artifacts. It then discusses definitions of animal tool-use, arguing that we need a more liberal approach, one that goes beyond the use of tools that are embedded in occurrent perception-action cycles. This paper ends by analysing how instances of animal tool and artifact-use can be classified according to the four identified categories, concluding that some animals use embodied, perceptual, cognitive, and affective artifacts. In this sense, humans are thus not unique in the kinds of tools and artifacts we use. What is unique, however, is our unprecedented flexibility and openness to deeply incorporate a large variety of complex tools and artifacts into our embodied, perceptual, cognitive, and affective systems. (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.

A prominent defence of compulsory voting is based on the negative effects of a low turnout on democracy, which leads to an unequal representation of the most vulnerable citizens of our societies, since they are the least likely to vote voluntarily. This paper shows that this justification relies on the truth of an added premise – that voting is a proxy for use of political influence and power. However, the inclusion of this premise weakens the entire argument, which regains consistency (...) only through the adoption of a narrow understanding of what representation is. Introduction. (shrink)

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

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)

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

It might be that intuitions are central to philosophy, and it might be that this is true because when philosophers give case‐based arguments for philosophical claims (in published philosophy), the case verdict is typically (a) an intuited proposition and (b) either left undefended or defended on the grounds that it is an intuited proposition. This paper remains neutral on these global issues, however, and instead focuses on whether there is a nontrivial (or many‐membered) class of case‐based arguments in philosophy in (...) which the case verdict is defended by appeal to background beliefs and not on the grounds that it is an intuited proposition. The paper argues that the answer is affirmative by examining seven such arguments that are referred to as “paradigm cases” of case‐based arguments in which the verdict is justified via an appeal to intuition. (shrink)

: The idea of enhancing our mental functions through medical means makes many people uncomfortable. People have a vague feeling that altering our brains tinkers with the core of our personalities and the core of ourselves. It changes who we are, and doing so seems wrong, even if the exact reasons for the unease are difficult to define. Many of the standard arguments against neuroenhancements—that they are unsafe, that they violate the distinction between therapy and enhancements, that they undermine equality, (...) and that they will be used coercively—fail to show why the use of any such technologies is wrong in principle. Two other objections—the arguments that such changes undermine our integrity and that they prevent us from living authentic lives—will condemn only a few of the uses that are proposed. The result is that very few uses of these drugs are morally suspect and that most uses are morally permissible. (shrink)

La cobertura universal de salud está en el centro de la acción actual para fortalecer los sistemas de salud y mejorar el nivel y la distribución de la salud y los servicios de salud. Este documento es el informe fi nal del Grupo Consultivo de la OMS sobre la Equidad y Cobertura Universal de Salud. Aquí se abordan los temas clave de la justicia (fairness) y la equidad que surgen en el camino hacia la cobertura universal de salud. Por lo (...) tanto, el informe es pertinente para cada agente que infl uye en ese camino y en particular para los gobiernos, ya que se encargan de supervisar y guiar el progreso hacia la cobertura universal de salud. (shrink)

The more the number of people who live on Earth grows, the more significant are the cuts individuals must accept in realization of their own freedom, so as not to limit the freedom of others. With the growing population on the finite planet the real space for freedom of each individual decreases. Moreover, the growth of complexity of the global industrial civilization increases the degree of interdependence on one hand, on the other the degree of mutual trust decreases as a (...) result of the imperative of growth and profit, and without it no human society can function in the long term. Access to sources necessary for the realization of fundamental freedoms is unequal, and, in fact, it thus limits its accessibility for the majority of human population. Philosophical reflection then should cope with question, whether the range of guaranteed freedoms can be broadened or at least sustained when the space for its realization with the growing human population struggling for increasingly limited resources narrows. (shrink)

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

In this article, I outline various ways in which artifacts are interwoven with autobiographical memory systems and conceptualize what this implies for the self. I first sketch the narrative approach to the self, arguing that who we are as persons is essentially our life story, which, in turn, determines our present beliefs and desires, but also directs our future goals and actions. I then argue that our autobiographical memory is partly anchored in our embodied interactions with an ecology of artifacts (...) in our environment. Lifelogs, photos, videos, journals, diaries, souvenirs, jewelry, books, works of art, and many other meaningful objects trigger and sometimes constitute emotionally laden autobiographical memories. Autobiographical memory is thus distributed across embodied agents and various environmental structures. To defend this claim, I draw on and integrate distributed cognition theory and empirical research in human-technology interaction. Based on this, I conclude that the self is neither defined by psychological states realized by the brain nor by biological states realized by the organism, but should be seen as a distributed and relational construct. (shrink)

The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the results.

G. W. F. Hegel (1770–1831) has commonly been seen as Europe’s leading philosopher since Kant. His influence extended across the globe down to the Second World War – not least through his dissident disciple, Karl Marx. Since then, despite intermittent revivals, his importance has tended to be eclipsed by a rising tide of anti-modernist polemic, extending from Heidegger to postmodernism. Central to Hegel’s political thought was his view of the French Revolution. But notwithstanding its pivotal role in the development of (...) his ideas, his reaction to that event has been systematically misconstrued. In presenting a more faithful account of Hegel’s interpretation of his own era, the argument presented here places his response to contemporary developments in the context of a series of World Revolutions which framed the meaning of his age. This approach serves to illustrate the unique combination of historical and philosophical reasoning on which Hegel’s thought depended. In the process, reconstructing his arguments raises challenging questions about the applicability of bygone political ideas to later historical periods. (shrink)

This report from the WHO Consultative Group on Equity and Universal Health Coverage offers advice on how to make progress fairly towards universal health coverage.

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

Tourism is one of the socio-economic trends that significantly contributes to the shift of the planetary system into the Anthropocene regime. At the same time, it is also a socio-cultural practice characteristic of the imperial mode of living, or consumerism. Thus, it is a form of commodification of nature, also a way of deepening social inequalities between a privileged minority of the global population and an exploited majority providing services to those whose socio-economic status allows them to travel for fun (...) and commoditised “experience”. This is not an inevitable activity, an activity in which environmental costs (carbon footprint, water footprint, energy consumption, and waste production) are necessary to ensure the basic resources of life. Tourism is therefore a form of luxury consumption. For any tourism model to be, not only, environmentally sustainable but also socially just, or at least acceptable, it would have to be accessible to all people. Ecotourism should also have to meet the criterion of a solidarity mode of living referred to as sufficiency. This is hardly conceivable in the climatic, demographic, and political regime of the Anthropocene. The latter is likely to be characterized by, among other things, mass migration of climate or environmental refugees on the one hand and climate apartheid of the states of the global North on the other. Ecotourism, accessible to an even smaller proportion of the world`s population than the current mass tourism, will thus be more likely to accentuate the social and environmental inequalities of which it is already a significant manifestation. Therefore, the question is whether the concept of ecotourism is not just another manifestation of greenwashing, i.e. an attempt to legitimize economic, social, and cultural activities that devastate the social and environmental environment. (shrink)

Purpose: This thematic literature review explores the critical role of competent writing skills in law enforcement, examining its impact on career progression, agency reputation, and legal proceedings. The purpose is to synthesize existing literature to identify research gaps and suggest directions for future studies. Methods: Google Scholar, ERIC, and the Jerry Falwell Library searches were conducted to capture a broad range of studies involving police report writing, its impact on officers, law enforcement agencies, and the criminal justice system, and writing (...) improvement strategies. Although not required for this review, the work followed PRISMA-ScR guidelines. Results: The initial search yielded numerous qualitative and quantitative studies. This review categorizes the findings into themes of the importance of writing proficiency, the influence of organizational culture, training and education, and technological integration, highlighting the variability and scope of the existing literature. Conclusions: The review shows the need for well-structured research to substantiate the factors contributing to effective law enforcement report writing. It recommends areas for in-depth exploration in future systematic reviews or primary studies, especially longitudinal studies on the effects of targeted training programs, organizational culture shifts, and technological integration on writing proficiency. Application in Law Enforcement: For trainers and instructors, integrating comprehensive report writing programs into training for law enforcement officers can enhance professional skills and accountability. Effective report writing improves documentation accuracy, supports legal proceedings, and enhances career progression. Incorporating targeted report writing training can holistically enhance the performance and professionalism of law enforcement officers. (shrink)