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.

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

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)

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

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (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)

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)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...) for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (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.

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

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

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)

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)

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)

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)

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)

Die eudaimonistische Tugendethik sieht sich, was ihre innere Struktur anbelangt, standardmäßig mit den Vorwürfen des Egoismus und Anthropozentrismus konfrontiert, was auch das Projekt einer ökologischen Tugendethik zu gefährden scheint. Der vorliegende Artikel versucht, ausgehend von der Tugendethik Erich Fromms, eine neue Perspektive auf diese Standardvorwürfe zu entwickeln, indem er den theoretischen Implikationen nachgeht, die die Anerkennung der Biophilie – der Liebe zum Leben – als eine der Tugenden des Menschen für den Frommschen Ansatz hat. Die zunächst noch exegetisch ausgerichtete Diskussion (...) der werkinternen Relation von humanistischer und biophiler Ethik bei Erich Fromm leitet schließlich zu einer stärker systematisch ausgerichteten Diskussion der inneren Dynamik von selbst- und umweltbezogenen Tugenden im tugendhaften Akteur über. In diesem Zuge wird deutlich gemacht, dass das selbstbezogene Streben nach eigener Eudaimonie und das umweltbezogene Streben nach der Förderung des Objekts der eigenen Liebe zwar durchaus miteinander in einen Konflikt geraten können, dass dieser Konflikt aber nicht zur Selbstauslöschung der Tugendethik führt, sondern stattdessen im tugendhaften Akteur eine produktive Dynamik entfaltet. Die klassische Gegenüberstellung von Anthropozentrismus und Biozentrismus innerhalb der Ethik lässt sich auf diese Weise unterlaufen. (shrink)

This chapter examines the pragmatist approach to cognition and experience and provides some of the conceptual background to the “pragmatic turn” currently underway in cognitive science. Classical pragmatists wrote extensively on cognition from a naturalistic perspective, and many of their views are compatible with contemporary pragmatist approaches such as enactivist, extended, and embodied-Bayesian approaches to cognition. Three principles of a pragmatic approach to cognition frame the discussion: First, thinking is structured by the interaction of an organism with its environment. Second, (...) cognition develops via exploratory inference, which remains a core cognitive ability throughout the life cycle. Finally, inquiry/problem solving begins with genuinely irritating doubts that arise in a situation and is carried out by exploratory inference. (shrink)

A current focus of legal debate is the proper role of the courts in the interpretation of statutes and the Constitution. Are judges to look solely to the naked language of an enactment, then logically deduce its application in simple syllogistic fashion, as legal formalists had purported to do? Or may the inquiry into meaning be informed by perhaps unbridled and unaccountable judicial notions of public policy, using legal realism to best promote the general welfare? Judge Posner considers the concepts (...) of formalism and realism to be meaningful and useful in common law reasoning but in interpretation to be useless and, worse, forbidden. He analogizes unclear "orders" from a legislature to garbled battlefield communications, and argues that the duty of the recipient of those orders (the judge) is to advance as best he can the enterprise set on foot by the superiors. Case studies elaborate this thesis. Judicial decisions interpreting fixed texts, Judge Posner concludes, can be neither logically correct or incorrect, philosophically sound or unsound, until the ultimate jurist, time, has adjudged their results. (shrink)

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)

This article outlines the role of globalized mass media in the perception of environmental and social threats and its reciprocal conditionality in the globalized society. It examines the reasons why the global environmental crisis will not lead to a world-wide environmental movement for change of the basic imperatives of the world economicpolitical system. Coherency between globalized mass media and wide-spreading of consumer lifestyle exists despite the fact that it deepens the devastation of environment and social conflicts. Globalized mass media owned (...) by transnational corporations are not only a part of the current global economic-political system, but also the prerequisite of its creation and existence, as well as social contradictions and conflicts. (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)

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)

A decision theory is self-recommending if, when you ask it which decision theory you should use, it considers itself to be among the permissible options. I show that many alternatives to expected utility theory are not self-recommending, and I argue that this tells against them.

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)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

Investigation of neural and cognitive processes underlying individual variation in moral preferences is underway, with notable similarities emerging between moral- and risk-based decision-making. Here we specifically assessed moral distributive justice preferences and non-moral financial gambling preferences in the same individuals, and report an association between these seemingly disparate forms of decision-making. Moreover, we find this association between distributive justice and risky decision-making exists primarily when the latter is assessed with the Iowa Gambling Task. These findings are consistent with neuroimaging studies (...) of brain function during moral and risky decision-making. This research also constitutes the first replication of a novel experimental measure of distributive justice decision-making, for which individual variation in performance was found. Further examination of decision-making processes across different contexts may lead to an improved understanding of the factors affecting moral behaviour. (shrink)

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

Critical examination of possible socio-political Anthropocene consequences leads to the conclusion that the sustainable development concept is not an adequate answer for current threats and risks. An effort to implement the sustainable development concept can even make climate changes and other forms of nature devastation worse, as it turns out on ongoing greenhouse gas concentrations growth in the atmosphere, despite obligations that result to all states of the world from Paris agreement. The climate change rate and range of plant and (...) animal species extinction confirms J. Lovelock´s thesis that humanity does not have enough time and, most likely, enough sources to implement the sustainable development concept and, as B. Latour points out, we do not have a big enough planet. Therefore, it is necessary to think about a retreat – to areas that are likely to stay livable even after the sea level rise and desertification; it is necessary to think about how to move millions of people from areas flooded by sea or parched by desert; to think about a change of our current way of life, of production of food and energy so that not only humankind as animal species would continue, but also our civilization and its technological and organizational knowledge. Even basic theses based on this concept indicate a need to reassess most political concepts, mainly the concepts of sovereignty, citizenship, but also those of freedom of movement and residence, freedom of business and consume, which work as fundamentals of the neoliberal economic-political system. Retreat expects complex and organized migration to beforehand chosen and arranged areas. Opposite to retreat is mass escape chaos that reduces human relations to fight for survival. As J. Lovelock proposed in his sustainable retreat concept, relocating people from areas affected by climate changes to climate oases would mean that rich northern countries give up their current, in fact, isolationistic politics of refusing climate migrants. Therefore, the concept of sustainable retreat requires much greater competence and especially willingness to cooperate not only nationally, but also internationally and globally, in addition to what humanity is capable of doing today. (shrink)

In December of 2013, my Dad died of advanced Alzheimer's and a condition called Myasthenia Gravis. This is a selection of journal entries I made over the course of the two years leading up to my Dad's death. It is not a philosophical essay, but a personal reflection, in "real time" so to speak, on the nature of the dying process in relation to questions of faith, hope, despair, and the meaning of a man's life. I offer it here for (...) any who might find it worthwhile. (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)

I offer a line of argument that aims at the conclusion that the notion of radically different and incommensurable systems of value is incoherent, which would mean that the presumption of some significant common ground of valuation is rationally required in value inquiry.

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 this brief dialogue I consider the humanity and morality of the doctrine of eternal punishment.

Current globalization has its predecessor in the global market of the 19th century. In that time, the main sign of globalization was de socialization of the economy. That globalization ended during World War I as a result of applying the liberal ideology of de socialization to an economy. An attempt to rebuild the global market after World War I led to the global economic crisis (1929 1932), which in Germany allowed Nazis to take over and finally led to World War (...) II. In result of this development after the war, the idea of a welfare state arose in Western Europe. However, the problems brought about by realization of this idea led to further globalization and consequently to the rebuilding of the global market. It is clear that current globalization rebuilds also the process of de socialization of the economy. It seems that this causes the repetition of radicalizations from left to right extremist movements. The current global economic crisis or the combination of energy and environmental crises could end the current globalization trend in the same way as it was brought to an end in the first half of the 20th century. (shrink)

Accuracy arguments for the core tenets of Bayesian epistemology differ mainly in the conditions they place on the legitimate ways of measuring the inaccuracy of our credences. The best existing arguments rely on three conditions: Continuity, Additivity, and Strict Propriety. In this paper, I show how to strengthen the arguments based on these conditions by showing that the central mathematical theorem on which each depends goes through without assuming Additivity.

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

A brief reflection on the deeper meaning of the Eastern "law of Karma.".

In this brief essay, I argue that Anselm's ontological argument for the existence of God achieves its effect through the verbal equivalent of a magician's "sleight-of-hand." More technically, the argument commits the informal fallacy of equivocation. I provide a brief analysis of the argument's text to demonstrate this.

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.

Veritism says that the fundamental source of epistemic value for a doxastic state is the extent to which it represents the world correctly: that is, its fundamental epistemic value is deter...

I argue that uniquely human forms of ‘Theory of Mind’ are a product of cultural evolution. Specifically, propositional attitude psychology is a linguistically constructed folk model of the human mind, invented by our ancestors for a range of tasks and refined over successive generations of users. The construction of these folk models gave humans new tools for thinking and reasoning about mental states—and so imbued us with abilities not shared by non-linguistic species. I also argue that uniquely human forms of (...) ToM are not required for language development, such that an account of the cultural origins of ToM does not jeopardise the explanation of language development. Finally, I sketch a historical model of the cultural evolution of mental state talk. (shrink)

Development plans at different levels – from local to global – aspire to eliminate poverty, famine, to make health care accessible, to create better access to education, to improve transportation, employment, and the quality of life, all within next decades. Yet, these plans collide with the reality of climate change, more precisely the Anthropocene, which already creates high-dimensional conflicts. These will only intensify within decades because climate change and other consequences of the environment global devastation lead to a real decrease (...) of resources. These resources enable not only development but also an elementary reproduction of the essential preconditions of life. The current model of development has substantially contributed to the intensification of unequal accessibility to resources and existing conflicts have thus heightened and new ones have emerged. Water as an essential resource will cause new conflicts. Growing population, expansion of deserts and a sea level rise then increase conflicts for the land. Heat waves occur more often which strengthens conflicts for land suitable for human life, meaning that inhabitable areas are spreading. Therefore there is a need to re-evaluate the character and hierarchy of resources and their accessibility, and also concepts of development. The existing development of humankind has been done at the expense of others in many cases and mainly at the expense of the environment. The current situation raises a question of climate justice from both historical and systematic viewpoints. It opens a need to reformulate the concept of human rights from the perspective of their essential environmental preconditions and to define the status of environmental migrants. (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)

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.

There are two opposing views concerning intuitive cases of wage exploitation. The first denies that they are cases of exploitation at all. It is based on the nonworseness claim: there is nothing wrong with a discretionary mutually beneficial employment relationship. The second is the reasonable view: some employment relationships can be exploitative even if employers have no duty towards their employees. This article argues that the reasonable view does not completely defeat defences of wage exploitation, because these do not rely (...) solely on the nonworseness claim. They also rely on the idea, popularised by Alan Wertheimer, that exploitation is a form of disequilibrium price occurring in defective markets. The article then proceeds to criticise Wertheimer’s account through neoclassical, new institutional, and Austrian economics. It concludes that considerations for economic efficiency are irrelevant to assessing intuitions regarding exploitation. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.