Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

In the remainder of this article, we will disarm an important motivation for epistemic contextualism and interest-relative invariantism. We will accomplish this by presenting a stringent test of whether there is a stakes effect on ordinary knowledge ascription. Having shown that, even on a stringent way of testing, stakes fail to impact ordinary knowledge ascription, we will conclude that we should take another look at classical invariantism. Here is how we will proceed. Section 1 lays out some limitations of previous (...) research on stakes. Section 2 presents our study and concludes that there is little evidence for a substantial stakes effect. Section 3 responds to objections. The conclusion clears the way for classical invariantism. (shrink)

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Like other epistemic activities, inquiry seems to be governed by norms. Some have argued that one such norm forbids us from believing the answer to a question and inquiring into it at the same time. But another, hither-to neglected norm seems to permit just this sort of cognitive arrangement when we seek to confirm what we currently believe. In this paper, I suggest that both norms are plausible and that the conflict between them constitutes a puzzle. Drawing on the felicity (...) conditions of confirmation requests and the biased interrogatives used to perform them, I argue that the puzzle is genuine. I conclude by considering a response to the puzzle that has implications for the debate regarding the relationship between credences and beliefs. (shrink)

In this paper, we aim to show that the framework of embedded, distributed, or extended cognition offers new perspectives on social cognition by applying it to one specific domain: the psychology of memory. In making our case, first we specify some key social dimensions of cognitive distribution and some basic distinctions between memory cases, and then describe stronger and weaker versions of distributed remembering in the general distributed cognition framework. Next, we examine studies of social influences on memory in cognitive (...) psychology, and identify the valuable concepts and methods to be extended and embedded in our framework; we focus in particular on three related paradigms: transactive memory, collaborative recall, and social contagion. Finally, we sketch our own early studies of individual and group memory developed within our framework of distributed cognition, on social contagion of autobiographical memories, collaborative flashbulb memories, and memories of high school at a high school reunion. We see two reciprocal benefits of this conceptual and empirical framework to social memory phenomena: that ideas about distributed cognition can be honed against and tested with the help of sophisticated methods in the social cognitive psychology of memory; and conversely, that a range of social memory phenomena that are as yet poorly understood can be approached afresh with theoretically motivated extensions of existing empirical paradigms. (shrink)

This paper proposes a view of time that takes passage to be the most basic temporal notion, instead of the usual A-theoretic and B-theoretic notions, and explores how we should think of a world that exhibits such a genuine temporal passage. It will be argued that an objective passage of time can only be made sense of from an atemporal point of view and only when it is able to constitute a genuine change of objects across time. This requires that (...) passage can flip one fact into a contrary fact, even though neither side of the temporal passage is privileged over the other. We can make sense of this if the world is inherently perspectival. Such an inherently perspectival world is characterized by fragmentalism, a view that has been introduced by Fine in his ‘Tense and Reality’ (2005). Unlike Fine's tense-theoretic fragmentalism though, the proposed view will be a fragmentalist view based in a primitive notion of passage. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

I propose a distinct type of robustness, which I suggest can support a confirmatory role in scientific reasoning, contrary to the usual philosophical claims. In model robustness, repeated production of the empirically successful model prediction or retrodiction against a background of independentlysupported and varying model constructions, within a group of models containing a shared causal factor, may suggest how confident we can be in the causal factor and predictions/retrodictions, especially once supported by a variety of evidence framework. I present climate (...) models of greenhouse gas global warming of the 20th Century as an example, and emphasize climate scientists’ discussions of robust models and causal aspects. The account is intended as applicable to a broad array of sciences that use complex modeling techniques. (shrink)

Should a principle of charity be applied to the interpretation of the colour concepts exercised in visual experience? We think not. We shall argue, for one thing, that the grounds for applying a principle of charity are lacking in the case of colour concepts. More importantly, we shall argue that attempts at giving the experience of colour a charitable interpretation either fail to respect obvious features of that experience or fail to interpret it charitably, after all. Charity to visual experience (...) is therefore no motive for resisting the natural, Galilean response to a scientific understanding of light and vision. The best interpretation of colour experience ends up convicting it of widespread and systematic error. (shrink)

A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their state (...) spaces, parameters, and laws. The suggestions regarding the various aspects of the characterization of population genetics models provide an outline for further detailed research. (shrink)

The literature acknowledges a distinction between immoral, amoral and moral management. This paper makes a case for the employee (at any level) as a moral agent, even though the paper begins by highlighting a body of evidence which suggests that individual moral agency is sacrificed at work and is compromised in deference to other pressures. This leads to a discussion about the notion of discretion and an examination of a separate, contrary body of literature which indicates that some individuals in (...) corporations may use their discretion to behave in a socially entrepreneurial manner. My underlying assumption is that CSR isn’t solely driven by economics and that it may also be championed as a result of a personal morality, inspired by employees’ own socially oriented personal values. A conceptual framework is put forward and it is suggested that individuals may be categorized as Active or Frustrated Corporate Social Entrepreneurs; Conformists or Apathetics, distinguished by their individualistic or collectivist personal values. In a discussion of the nature of values, this paper highlights how values may act as drivers of our behavior and pays particular attention to the values of the entrepreneur, thereby linking the existing debate on moral agency with the field of corporate social responsibility. (shrink)

Probabilistic support is not transitive. There are cases in which x probabilistically supports y , i.e., Pr( y | x ) > Pr( y ), y , in turn, probabilistically supports z , and yet it is not the case that x probabilistically supports z . Tomoji Shogenji, though, establishes a condition for transitivity in probabilistic support, that is, a condition such that, for any x , y , and z , if Pr( y | x ) > Pr( y (...) ), Pr( z | y ) > Pr( z ), and the condition in question is satisfied, then Pr( z | x ) > Pr( z ). I argue for a second and weaker condition for transitivity in probabilistic support. This condition, or the principle involving it, makes it easier (than does the condition Shogenji provides) to establish claims of probabilistic support, and has the potential to play an important role in at least some areas of philosophy. (shrink)

This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement in logic, we are (...) today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)

Are materially constituted entities, such as statues and glasses of liquid, something more than their material constituents? The puzzle that frames this paper stems from conflicting answers to this question. At the core of the paper is a distinctive way of thinking about material constitution that posits two concepts of constitution, compositional and ampliative constitution, with the bulk of the discussion devoted to developing distinct analyses for these concepts. Distinguishing these concepts solves our initial puzzle and enriches the space of (...) possibilities for constitution views. (shrink)

In this essay, we suggest practical ways to shift the framing of crisis standards of care toward disability justice. We elaborate on the vision statement provided in the 2010 Institute of Medicine (National Academy of Medicine) “Summary of Guidance for Establishing Crisis Standards of Care for Use in Disaster Situations,” which emphasizes fairness; equitable processes; community and provider engagement, education, and communication; and the rule of law. We argue that interpreting these elements through disability justice entails a commitment to both (...) distributive and recognitive justice. The disability rights movement's demand “Nothing about us, without us” requires substantive inclusion of disabled people in decision‐making related to their interests, including in crisis planning before, during, and after a pandemic like Covid‐19 . (shrink)

A new formulation of the Fine-Tuning Argument (FTA) for the existence of God is offered, which avoids a number of commonly raised objections. I argue that we can and should focus on the fundamental constants and initial conditions of the universe, and show how physics itself provides the probabilities that are needed by the argument. I explain how this formulation avoids a number of common objections, specifically the possibility of deeper physical laws, the multiverse, normalisability, whether God would fine-tune at (...) all, whether the universe is too fine-tuned, and whether the likelihood of God creating a life-permitting universe is inscrutable. (shrink)

Abstract Most discussions of risk are developed in broadly consequentialist terms, focusing on the outcomes of risks as such. This paper will provide an alternative account of risk from a virtue ethical perspective, shifting the focus to the decision to take the risk. Making ethical decisions about risk is, we will argue, not fundamentally about the actual chain of events that the decision sets in process, but about the reasonableness of the decision to take the risk in the first place. (...) A virtue ethical account of risk is needed because the notion of the ‘reasonableness’ of the decision to take the risk is affected by the complexity of the moral status of particular instances of risk-taking and the risk-taker’s responsiveness to these contextual features. The very idea of ‘reasonable risk’ welcomes judgments about the nature of the risk itself, raises questions about complicity, culpability and responsibility, while at its heart, involves a judgement about the justification of risk which unavoidably focuses our attention on the character of the individuals involved in risk making decisions. Keywords: Risk; ethics; morality; responsibility; virtue; choice; reasons . (shrink)

Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is a grammatical entity, a (...) unit of language that expresses a complete thought; a sentence may express a proposition, but is distinct from the proposition it may be used to express: categories, declarative sentences, exclamatory, imperative and interrogative sentences. Not all sentences are propositions, propositions express sentence. Sentence is a proposition only in condition when it bears truth values i.e. true or false. We use English sentences governed by imprecise rule to state the precise rules of proposition. In logic we use sentence as logical entity having propositional function but grammatical sentences are different from logical sentences while the former are having only two divisions namely subject and predicate and may express wishes, orders, surprise or facts and also have multiple subjects and predicates and the latter must be in a propositional form which states quantity of the subject and the quality of the proposition and multiple subjects and multiple predicate make the proposition multiple. (shrink)

Previous work in Game Studies has centered on several loci of investigation in seeking to understand virtual gameworlds. First, researchers have scrutinized the concept of the virtual world itself and how it relates to the idea of “the magic circle”. Second, the field has outlined various forms of experienced “presence”. Third, scholarship has noted that the boundaries between the world of everyday life and virtual worlds are porous, and that this fosters a multiplicity of identities as players identify both with (...) themselves-offline and themselves-in-game. Despite widespread agreement that these topics are targets for research, so far those working on these topics do not have mutually agreed-upon framework. Here we draw upon the work of Alfred Schutz to take up this call. We provide a phenomenological framework which can be used to describe the phenomena of interest to Game Studies, as well as open new avenues of inquiry, in a way acceptable and useful to all. This helps to distinguish the core of the field from the supplemental theoretical and critical commitments which characterize diverse approaches within the field. (shrink)

Andrew Cling presents a new version of the epistemic regress problem, and argues that intuitionist foundationalism, social contextualism, holistic coherentism, and infinitism fail to solve it. Cling’s discussion is quite instructive, and deserving of careful consideration. But, I argue, Cling’s discussion is not in all respects decisive. I argue that Cling’s dilemma argument against holistic coherentism fails.

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

We construct a machine that knows its own code, at the price of not knowing its own factivity.

This article introduces a new formulation of the interest theory of rights. The focus is on ‘Bentham’s test’, which was devised by Matthew Kramer to limit the expansiveness of the interest theory. According to the test, a party holds a right correlative to a duty only if that party stands to undergo a development that is typically detrimental if the duty is breached. The article shows how the entire interest theory can be reformulated in terms of the test. The article (...) then focuses on a further strength of the interest theory, brought to the fore by the new formulation. In any Western legal system, the tortious maltreatment of a child or a mentally disabled individual results in a compensatory duty. The interest theory can account for such duties in a simple and elegant way. The will theory, on the other hand, struggles to explain such compensatory duties unless it abandons some of its main tenets. (shrink)

In The illusion of conscious will , Daniel Wegner offers an exciting, informative, and potentially threatening treatise on the psychology of action. I offer several interpretations of the thesis that conscious will is an illusion. The one Wegner seems to suggest is "modular epiphenomenalism": conscious experience of will is produced by a brain system distinct from the system that produces action; it interprets our behavior but does not, as it seems to us, cause it. I argue that the evidence Wegner (...) presents to support this theory, though fascinating, is inconclusive and, in any case, he has not shown that conscious will does not play a crucial causal role in planning, forming intentions, etc. This theory's potential blow to our self-conception turns out to be a glancing one. (shrink)

The conflation of two fundamentally distinct issues has generated serious confusion in the philosophical and biological literature concerning the units of selection. The question of how a unit of selection of defined, theoretically, is rarely distinguished from the question of how to determine the empirical accuracy of claims--either specific or general--concerning which unit(s) is undergoing selection processes. In this paper, I begin by refining a definition of the unit of selection, first presented in the philosophical literature by William Wimsatt, which (...) is grounded in the structure of natural selection models. I then explore the implications of this structural definition for empirical evaluation of claims about units of selection. I consider criticisms of this view presented by Elliott Sober--criticisms taken by some (for example, Mayo and Gilinsky 1987) to provide definitive damage to the structuralist account. I shall show that Sober has misinterpreted the structuralist views; he knocks down a straw man in order to motivate his own causal account. Furthermore, I shall argue, Sober's causal account is dependent on the structuralist account that he rejects. I conclude by indicating how the refined structural definition can clarify which sorts of empirical evidence could be brought to bear on a controversial case involving units of selection. (shrink)

In this paper, I will reread the history of molecular genetics from a psychoanalytical angle, analysing it as a case history. Building on the developmental theories of Freud and his followers, I will distinguish four stages, namely: (1) oedipal childhood, notably the epoch of model building (1943–1953); (2) the latency period, with a focus on the development of basic skills (1953–1989); (3) adolescence, exemplified by the Human Genome Project, with its fierce conflicts, great expectations and grandiose claims (1989–2003) and (4) (...) adulthood (2003–present) during which revolutionary research areas such as molecular biology and genomics have achieved a certain level of normalcy—have evolved into a normal science. I will indicate how a psychoanalytical assessment conducted in this manner may help us to interpret and address some of the key normative issues that have been raised with regard to molecular genetics over the years, such as ‘relevance’, ‘responsible innovation’ and ‘promise management’. (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

The current study tries to verify the effectiveness of a training program in increasing Crowdfunding awareness. The sample was (50) students in CIS, who were purposively selected and distributed equally into a treatment and control group. The researchers designed the study tools (a training program to increase Crowdfunding awareness). The study findings revealed the existence of statistically significant differences between the treatment and control groups in favor of the former. Furthermore, there were statistically significant differences between the pre and the (...) post measures of the treatment group in favor of the post measures. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study for Crowdfunding training program in Arabic world. (shrink)

Climate change assessments rely upon scenarios of socioeconomic developments to conceptualize alternative outcomes for global greenhouse gas emissions. These are used in conjunction with climate models to make projections of future climate. Specifically, the estimations of greenhouse gas emissions based on socioeconomic scenarios constrain climate models in their outcomes of temperatures, precipitation, etc. Traditionally, the fundamental logic of the socioeconomic scenarios—that is, the logic that makes them plausible—is developed and prioritized using methods that are very subjective. This introduces a fundamental (...) challenge for climate change assessment: The veracity of projections of future climate currently rests on subjective ground. We elaborate on these subjective aspects of scenarios in climate change research. We then consider an alternative method for developing scenarios, a systems dynamics approach called ‘Cross-Impact Balance’ (CIB) analysis. We discuss notions of ‘objective’ and ‘objectivity’ as criteria for distinguishing appropriate scenario methods for climate change research. We distinguish seven distinct meanings of ‘objective,’ and demonstrate that CIB analysis is more objective than traditional subjective approaches. However, we also consider criticisms concerning which of the seven meanings of ‘objective’ are appropriate for scenario work. Finally, we arrive at conclusions regarding which meanings of ‘objective’ and ‘objectivity’ are relevant for climate change research. Because scientific assessments uncover knowledge relevant to the responses of a real, independently existing climate system, this requires scenario methodologies employed in such studies to also uphold the seven meanings of ‘objective’ and ‘objectivity.’. (shrink)

Two prevalent assumptions in the philosophy of sport literature are that all sports are games and that all games are contests, meant to determine who is the better at the skills definitive of the sport. If these are correct, it would follow that all sports are contests and that a range of sporting activities, including nature sports, are not in fact sports at all. This paper first confronts the notion that sport and games must seek to resolve skill superiority through (...) consideration of sport activities that have no such aim. The reduction of sport to game is also shown to be untenable and due to misunderstanding the point of sport activities, specifically, why people engage in them. This leads to reconsideration of the dominance of an instrumental conception of sport and the pursuit of excellence as anthropomaximising efficiency. The Norwegian tradition of frilutsliv is explored as a counterpoint to both conventional and nature sport. (shrink)

In this article, I explain why stabilizing constructs is important to the success of the Research Domain Criteria Project and identify one measure for facilitating such stability.

The Pythagorean tradition dominates the understanding of beauty up until the end of the 18th Century. According to this tradition, the experience of beauty is stimulated by certain relations perceived to be between an object/construct's elements. As such, the object of the experience of beauty is indeterminate: it has neither a determinate perceptual analogue (one cannot simply identify beauty as you can a straight line or a particular shape) nor a determinate concept (there are no necessary and sufficient conditions for (...) beauty at the semantic level). By the 13th Century in the West, the pleasure experienced in beauty is characterized as disinterested. Yet, on the basis that all cultural manifestations of the pythagorean theory of beauty recognize that judgments of beauty are genuine judgments, we would want to say that judgments of beauty are lawful. In addition, from ancient times, up until after Kant, philosophers of beauty within this tradition recognize two kinds of beauty: a universal, unchanging beauty coexisting with a relative, dynamic beauty. These two kinds of beauty and the tensions discussed above, are reconciled and dissolved respectively, according to the metaphysical/religious commitments of the particular author. As yet, however, these features of beauty have not been reconciled within a physicalist worldview. This is what I set out to do. (shrink)

In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It combines (...) features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)

In 1906, Henry Stephens Salt published a short collection of essays that presented several rhetorically powerful, if formally deficient arguments for the vegetarian position. By interpreting Salt as a moral sentimentalist with ties to Aristotelian virtue ethics, I propose that his aesthetic argument deserves contemporary consideration. First, I connect ethics and aesthetics with the Greek concepts of kalon and kalokagathia that depend equally on beauty and morality before presenting Salt’s assertion: slaughterhouses are disgusting, therefore they should not be promoted. I (...) suggest three areas of development since Salt’s death that could be fruitfully plumbed to rebuild this assertion into a contemporary argument: an updated analysis of factory farm conditions, insights from moral psychologists on the adaptive socio-biological benefits of disgust as a source of cognitive information, and hermeneutical considerations about the role of the audience that allow blameworthiness for slaughterhouse atrocities to be laid upon the meat-eater. (shrink)

Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relationships. We have designed a PRotein Ontology (PRO) (...) to facilitate protein annotation and to guide new experiments. The components of PRO extend from the classification of proteins on the basis of evolutionary relationships to the representation of the multiple protein forms of a gene (products generated by genetic variation, alternative splicing, proteolytic cleavage, and other post-translational modification). PRO will allow the specification of relationships between PRO, GO and other OBO Foundry ontologies. Here we describe the initial development of PRO, illustrated using human proteins from the TGF-beta signaling pathway. (shrink)

It is standard practice, when distinguishing between the foundationalist and the coherentist, to construe the coherentist as an internalist. The coherentist, the construal goes, says that justification is solely a matter of coherence, and that coherence, in turn, is solely a matter of internal relations between beliefs. The coherentist, so construed, is an internalist (in the sense I have in mind) in that the coherentist, so construed, says that whether a belief is justified hinges solely on what the subject is (...) like mentally. I argue that this practice is fundamentally misguided, by arguing that the foundationalism / coherentism debate and the internalism / externalism debate are about two very different things, so that there is nothing, qua coherentist, precluding the coherentist from siding with the externalist. I then argue that this spells trouble for two of the three most pressing and widely known objections to coherentism: the Alternative-Systems Objection and the Isolation Objection. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Given the recent explosion of interest in applications of evolutionary biology to understanding human psychology, we think it timely to assure better understanding of modern evolutionary theory among the psychologists who might be using it. We find it necessary to do so because of the very reducd version of evolutionary theorizing that has been incorporated into much of evolutionary psychology so far. Our aim here is to clarify why the use of a reduced version of evolutionary genetics will lead to (...) faulty science and to indicate where other resources of evolutionary biology can be found that might elevate the standard of the evolutionary component of evolutionary psychology. (shrink)

We present a theoretical view of the cellular foundations for network-level processes involved in producing our conscious experience. Inputs to apical synapses in layer 1 of a large subset of neocortical cells are summed at an integration zone near the top of their apical trunk. These inputs come from diverse sources and provide a context within which the transmission of information abstracted from sensory input to their basal and perisomatic synapses can be amplified when relevant. We argue that apical amplification (...) enables conscious perceptual experience and makes it more flexible, and thus more adaptive, by being sensitive to context. Apical amplification provides a possible mechanism for recurrent processing theory that avoids strong loops. It makes the broadcasting hypothesized by global neuronal workspace theories feasible while preserving the distinct contributions of the individual cells receiving the broadcast. It also provides mechanisms that contribute to the holistic aspects of integrated information theory. As apical amplification is highly dependent on cholinergic, aminergic, and other neuromodulators, it relates the specific contents of conscious experience to global mental states and to fluctuations in arousal when awake. We conclude that apical dendrites provide a cellular mechanism for the context-sensitive selective amplification that is a cardinal prerequisite of conscious perception. (shrink)

The appearance of consciousness in the universe remains one of the major mysteries unsolved by science or philosophy. Absent an agreed-upon definition of consciousness or even a convenient system to test theories of consciousness, a confusing heterogeneity of theories proliferate. In pursuit of clarifying this complicated discourse, we here interpret various frameworks for the scientific and philosophical study of consciousness through the lens of social insect evolutionary biology. To do so, we first discuss the notion of a forward test versus (...) a reverse test, analogous to the normal and revolutionary phases of the scientific process. Contemporary theories of consciousness are forward tests for consciousness, in that they strive to become a means to classify the level of consciousness of arbitrary states and systems. Yet no such theory of consciousness has earned sufficient confidence such that it might be actually used as a forward test in ambiguous settings. What is needed now is thus a legitimate reverse test for theories of consciousness, to provide internal and external calibration of different frameworks. A reverse test for consciousness would ideally look like a method for referencing theories of consciousness to a tractable model system. We introduce the Ant Colony Test as a rigorous reverse test for consciousness. We show that social insect colonies, though disaggregated collectives, fulfill many of the prerequisites for conscious awareness met by humans and honey bee workers. A long lineage of philosophically-neutral neurobehavioral, evolutionary, and ecological studies on social insect colonies can thus be redeployed for the study of consciousness in general. We suggest that the ACT can provide insight into the nature of consciousness, and highlight the ant colony as a model system for ethically performing clarifying experiments about consciousness. (shrink)

Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (shrink)

This paper argues that, with modification, Rawls's social contract theory can produce principles of distributive justice applying to the severely disabled. It is a response to critics who claim that Rawls's assumption that the parties in the original position represent fully cooperating citizens excludes the disabled from the social contract. I propose that this idealizing assumption should be dropped at the constitutional stage of the contract where the parties decide on a social minimum. Knowing that they might not be fully (...) capable of social cooperation, the parties will choose a social minimum that is as high and comprehensive as is compatible with the difference principle. This will ensure that the disabled have an adequate income. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

Strategic Reliabilism is a framework that yields relative epistemic evaluations of belief-producing cognitive processes. It is a theory of cognitive excellence, or more colloquially, a theory of reasoning excellence (where 'reasoning' is understood very broadly as any sort of cognitive process for coming to judgments or beliefs). First introduced in our book, Epistemology and the Psychology of Human Judgment (henceforth EPHJ), the basic idea behind SR is that epistemically excellent reasoning is efficient reasoning that leads in a robustly reliable fashion (...) to significant, true beliefs. It differs from most contemporary epistemological theories in two ways. First, it is not a theory of justification or knowledge – a theory of epistemically worthy belief. Strategic Reliabilism is a theory of epistemically worthy ways of forming beliefs. And second, Strategic Reliabilism does not attempt to account for an epistemological property that is assumed to be faithfully reflected in the epistemic judgments and intuitions of philosophers. If SR makes recommendations that accord with our reflective epistemic judgments and intuitions, great. If not, then so much the worse for our reflective epistemic judgments and intuitions. (shrink)