The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)
The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of Robot Scientist "Adam," which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae and experimentally tested these hypotheses by using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research, we have developed an ontology and logical language. The resulting formalization involves over 10,000 different (...) research units in a nested treelike structure, 10 levels deep, that relates the 6.6 million biomass measurements to their logical description. This formalization describes how a machine contributed to scientific knowledge. (shrink)
Philosophical views of responsibility often identify responsible agency with capacities like rationality and self-control. Yet in ordinary life, we frequently hold individuals responsible who are deficient in these capacities, such as children or people with mental illness. The existing literature that addresses these cases has suggested that we merely pretend to hold these agents responsible, or that they are responsible to a diminished degree. In this paper, I demonstrate that neither of these approaches is satisfactory, and offer an alternative focused (...) on the role relationships play in determining whether it is appropriate to hold someone responsible. I argue that relationships are sources of normative expectations about how parties in that relationship ought to behave, and that we can be responsible in virtue of being subject to these norms. This is so, not only for those who are impaired or immature, but for all of us. (shrink)
People perceive that if their memories and moral beliefs changed, they would change. We investigated why individuals respond this way. In Study 1, participants judged that identity would change more after changes to memories and widely shared moral beliefs versus preferences and controversial moral beliefs. The extent to which participants judged that changes would affect their relationships predicted identity change and mediated the relationship between type of moral belief and perceived identity change. We discuss the role that social relationships play (...) in judgments of identity and highlight implications for psychology and philosophy. (shrink)
When someone says she believes that God exists, is she expressing the same kind of mental state as when she says she thinks that a lake bigger than Lake Michigan exists⎯i.e., does she refer to the same kind of cognitive attitude in both cases? Using evidence from linguistic corpora (Study 1) and behavioral experiments (Studies 2-4), the current work provides evidence that individuals typically use the word “believe” more in conjunction with statements about religious credences and “think” more in conjunction (...) with factual statements, pointing to two different understandings of claims made with these two terms. These patterns do not appear to reflect low-level differences based on the amount of consensus surrounding a particular claim, the extent to which the truth of a particular claim is known to the participant, or linguistic differences between religious and factual statements. We discuss implications of these findings for religious cognition (e.g., as supporting the theory that religious credences are qualitatively distinct from factual beliefs) as well as cognitive processes more broadly. Finally, we relate the present findings to prior theoretical work on differences between factual belief and religious credence. (shrink)
For centuries, humans have contemplated the minds of gods. Research on religious cognition is spread across sub-disciplines, making it difficult to gain a complete understanding of how people reason about gods' minds. We integrate approaches from cognitive, developmental, and social psychology and neuroscience to illuminate the origins of religious cognition. First, we show that although adults explicitly discriminate supernatural minds from human minds, their implicit responses reveal far less discrimination. Next, we demonstrate that children's religious cognition often matches adults' implicit (...) responses, revealing anthropomorphic notions of God's mind. Together, data from children and adults suggest the intuitive nature of perceiving God's mind as human-like. We then propose three complementary explanations for why anthropomorphism persists in adulthood, suggesting that anthropomorphism may be an instance of the anchoring and adjustment heuristic; a reflection of early testimony; and/or an evolutionary byproduct. (shrink)
Adults report that moral characteristics—particularly widely shared moral beliefs—are central to identity. This perception appears driven by the view that changes to widely shared moral beliefs would alter friendships and that this change in social relationships would, in turn, alter an individual's personal identity. Because reasoning about identity changes substantially during adolescence, the current work tested pre- and post-adolescents to reveal the role that such changes could play in moral cognition. Experiment 1 showed that 8- to 10-year-olds, like adults, judged (...) that people would change more after changes to their widely shared moral beliefs (e.g., whether hitting is wrong) than after changes to controversial moral beliefs (e.g., whether telling prosocial lies is wrong). Following up on this basic effect, a second experiment examined whether participants regard all changes to widely shared moral beliefs as equally impactful. Adults, but not children, reported that individuals would change more if their good moral beliefs (e.g., it is not okay to hit) transformed into bad moral beliefs (e.g., it is okay to hit) than if the opposite change occurred. This difference in adults was mediated by perceptions of how much changes to each type of belief would alter friendships. We discuss implications for moral judgment and social cognitive development. (shrink)
For intermediate logics, there is obtained in the paper an algebraic equivalent of the disjunction propertyDP. It is proved that the logic of finite binary trees is not maximal among intermediate logics withDP. Introduced is a logicND, which has the only maximal extension withDP, namely, the logicML of finite problems.
According to familiar accounts, Rousseau held that humans are actuated by two distinct kinds of self love: amour de soi, a benign concern for one's self-preservation and well-being; and amour-propre, a malign concern to stand above other people, delighting in their despite. I argue that although amour-propre can (and often does) assume this malign form, this is not intrinsic to its character. The first and best rank among men that amour-propre directs us to claim for ourselves is that of occupying (...) 'man's estate'. This does not require, indeed it precludes, subjection of others. Amour-propre does not need suppression or circumscription if we are to live good lives; it rather requires direction to its proper end, not a delusive one. (shrink)
This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.
A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.Theorem on interpolation. For every intermediate logic L the following statements are equivalent:(i) Craig's interpolation theorem holds in L, (ii) L possesses the generalized interpolation property, (iii) Robinson's consistency statement is true in L.
Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena Rasiowa in , . It is very fruitful in investigation of non-classical logics because it makes possible to study large families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply powerful machinery of universal algebra. In this paper we present an overview of results on interpolation and definability in modal and positive logics,and (...) also in extensions of Johansson's minimal logic. All these logics are strongly complete under algebraic semantics. It allows to combine syntactic methods with studying varieties of algebras and to flnd algebraic equivalents for interpolation and related properties. Moreover, we give exhaustive solution to interpolation and some related problems for many families of propositional logics and calculi. (shrink)
It is proved that there are exactly 16 superintuitionistic propositional logics with the projective Beth property. These logics are finitely axiomatizable and have the finite model property. Simultaneously, all varieties of Heyting algebras with strong epimorphisms surjectivity are found.
Moral judgment constitutes an important aspect of adults’ social interactions. How do adults’ moral judgments develop? We discuss work from cognitive and social psychology on adults’ moral judgment, and we review developmental research to illuminate its origins. Work in these fields shows that adults make nuanced moral judgments based on a number of factors, including harm aversion, and that the origins of such judgments lie early in development. We begin by reviewing evidence showing that distress signals can cue moral judgments (...) but are not necessary for moral judgment to occur. Next, we discuss findings demonstrating that both children and adults distinguish moral violations from violations of social norms, and we highlight the influence of both moral rules and social norms on moral judgment. We also discuss the influence of actors’ intentions on moral judgment. Finally, we offer some closing thoughts on potential similarities between moral cognition and reasoning about other ideologies. (shrink)
Using mobile health research as an extended example, this article provides an overview of when the Common Rule “applies” to a variety of activities, what might be meant when one says that the Common Rule does or does not “apply,” the extent to which these different meanings of “apply” matter, and, when the Common Rule does apply, how it applies.
In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any normal modal logic is equivalent to the so-called super-embedding property of a suitable class of modal algebras. The joint embedding property of a class of algebras is equivalent to the Pseudo-Relevance Property. We consider connections of the above-mentioned properties with interpolation and amalgamation. Also an algebraic equivalent of of the principle of variable separation in superintuitionistic logics will (...) be found. (shrink)
Kavramlar doğru anlamlandırılmadığı takdirde meselelerin anlaşılması noktasında yanlış sonuçlara varmanın kaçınılmaz olduğu bir hakikattir. Fıtrat kavramı bu manada insanın neliği bağlamında başat kavram olarak her daim farklı değerlendirmelere konu olmuştur. İnsanın, gerek kendisini var eden Allah ile olan ilişkisi gerekse hemcinsleriyle ve içerisinde yaşadığı âlemle ilişkisi çerçevesinde bu kavramın anlam alanının tespiti yine ait olduğu dünya üzerinden yapıldığı zaman konu hakkında doğru sonuçların elde edilmesine imkân tanıyacaktır. Kur’ân ve hadislerde yerini bulan fıtrat kavramının anlam alanına yönelik çalışmaların bu alanlarda derinlemesine (...) tahlili noktasında söz konusu metinleri, kendi iç bütünlükleri ve birbirleriyle olan ilişkileri bağlamında meseleyi ele alması, en sağlıklı yol olacaktır. Bu çalışmada kavramın önce sözlük anlamı, türevleri üzerinden ele alınmış daha sonra Kur’ân ve hadislerde geçtiği durumları, belirtilen usûl üzerinden değerlendirmeye tâbi tutulmuştur. Sonuç olarak luğavî anlamı da dikkate alınarak fıtrat kavramı ile Kur’ân’da insanın Allah’la ilişkisine, hadislerde ise insanın doğasındaki sâfiyete ve insanlarla olan ilişkisinde dikkat gerektiren yönüne vurgu yapıldığı ortaya konulmaya çalışılmıştır. (shrink)
All extensions of the modal Grzegorczyk logic Grz possessing projective Beth's property PB2 are described. It is proved that there are exactly 13 logics over Grz with PB2. All of them are finitely axiomatizable and have the finite model property. It is shown that PB2 is strongly decidable over Grz, i.e. there is an algorithm which, for any finite system Rul of additional axiom schemes and rules of inference, decides if the calculus Grz+Rul has the projective Beth property.
Professor Lewis and I have some important differences of opinion regarding the identity and distinctness of conscious persons, which it will be well to try to clarify on the present occasion, first of all by enumerating a number of points on which we are, I think, in agreement. Both of us believe in the existence of individual persons, each of whom can be said to live in a ‘world’ of his own intentional objectivity, a world ‘as it is for him’, (...) which differs in a considerable extent, both in content and emphasis, from the world as it is for anyone else. Both of us further believe that all these intentionally objective worlds for a large part coincide in content, and are in fact excerpted from a more comprehensive real world which is common to us all, and which, in addition to in some sense including all such intentionally objective worlds, also includes many real material objects which exist regardless of our intentionality, and which further includes our own material bodies, which appear in so central a manner in each of our intentionally objective worlds. Both of us believe in matter as a transcendent reality, as well as an intentional object, and are content to accept the dicta of science as to the most probable view of its structure. We are in fact quite Cartesian and Lockean in our belief in the primary and secondary qualities of matter. We believe further that our intentional subjectivity is geared causally into our material objectivity, and that the gearing takes place, in some inscrutable manner, in our nervous systems. We both also believe that our intentional subjectivity transcends bodily mechanisms and instrumentalities, and can be liberated from the latter, but that, when thus liberated, our subjectivity may still affect some sort of an intentionally objective material body such as we wear in dreams, a body in which it will manifest itself to itself and to others much as we do in our dreams and fantasies. (shrink)
David Schweickart has challenged a number of claims that are central to my argument that market socialism would probably degenerate into something only nominally distinguishable from capitalism. Chief among these is the claim that competitive pressures would force the workers in a worker-controlled firm to create pay and authority differentials that would make such firms structurally homologous to capitalist firms. Schweickart challenges this on two fronts: He argues that there is no good reason to believe that market forces under market (...) socialism would create the pay and authority differentials characteristic of capitalism. He further argues that certain structural features of market socialism would insure that competition would not be as intense as it is under capitalism. Consequently, even if capitalistically structured firms were more efficient, it would not make much difference, since no sword of Damocles would hang over the heads of those firms whose workers prefer more collectivist methods of control. Let us consider each of these points in turn. (shrink)
This interview with N. Katherine Hayles, one of the foremost theorists of the posthuman, explores the concerns that led to her seminal book How We Became Posthuman, the key arguments expounded in that book, and the changes in technology and culture in the ten years since its publication. The discussion ranges across the relationships between literature and science; the trans-disciplinary project of developing a methodology appropriate to their intersection; the history of cybernetics in its cultural and political context ; the (...) changed role for psychoanalysis in the technoscientific age; and the altering forms of mediated ‘embodiment’ in the posthuman context. (shrink)
This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics. Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will (...) be able to trace both influences on her work, and the ways in which her work has influenced other logicians. In the historical part of this book, it is possible to trace important milestones in Maksimova’s career. Early on, she developed an algebraic semantics for relevance logics and relational semantics for the logic of entailment. Later, Maksimova discovered that among the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logics and for extensions of S4. Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems in big classes of logics, and on decidability and recognizability of such properties. To this end she determined a powerful combination of algebraic and semantic methods, which essentially determine the modern state of investigations in the area, as can be seen in the later chapters of this book authored by leading experts in non-classical logics. These original contributions bring the reader up to date on the very latest work in this field. (shrink)
We consider the problem of recognizing important properties of logical calculi and find complexity bounds for some decidable properties. For a given logical system L, a property P of logical calculi is called decidable over L if there is an algorithm which for any finite set Ax of new axiom schemes decides whether the calculus L + Ax has the property P or not. In  the complexity of tabularity, pre-tabularity, and interpolation problems over the intuitionistic logic Int and over (...) modal logic S4 was studied, also we found the complexity of amalgamation problems in varieties of Heyting algebras and closure algebras. In the present paper we deal with positive calculi. We prove NP-completeness of tabularity, DP-hardness of pretabularity and PSPACE-completeness of interpolation problem over Int + . In addition to above-mentioned properties, we consider Beth's definability properties. Also we improve some complexity bounds for properties of superintuitionistic calculi. (shrink)
A rational defense of the criminal law must provide a comprehensive theory of culpability. A comprehensive theory of culpability must resolve several difficult issues; in this article I will focus on only one. The general problem arises from the lack of a systematic account of relative culpability. An account of relative culpability would identify and defend a set of considerations to assess whether, why, under what circumstances, and to what extent persons who perform a criminal act with a given culpable (...) state are more or less blameworthy than persons who perform that act with a different culpable state. (shrink)