The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

We describe an evaluation undertaken on contract for the New Zealand State Services Commission of a major project (the Administrative Decision-Making Skills Project) designed to produce a model of administrative decision making and an associated teaching/learning packagefor use by government officers. It describes the evaluation of a philosophical model of decision making and the associated teaching/learning package in the setting of the New Zealand Public Service, where a deliberate attempt has been initiated to improve the quality of decision making, especially (...) in relation to moral factors. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Objective: There are benefits and risks of giving patients more granular control of their personal health information in electronic health record (EHR) systems. When designing EHR systems and policies, informaticists and system developers must balance these benefits and risks. Ethical considerations should be an explicit part of this balancing. Our objective was to develop a structured ethics framework to accomplish this. -/- Methods: We reviewed existing literature on the ethical and policy issues, developed an ethics framework called a “Points to (...) Consider” (P2C) document, and convened a national expert panel to review and critique the P2C. -/- Results: We developed the P2C to aid informaticists designing an advanced query tool for an electronic health record (EHR) system in Indianapolis. The P2C consists of six questions (“Points”) that frame important ethical issues, apply accepted principles of bioethics and Fair Information Practices, comment on how questions might be answered, and address implications for patient care. -/- Discussion: The P2C is intended to clarify whatis at stake when designers try to accommodate potentially competing ethical commitments and logistical realities. The P2C was developed to guide informaticists who were designing a query tool in an existing EHR that would permit patient granular control. While consideration of ethical issues is coming to the forefront of medical informatics design and development practices, more reflection is needed to facilitate optimal collaboration between designers and ethicists. This report contributes to that discussion. (shrink)

The linguistic foundations of science and technology include many terms that have been borrowed from ancient languages. In the case of terms with origins in the Greek language, the modern meaning can often differ significantly from the original one. Here we use the PubMed database to demonstrate the prevalence of words of Greek origin in the language of modern science, and call for scientists to exercise care when coining new terms.

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because (...) proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/. (shrink)

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

Durand of Saint-Pourçain's earliest treatment of cognitive habits is contained in his Sentences Commentary, Book 3, Distinction 23. In the first two questions, he discusses the ontological status of habits and their causal role, establishing his own unique view alongside the views of Godfrey of Fontaines and Hervaeus Natalis. What follows is the Latin text and an English translation of Durand's Sentences (A/B) III, d. 23, qq. 1-2.

According to Marr's theory of vision, computational processes of early vision rely for their success on certain "natural constraints" in the physical environment. I examine the implications of this feature of Marr's theory for the question whether psychological states supervene on neural states. It is reasonable to hold that Marr's theory is nonindividualistic in that, given the role of natural constraints, distinct computational theories of the same neural processes may be justified in different environments. But to avoid trivializing computational explanations, (...) theories must respect methodological solipsism in the sense that within a theory there cannot be differences in content without a corresponding difference in neural states. (shrink)

The first sentence of NE I.2 has roughly the form: "If A [there is a universal end] and B, then D [this end will be the best good]". According to some commentators, Aristotle uses B to infer A; but then the sentence is fallacious. According to other commentators, Aristotle does not use B ; but then the sentence is bizarre. Contrary to both sets of commentators, I suggest that Aristotle uses B together with A to infer validly that there is (...) a non-instrumental – and thus unique – universal end. On this interpretation the above two problems disappear, but a subtler problem emerges: not-B does not entail C. (shrink)

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

This paper discusses the first incarnation of what came to be known as the “Frege-Geach” point. The point was made by Peter Geach in his 1960 essay “Ascriptivism”, and developed in “Assertion”, a 1965 piece. Geach’s articles launch a wholesale attack on theories of non-descriptive performances advanced by “some Oxford philosophers” whom he accuses of ignoring “the distinction between calling a thing ‘P’ and predicating ‘P’ of a thing”. One view that Geach specifically targets is H. L. A. Hart’s (...) claim that sentences of the form “X φ-ed” are not primarily descriptive but ascriptive of responsibility for actions. Hart explicitly accepted Geach’s criticism, and disowned his essay. I argue that he was wrong to do so. Perhaps the essay was worth retracting, but not because of Geach’s objections. I begin by restating and refining Geach’s arguments, in order to bring out the flaw he claimed to have detected in the “pattern of philosophising” that he took Hart’s essay to exemplify. I go on to argue that Geach’s original point poses no obstacle either to non-descriptivism in general, or to Hart’s sui generis non-descriptivist claim in particular. (shrink)

Concerning abortion and infanticide, ethics has always seen to each one as quite puzzling an issue. The dilemma expectedly goes like this: “Are they morally good, permissible or acceptable, or are they not?” All three major approaches in ethics, viz. virtue ethics, deontology and consequentialism, have fervently exerted themselves in order to settle both. A virtue ethicist is expected to approach the issue wondering: “Is performing abortion and infanticide indicative of virtues, to wit of character traits that the virtuous agent (...) possesses?” A deontologist would bring the dilemma up for discussion asking: “Is conducting abortion and infanticide in accordance with some moral rule or principle?” To an act utilitarian, on the other hand, the same question would strike as: “Do abortion and infanticide promote the best consequences, to wit those in which happiness is maximized?” All three approaches have been applied to the subject matter ever since the classic era, sadly with no remarkable success and, most of the times, even without the slightest suspicion of the promised rigor. (shrink)

Une œuvre de fiction contient une mise en suspens si elle se termine au moment où un personnage central se retrouve dans des circonstances périlleuses. Le but de cet article est d’établir que les intentions narratives des auteurs déterminent ce qui se passe ensuite dans les œuvres qui se terminent par des mises en suspens et pour lesquelles aucune suite n’est produite. À cette fin, j’argumente à partir de l’idée qu’une suite écrite par l’auteur original résoudrait de façon unique une (...) œuvre de fiction qui aboutit à une mise en suspens; je conclus que les intentions narratives de l’auteur servent de vérifacteur pour des affirmations sur ce qui arrive ensuite en l’absence d’une telle suite. (shrink)

Peter Sloterdijk's 'In the Shadow of Mt. Sinai' and Alain Badiou's 'Our Wounds Are Not So Recent' represent distinctly different attempts to come to grips with the conflict between the West (the US, the UK, France) and the Muslim world after the September 11th attacks. Although Sloterdijk finds the source of conflict in the religious zealotry of the Abrahamic religions, while Badiou blames the multinational capitalist system for drating a disaffected underclass, the two complementary perspectives work together to make (...) this ongoing conflict intelligible, if not, finally, to stop the war on terrorism. (shrink)

Since March of 2020, the world has been brought to its knees by unscientific and unethical mandates. These mandates have destroyed the world economy and the lives of countless innocent individuals. The “cure” that has been offered by medical bureaucrats and politicians has been more deadly than the disease (COVID-19). The imposition of ludicrous lockdowns, mask-wearing, coerced vaccination, and vaccine passports have not only proved to be ineffective, but also much more harmful than SARS-CoV-2 and all its variants. COVID-19 has (...) a recovery rate of close to 99% for most of the world’s population, however, despite this, institutions and power-hungry individuals have trampled upon our civil liberties and ignored our inalienable human rights. It is precisely as Thomas Paine famously stated: “The greatest tyrannies are always perpetrated in the name of the noblest causes.” -/- Many lives have been gratuitously lost because of the administration of deadly medical treatments, and the rejection of effective treatments that follow genuine science. In the process, informed consent has been disparaged and desecrated. For over two years, we were instructed to “trust the science,” but the “science” advocated by medical bureaucrats and greedy politicians was the reason why the world was turned upside-down. In the face of these crimes against humanity, justice will only be brought by real courts and real judges, but this will require the awakening of a critical mass. This book serves as an instrument for this awakening. (shrink)

A curious feature in Immanuel Kant’s account of the mathematical sublime is the choice of examples, namely, the Pyramids of Egypt and St. Peter’s Basilica. In the paragraph following these examples, Kant suggests that the sublime does not exhibit itself in works of art. This ambiguity has led scholars to question the possibility of “artistic sublimity.” The scholarship has prompted discussions about whether works of art that evoke the sublime feeling are genuine sublime experiences. A representational account of artistic (...) sublimity restricts the sublime to experiences in raw nature. Art can depict the sublime stylistically; however, it cannot evoke the feeling of sublimity. On an opposing interpretation, the sublime occurs because of a conflict between imagination and reason; any work of art that provokes this conflict is sublime. As a result, the power of the sublime overrides and annihilates determinate ends, allowing pure aesthetic judgments. The alleged contradiction in Kant’s account of the mathematical sublime is also read as an interpretive issue regarding purity, prompting the pure-impure distinction. Art that has the power to evoke the feeling of sublimity is deemed “impurely sublime” because of the admixture of interest. Alternatively, if aesthetic judgments of the sublime are satisfied irrespective of the object, then art is purely sublime without needing a further determination. Following Henry Allison, I defend the view that we should preserve a pure–impure distinction. A concept of impure sublimity allows us to account for an emotionally motiving satisfaction akin to the sublime in the presence of some works of art while maintaining a close reading of the Kantian account of pure sublimity as an exclusive consequence of raw nature. (shrink)

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless gunk. The difficulty for (...) these views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

The Ockhamist claims that our ability to do otherwise is not endangered by God’s foreknowledge because facts about God’s past beliefs regarding future contingents are soft facts about the past—i.e., temporally relational facts that depend in some sense on what happens in the future. But if our freedom, given God’s foreknowledge, requires altering some fact about the past that is clearly a hard fact, then Ockhamism fails even if facts about God’s past beliefs are soft. Recent opponents of Ockhamism, including (...) David Widerker and Peter van Inwagen, have argued along precisely these lines. Their arguments, if successful, would undermine Ockhamism while avoiding the controversy over the alleged softness of facts about God’s past beliefs. But these arguments do not succeed. The past facts they rely on must be clear and uncontroversial examples of hard facts about the past, and these facts must be such that an ability to refrain from the relevant future action implies an ability to alter the relevant hard fact. We demonstrate the flaw in these arguments by showing how they rely on past facts that do not satisfy these criteria. The Ockhamist may have troubles, but this type of argument is not one of them. (shrink)

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument (...) from practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

The present text contains a critical edition of Peter of Palude’s question of divine concurrence, found in his Sentences commentary, book II, d. 1, q. 4. The question concerns whether God is immediately active in every action of a creature, and if yes, how we should understand this divine concurrence. Peter, just as elsewhere in his commentary, considers at length the opinions of other thinkers — especially those of Giles of Rome, Durand of St.-Pourçain, and Thomas Aquinas — (...) and develops his own answer as a response to theirs. Thus, while Giles maintained that God acts uniformly in every instance of natural causation just as the sun acts uniformly by giving the same light to everything, Peter (following Durand) argues that this is incompatible with the divine creation of multiple things. Second, while Durand maintained that God is only mediately active in the actions of creatures, Peter rejects this opinion because it cannot account for miracles contra naturam (such as the three young men in Nebuchadnezzar’s fire), and because he thinks that God’s immediate action follows from his immediate conservation of creatures. Third, Peter presents Aquinas’s position in detail, and defends it against Durand’s objections; according to this position, God immediately conserves and concurs with every creature, with an action that is numerically distinct from that of the secondary agent. Although as a result of his extensive borrowing, Peter’s text might not be regarded as immensely original, it provides an interesting case study of the Dominican reaction against Durand in the early 1300’s. (shrink)

This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.

Many of us read Peter Singer ’ s work on our obligations to those in desperate need with our students. Famously, Singer argues that we have a moral obligation to give a significant portion of our assets to famine relief. If my own experience is not atypical, it is quite common for students, upon grasping the implications of Singer ’ s argument, to ask whether Singer gives to famine relief. In response it might be tempting to remind students of (...) the ad hominem fallacy of attacking the person advancing an argument rather than the argument itself. In this paper I argue that the “ ad hominem reply ” to students ’ request for information about Singer is misguided. First I show that biographical facts about the person advancing an argument can constitute indirect evidence for the soundness / unsoundness of the argument. Second, I argue that such facts are relevant because they may reveal that one can discard the argument without thereby incurring moral responsibility for failing to act on its conclusion even if the argument is sound. (shrink)

One of the important questions discussed by philosophers of technology has to do with the moral significance of artefacts in human life. While many philosophers agree that artefacts do have moral significance attached to them, opinions vary as to how it is to be construed. In this paper we deal with the approach of the influential Dutch philosopher of technology Peter Paul Verbeek. He criticizes traditional ethical theories for assuming that whatever relevancy artefacts have for morality is entirely dependent (...) on human beings, since artefacts are mere passive instruments of human agency. In contrast, he develops a view of moral agency that includes artefacts and that ascribes moral agency to human-technology hybrids rather than to humans as such. The goal of this paper is to elucidate Verbeek’s account of moral agency and evaluate it. We also deal with his views on post phenomenology and mediation underlying this account. Although the general gist of our paper is expository, we point out to several problems for Verbeek’s account. (shrink)

In this paper, I intend to deny the morality and instrumentality of the behavior known as bestiality, or the use of non-human animals for sexual gratification by human beings. While to most modern peoples, this hardly even seems like it should be in question, it should be the nature of the human mind to occasionally question long-standing traditional moray in the hopes of finding solutions to problems and the disbanding of superstition. It has been proposed that the moral question, and (...) by extension the legal question, of bestiality is based on traditions long outlived and unnecessary. In an IceNews.is article written in 2008, Norwegian lawyers were growing concerned over the prevalence of animal brothels in Denmark and the precedent it set for Norway [http://www.icenews.is, 2008]. The article, when coupled with the 2001 article title “Heavy Petting” by prominent Utilitarian philosopher, Peter Singer, proves that the issue of bestiality is no longer the purview of jokes and psychological discussions. I will argue against bestiality as a socially acceptable practice based on five standard premises. The standard premises I will present will contain notes in regard to: instrumentality; consent; disease transmission; deviance; and morality. There is significant work available on the harm done to the beast, so aside from brief summary; the question of the good of the beast is not in the focus. I will also ignore any religious concerns, either surrounding morality or freedom of practice. Instead, these arguments are in support of the moral identity of the individual and of society as a whole. (shrink)

David Lewis is typically interpreted as a class nominalist. One consequence of class nominalism, which he embraced, is that the reduction of ordered pairs, triples, etc to unordered sets of sets is conventional. The reaction by his Australian counterparts D.M. Armstrong and Peter Forrest was that Lewis was not being ontologically serious. This chapter evaluates this debate over serious ontology. It is argued that in one sense Lewis is ontologically serious, but that his additional commitment to structuralism about classes (...) should push him to adopt a trope-theoretic account of naturalness, which opens up another way to respond to the charge of not doing serious ontology. This conclusion is supported by certain remarks he makes in his correspondence, thus revealing how his thinking about properties appears to have evolved from property-egalitarianism to a sparse theory of tropes. (shrink)

Gaunilo assumes that there is no greatest conceivable island, and most philosophers have followed him in this assumption. But the option was open for Anselm (and remains open for us) to bite the bullet and ‘give him his island.’ I argue that such a response is perfectly reasonable for a Platonist like Anselm, and that even a theist who isn’t a Platonist can tolerate the island as a fairly minor addition his or her ontology.

Dealing with the metaphysical foundations of modern physical science, this book demonstrates that not only is classical metaphysics not in conflict with the principles of modern experimental science but that, when analogously transferred to the different divisions of modern science, the metaphysical principle of unity makes intelligible all the laws of modern science. This revolutionary book provides the means for reestablishing the unity of science by interpreting the whole of modern experimental science from the perspective of an analogous transfer of (...) the metaphysical principle of unity rather than in terms of efficient causality. (shrink)

Through an analysis of Heloise’s third letter to Peter Abelard, and the insertion of this letter in the major context of correspondance and philosophical/theological discussion lead by Abelard, this article states that there is a triple reading approach to it: the first one is directed related with the letter’s theme and can be read as a criticism of monastic environment on 12th Century; the second one is inserted in the discussion of their correspondence, and states a continuity between the (...) second and the third letters, despite the difference on the themes; the last one is the view of how the female body, understood as a starting point to Heloise’s Christian personal experience, refutes Abelard’s inicial proposition, that is, that the body is abject. (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)

Spatially situated opinions that can be held with different degrees of conviction lead to spatiotemporal patterns such as clustering (homophily), polarization, and deadlock. Our goal is to understand how sensitive these patterns are to changes in the local nature of interactions. We introduce two different mixing mechanisms, spatial relocation and nonlocal interaction (“telephoning”), to an earlier fully spatial model (no mixing). Interestingly, the mechanisms that create deadlock in the fully spatial model have the opposite effect when there is a sufficient (...) amount of mixing. With telephoning, not only is polarization and deadlock broken up, but consensus is hastened. The effects of mixing by relocation are even more pronounced. Further insight into these dynamics is obtained for selected parameter regimes via comparison to the mean-field differential equations. (shrink)

It is taken for granted that the explanation of the Universe’s space-time dimension belongs to the host of the arguments that exhibit the superiority of modern (inflationary) cosmology over the standard model. In the present paper some doubts are expressed . They are based upon the fact superstring theory is too formal to represent genuine unification of general relativity and quantum field theory. Neveretheless, the fact cannot exclude the opportunity that in future the superstring theory can become more physical. Hence (...) this paper does not aim to query neither string cosmology, nor superstring theory; it asks for “tolerance in the matters cosmological”. It advices the researchers not to dwell on the common way of unification and to take into consideration the other ways as well. (shrink)

唯物主义、还原主义、行为主义、功能主义、动态系统理论和计算主义是流行的观点,但维特根斯坦却认为它们不连贯。行为研究包括人类生活的所有内容,但行为在很大程度上是自动的和无意识的,甚至意识部分,大多用语言 表达(维特根斯坦与头脑等同),不是一种自在的,所以拥有西尔称为理性逻辑结构(LSR)的框架,我称之为高阶思想的描述性心理学(DPHOT)。在总结了维特根斯坦和西尔提出的框架后,现代推理研究扩展了这个框 架,我展示了Carruther观点中的不足之处,这些观点渗透到大多数关于行为的讨论,包括当代行为科学。我认为,他的书是两本书的混合体,一本是认知心理学的摘要,另一本是头脑中标准哲学混乱的总结,并添加了 一些新的行话。我建议,后者应该被视为不连贯或卡通的生活观点,以维特根斯坦的话,我们可以实践成功的自我治疗,把心灵/身体问题作为一个语言/身体问题。 那些希望从现代两个系统的观点来看为人类行为建立一个全面的最新框架的人,可以查阅我的书《路德维希的哲学、心理学、Min d和语言的逻辑结构》维特根斯坦和约翰·西尔的《第二部》(2019年)。那些对我更多的作品感兴趣的人可能会看到《会说话的猴子——一个末日星球上的哲学、心理学、科学、宗教和政治——文章和评论2006-20 19年第3次(2019年)和自杀乌托邦幻想21篇世纪4日 (2019) .

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an (...) unusual solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

Today marks the 7th anniversary of the Centre for Interdisciplinary Social Research (ISR), at Phenikaa University. ISR has for seven years now the place where the co-founders of this portal have been working and producing publications. A special event occurs now as the Current Conservation magazine publishes a new writing piece by our member, Dr Minh-Hoang Nguyen.

Ebola is a deadly disease with no cure; there is no vaccine developed yet. Many died during the 2014 outbreak in West Africa, and many healthcare professionals went to the virus infected area to treat the patients while placing their lives in danger. Not every medical professional placed in the field is a fully trained specialist, and sometimes one or two under-trained doctors are in charge of the entire clinic with some nurses and operating technicians. When unexpected outbreaks of the (...) virus occur in the places, the doctor(s) would encounter medical and ethical dilemmas. Should they leave or stay? In fact, this dilemma is not confined to the Ebola pandemic but relevant to all similar cases. In this paper, three authors, a medical resident, a clinical bioethicist, and a theoretical bioethicist respond to the dilemma. (shrink)

The Deaf culture in the United States is a unique culture that is not widely understood. To members of the Deaf community in the United States, deafness is not viewed as a disease or pathology to be treated or cured; instead it is seen as a difference in human experience. Members of this community do not hide their deafness; instead they take great pride in their Deaf identity. The Deaf culture in the United States is very communitarian not individualistic. Mary (...) Beth and Dominic are a married couple in their late 20s who are genetically deaf. They are active members in the Deaf community and work as advocates for individuals who are deaf, family members of Deaf people and sign language interpreters who identify with the Deaf culture. Mary Beth and Dominic approach the fertility clinic with a request that they only want a child with the genetic gene for deafness. They would want the embryos that do not have the gene to be destroyed. This would entail creating a child who would have the gene for deafness. Medically and ethically, should the fertility clinic agree to the couple’s request? The authors argue that the couple's request should be denied and provide reasons for it from the perspectives of foundational and clinical ethics. (shrink)

Recent studies show that racism still exists in the American medical profession, the fact of which legitimizes the historically long-legacy of mistrust towards medical profession and health authorities among African Americans. Thus, it was suspected that the participation of black patients in end-of-life care has always been significantly low stemmed primarily from their mistrust of the medical profession. On the other hand, much research finds that there are other reasons than the mistrust which makes African Americans feel reluctant to the (...) end-of-life care, such as cultural-religious difference and genuine misunderstanding of the services. If so, two crucial questions are raised. One is how pervasive or significant the mistrust is, compared to the other factors, when they opt out of the end-of-life care. The other is if there is a remedy or solution to the seemingly broken relationship. While no studies available answer these questions, we have conducted an experiment to explore them. The research was performed at two Philadelphia hospitals of Mercy Health System, and the result shows that Black patients’ mistrust is not too great to overcome and that education can remove the epistemic obstacles as well as overcome the mistrust. (shrink)

This page provides a quick glance at official publications that use either the bayesvl package in R or the BMF analytics (or both). The data will tell a bit about the research community’s efforts made over time and the growth of the bayesvl/BMF analytics community.

I provide a novel, non-reductive, action-first skill-based account of active imagining. I call it the Skillful Action Account of Imagining (the skillful action account for short). According to this account, to actively imagine something is to form a representation of that thing, where the agent’s forming that representation and selecting its content together constitute a means to the completion of some imaginative project. Completing imaginative projects stands to the active formation of the relevant representations as an end. The account thus (...) bakes in the means-end order that some in action theory take to be definitional of intentional action. Moreover, in the spirit of this conception of intentional action, I hold that a central feature of the means-end order exhibited in active imagining is the agent’s direct non-observational knowledge both of her act of imagining and of its having this order. The agent knows that she’s actively imagining (that-)p and knows why she actively imagines this–to carry on the pretense, engage in the fiction, predict another’s behavior, reason about possibility or necessity, reason about contingent matters of fact, just imagine for its own sake, and so on. I show that the account accounts for the possibility of misimagining while holding onto the idea that we imagine what we intend to imagine. I likewise show that the account unifies imagining across types of imaginative project like those just listed in a way that tolerates conflict in the roles that imagining plays in the mental economy across those projects. Finally, I show that the account can accommodate passive imagining like involuntary and automatic imagining as well as mind wandering. -/- Acknowledgments: I'd like to thank Amy Kind, Robert Brandom, Colin Allen, Peter Langland-Hassan, Alison Springle, Daniel Munro, Nick Wiltsher, and Andrew Rubner for excellent comments on earlier drafts from which this paper greatly benefited. I'd also like to thank two anonymous reviewers for extremely helpful comments. And I'd like to thank participants of the 2022 Simulationism Conference hosted by the Centre for Philosophy of Memory and the 4th Annual Conference [Online/Virtual] for Imagination Domination (COVID) hosted by Amy Kind for excellent feedback on earlier versions of the paper. (shrink)

The current study is conducted to examine the following research question: How are healthy eating information-seeking ability and e-health literacy associated with healthy eating intention?

The current study is conducted to examine the following research questions: 1) How are health information-seeking ability and e-health literacy associated with illness response capability? 2) How are health information-seeking ability and e-health literacy associated with the frequency of health checkups?

Global challenges such as climate change, food security, or public health have become dominant concerns in research and innovation policy. This article examines how responses to these challenges are addressed by governance actors. We argue that appeals to global challenges can give rise to a ‘solution strategy' that presents responses of dominant actors as solutions and a ‘negotiation strategy' that highlights the availability of heterogeneous and often conflicting responses. On the basis of interviews and document analyses, the study identifies both (...) strategies across local, national, and European levels. While our results demonstrate the co-existence of both strategies, we find that global challenges are most commonly highlighted together with the solutions offered by dominant actors. Global challenges are ‘wicked problems' that often become misframed as ‘tame problems’ in governance practice and thereby legitimise dominant responses. (shrink)

The current study is conducted to examine the following research questions: 1) What information sources on social media are associated with the general intention to try space tourism? 2) Does the automatically recommended information moderate the associations between multiple sources of information and the intention to try space tourism?

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. A speaker (...) is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

A great achievement makes one’s life go better independently of its results, but what makes an achievement great? A simple answer is—its difficulty. I defend this view against recent, pressing objections by interpreting difficulty in terms of competitiveness. Difficulty is determined not by how hard the agent worked for the end but by how hard others would need to do in order to compete. Successfully reaching a goal is a valuable achievement because it is difficult, and it is difficult because (...) it is competitive. Hence, both virtuosic performances and lucky successes can be valuable achievements. (shrink)