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)

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)

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

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

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)

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)

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)

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)

advanced directivesend-of-life decisionsharming the deadposthumous reproductiontransplant ethics.

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)

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)

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)

Touch is standardly taken to be a proximal sense, principally constituted by capacities to detect proximal pressure and thermal stimulation, and contrasted with the distal senses of vision and audition. It has, however, recently been argued that the scope of touch extends beyond proximal perception; touch can connect us to distal objects. Hence touch generally should be thought of as a connection sense. In this paper, I argue that whereas pressure perception is a connection sense, thermal perception is not. Thermal (...) perception is a proximal sense distinct from touch. One significant consequence of this is that it motivates an alternative explanation of how we detect the thermal properties of the things we touch and what they are. (shrink)

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)

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

This paper describes an attempt to repurpose Kant’s a priori psychology as the architectural blueprint for a machine learning system. First, it describes the conditions that must be satisfied for the agent to achieve unity of experience: the intuitions must be connected, via binary relations, so as to satisfy various unity conditions. Second, it shows how the categories are derived within this model: the categories are pure unary predicates that are derived from the pure binary relations. Third, I describe how (...) Kant’s cognitive architecture has been implemented in a computer system (the Apperception Engine) and show in detail what it is like for the system to construct a unified experience from a sequence of raw sensory input. (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)

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)

An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...) Frege's approach to logic and theirs. (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 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)

Extended and distributed cognition theories argue that human cognitive systems sometimes include non-biological objects. On these views, the physical supervenience base of cognitive systems is thus not the biological brain or even the embodied organism, but an organism-plus-artifacts. In this paper, we provide a novel account of the implications of these views for learning, education, and assessment. We start by conceptualising how we learn to assemble extended cognitive systems by internalising cultural norms and practices. Having a better grip on how (...) extended cognitive systems are assembled, we focus on the question: If our cognition extends, how should we educate and assess such extended cognitive systems? We suggest various ways to minimize possible negative effects of extending one’s cognition and to efficiently find and organise (online) information by adopting a virtue epistemology approach. Educational and assessment implications are foregrounded, particularly in the case of Danish students’ use of the Internet during exams. (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 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)

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)

Many proponents of the Harm Principle seem to implicitly assume that the principle is compatible with permitting the free exchange of goods and services, even if such exchanges generate so-called market harms. I argue that, as a result, proponents of the Harm Principle face a dilemma: either the Harm Principle’s domain cannot include a large number of non-market harm cases or market harms must be treated on par with non-market harms. I then go on to discuss three alternative arguments defending (...) the status of market harms as exceptions to the Harm Principle and discuss why these arguments also fail. (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)

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)

This article provides an overview and analysis of recent work on the extended self, demonstrating that the boundaries of selves are fluid, shifting across biological, artifactual, and sociocultural structures. First, it distinguishes the notions of minimal self, person, and narrative self. Second, it surveys how philosophers, psychologists, and cognitive scientists argue that embodiment, cognition, emotion, consciousness, and moral character traits can be extended and what that implies for the boundaries of selves. It also reviews and responds to various criticisms and (...) counterarguments against the extended self. The main focus is on the link between the extended mind and extended self, which has received the most attention in recent literature. But accounts of the extended self developed independently of the extended mind are also briefly discussed. This article ends by drawing out some of the conceptual, methodological, and normative implications of the extended self and suggesting some directions for future research. (shrink)

The primary goal of this essay is to provide a comprehensive overview and analysis of the various relations between material artifacts and the embodied mind. A secondary goal of this essay is to identify some of the trends in the design and use of artifacts. First, based on their functional properties, I identify four categories of artifacts co-opted by the embodied mind, namely (1) embodied artifacts, (2) perceptual artifacts, (3) cognitive artifacts, and (4) affective artifacts. These categories can overlap and (...) so some artifacts are members of more than one category. I also identify some of the techniques (or skills) we use when interacting with artifacts. Identifying these categories of artifacts and techniques allows us to map the landscape of relations between embodied minds and the artifactual world. Second, having identified categories of artifacts and techniques, this essay then outlines some of the trends in the design and use of artifacts, focussing on neuroprosthetics, brain-computer interfaces, and personalisation algorithms nudging their users towards particular epistemic paths of information consumption. (shrink)

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

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

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)

The aim of this study is to identify the key terms and arguments of J. Lovelock՚s sustainable retreat concept and their analysis with emphasize on the consequences of this concept for political, social and environmental thinking. J. Lovelock points out that considering rapid and complex changes in global environment, marked by the term Anthropocene; we do not have enough time and sources to realize the sustainable development concept. For that reason, it is, according to him, necessary to formulate sustainable retreat (...) concept as a strategy which will allow to prepare for climate change in a way that not only a man as a biological specie, but also civilized society could survive. Even basic theses of this concept indicate a need to revalue majority political concepts, mainly concepts of sovereignty, citizenship, also the freedom of movement and residence, freedom of business and consume, which are fundamentals of neoliberal economic-political system. Retreat expects elaborated 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 that refuses climate migrants. Therefore the sustainable retreat concept requires much greater competence and mainly willingness to cooperate not only on national, but also on international and global level more than humanity is able to do it currently. (shrink)

The concept of ‘Ethnicity’ still enjoys some currency in the historical and social science literature. However, the cogency of the idea remains disputed. First coming to prominence in the 1980s, the word is often used to depict the character of social relations in the context of conflicts over sovereignty. The case of Northern Ireland presents a paradigmatic example. This article is a rejoinder to Ian McBride’s contention that my scepticism about the notion lacks justification. With reference to disputes over the (...) state, I show in response that ‘ethnicity’ in effect means nationality. I further claim that the nation state is a successor to the dynastic state. In clarifying the meaning of this arrangement, the article brings out how the nation is a juridical rather than empirical category. More specifically, it derives from the notion of corporate personality in law. For this reason, its retrospective integrity is a matter of fabrication, depending on the fiction of ancestral continuity. At the same time, its future-oriented cohesiveness means that it must be invested with a unifying will. I conclude that the legitimacy of a nation state rests on its democratic will, whose coherence is expressed in the action of its government. (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)

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)

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)

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

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)

Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.

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.

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)

The political philosophy originates from the reflections of crisis, risks and threats which society faces to. The author understands environmentalism as a tendency of current political philosophy which starts from the reflections of causes and possible effects of global environmental crisis as one of the most serious threats to the existential preconditions of current political system and global civilization at all. Considering the changes in social, technological and environmental starting conditions of the existence of economic-political system – that are consequences (...) of the transition from stable geologic-climate era of Holocene to unstable era of anthropocene – it is necessary to reconsider once more the basic premises, imperatives and conceptual frames of current economic-political system. The outlines of current economic-political system in philosophical frame were laid out by founders of modern political thinking while we can identify some of basic premises of environmentalism and also concepts relevant to the reflection of current threats and risks in some of their works. Author considers the concept of civil and human rights, the concept of natural state and the concept of social contract to be suitable for the reflection of the crisis of current economic-political system regarding environmentalism. Afterwards, the author formulates in what meanings are these concepts actual also for anthropocene. In conclusion, the author´s hypothesis is that the political philosophy of 21st century must reflect the environmental preconditions and limits of existence and forms of economic-political system and, at the same time, it must take into account that any economic and social activities have influence on the quality and sustainability of environment. (shrink)