The idea that qualities can be had partly or to an intermediate degree is controversial among contemporary metaphysicians, but also has a considerable pedigree among philosophers and scientists. In this paper, we first aim to show that metaphysical sense can be made of this idea by proposing a partial taxonomy of metaphysical accounts of graded qualities, focusing on three particular approaches: one which explicates having a quality to a degree in terms of having a property with an in-built degree, another (...) based on the idea that instantiation admits of degrees, and a third which derives the degree to which a quality is had from the aspects of multi-dimensional properties. Our second aim is to demonstrate that the choice between these accounts can make a substantial metaphysical difference. To make this point, we rely on two case studies (involving quantum observables and values) in which we apply the accounts in order to model apparent cases of metaphysical gradedness. (shrink)

While intimately familiar, gender eludes theorizing. We argue that well-known challenges to gender’s analysis originate in a subtle ambiguity: questions about gender sometimes express questions about gender categories themselves (e.g., womanhood, manhood, and so on), while at other times expressing questions about what makes someone a member of these categories. Distinguishing these questions accentuates gender’s connections to morality, making a novel “antirealist” view of gender, or as we call it, “unrealist” view, especially natural. Gender’s relations to identity, sex, and social (...) position are illuminated along the way. Taking cues from both historical and contemporary debates in metaethics about the roles that attitudes can play in metaphysical and semantic analysis, we introduce and begin developing a comprehensive non-ameliorative framework for explicating gender’s nature and our thought and talk about it. In a slogan, on the view we defend, you belong to the gender category to which you intrinsically desire to belong. (shrink)

A vexing problem in contemporary epistemology—one with origins in Plato’s Meno—concerns the value of knowledge, and in particular, whether and how the value of knowledge exceeds the value of mere true opinion. The recent literature is deeply divided on the matter of how best to address the problem. One point, however, remains unquestioned: that if a solution is to be found, it will be at the personal level, the level at which states of subjects or agents, as such, appear. We (...) take exception to this orthodoxy, or at least to its unquestioned status. We argue that subpersonal states play a significant—arguably, primary—role in much epistemically relevant cognition and thus constitute a domain in which we might reasonably expect to locate the “missing source” of epistemic value, beyond the value attached to mere true belief. (shrink)

Sometimes it is indeterminate what an agent morally ought do. This generates a Decision Ought Challenge—to give moral guidance to agents in such a scenario. This article is a field guide to the options for a theory of the decision ought for cases of indeterminacy. Three categories of view are evaluated, and the best representative for each is identified.

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

There is an intuitive difference in how we think about pluralism and attitudinal diversity in epistemological contexts versus political contexts. In an epistemological context, it seems problematically arbitrary to hold a particular belief on some issue, while also thinking it perfectly reasonable to hold a totally different belief on the same issue given the same evidence. By contrast, though, it doesn’t seem problematically arbitrary to have a particular set of political commitments, while at the same time thinking it perfectly reasonable (...) for someone in a similar position have a totally different set of political commitments. This chapter examines three explanatory theses that might be used to make sense of this difference: (1) that practical commitments are desire dependent in a way that beliefs are not; (2) that there are reasons to be resolute in practical commitments, but not in beliefs; and (3) that compromise in the face of practical political disagreement doesn’t mitigate controversy, whereas compromise in the face of disagreement about mere beliefs does mitigate controversy. (shrink)

In this paper we provide a philosophical analysis of the Hard Problem of consciousness and the implications of conceivability scenarios for current neuroscientific research. In particular, we focus on one of the most prominent neuroscientific theories of consciousness, integrated information theory (IIT). After a brief introduction on IIT, we present Chalmers’ original formulation and propose our own layered view of the hard problem, showing how 2 separate issues can be distinguished. More specifically, we argue that it’s possible to disentangle a (...) core problem of consciousness from a layered hard problem, the latter being essentially connected to Chalmers’ conceivability argument. We then assess the relation between the Hard Problem and IIT, showing how the theory resists conceivability scenarios, and how it is equipped to face up to the hard problem in its broadest acceptation. (shrink)

Philosophers have recently come to focus on explaining the phenomenon of ​bad beliefs,​ beliefs that are apparently true and well-evidenced but nevertheless objectionable. Despite this recent focus, a consensus is already forming around a particular explanation of these beliefs’ badness called ​moral encroachment​, according to which, roughly, the moral stakes engendered by bad beliefs make them particularly difficult to justify. This paper advances an alternative account not just of bad beliefs but of bad attitudes more generally according to which bad (...) beliefs’ badness originates not in a failure of sufficient evidence but in a failure to respond adequately to reasons. I motivate this alternative account through an analogy to recent discussions of moral worth centered on the well-known grocer case from Kant’s ​Groundwork​, and by showing that this analogy permits the proposed account to generalize to bad attitudes beyond belief. The paper concludes by contrasting the implications of moral encroachment and of the proposed account for bad attitudes’ blameworthiness. (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

Emotion processing is known to be impaired in psychopathy, but less is known about the cognitive mechanisms that drive this. Our study examined experiencing and suppression of emotion processing in psychopathy. Participants, violent offenders with varying levels of psychopathy, viewed positive and negative images under conditions of passive viewing, experiencing and suppressing. Higher scoring psychopathics were more cardiovascularly responsive when processing negative information than positive, possibly reflecting an anomalously rewarding aspect of processing normally unpleasant material. When required to experience emotional (...) response, by ‘getting into the feeling’ of the emotion conveyed by a negative image, higher factor 1 psychopathic individuals showed reduced responsiveness, suggesting that they were less able to do this. These data, together with the absence of corresponding differences in subjective self-report might be used to inform clinical strategies for normalising emotion processing in psychopathic offenders to improve treatment outcome, and reduce risk amongst this client group. (shrink)

A common objection to Sosa’s epistemology is that it countenances, in an objectionable way, unsafe knowledge. This objection, under closer inspection, turns out to be in far worse shape than Sosa’s critics have realised. Sosa and his defenders have offered two central response types to the idea that allowing unsafe knowledge is problematic: one response type adverts to the animal/reflective knowledge distinction that is characteristic of bi-level virtue epistemology. The other less-discussed response type appeals to the threat of dream scepticism, (...) and in particular, to the idea that many of our everyday perceptual beliefs are unsafe through the nearness of the dream possibility. The latter dreaming response to the safety objection to Sosa’s virtue epistemology has largely flown under the radar in contemporary discussions of safety and knowledge. We think that, suitably articulated in view of research in the philosophy and science of dreaming, it has much more going for it than has been appreciated. This paper further develops, beyond what Sosa does himself, the dreaming argument in response to those who think safety (as traditionally understood) is a condition on knowledge and who object to Sosa’s account on the grounds that it fails this condition. The payoffs of further developing this argument will be not only a better understanding of the importance of insights about dreaming against safety as a condition on knowledge, but also some reason to think a weaker safety condition, one that is relativised to SSS (i.e., skill/shape/situation) conditions for competence exercise, gets better results all things considered as an anti-luck codicil on knowledge. (shrink)

Louis Pojman and Robert Westmoreland have compiled the best material on the subject of equality, ranging from classical works by Aristotle, Hobbes and Rousseau to contemporary works by John Rawls, Thomas Nagel, Michael Walzer, Harry Frankfurt, Bernard Williams and Robert Nozick; and including such topics as: the concept of equality; equal opportunity; Welfare egalitarianism; resources; equal human rights and complex equality.

Inflicting harm is generally preferable to inflicting death. If you must choose between the two, you should generally choose to harm. But prenatal harm seems different. If a mother must choose between harming her fetus or aborting it, she may choose either, at least in many cases. So it seems that prenatal harm is particularly objectionable, sometimes on a par with death. This paper offers an explanation of why prenatal harm seems particularly objectionable by drawing an analogy to the all-or-nothing (...) problem. It then argues that this analogy offers independent support for the ‘voluntarist’ view that at least some parental role obligations are grounded in the choice to be a parent. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

D. M. Armstrong famously claims that deterministic laws of nature are contingent relations between universals and that his account can also be straightforwardly extended to irreducibly probabilistic laws of nature. For the most part, philosophers have neglected to scrutinize Armstrong’s account of probabilistic laws. This is surprising precisely because his own claims about probabilistic laws make it unclear just what he takes them to be. We offer three interpretations of what Armstrong-style probabilistic laws are, and argue that all three interpretations (...) are incompatible either with some feature of Armstrong’s broader metaphysics or with essential features of his account of laws (or both). (shrink)

Is simulation some new kind of science? We argue that instead simulation fits smoothly into existing scientific practice, but does so in several importantly different ways. Simulations in general, and computer simulations in particular, ought to be understood as techniques which, like many scientific techniques, can be employed in the service of various and diverse epistemic goals. We focus our attentions on the way in which simulations can function as (i) explanatory and (ii) predictive tools. We argue that a wide (...) variety of simulations, both computational and physical, are best conceived in terms of a set of common features: initial or input conditions, a mechanism or set of rules, and a set of results or output conditions. Studying simulations in these terms yields a new understanding of their character as well as a body of normative recommendations for the care and feeding of scientific simulations. (shrink)

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

I propose and defend a novel view called “de se consequentialism,” which is noteworthy for two reasons. First, it demonstrates—contra Doug Portmore, Mark Schroeder, Campbell Brown, and Michael Smith, among others—that agent-neutral consequentialism is consistent with agent-centered constraints. Second, it clarifies the nature of agent-centered constraints, thereby meriting attention from even dedicated nonconsequentialists. Scrutiny reveals that moral theories in general, whether consequentialist or not, incorporate constraints by assessing states in a first-personal guise. Consequently, de se consequentialism enacts constraints through the (...) very same feature that nonconsequentialist theories do. (shrink)

This paper investigates whether search engines and other new modes of online communication should be covered by free speech principles. It criticizes the analogical reason-ing that contemporary American courts and scholars have used to liken search engines to newspapers, and to extend free speech coverage to them based on that likeness. There are dissimilarities between search engines and newspapers that undermine the key analogy, and also rival analogies that can be drawn which don’t recommend free speech protection for search engines. (...) Partly on these bases, we argue that an analogical approach to questions of free speech coverage is of limited use in this context. Credible verdicts about how free speech principles should apply to new modes of online com-munication require us to re-excavate the normative foundations of free speech. This method for deciding free speech coverage suggests that only a subset of search engine outputs and similar online communication should receive special protection against government regulation. (shrink)

The 1994 US spectrum auction is now a paradigmatic case of the successful use of microeconomic theory for policy-making. We use a detailed analysis of it to review standard accounts in philosophy of science of how idealized models are connected to messy reality. We show that in order to understand what made the design of the spectrum auction successful, a new such account is required, and we present it here. Of especial interest is the light this sheds on the issue (...) of progress in economics. In particular, it enables us to get clear on exactly what has been progressing, and on exactly what theory has – and has not – contributed to that. This in turn has important implications for just what it is about economic theory that we should value. (shrink)

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, (...) relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

In this paper, we take a meta-theoretical stance and aim to compare and assess two conceptual frameworks that endeavor to explain phenomenal experience. In particular, we compare Feinberg & Mallatt’s Neurobiological Naturalism (NN) and Tononi’s and colleagues' Integrated Information Theory (IIT), given that the former pointed out some similarities between the two theories (Feinberg & Mallatt 2016c-d). To probe their similarity, we first give a general introduction to both frameworks. Next, we expound a ground plan for carrying out our analysis. (...) We move on to articulate a philosophical profile of NN and IIT, addressing their ontological commitments and epistemological foundations. Finally, we compare the two point-by-point, also discussing how they stand on the issue of artificial consciousness. (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

In this paper, we discuss some problems and prospects of interdisciplinary encounters by focusing on philosophy of science as a case study. After introducing the case, we give an overview about the various ways in which philosophy of science can be interdisciplinary in Section 2. In Section 3, we name some general problems concerning the possible points of interaction between philosophy of science and the sciences studied. In Section 4 we compare the advantages and risks of interdisciplinarity for individual researchers (...) and institutions. In Section 5, we discuss interdisciplinary PhD programs, in particular concerning two main problems: increased workload and the quality of supervision. In the final Section 6, we look at interdisciplinary careers beyond the PhD. (shrink)

We distinguish between two different strategies in methodology of economics. The big picture strategy, dominant in the twentieth century, ascribed to economics a unified method and evaluated this m...

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a structural (...) analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (shrink)

The open borders view is frequently dismissed for making infeasible demands. This is a potent strategy. Unlike normative arguments regarding open borders, which tend to be relatively intractable, the charge of infeasibility is supposed to operate as what we call a "normative argument-stopper." Nonetheless, we argue that the strategy fails. Bringing about open borders is perfectly feasible on the most plausible account of feasibility. We consider and reject what we take to be the only three credible ways to save the (...) charge of infeasibility: by proposing an alternative account of feasibility; by proposing an alternative, more circumscribed interpretation of the subject-matter of feasibility claims; and by proposing a more expansive account of the addressees of the demand for open borders. The first fails to vindicate the claim that infeasibility is a normative argument-stopper. The second does not provide an argument against open borders at all. The third underestimates the power of at least some non-state actors. We conclude by drawing some lessons for the open borders view and the use of feasibility in politics more generally. (shrink)

This paper discusses the question to what extent Frege made serious use of semantical notions such as reference and truth. It focuses on his apparent uses of these notions in his apparently semantical discussions of his formal system in Grundgesetze der Arithmetik and defends the view that they are to be taken at face value. This paper is in some ways a companion to "Grundgesetze der Arithmetik I §§29-32", in which there is an extended, but mostly technical, discussion of Frege's (...) attempt to prove that every well-formed expression in his formal language denotes: This paper contains more in the way of a discussion of the wider, interpretive significance of the technical interpretation given there. (shrink)

This article derives from a paper presented at the Philosophy of Religion and Mysticism Conference hosted by the Russian Academy of Sciences in Moscow, May 22-24, 2014. That paper introduced theories and methods drawn from the ”cognitive science of religion’ and suggested future avenues of research connecting CSR and scholarship on mysticism. Towards these same ends, the present article proceeds in three parts. Part I outlines the origins, aims, and basic tenets of CSR research. Part II discusses one specific causal (...) perspective that informs a wide range of CSR research, Sperber’s ”epidemiological’ approach to cultural expression, and connects this perspective to the example of creator deities. Part III discusses some possible future directions for CSR research concerning mysticism and mystical experience. Finally, a coda addresses two common misunderstandings concerning the ”reductionist’ nature of CSR research. (shrink)

This article discusses Jennifer Hornsby's account of action in her *Actions*, together with Brian O'Shaughnessy's in *The Will*.

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

WikiSilo is a tool for theorizing across interdisciplinary fields such as Cognitive Science, and provides a vocabulary for talking about the problems of doing so. It can be used to demonstrate that a particular cognitive theory is complete and coherent at multiple levels of discourse, and commensurable with and relevant to a wider domain of cognition. WikiSilo is also a minimalist theory and methodology for effectively doing science. WikiSilo is simultaneously similar to and distinct, as well as integrated and separated (...) from Wikipedia™. This paper will introduce the advantages of WikiSilo for use in the Cognitive Sciences. (shrink)

This essay explores the thesis that for vague predicates, uncertainty over whether a borderline instance x of red/large/tall/good is to be understood as practical uncertainty over whether to treat x as red/large/tall/good. Expressivist and quasi-realist treatments of vague predicates due to John MacFarlane and Daniel Elstein provide the stalking-horse. It examines the notion of treating/counting a thing as F , and links a central question about our attitudes to vague predications to normative evaluation of plans to treat a thing as (...) F . The essay examines how the account applies to normatively defective or contested terms. The final section raises a puzzle about the mechanics of MacFarlane’s detailed implementation for the case of gradable adjectives. (shrink)

: The current difference in attitude toward germ-line enhancement in humans and nonhumans is unjustified. Society should be more cautious in modifying the genes of nonhumans and more bold in thinking about modifying our own genome. I identify four classes of arguments pertaining to germ-line enhancement: safety arguments, justice arguments, trust arguments, and naturalness arguments. The first three types are compelling, but do not distinguish between human and nonhuman cases. The final class of argument would justify a distinction between human (...) and nonhuman germ-line enhancement; however, this type of argument fails and, therefore, the discrepancy in attitude toward human and nonhuman germ-line enhancement is unjustified. (shrink)

How are permutation arguments for the inscrutability of reference to be formulated in the context of a Davidsonian truth-theoretic semantics? Davidson takes these arguments to establish that there are no grounds for favouring a reference scheme that assigns London to “Londres”, rather than one that assigns Sydney to that name. We shall see, however, that it is far from clear whether permutation arguments work when set out in the context of the kind of truth-theoretic semantics which Davidson favours. The principle (...) required to make the argument work allows us to resurrect Foster problems against the Davidsonian position. The Foster problems and the permutation inscrutability problems stand or fall together: they are one puzzle, not two. (shrink)

Communicative practices in online and social media sometimes seem to amplify political conflict, and result in significant harms to people who become the targets of collective outrage. Many complaints that have been made about political correctness in the past, we argue, amount to little more than a veiled expression of resentment over the increasing influence enjoyed by progressive activists. But some complaints about political correctness take on a different complexion, in light of the technologically-driven changes to our communicative practices and (...) political discourse. Given the ways in which they are entangled in these new forms of online communication, well-meaning attempts to police the norms of political correctness may end up contributing to individual wrongs, or to destructive social patterns. In this paper we examine these worries, situate them in a broader sociological context, and offer some tentative proposals about how they might be addressed. (shrink)

Cambridge’deki büyük akademik cemaatin sakinleri olan bizler bir araya geldik ve hoşgörü ve onun egemen politik iklim içerisindeki yeri hakkında dostça ama ateşli bir tartışma yürüttük. Okuyucu, bizim nerelerde aynı düşüncede olmadığımızı bulmakta hiçbir zorluk çekmeyecektir. Diğer taraftan, farklı başlangıç noktalarından ve farklı yollardan hareketle yaklaşık olarak aynı yere ulaştık. Her birimiz için, egemen hoşgörü kuramı ve pratiğinin, incelendiği takdirde, korkunç politik gerçekleri gizlemeye yarayan bir maske olduğu ortaya çıktı. Kızgınlığın tonu makaleden makaleye keskin bir şekilde artmakta; belki de boş (...) yere, okuyucuların bu noktaya getiren akıl yürütmeyi takip edeceklerini umuyoruz. Nihayetinde bu kızgınlık hem kafa hem de kalpte ikamet etmektedir…. (shrink)

If people have stringent moral rights, then the doctrine of double effect is false or unimportant, at least when it comes to making acts permissible or wrong. There are strong and weak versions of the doctrine of double effect. The strong version asserts that an act is morally right if and only if the agent does not intentionally infringe a moral norm and the act brings about a desirable result (perhaps the best state of affairs available to the agent or (...) a promotion of the common good). The weak version asserts that, other things being equal, it is deontically worse to intentionally infringe a norm than to foreseeably do so. A person’s intention or mere foresight might still be relevant to his or her blameworthiness or virtue, but this is a separate issue. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

Convergence research is driven by specific and compelling problems and requires deep integration across disciplines. The potential of convergence research is widely recognized, but questions remain about how to design, facilitate, and assess such research. Here we analyze a seven-year, twelve-million-dollar convergence project on sustainable climate risk management to answer two questions. First, what is the impact of a project-level emphasis on the values that motivate and tie convergence research to the compelling problems? Second, how does participation in convergence projects (...) shape the research of postdoctoral scholars who are still in the process of establishing themselves professionally? We use an interview-based approach to characterize what the project specifically enabled in each participant’s research. We find that (a) the project pushed participants’ research into better alignment with the motivating concept of convergence research and that this effect was stronger for postdoctoral scholars than for more senior faculty. (b) Postdocs’ self-assessed understanding of key project themes, however, appears unconnected to metrics of project participation, raising questions about training and integration. Regarding values, (c) the project enabled heightened attention to values in the research of a large minority of participants. (d) Participants strongly believe in the importance of explicitly reflecting on values that motivate and pervade scientific research, but they question their own understanding of how to put value-focused science into practice. This mismatch of perceived importance with poor understanding highlights an unmet need in the practice of convergence science. (shrink)

In his absorbing book Art as Performance, David Davies argues that artworks should be identified, not with artistic products such as paintings or novels, but instead with the artistic actions or processes that produced such items. Such a view had an earlier incarnation in Currie’s widely criticized “action type hypothesis”, but Davies argues that it is instead action tokens rather than types with which artworks should be identified. This rich and complex work repays the closest study in spite of some (...) basic objections to be raised concerning Davies’s central concept of an action token. (shrink)

The ten original studies included in this Research Topic investigate selected assumptions and predictions of parochial altruism theory in detail. We, the editors, are convinced that their highly instructive findings will help researchers interested in parochial altruism, but also in intergroup psychology more generally, to gain a much more fine-grained understanding of the interplay of altruistic and spiteful motives in human decision making in the context of intergroup relations. The broad range of disciplines represented by the authors contributing to this (...) Research Topic and the variety of methods used in their studies are representative for the current interdisciplinary interest in parochial altruism. The most important insight that, in our view, can be derived from the works collected here is that human decision making in intergroup contexts is more complex than suggested by current theory. Thus, we hope that future theorizing on parochial altruism will be stimulated by the evidence gathered in this Research Topic. In this editorial, we briefly highlight central findings reported here, which, to us, appear most informative for prospective enhancements of parochial altruism theory. (shrink)

Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean (...) algebra. (shrink)

For anyone with an interest in the philosophical teachings of Ch’an (Zen Buddhism), the Platform Sutra is arguably the classic source of philosophical as opposed to religious Ch’an. The text is exclusively concerned with expounding the nature of Ch’an and its key feature: enlightenment achieved by the mind alone or by pure understanding without the assistance of textual authority, religious devotion, charitable acts, meditative practices or monastic discipline. Yet, despite its centrality in Zen Buddhism, the book presents one account of (...) enlightenment that has received very little attention: the story of the General. It is commonly thought that emotions are to be repressed in order to attain enlightenment. The argument I would like to present is that one case of attaining enlightenment recounted in the Platform Sutra shows that one ought to take a very different attitude to desire and emotions than annihilation, tranquilization or repression. From the account of the General, it would appear that desires and emotions are not to be simply eradicated or repressed. Rather, they must first be expressed and then acknowledged as possessed before one can attain enlightenment. (shrink)

In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the (...) most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived. (shrink)

We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...) capacities. Moreover, we try to express the description of problem speci cation using the tools from applied ontology { RDF format for information and the Protege editor. (shrink)