Background We investigated the personal philosophies of eight persons with a tetraplegic condition (four male, four female), all living in Sweden with a chronic spinal cord injury (SCI) and all reporting a good life. Our purpose was to discover if there is a philosophical mindset that may play a role in living a good life with a traumatic SCI. Methods Two rounds of in-depth qualitative interviews were performed by the same interviewer, a philosophical practitioner by training (de Miranda). The second (...) round systematically covered the following elements: bodily sense, sense of self, sense of belonging, sense of the possible, sense of purpose and philosophical sense. This six-step method developed by de Miranda is called SMILE_PH, an acronym for Sense-Making Interviews Looking at Elements of Philosophical Health. Results All the interviewees, as a consequence of their trauma, reported having gone through a reinvention of themselves which implied questioning the meaning and purpose of their life in particular and life in general. A philosophical rather than realistic sense of the possible was abstracted toward teleological growth. All interviewees developed a sense of purpose based on self-interested altruism and solidarity with disabled peers. Conclusions To reinvent a good life with SCI, in addition to physical training and willpower, one needs to consider philosophical questions about the self and life, what Kant called the cosmic interests of reason: What may I hope? What must I do? What can I know? Our results indicate that we should, in the future, explore what the philosophical health approach may bring to rehabilitation processes in the months or years that follow the trauma. (shrink)

Evolutionary debunking arguments appeal to selective etiologies of human morality in an attempt to undermine moral realism. But is morality actually the product of evolution by natural selection? Although debunking arguments have attracted considerable attention in recent years, little of it has been devoted to whether the underlying evolutionary assumptions are credible. In this paper, we take a closer look at the evolutionary hypotheses put forward by two leading debunkers, namely Sharon Street and Richard Joyce. We raise a battery (...) of considerations, both empirical and theoretical, that combine to cast doubt on the plausibility of both hypotheses. We also suggest that it is unlikely that there is in the vicinity a plausible alternative hypothesis suitable for the debunker’s cause. (shrink)

Contemporary philosophers have largely neglected Richard Taylor’s design argument. Given that the initial responses to the argument were largely negative, one might be tempted to conclude that the argument is simply philosophically inadequate. This paper rejects that conclusion by showing how Taylor’s argument has been misunderstood by his critics. In defending Taylor, it is shown that the two types of objections levied against him fail to even blemish his design argument, let alone refute it. Consideration is also given to (...) the argument’s historical lineage, along with a proposal for future considerations of the connection between epistemological realism and design. (shrink)

We reflect on a decade of Responsible Research and Innovation (RRI) as a discourse emerging from the European Commission (EC) 10 years ago. We discuss the foundations for RRI, its emergence during the Seventh Framework programme and its subsequent evolution during Horizon 2020. We discuss how an original vision for RRI became framed around five so-called ‘keys’: gender, open access, science communication, ethics and public engagement. We consider the prospects for RRI within the context of the EC’s Open Science agenda (...) and Horizon Europe programme, before closing with some reflections on the contribution RRI has made to debates concerning the relationship between science, innovation and society over the last decade. (shrink)

We reflect on a decade of Responsible Research and Innovation (RRI) as a discourse emerging from the European Commission (EC) 10 years ago. We discuss the foundations for RRI, its emergence during the Seventh Framework programme and its subsequent evolution during Horizon 2020. We discuss how an original vision for RRI became framed around five so-called ‘keys’: gender, open access, science communication, ethics and public engagement. We consider the prospects for RRI within the context of the EC’s Open Science agenda (...) and Horizon Europe programme, before closing with some reflections on the contribution RRI has made to debates concerning the relationship between science, innovation and society over the last decade. (shrink)

A close look at Frege's proof in "Foundations of Arithmetic" that every number has a successor. The examination reveals a surprising gap in the proof, one that Frege would later fill in "Basic Laws of Arithmetic".

Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and as (...) a result philosophy of biology languished in a state of futility for much of the twentieth century. The situation, we are told, only began to change in the late 1960s and early 1970s, when a new generation of researchers began to focus on problems internal to biology, leading to the consolidation of the discipline. In this paper we challenge this widely accepted narrative of the history of philosophy of biology. We do so by arguing that the most important tradition within early twentieth-century philosophy of biology was neither logical empiricism nor vitalism, but the organicist movement that flourished between the First and Second World Wars. We show that the organicist corpus is thematically and methodologically continuous with the contemporary literature in order to discredit the view that early work in the philosophy of biology was unproductive, and we emphasize the desirability of integrating the historical and contemporary conversations into a single, unified discourse. (shrink)

According to the orthodox treatment of risk preferences in decision theory, they are to be explained in terms of the agent's desires about concrete outcomes. The orthodoxy has been criticised both for conflating two types of attitudes and for committing agents to attitudes that do not seem rationally required. To avoid these problems, it has been suggested that an agent's attitudes to risk should be captured by a risk function that is independent of her utility and probability functions. The main (...) problem with that approach is that it suggests that attitudes to risk are wholly distinct from people's (non-instrumental) desires. To overcome this problem, we develop a framework where an agent's utility function is defined over chance propositions (i.e., propositions describing objective probability distributions) as well as ordinary (non-chance) ones, and argue that one should explain different risk attitudes in terms of different forms of the utility function over such propositions. (shrink)

In connecting embodied, embedded, extended, and enactive (4E) cognition with affectivity and emotions, the framework of “situated affectivity” has recently emerged. This framework emphasizes the interactions between the emoter and the environment in the unfolding of our affective lives (Colombetti and Krueger 2015; Griffiths and Scarantino 2009; Piredda 2022; Stephan and Walter 2020). In the last decades, there has also been a growing interest in the philosophical analysis of technology and artifacts (Houkes and Vermaas 2010; Margolis and Laurence 2007; Preston (...) 2022). The aim of this special issue is to foster the interaction between philosophical reflections on affectivity and those on technology, further developing this fruitful borderland (Clowes et al. 2021; Colombetti 2020; Fasoli 2018; Krueger and Osler 2019; Heersmink 2018; Piredda and Candiotto 2019; Piredda 2020; Viola 2021). -/- . (shrink)

In this chapter, we analyze the relationships between the Internet and its users in terms of situated cognition theory. We first argue that the Internet is a new kind of cognitive ecology, providing almost constant access to a vast amount of digital information that is increasingly more integrated into our cognitive routines. We then briefly introduce situated cognition theory and its species of embedded, embodied, extended, distributed and collective cognition. Having thus set the stage, we begin by taking an embedded (...) cognition view and analyze how the Internet aids certain cognitive tasks. After that, we conceptualize how the Internet enables new kinds of embodied interaction, extends certain aspects of our embodiment, and examine how wearable technologies that monitor physiological, behavioral and contextual states transform the embodied self. On the basis of the degree of cognitive integration between a user and Internet resource, we then look at how and when the Internet extends our cognitive processes. We end this chapter with a discussion of distributed and collective cognition as facilitated by the Internet. (shrink)

In this paper, we analyse how GPS-based navigation systems are transforming some of our intellectual virtues and then suggest two strategies to improve our practices regarding the use of such epistemic tools. We start by outlining the two main approaches in virtue epistemology, namely virtue reliabilism and virtue responsibilism. We then discuss how navigation systems can undermine five epistemic virtues, namely memory, perception, attention, intellectual autonomy, and intellectual carefulness. We end by considering two possible interlinked ways of trying to remedy (...) this situation: [i] redesigning the epistemic tool to improve the epistemic virtues of memory, perception, and attention; and [ii] the cultivation of cognitive diligence for wayfinding tasks scaffolding intellectual autonomy and carefulness. (shrink)

Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system in the brain. On this view, what differs in emotional and non-emotional states is the kind of inputs that are processed by a (...) general cortical network of cognition, a network essential for conscious experiences. Although subcortical circuits are not directly responsible for conscious feelings, they provide non-conscious inputs that coalesce with other kinds of neural signals in the cognitive assembly of conscious emotional experiences. In building the case for this proposal, we defend a modified version of what is known as the higher-order theory of consciousness. (shrink)

We discuss cases where subjects seem to enjoy conscious experience when the relevant first-order perceptual representations are either missing or too weak to account for the experience. Though these cases are originally considered to be theoretical possibilities that may be problematical for the higher-order view of consciousness, careful considerations of actual empirical examples suggest that this strategy may backfire; these cases may cause more trouble for first-order theories instead. Specifically, these cases suggest that (I) recurrent feedback loops to V1 are (...) most likely not the neural correlate of first-order representations for conscious experience, (II) first-order views seem to have a problem accounting for the phenomenology in these cases, and either (III) a version of the ambitious higher-order approach is superior in that it is the simplest theory that can account for all results at face value, or (IV) a view where phenomenology is jointly determined by both first-order and higher-order states. In our view (III) and (IV) are both live options and the decision between them may ultimately be an empirical question that cannot yet be decided. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

David Rosenthal explains conscious mentality in terms of two independent, though complementary, theories—the higher-order thought (“HOT”) theory of consciousness and quality-space theory (“QST”) about mental qualities. It is natural to understand this combination of views as constituting a kind of representationalism about experience—that is, a version of the view that an experience’s conscious character is identical with certain of its representational properties. At times, however, Rosenthal seems to resist this characterization of his view. We explore here whether and to what (...) extent it makes sense to construe Rosenthal’s views as representationalist. Our goal is not merely terminological—discerning how best to use the expression ‘representationalism’. Rather, we argue that understanding Rosenthal’s account as a kind of representationalism permits us not only to make sense of broader debates within the philosophy of mind, but also to extend and clarify aspects of the view itself. (shrink)

Hannah Arendt's rich and varied political thought is more influential today than ever before, due in part to the collapse of communism and the need for ideas that move beyond the old ideologies of the Cold War. As Dana Villa shows, however, Arendt's thought is often poorly understood, both because of its complexity and because her fame has made it easy for critics to write about what she is reputed to have said rather than what she actually wrote. Villa sets (...) out to change that here, explaining clearly, carefully, and forcefully Arendt's major contributions to our understanding of politics, modernity, and the nature of political evil in our century.Villa begins by focusing on some of the most controversial aspects of Arendt's political thought. He shows that Arendt's famous idea of the banality of evil--inspired by the trial of Adolf Eichmann--does not, as some have maintained, lessen the guilt of war criminals by suggesting that they are mere cogs in a bureaucratic machine. He examines what she meant when she wrote that terror was the essence of totalitarianism, explaining that she believed Nazi and Soviet terror served above all to reinforce the totalitarian idea that humans are expendable units, subordinate to the all-determining laws of Nature or History. Villa clarifies the personal and philosophical relationship between Arendt and Heidegger, showing how her work drew on his thought while providing a firm repudiation of Heidegger's political idiocy under the Nazis. Less controversially, but as importantly, Villa also engages with Arendt's ideas about the relationship between political thought and political action. He explores her views about the roles of theatricality, philosophical reflection, and public-spiritedness in political life. And he explores what relationship, if any, Arendt saw between totalitarianism and the "great tradition" of Western political thought. Throughout, Villa shows how Arendt's ideas illuminate contemporary debates about the nature of modernity and democracy and how they deepen our understanding of philosophers ranging from Socrates and Plato to Habermas and Leo Strauss.Direct, lucid, and powerfully argued, this is a much-needed analysis of the central ideas of one of the most influential political theorists of the twentieth century. (shrink)

The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify everything that was wrongheaded, misguided, and just plain wrong with early twentieth-century philosophy of biology. Over the years, commentators have said of Woodger: (a) that he was a fervent logical empiricist who tried to impose the explanatory gold standards of physics onto biology, (b) that his philosophical work was completely disconnected from biological science, (c) that he possessed no scientific or philosophical credentials, and (d) that his work was (...) disparaged – if not altogether ignored – by the biologists and philosophers of his era. In this paper, we provide the first systematic examination of Woodger’s oeuvre, and use it to demonstrate that the four preceding claims are false. We argue that Woodger’s ideas have exerted an important influence on biology and philosophy, and submit that the current consensus on his legacy stems from a highly selective reading of his works. By rehabilitating Woodger, we hope to show that there is no good reason to continue to disregard the numerous contributions to the philosophy of biology produced in the decades prior to the professionalization of the discipline. (shrink)

Coherentism maintains that coherent beliefs are more likely to be true than incoherent beliefs, and that coherent evidence provides more confirmation of a hypothesis when the evidence is made coherent by the explanation provided by that hypothesis. Although probabilistic models of credence ought to be well-suited to justifying such claims, negative results from Bayesian epistemology have suggested otherwise. In this essay we argue that the connection between coherence and confirmation should be understood as a relation mediated by the causal relationships (...) among the evidence and a hypothesis, and we offer a framework for doing so by fitting together probabilistic models of coherence, confirmation, and causation. We show that the causal structure among the evidence and hypothesis is sometimes enough to determine whether the coherence of the evidence boosts confirmation of the hypothesis, makes no difference to it, or even reduces it. We also show that, ceteris paribus, it is not the coherence of the evidence that boosts confirmation, but rather the ratio of the coherence of the evidence to the coherence of the evidence conditional on a hypothesis. (shrink)

Considerations of dynamic inconsistency have figured prominently in debates over the rationality of preferences that violate the separability conditions characteristic of expected utility theory. These debates have mostly focused on risk- and ambiguity averse preferences, but analogous considerations apply to preferences for fairness. We revisit these debates in the context of a specific hypothesis regarding the violations of separability by such preferences, namely that they are potentially both explained and rationalised by attitudes to the chances of goods that motivate a (...) preference for equality in the distribution of chances across people and possible events. Our main aim is to argue that, first, when these violations of static separability are motivated by such attitudes to chances, then they need not result in dynamically inconsistent behaviour. Second, and more generally, considerations of dynamic consistency do not, we argue, undermine the rationality of such attitudes towards the distribution of chances, despite the fact that such attitudes give rise to violations of the static separability assumptions of expected utility theory. (shrink)

The aim of this paper is to assess the relationship between anti-physicalist arguments in the philosophy of mind and anti-naturalist arguments in metaethics, and to show how the literature on the mind-body problem can inform metaethics. Among the questions we will consider are: (1) whether a moral parallel of the knowledge argument can be constructed to create trouble for naturalists, (2) the relationship between such a "Moral Knowledge Argument" and the familiar Open Question Argument, and (3) how naturalists can respond (...) to the Moral Twin Earth argument. We will give particular attention to recent arguments in the philosophy of mind that aim to show that anti-physicalist arguments can be defused by acknowledging a distinctive kind of conceptual dualism between the phenomenal and the physical. This tactic for evading anti-physicalist arguments has come to be known as the Phenomenal Concept Strategy. We will propose a metaethical version of this strategy, which we shall call the `Moral Concept Strategy'. We suggest that the Moral Concept Strategy offers the most promising way out of these anti-naturalist arguments, though significant challenges remain. (shrink)

Endurantists have recently faced a mereological puzzle in various forms. Here I argue that, instead of presenting a genuine worry, the puzzle actually reveals a common misunderstanding about the endurantist ontology. Furthermore, through this discussion of the alleged problem and the misunderstanding which motivates it, I reveal metaphysical commitments the endurantist has that may not be widely recognized. For instance, she is committed to interesting and perhaps controversial views about shape and location. I highlight these commitments and what they mean (...) for the endurantist. (shrink)

In this paper, we contend that the psychology of addiction is similar to the psychology of ordinary, non-addictive temptation in important respects, and explore the ways in which these parallels can illuminate both addiction and ordinary action. The incentive salience account of addiction proposed by Robinson and Berridge (1993; 2001; 2008) entails that addictive desires are not in their nature different from many of the desires had by non-addicts; what is different is rather the way that addictive desires are acquired, (...) which in turn affects their strength. We examine these “incentive salience” desires, both in addicts and non-addicts, contrasting them with more cognitive desires. On this account, the self-control challenge faced by addicted agents is not different in kind from that faced by non-addicted agents – though the two may, of course, differ greatly in degree of difficulty. We explore a general model of self-control for both the addict and the non-addict, stressing that self-control may be employed at three different stages, and examining the ways in which it might be strengthened. This helps elucidate a general model of intentional action. (shrink)

Researchers have converged on the idea that a pragmatic understanding of communication can shed important light on the evolution of language. Accordingly, animal communication scientists have been keen to adopt insights from pragmatics research. Some authors couple their appeal to pragmatic aspects of communication with the claim that there are fundamental asymmetries between signalers and receivers in non-human animals. For example, in the case of primate vocal calls, signalers are said to produce signals unintentionally and mindlessly, whereas receivers are thought (...) to engage in contextual interpretation to derive the significance of signals. We argue that claims about signaler-receiver asymmetries are often confused. This is partly because their authors conflate two conceptions of pragmatics, which generate different accounts of the explanatory target for accounts of the evolution of language. Here we distinguish these conceptions, in order to help specify more precisely the proper explanatory target for language evolution research. (shrink)

After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. Recent work has pushed this thesis further, offering various strong principles that ultimately result in a (...) wholesale reduction of iterated to one-shot revision. The present paper offers grounds to hold that these principles should be significantly weakened and that the reductionist thesis should ultimately be rejected. Furthermore, the considerations provided suggest a close connection between the logic of iterated belief change and the logic of evidential relevance. (shrink)

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

The following is a transcript of the interview I (Yasuko Kitano) conducted with Neil Levy (The Centre for Applied Philosophy and Public Ethics, CAPPE) on the 23rd in July 2009, while he was in Tokyo to give a series of lectures on neuroethics at The University of Tokyo Center for Philosophy. I edited his words for publication with his approval.

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 field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting from revision (...) by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential (...) theorems obtained by this elimination procedure. (shrink)

Here I defend the compatibility of presentism and time travel against a few objections. Keller and Nelson argue that, if presentism is at all plausible, presentism and time travel are as compatible as eternalism and time travel. But Miller and Sider are not convinced. I reply that for their concerns to have merit, Miller and Sider must assume presentists are committed to positions they need not be; I explain why presentists are not so committed and, in the process, defend Keller (...) and Nelson’s position that there is no roadblock to presentist time travel that does not also apply to eternalist time travel. (shrink)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...) allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Recent discussions among lawyers, philosophers, policy researchers and athletes have focused on the potential threat to privacy posed by the World Anti-Doping Agency’s (WADA) whereabouts requirements. These requirements demand, among other things, that all elite athletes file their whereabouts information for the subsequent quarter on a quarterly basis and comprise data for one hour of each day when the athlete will be available and accessible for no advance notice testing at a specified location of their choosing. Failure to file one’s (...) whereabouts, or the non-availability for testing at said location on three occasions within any 18-month period constitutes an anti-doping rule violation that is equivalent to testing positive to a banned substance, and may lead to a suspension of the athlete for a time period of between one and two years. We critically explore the extent to which WADA’s whereabouts requirements are in tension with existing legislation on privacy, with respect to UK athletes, who are simultaneously protected by UK domestic and EU law. Both UK domestic and EU law are subject to the European Convention on Human Rights (ECHR) Article 8, which establishes a right to “respect for private and family life, home and correspondence”. We critically discuss the centrality of the whereabouts requirements in relation to WADA’s aims, and the adoption and implementation of its whereabouts rules. We conclude that as WADA’s whereabouts requirements appear to be in breach of an elite athlete’s rights under European workers’ rights, health & safety and data protection law they are also, therefore, in conflict with Article 8 of the ECHR and the UK Human Rights Act 1998. We call for specific amendments that cater for the exceptional case of elite sports labour if the WADA requirements are to be considered legitimate. (shrink)

Mereological challenges have recently been raised against the endurantist. For instance, Barker and Dowe (2003) have argued that eternalist endurantism entails (1) persisting objects are both 3D and 4D, and that (2) the lives of persisting objects last longer than they actually do. They also argue that presentist endurantism also entails, albeit in a tensed way, that (3) the lives of persisting objects last longer than they actually do. While they’ve further argued (2005) that the objections raised by McDaniel (2003) (...) and Beebee and Rush (2003) fail, here I show that such objections are tenable without requiring further significant metaphysical commitments; I argue that such endurantist defences are tenable, contra to prior analyses. (shrink)

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In this (...) paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

A core commitment of Bob Hale and Crispin Wright’s neologicism is their invocation of Frege’s Constraint—roughly, the requirement that the core empirical applications for a class of numbers be “built directly into” their formal characterization. According to these neologicists, if legitimate, Frege’s Constraint adjudicates in favor of their preferred foundation—Hume’s Principle—and against alternatives, such as the Dedekind–Peano axioms. In this paper, we consider a recent argument for legitimating Frege’s Constraint due to Hale, according to which the primary empirical application of (...) the naturals is transitive counting, or answering ‘how many’-questions using numerals. We make two claims regarding Hale’s argument. First, it fails to legitimate Frege’s Constraint in virtue of resting on unsupported and highly contentious assumptions. Secondly, even if sound, Hale’s argument would vindicate a version of Frege’s Constraint which fails to adjudicate in favor of Hume’s Principle over alternative characterizations of the naturals. (shrink)

Aims: The Research Diagnostic Criteria for Temporomandi¬bular Disorders (RDC/TMD) Axis I diagnostic algorithms were demonstrated to be reliable but below target sensitivity and specificity. Empirical data supported Axis I algorithm revisions that were valid. Axis II instruments were shown to be both reliable and valid. An international consensus workshop was convened to obtain recommendations and finalization of new Axis I diagnostic algorithms and new Axis II instruments. Methods: A comprehensive search of published TMD diagnostic literature was followed by review and (...) consensus via a formal structured process by a panel of experts for revision of the RDC/TMD. Results: The recommended Diagnostic Criteria for TMD (DC/TMD) Axis I protocol includes both a valid screener for pain diagnoses and valid criteria for the most common pain-related TMDs and for one intra-articular disorder. The Axis II protocol retains selected RDC/TMD screening instruments augmented with new instruments to better assess the interactions between pain and psychosocial functioning. A comprehensive classification system is also presented. Conclusion: The recommended evidence-based DC/TMD protocol is appropriate for use in both the clinical and research settings. Simple Axis I and II screening tests augmented by validated Axis I and Axis II instruments allow for identification of simple to complex TMD patients. (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)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

By its alternative depiction of God's non-violent creative power at the start of the biblical canon, Gen 1 signals the Creator's original intent for shalom and blessing at the outset of human history, prior to the rise of human (or divine) violence. Gen 1 constitutes a normative framework by which we may judge all the violence that pervades the rest of the Bible.

Joseph HenryWoodger (1894–1981) was one of the foremost theoretical biologists of the twentieth century. Starting out his career as an experimental embryologist and cytologist, Woodger became increasingly interested in the conceptual foundations of biology. Eventually, he abandoned all empirical research so that he could devote himself fully to studying the structure of biological theories. Perhaps his major accomplishment was the 500-page treatise 'Biological Principles: A Critical Study' (1929), which systematically investigated the epistemological basis of biological knowledge through an analysis of (...) its central concepts. Today, he is mostly remembered for his audacious monograph 'The Axiomatic Method in Biology' (1937), which remains the most ambitious attempt to reformulate the propositions of biology (especially genetics, embryology, and taxonomy) using the tools of symbolic logic and pure mathematics. Woodger is also known for establishing the Theoretical Biology Club, and for introducing the ‘Bauplan’ concept into Anglophone biology. The insect Terpandrus Woodgeri (Woodger’s Gumleaf Katydid) is named in his honour. (shrink)

This paper revisits the conceptual history of the early Frankfurt School’s investigations into the authoritarian character, the set of sadomasochistic character traits that dispose an individual or group to seek their own domination. This research project, which produced Fromm’s Studies on Authority and Family and Horkheimer’s Egoism and Freedom Movements in 1936 and ended in 1939 with Fromm’s expulsion from the Frankfurt School, is generally held to have been a theoretically-unproductive and abortive endeavour. We dispute such a reading by reconstructing (...) the key concepts and methods of this research project, and demonstrating its breadth and coherence. In so doing we illustrate the centrality of Fromm’s contribution to the Frankfurt School early work on authority and indicate that the proper point of origin for those seeking to grasp the Frankfurt School’s research on the authoritarian character is 1930, the year in which Fromm joined the Frankfurt School. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

We designed an experiment to explore the learning effectiveness of three different ways of practicing dance movements. To our surprise we found that partial modeling, called marking in the dance world, is a better method than practicing the complete phrase, called practicing full-out; and both marking and full-out are better methods than practicing by repeated mental simulation. We suggest that marking is a form of practicing a dance phrase aspect-by-aspect. Our results also suggest that prior work on learning by observation (...) and learning by mental practice may not scale up to complex movements. (shrink)

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : Is (...) there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A , where the depth of proofs is linear in the number of variables in A .

In 1949, the Department of Philosophy at the University of Manchester organized a symposium “Mind and Machine” with Michael Polanyi, the mathematicians Alan Turing and Max Newman, the neurologists Geoff rey Jeff erson and J. Z. Young, and others as participants. Th is event is known among Turing scholars, because it laid the seed for Turing’s famous paper on “Computing Machinery and Intelligence”, but it is scarcely documented. Here, the transcript of this event, together with Polanyi’s original statement and his (...) notes taken at a lecture by Jeff erson, are edited and commented for the fi rst time. Th e originals are in the Regenstein Library of the University of Chicago. Th e introduction highlights elements of the debate that included neurophysiology, mathematics, the mind-body-machine problem, and consciousness and shows that Turing’s approach, as documented here, does not lend itself to reductionism. (shrink)

In Winter 2017, the first author piloted a course in formal logic in which we aimed to (a) improve student engagement and mastery of the content, and (b) reduce maths anxiety and its negative effects on student outcomes, by adopting student oriented teaching including peer instruction and classroom flipping techniques. The course implemented a partially flipped approach, and incorporated group-work and peer learning elements, while retaining some of the traditional lecture format. By doing this, a wide variety of student learning (...) preferences could be provided for. (shrink)