Since the publication of Alasdair MacIntyre’s After Virtue in 1981, tensions inherent to the relationship between morally educative practices and the institutions that house them have been widely noted. We propose a taxonomy of the ways in which the pursuit of external goods by institutions undermines the pursuit of the internal goods of practices. These comprise substitution, where the institution replaces the pursuit of one type of good by another; frustration, where opportunities for practitioners to discover goods or develop new (...) standards of excellence are frustrated by institutional priorities and resource allocation; and injustice, which undermines the integrity of relationships within the organization and/or with partners. These threats, though analytically distinct, are often mutually reinforcing. This conceptual contribution is illustrated both by the extant literature and by a novel context, the three-ring circus. (shrink)

In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...) relevant logics and , respectively. We argue that such properties address a sort of semantic lossiness of strong depth relevance. (shrink)

Much has been written about the ethics of eating meat. Far less has been said about the ethics of serving meat. In this paper I argue that we often shouldn’t serve meat, even if it is morally permissible for individuals to purchase and eat meat. Historically, the ethical conversation surrounding meat has been limited to individual diets, meat producers, and government actors. I argue that if we stop the conversation there, then the urgent moral problems associated with industrial animal agriculture (...) will go unsolved. Instead, we must also consider the important but overlooked role that midsized institutions play in addressing major collective problems. I focus mostly on the harms that industrial animal agriculture inflicts on humans, animals, and the environment, but the discussion bears on other global issues like climate change. Institutional choices are an underexplored avenue for driving social change—their power and influence outstrip individual actions, and they can shape behavior in modest ways that promote social goods. Here I highlight the paradigmatic case of catered events and suggest three ways that institutional actors can reduce meat consumption and shape cultural attitudes surrounding meat: large impact decisions, subtly shaping incentives, and consolidating burdens. (shrink)

Although a safe, effective, and licensed coronavirus vaccine does not yet exist, there is already controversy over how it ought to be allocated. Justice is clearly at stake, but it is unclear what justice requires in the international distribution of a scarce vaccine during a pandemic. Many are condemning ‘vaccine nationalism’ as an obstacle to equitable global distribution. We argue that limited national partiality in allocating vaccines will be a component of justice rather than an obstacle to it. For there (...) are role-based and community-embedded responsibilities to take care of one’s own, which constitute legitimate moral reasons for some identity-related prioritisation. Furthermore, a good form of vaccine nationalism prioritises one’s own without denying or ignoring duties derived from a principle of equal worth, according to which all persons, regardless of citizenship or identity, equally deserve vaccine-induced protection from COVID-19. Rather than dismissing nationalism as a tragic obstacle, it is necessary to acknowledge that a limited form of it is valuable and expresses moral commitments. Only then can one understand our world of competing obligations, a world where cosmopolitan duties of benevolence sometimes conflict with special obligations of community membership. Once these competing obligations are recognised as such, we can begin the work of designing sound ethical frameworks for achieving justice in the global distribution of a coronavirus vaccine and developing practical strategies for avoiding, mitigating or resolving conflicts of duty. (shrink)

We must resist thoroughly reframing climate change as a health issue. For human health–centric ethical frameworks omit dimensions of value that we must duly consider. We need a new, an environmental, research ethic, one that we can use to more completely and impartially evaluate proposed research on mitigation and adaptation strategies.

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint (...) the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)

The controversy around the accommodation of conscientious objections in medicine persists, especially for such contentious services as abortions. COs are typically considered in their negativ...

Rinard (2019) brings to our attention the fact that, typically, the questions What should I believe? and What should I do? are treated differently. A typical answer to the first question is Believe according to the evidence, and a typical answer to the second question is Do what is right. But Rinard rejects this dichotomy. In its place, she argues for a view which she calls “Equal Treatment” in which one should believe according to the same considerations that govern what (...) one should do. Christensen (forthcoming) aptly situates Equal Treatment as a limit case of a recent movement towards taking pragmatic factors as partly determining what one should believe, in that Equal Treatment is a purely pragmatic view. Does Rinard’s case for a purely pragmatic view succeed? This paper argues that the answer is no. Three objections that target key parts of Rinard’s case for Equal Treatment are presented. The upshot is that the dichotomy between the answers to What should I believe? and What should I do? seems robust against strong attempts to dismantle it. (shrink)

We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, namely, Priest's Collapsing (...) Lemma and Dunn's Theorem in 3-Valued Logic. (shrink)

Editorial introduction to series of papers resulting from a European Commission Project on mental capacity.

We consider a case where consumers are faced with a choice between sweatshop-produced clothing and identical clothing produced in high-income countries. We argue that it is morally better for consumers to purchase clothing produced in sweatshops and then to compensate sweatshop workers for the difference between their actual wage and a fair wage than it is for them either to purchase the sweatshop clothing without this compensatory transfer or to purchase clothing produced in high-income countries.

Race is one of the most common variables in the social sciences, used to draw correlations between racial groups and numerous other important variables such as education, healthcare outcomes, aptitude tests, wealth, employment and so forth. But where concern with race once reflected the view that races were biologically real, many, if not most, contemporary social scientists have abandoned the idea that racial categories demarcate substantial, intrinsic biological differences between people. This, in turn, raises an important question about the significance (...) of race in those social sciences: if there is no biological basis of race, why are racial categories useful to social scientists? More specifically, in virtue of what are racial categories a successful basis of informative, important social scientific generalizations? 2 We’ll call this social science’s race puzzle. (shrink)

Volume 20, Issue 7, July 2020, Page 160-162.

Referent Tracking (RT) advocates the use of instance unique identifiers to refer to the entities comprising the subject matter of patient health records. RT promises many benefits to those who use health record data to improve patient care. To further the adoption of the paradigm we provide an illustration of how data from an EHR application needs to be decomposed in order to make it accord with the tenets of RT. We describe the ontological principles on which this decomposition is (...) based in order to allow integration efforts to be applied in similar ways to other EHR applications. We find that an ordinary statement from an EHR contains a surprising amount of “hidden” data that are only revealed by its decomposition according to these principles. (shrink)

Markosian presents an argument against certain theories of time based on the aesthetic value of music. He argues that turning a piece of music sideways in time destroys its intrinsic value, which would not be possible if the Spacetime Thesis were true. In this paper I show that sideways music poses no problems for any theory of time by demonstrating that turning a piece of music sideways does not affect its intrinsic value. I do this by appealing to spatial analogies (...) that highlight the similarities between spatial and temporal rotations. (shrink)

The idea that fictions may educate us is an old one, as is the view that they distort the truth and mislead us. While there is a long tradition of passionate assertion in this debate, systematic arguments are a recent development, and the idea of empirically testing is particularly novel. Our aim in this chapter is to provide clarity about what is at stake in this debate, what the options are, and how empirical work does or might bear on its (...) resolution. We distinguish between merely influencing people’s opinions and providing genuine learning, where the latter requires that the source of the change in opinion should be reliable. Other important ideas here are the extent to which authors of fiction may be considered to provide testimony, or something like it, and the possibility of recognizing an unstated purpose in the project of the fictional work. We ask whether fictions can furnish us not merely with ideas but with reasons for believing them, perhaps by constituting thought experiments. We consider whether the focus should be on understanding rather than on knowledge, and whether fictions can inform us about the qualities of another’s experiences. We briefly describe some experimental work of recent decades and suggest that the evidence for learning from fiction is currently meagre. (shrink)

This paper focuses on the Hasidic view, namely, that human flaws do not function as a barrier between a fallen humanity and a perfect deity, since the whole of creation stems from a divine act of self-contraction. Thus, we need not be discouraged by our own shortcomings, nor by those of our loved ones. Rather, seeing our flaws in the face of another should remind us that imperfection is an aspect of the God who created us. Such a positive approach (...) to human fallibility arouses forgiveness, mutual acceptance, and a hope for repair, and, therefore, has much to recommend itself. In the first part of the paper, I argue that the notion of a perfect God derives from the Greeks rather than the Hebrew Bible. A review of classical philosophies and the idea of God’s imperfection is followed by a consideration of several Jewish attempts to resolve the dichotomy between Divine perfection and an imperfect creation. I focus on Lurianic Kabbalah, Hans Jonas, and on the Hasidic concept of "Ayin " or “nothingness” as the very source of redemption. This Hasidic idea, which was further expanded upon by the Baal Shem Tov’s students, appears in a tale recounted by his great-grandson R. Nachman of Bratslav called “The Hanging Lamp.” I focus on the tale, which illustrates the idea that knowledge of human imperfection is itself a means of perfection and redemption. (shrink)

In ‘Against vaccine nationalism’, Nicole Hassoun misrepresents our argument, distorts our position and ignores crucial distinctions we present in our article, ‘Love thy neighbor? Allocating vaccines in a world of competing obligations’. She has created a strawman that does not resemble our position. In this reply, we address two features of ‘Against vaccine nationalism’. First, we address a phantom premise. Hassoun misattributes to us a thesis, according to which citizen-directed duties are stronger than noncitizen-directed duties. This thesis is a figment (...) of her imagination, not a fragment of our argument. Second, we address a shape-shifting ism. Ambiguity attaches to ‘vaccine nationalism,’ ambiguity that Hassoun exploits despite our distinguishing various meanings of the phrase. As a result, the type of vaccine nationalism she argues against is not the type we defend. (shrink)

The European Association for Cognitive Systems is the association resulting from the EUCog network, which has been active since 2006. It has ca. 1000 members and is currently chaired by Vincent C. Müller. We ran our annual conference on December 08-09 2016, kindly hosted by the Technical University of Vienna with Markus Vincze as local chair. The invited speakers were David Vernon and Paul F.M.J. Verschure. Out of the 49 submissions for the meeting, we accepted 18 a papers and 25 (...) as posters (after double-blind reviewing). Papers are published here as “full papers” or “short papers” while posters are published here as “short papers” or “abstracts”. Some of the papers presented at the conference will be published in a separate special volume on ‘Cognitive Robot Architectures’ with the journal Cognitive Systems Research. - RC, VCM, YS, MV. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

A teacher controls the release of materials in attempt to get students to appreciate the appeal of a popular yet wrongheaded argument before exposing them to its shortcomings. An instructor uses body language, tone of voice, and images in a Power-Point presentation that appeal to non-deliberative mechanisms in order to influence the students to pay more attention, maintain their focus, or to remember the content better. How do we draw the line between such innocuous educational practices and problematic manipulation, such (...) as deterring students from questioning certain views by instilling fear or shame? I help answering this question by illuminating one significant danger, which hasn’t been accurately identified in the relevant literature: the danger that manipulations in education—even when they’re non-deceptive and aim for the good of the students—will hinder the development or fulfillment of the students’ deliberative projects. (shrink)

In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...) or by adding some vocabulary) to keep as much of Classical Logic as possible. Our aim is to show that the divisions arising from these disputes can be dissolved in the context of a novel and intuitive proposal that we put forward. (shrink)

Leading cosmological theories engender a controversial puzzle which has prompted philosophers to propose competing epistemological solutions and physicists to propose methodological changes to cosmology. The puzzle arises from the prediction that every brain on Earth will eventually be vastly outnumbered by physical duplicates formed by random collisions of particles in outer space. Supposing that this prediction is correct, shouldn't you believe that your brain is probably one of these vastly more typical extraterrestrial brains, since you cannot infer your brain's origin (...) from your experiential state? But supposing that your brain is one of these extraterrestrial brains, why be confident in the cosmological theories, since you never actually received testimony supporting these theories? Proposals in the literature either deny the rationality of believing theories that make the prediction or deny the typicality of your brain among its duplicates. This paper argues that these proposals are not entirely satisfactory. Instead, one should be confident in theories making the prediction on the supposition that your brain is one of the extraterrestrial brains. The upshots include that it may be rational to believe that your brain is probably an extraterrestrial brain and that cosmologists should not alter their methodology in response to the puzzle. (shrink)

Some free-will defenses appeal to the intuition that the love of creatures who God causally determined to love him is less valuable than the love of creatures who chose to love God freely, in the libertarian sense. I challenge that intuition directly. I attempt to discredit the intuition in question by demonstrating that no analogies regarding human-related cases can support it. In each case I treat, I argue either that the case is disanalogous to God’s case, or that granting the (...) lover libertarian free will wouldn’t make the love in question more valuable. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

This article investigates some of the constraining factors experienced by 16 school-going mothers in the Okalongo circuit, Namibia. This was a qualitative phenomenological study, conducted through in-depth individual interviews, focus group discussions, and reflective journals with 16 school-going mothers between the ages of 17 and 20, purposively selected from three different public rural schools. This qualitative, phenomenological study analyses, through feminist and intersectionality theory, the lived experiences of these young mothers as they encounter the traditional, patriarchal attitudes and practices of (...) the Ovambadja community because these girls fell pregnant before their formal, cultural initiation. The article documents, through the voices of the young women themselves, the numerous constraints they experienced and overcame in their determination to complete their schooling. The findings show that, aside from the deeply held destructive patriarchal beliefs that significantly constrain and harm the mother-learners, the Namibian Learners Pregnancy Policy, which is intended to protect and ensure pregnant learners and motherlearners complete their schooling, is not being properly or effectively implemented. The study recommends an increase in efforts at the national level in Namibia to raise awareness among members of parliament, school administrators and principals, and all policymakers to develop better monitoring systems that will improve policy implementation in schools. (shrink)

Bioethics, Volume 36, Issue 1, Page 63-70, January 2022.

A critical reply to the anti-mindfulness critics in the collection, who oppose the popular secularized adoption of mindfulness on various grounds (it is not Buddhism, it is Buddhism, it is a tool of neo-capitalist exploitation, etc.), I argue that mindfulness is a quality of consciousness, opposite mindlessness, that may be cultivated through practice, and is almost always beneficial to those who cultivate it.

The Referent Tracking paradigm, which advocates the use of instance unique identifiers to refer to the entities comprising the subject matter of patient health records, promises many benefits to those who use health record data to improve patient care. To further the adoption of the paradigm we provide an illustration of how data from an EHR application needs to be decomposed to make it accord with the tenets of Referent Tracking. We describe the ontological principles on which such decomposition needs (...) to be based in order to allow integration efforts to be applied to other EHR applications by interested parties. We find that an ordinary statement from an EHR reveals a surprising amount of "hidden" data that is revealed by its decomposition according to these principles. (shrink)

A traditional social scientific divide concerns the centrality of the interpretation of local understandings as opposed to attending to relatively general factors in understanding human individual and group differences. We consider one of the most common social scientific variables, race, and ask how to conceive of its causal power. We suggest that any plausible attempt to model the causal effects of such constructed social roles will involve close interplay between interpretationist and more general elements. Thus, we offer a case study (...) that one cannot offer a comprehensive model of the causal power of racial categories as social constructions without careful attention both to local meanings and more general mechanisms. (shrink)

While researchers in business ethics, moral philosophy, and jurisprudence have advanced the study of corporate agency, there have been very few attempts to bring together insights from these and other disciplines in the pages of the Journal of Business Ethics. By introducing to an audience of business ethics scholars the work of outstanding authors working outside the field, this interdisciplinary special issue addresses this lacuna. Its aim is to encourage the formulation of innovative arguments that reinvigorate the study of corporate (...) agency and stimulate further cross-fertilization of ideas between business ethics, law, philosophy, and other disciplines. (shrink)

When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must be (...) aligned with joint doctrine. It requires also that the separate information systems used by the different elements of a joint force must be interoperable, in the sense that data and information that is generated by each element must be usable (understandable, processable) by all the other elements that need them. Currently, such interoperability is impeded by multiple inconsistencies among the different data and software standards used by warfighters. We describe here the on-going project of creating a Joint Doctrine Ontology (JDO), which uses joint doctrine to provide shared computer-accessible content valid for any field of military endeavor, organization, and information system. JDO addresses the two previously mentioned requirements of unified action by providing a widely applicable benchmark for use by developers of information systems that will both guarantee alignment with joint doctrine and support interoperability. (shrink)

The 2010 U. S. Religious Census: Religious Congregations and Membership Survey (RCMS) is the most comprehensive picture of U.S. religious life, county by county. How thorough is the RCMS in covering local religious groups? To answer this question, three county snapshots were performed with collected data compared to the RCMS 2010 reported numbers. Data suggest that there has been an underreport by as much as 25 percent of the number of local congregations in these counties. New and emerging religious movements (...) and denominations as well as ethnic congregations comprise much of this percentage, making it more imperative for scholars to develop methodologies and frameworks in order to capture these “others” and invisible churches in America. Recently spotlighted by Religion Watch, see link below. (shrink)

A fun piece discussing the challenges to and prospects of building machines that are able to produce and understand natural language.

One approach to science treats science as a cognitive accomplishment of individuals and defines a scientific community as an aggregate of individual inquirers. Another treats science as a fundamentally collective endeavor and defines a scientist as a member of a scientific community. Distributed cognition has been offered as a framework that could be used to reconcile these two approaches. Adam Toon has recently asked if the cognitive and the social can be friends at last. He answers that they probably cannot, (...) posing objections to the would-be rapprochement. We clarify both the animosity and the tonic proposed to resolve it, ultimately arguing that worries raised by Toon and others are uncompelling. (shrink)

An updated survey of the research scope in Integral Biomathics.

Finding truth is an art that was learned and unlearned. Truth can only be found by looking for independent confirmation of our beliefs, by reality. This methodology is difficult to apply in personal- and social settings, because power and politics turn 'seeking independent confirmation' into 'avoiding dependent rejection'. A completely different social order is implied and the one keeps running the other into the ground like a tectonic plate. Philosophical Modernism showed us how dualism works, before Post-Modernism challenged it, regressing (...) to monism. (shrink)

The ability to access and share data is key to optimizing and streamlining any industrial production process. Unfortunately, the manufacturing industry is stymied by a lack of interoperability among the systems by which data are produced and managed, and this is true both within and across organizations. In this paper, we describe our work to address this problem through the creation of a suite of modular ontologies representing the product life cycle and its successive phases, from design to end of (...) life. We call this suite the Product Life Cycle (PLC) Ontologies. The suite extends proximately from The Common Core Ontologies (CCO) used widely in defense and intelligence circles, and ultimately from the Basic Formal Ontology (BFO), which serves as top level ontology for the CCO and for some 300 further ontologies. The PLC Ontologies were developed together, but they have been factored to cover particular domains such as design, manufacturing processes, and tools. We argue that these ontologies, when used together with standard public domain alignment and browsing tools created within the context of the Semantic Web, may offer a low-cost approach to solving increasingly costly problems of data management in the manufacturing industry. (shrink)

Recent scholarship in intellectual humility (IH) has attempted to provide deeper understanding of the virtue as personality trait and its impact on an individual's thoughts, beliefs, and actions. A limitations-owning perspective of IH focuses on a proper recognition of the impact of intellectual limitations and a motivation to overcome them, placing it as the mean between intellectual arrogance and intellectual servility. We developed the Limitations-Owning Intellectual Humility Scale to assess this conception of IH with related personality constructs. In Studies 1 (...) (n= 386) and 2 (n = 296), principal factor and confirmatory factor analyses revealed a three-factor model – owning one's intellectual limitations, appropriate discomfort with intellectual limitations, and love of learning. Study 3 (n = 322) demonstrated strong test-retest reliability of the measure over 5 months, while Study 4 (n = 612) revealed limitations-owning IH correlated negatively with dogmatism, closed-mindedness, and hubristic pride and positively with openness, assertiveness, authentic pride. It also predicted openness and closed-mindedness over and above education, social desirability, and other measures of IH. The limitations-owning understanding of IH and scale allow for a more nuanced, spectrum interpretation and measurement of the virtue, which directs future study inside and outside of psychology. (shrink)

Ontologies formally represent reality in a way that limits ambiguity and facilitates automated reasoning and data fusion, but is often daunting to the non-technical user. Thus, many researchers have endeavored to hide the formal syntax and semantics of ontologies behind the constructs of Controlled Natural Languages (CNLs), which retain the formal properties of ontologies while simultaneously presenting that information in a comprehensible natural language format. In this paper, we build upon previous work in this field by evaluating prospects of implementing (...) International Technology Alliance Controlled English (ITACE) as a middleware for ontology editing. We also discuss at length a prototype of a natural language conversational interface application designed to facilitate ontology editing via the formulation of CNL constructs. (shrink)

While the recent special issue of JCS on machine consciousness (Volume 14, Issue 7) was in preparation, a collection of papers on the same topic, entitled Artificial Consciousness and edited by Antonio Chella and Riccardo Manzotti, was published. 1 The editors of the JCS special issue, Ron Chrisley, Robert Clowes and Steve Torrance, thought it would be a timely and productive move to have authors of papers in their collection review the papers in the Chella and Manzotti book, and include (...) these reviews in the special issue of the journal. Eight of the JCS authors (plus Uziel Awret) volunteered to review one or more of the fifteen papers in Artificial Consciousness; these individual reviews were then collected together with a minimal amount of editing to produce a seamless chapter-by-chapter review of the entire book. Because the number and length of contributions to the JCS issue was greater than expected, the collective review of Artificial Con- sciousness had to be omitted, but here at last it is. Each paper’s review is written by a single author, so any comments made may not reflect the opinions of all nine of the joint authors! (shrink)

Background -/- Emerging technologies and societal changes create new ethical concerns and greater need for cross-disciplinary and cross–stakeholder communication on navigating ethics in research. Scholarly articles are the primary mode of communication for researchers, however there are concerns regarding the expression of research ethics in these outputs. If not in these outputs, where should researchers and stakeholders learn about the ethical considerations of research? Objectives -/- Drawing on a scoping review, analysis of policy in a specific disciplinary context (learning and (...) technology), and reference group discussion, we address concerns regarding research ethics, in research involving emerging technologies through developing novel policy that aims to foster learning through the expression of ethical concepts in research. Approach -/- This paper develops new editorial policy for expression of research ethics in scholarly outputs across disciplines. These guidelines, aimed at authors, reviewers, and editors, are underpinned by: -/- a cross-disciplinary scoping review of existing policy and adherence to these policies; a review of emerging policies, and policies in a specific discipline (learning and technology); and, a collective drafting process undertaken by a reference group of journal editors (the authors of this paper). -/- Results -/- Analysis arising from the scoping review indicates gaps in policy across a wide range of journals (54% have no statement regarding reporting of research ethics), and adherence (51% of papers reviewed did not refer to ethics considerations). Analysis of emerging and discipline-specific policies highlights gaps. Conclusion -/- Our collective policy development process develops novel materials suitable for cross-disciplinary transfer, to address specific issues of research involving AI, and broader challenges of emerging technologies. (shrink)

Research misconduct remains an important problem in health research despite decades of local, national, regional, and international efforts to eliminate it. The ultimate goal of every health research project, irrespective of setting, is to produce trustworthy findings to address local as well as global health issues. To be able to lead or participate meaningfully in international research collaborations, individual and institutional capacities for research integrity are paramount. Accordingly, this paper concerns itself not only with individuals’ research skills but also with (...) institutional and national policies and governance. Such policies and governance provide an ethical scaffold for the production of knowledge and structure incentives. This paper’s operational definition of research therefore draws from Institute of Medicine’s articulation of health research as an inquiry that aims to produce knowledge about the structure, processes, or effects of personal health services; and from an existing health systems framework. The paper reviews the research regulatory environment and the ethics apparatus in Ghana, and describes a project jointly undertaken by Ghanaian researchers in collaboration with New York University to assess the perceived adequacy of current institutional practices, opportunities, and incentives for promoting RI. (shrink)

We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata registries, (...) thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning. (shrink)

A recording or performance of a song is a cover if there is an earlier, canonical recording of the song. It can seem intuitive to think that properly appreciating a cover requires considering it in relation to the original, or at least that doing so will yield a deeper appreciation. This intuition is supported by some philosophical accounts of covers. And it is complicated by the possibility of hearing in, whereby one hears elements of the original version in the cover. (...) We argue that it can nevertheless be just as legitimate to consider a cover version on its own as it is to consider it in relation to the earlier recording that it is covering. In some cases, these two modes of appreciation will offer distinct rewards. In other cases, one mode will be substantially more rewarding than the other. The details matter, especially in complicated cases like covers of covers, but neither mode is privileged in principle. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.