Berkeley in his Introduction to the Principles of Human knowledge uses geometrical examples to illustrate a way of generating “universal ideas,” which allegedly account for the existence of general terms. In doing proofs we might, for example, selectively attend to the triangular shape of a diagram. Presumably what we prove using just that property applies to all triangles.I contend, rather, that given Berkeley’s view of extension, no Euclidean triangles exist to attend to. Rather proof, as Berkeley would normally assume, requires (...) idealizing diagrams; treating them as if they obeyed Euclidean constraints. This convention solves the problem of representative generalization. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.Berkeley and Proof in GeometryVolume 51, Issue 3RICHARD J. BROOK DOI: https://doi.org/10.1017/S0012217312000686Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. Berkeley and Proof in GeometryVolume 51, Issue 3RICHARD J. BROOK DOI: https://doi.org/10.1017/S0012217312000686Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. Berkeley and Proof in GeometryVolume 51, Issue 3RICHARD J. BROOK DOI: https://doi.org/10.1017/S0012217312000686Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

Abstract Tom Dougherty observes that challenges to counting the numbers often cite John Taurek’s 1977 article, “Should the Numbers Count.” Dougherty, though sympathetic to Taurek’s (and others) critique of consequentialism’s aggregating good across individuals, defends a non-consequentialist principle for addition he calls “the Ends Principle. Take the case (he labels “Drug”) when an agent, possessing a dose of a lifesaving drug, can save one person with the entire dose, or two people, each of whom only need half the dose. Dougherty (...) argues that a rational agent, summing her altruistic goals (three), but unable to save all three, will save two. I give two criticisms of Dougherty’s paper. (1) He hasn’t ruled out, though acknowledging, the equal chance principle as deontological grounds for deciding Drug. (2) An agent using the Ends Principle in Drug, as he formulates it, will not have the requisite aims to make use of the Principle. I also consider an issue, little discussed, the conditions for aggregation in general. (shrink)

Th e recent revival of Berkeley studies in the last three decades or so make it interesting to look back at George Santayana’s discussion of Berkeley. Th ough Santayana understood the latter’s arguments for immaterialism, he claimed no one could both seriously accept immaterialism, and live, as Berkeley certainly did, an embodied life. As he writes of Berkeley, “Th is idealist was no hermit” (205). Santayana claimed that without matter there was nothing (“no machinery”) for the soul to work on. (...) For a soul (mind) the machinery consists of material objects including one’s body. In this, paper, aft er some introductory comments, particularly on some aspects of early modern philosophy, e.g. the theory of ideas, which Berkeley largely accepts, and the metaphysics of indirect realism which he rejects, I look at the issue of human embodiment, and conclude, although Santayana perhaps misread important aspects of Berkeley’s discussion, he is largely correct in noting that Berkeley’s idealism/immaterialism can’t capture the special relation we have to our bodies. (shrink)

Berkeley, Newton, Explanation, and Causation -/- I argue in this paper that Berkeley’s conception of natural law explanations, which echoes Newton’s, fails to solve a fundamental problem, which I label “explanatory asymmetry"; that the model of explanation Berkeley uses fails to distinguish between explanations and justifications, particularly since Berkeley denies real (efficient causes) in non-minded nature. At the end I suggest Berkeley might endorse a notion of understanding, say in astronomy or mechanics, which could be distinguished from explanation.

I argue that Berkeley's distinctive idealism/immaterialism can't support his view that objects of sense, immediately or mediately perceived, are causally inert. (The Passivity of Ideas thesis or PI) Neither appeal to ordinary perception, nor traditional arguments, for example, that causal connections are necessary, and we can't perceive such connections, are helpful. More likely it is theological concerns,e.g., how to have second causes if God upholds by continuously creating the world, that's in the background. This puts Berkeley closer to Malebranche than (...) to Hume. -/- As far the what I call the "first strategy;" defending the passivity of ideas by ordinary introspection, I refer to the work of the French psychologist Albert Michotte,(1940) and those now extending his experiments, to show that (1) there is an immediate and quite robust visual impression of causality, (admitted in fact by Berkeley, Malebranche and Hume) and (2) of more importance, the impression isn't due to projecting into nature expectations gained from experienced regularities. (shrink)

THERE IS WIDESPREAD AGREEMENT among historians that the writings of Robert Boyle (1697-1691) constitute a valuable archive for understanding the concerns of seventeenth-century British natural philosophers. His writings have often been seen as representing, in one fashion or another, all of the leading intellectual currents of his day. ~ There is somewhat less consensus, however, on the proper historiographic method for interpreting these writings, as well as on the specific details of the beliefs expressed in them. Studies seeking to explicate (...) Boyle's thought have been, roughly speaking, of two general sorts. On the one hand there are those studies of a broadly "intellectualist" orientation which situate his natural philosophy within the intellectual context provided by metaphysics, religion, and early modern science. In this connection his corpuscularianism has been shown to be motivated by specific epistemological, theological, as well as empirical concerns. One of the central aims of such studies has been to show that apparently discordant elements in his scientific thought are rendered coherent by referring them to such "non-scientific" commitments. Among studies of this sort might be mentioned the works of John Hedley Brooke, E. A. Burtt, Gary B. Deason, J. E. McGuire, R. Hooykaas, Robert H. Kargon, Eugene M. Klaaren, P. M. Rattansi, and Richard S. Westfall. (shrink)

Conspiracy theories are rather a popular topic these days, and a lot has been written on things like the meaning of _conspiracy theory_, whether it’s ever rational to believe conspiracy theories, and on the psychology and demographics of people who believe conspiracy theories. But very little has been said about why people might be led to posit conspiracy theories in the first place. This paper aims to fill this lacuna. In particular, I shall argue that, in open democratic societies, citizens (...) justifiably presuppose that the epistemic authorities—journalists, academics, scientists, and so on—are engaged in a good faith pursuit of the truth. This presupposition generates certain normative expectations on the behaviors of the epistemic authorities—they ought to be open to new evidence, possess a healthy degree of skepticism, be willing to engage with opponents, and so on. So, when an epistemic authority is presented with some putatively anomalous data or an alternative hypothesis for some event or phenomena, people expect the epistemic authority to respond in a way that is consonant with these norms. In some instances, however, the epistemic authorities do not respond in this way and instead are dogmatic, dismissive, and engage in _ad hominem_. From the point of view of the citizen, there’s a tension here between how the epistemic authorities ought to behave and how they have, in fact, behaved which is best resolved either by taking the epistemic authorities less seriously or by positing a conspiracy theory. Put another way, the failure of the epistemic authorities to adhere to the norms by which we take them to be governed when presented with apparent anomalies or alternative hypotheses is one reason for which one might initially posit a conspiracy theory. (shrink)

In this article, I argue that the kind of suffering that prisons impose upon people who are incarcerated disregards their uniqueness and fails to meet their basic needs in a manner which violates their dignity and worth as human beings. Hence, the prison, as an institution, cannot be morally justified. But since the imposition of this kind of suffering is an integral element of a prison’s central function, it follows that a 'Correctional Ethic' is effectively an oxymoron, not dissimilar to (...) an 'Ethic for Slave-masters'. (shrink)

We explore the ethics of deliberately exposing consenting adults to SARS-CoV-2 to induce immunity to the virus (“DEI” for short). We explain what a responsible DEI program might look like. We explore a consequentialist argument for DEI according to which DEI is a viable harm-reduction strategy. Then we consider a non-consequentialist argument for DEI that draws on the moral significance of consent. Additionally, we consider arguments for the view that DEI is unethical on the grounds that, given that large-scale DEI (...) would be highly likely to result in some severe illnesses and deaths, DEI amounts to a form of killing. Our thesis is that incorporating a DEI program alongside the status-quo “calibrate-the-curve” responses could have significant advantages at the early stages of pandemics. These potential advantages mean that, at a minimum, research into DEI would have been justified early in the COVID-19 pandemic, and that DEI programs should be explored as potential additions to our overall approach to emerging pandemics in the future. (shrink)

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (shrink)

Constitutive reflexivity, stories, and personal narrative were used to interpret leisure experience and provide insights for understanding leisure identity. I present a personal narrative of an annual canoe camping trip on a forested backcountry river. Stories are told in first person by the author about his trip of twenty years on a river with a small group of men. The author illustrates how personal narrative allows opportunities for understanding and interpreting meanings and changing leisure identities. The confluence of narrative, identity, (...) and leisure experience is illustrated and discussed. The purpose is to bring the writer/researcher into the qualitative project as a subject and actor in the story and show how leisure identity images are created and affirmed through time. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

According to proponents of the extended mind, bio-external resources, such as a notebook or a smartphone, are candidate parts of the cognitive and mental machinery that realises cognitive states and processes. The present chapter discusses three areas of ethical concern associated with the extended mind, namely mental privacy, mental manipulation, and agency. We also examine the ethics of the extended mind from the standpoint of three general normative frameworks, namely, consequentialism, deontology, and virtue ethics.

The purpose of this survey was to gather individual’s attitudes and feelings towards privacy and the selling of data. A total (N) of 1,107 people responded to the survey. -/- Across continents, age, gender, and levels of education, people overwhelmingly think privacy is important. An impressive 82% of respondents deem privacy extremely or very important, and only 1% deem privacy unimportant. Similarly, 88% of participants either agree or strongly agree with the statement that ‘violations to the right to privacy are (...) one of the most important dangers that citizens face in the digital age.’ The great majority of respondents (92%) report having experienced at least one privacy breach. -/- People’s first concern when losing privacy is the possibility that their personal data might be used to steal money from them. Interestingly, in second place in the ranking of concerns, people report being concerned about privacy because ‘Privacy is a good in itself, above and beyond the consequences it may have.’ -/- People tend to feel that they cannot trust companies and institutions to protect their privacy and use their personal data in responsible ways. The majority of people believe that governments should not be allowed to collect everyone’s personal data. Privacy is thought to be a right that should not have to be paid for. (shrink)

Thomas Reid (1710–96) is increasingly being seen as a highly significant philosopher and a central figure in the Scottish Enlightenment. This new edition of Reid's classic philosophical text in the philosophy of mind at long last gives scholars a complete, critically edited text of the Inquiry. The critical text is based on the fourth life-time edition (1785). A selection of related documents showing the development of Reid's thought, textual notes, bibliographical details of previous editions and a full introduction by the (...) editor makes this an important contribution to the study of this increasingly respected philosopher. -/- Key Features - Complete, critically edited text of the Inquiry accompanied by a judicious selection of manuscript evidence relating to its composition - Comprehensive Introduction providing an historical and philosophical account of the formation of the Inquiry - Detailed textual notes which include bibliographical details and allusions, translations, references to secondary literature and selected passages from Reid's manuscripts. (shrink)

Tasks, tools, and techniques that we perform, use, and acquire, define the elements of expertise which we value as the hallmarks of goal-driven behavior. Somehow, the creation of tools enables us to define new tasks, or is it that the envisioning of new tasks drives us to invent new tools? Or maybe it is that new tools engender new techniques which then result in new tasks? This jumble of issues will be explored and discussed in this diverse collection of papers. (...) Individually, few of the papers are related to each other by topic or by techniques of analysis. Collectively, all focus on tasks performed using tools and discuss the techniques of tool use which enable differences in performance and expertise across individuals, societies, and (even) species. -/- . (shrink)

This paper explores the feasibility of offering a restorative justice (RJ) approach in cases of domestic violence (DV). I argue that widely used RJ processes—such as ‘conferencing’—are unlikely to be sufficiently safe or effective in cases of DV, at least as these processes are standardly designed and practiced (Sections 1-6). I then support the view that if RJ is to be used in cases of DV, then new specialist processes will need to be co-designed with key stakeholders to ensure they (...) embody not only RJ principles, but also feminist theory and the concept of transformative justice (Section 7). (shrink)

When pessimists claim that human life is meaningless, they often also assert that the universe is “blind to good and evil” and “indifferent to us”. How, if it all, is the indifference of the universe relevant to whether life is meaningful? To answer this question, and to know whether we should be concerned that the universe is indifferent, we need a clearer and deeper understanding of the concept of “cosmic indifference”, which I will seek to provide. I will argue that (...) the lives of many individuals are meaningful and that human life, in general, is somewhat meaningful, despite the indifference of the universe. Furthermore, I will seek to demonstrate that even if the universe cared about us, or had preferences for how we live our lives, that this likely would not enhance the quality of our lives. (shrink)

Some people feel distressed reflecting on human extinction. Some people even claim that our efforts and lives would be empty and pointless if humanity becomes extinct, even if this will not occur for millions of years. In this essay, I will attempt to demonstrate that this claim is false. The desire for long-lastingness or quasi-immortality is often unwittingly adopted as a standard for judging whether our efforts are significant. If we accomplish our goals and then later in life conclude that (...) these accomplishments were of no significance, then this is a sign that the desire for long-lastingness has crept into our standards. By recognizing this, and refraining from adopting an unreasonable standard to judge whether our efforts are significant, it will be to our advantage. Then, when we look back on life from an external perspective that encompasses times after humanity has become extinct, we will not conclude that our efforts amounted to nothing. Rather, we will conclude that many people made significant accomplishments that made their lives and the lives of other people better than they would have been if their goals had never been pursued. (shrink)

This paper aims to explore the feasibility of a restorative justice service in the context of work‐related deaths, specifically in Victoria. Section 1 provides a brief summary of restorative justice and the kind of processes that are most likely to be used in the context of work‐related death. Section 2 discusses an issue for the use of restorative justice in this context that is similar to the problem of whether it is fair or reasonable to assign personal criminal liability for (...) corporate fault. Section 3 looks at what it is that restorative justice can offer a bereaved family. Section 4 presents a range of suggestions as to how restorative justice could be used in this context—informed by real cases wherever possible. Section 5 presents a brief proposal regarding what may be the most effective and efficient strategy or model, in terms of developing a pilot restorative justice service in this area. Section 6 offers some preliminary guidance for a further consultation that would involve all the key stakeholders. (shrink)

Perception solves computationally demanding problems at lightning fast speed. It recovers sophisticated representations of the world from degraded inputs, often in a matter of milliseconds. Any theory of perception must be able to explain how this is possible; in other words, it must be able to explain perception's computational tractability. One of the few attempts to move toward such an explanation has been the information encapsulation hypothesis, which posits that perception can be fast because it keeps computational costs low by (...) forgoing access to information stored in cognition. I argue that we have no compelling reason to believe that encapsulation explains (or even contributes to an explanation of) perceptual tractability, and much reason to doubt it. This is because there exist much deeper computational challenges for perception than information access, and these threaten to make the costs of access irrelevant. If this is right, it undermines a core computational motivation for encapsulation and sends us back to the drawing board for explanations of perceptual tractability. (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

Throughout history, many people, including Mother Teresa, have been troubled by God’s silence. In spite of the conflicting interpretations of the Bible, God has remained silent. What are the implications of divine hiddenness/silence for a meaning of life? Is there a good reason that explains God’s silence? If God created humanity to fulfill a purpose, then God would have clarified his purpose and our role by now, as I will argue. To help God carry out his purpose, we would need (...) to have a clear understanding of our role. Thus, by failing to clarify our role, God would be undermining himself in achieving the purpose he conceived, which would not make sense. Because God, if he exists, would not engage in this self-defeating behavior, this suggests that humanity was not created by God to fulfill a purpose. (shrink)

Some people feel threatened by the thought that life might have arisen by chance. What is it about “chance” that some people find so threatening? If life originated by chance, this suggests that life was unintended and that it was not inevitable. It is ironic that people care about whether life in general was intended, but may not have ever wondered whether their own existence was intended by their parents. If it does not matter to us whether one's own existence (...) was intended, as will be hypothesized, then why should it matter whether there was some remote intent behind the creation of the first unicellular organism(s) billions of years ago? I will discuss three possible scenarios by which life might have originated. I will then argue that, in regard to whether one’s individual life can be meaningful, it does not matter whether life was intended or arose by chance. If complex life was unintended and is rare in this universe, this is not a reason to disparage life, but a reason to appreciate and value our existence. -/- . (shrink)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

In this paper, I argue that forgiveness is a morally appropriate response only when it is grounded in the wrongdoer’s demonstration of genuine remorse, their offer of a sincere apology, and, where appropriate, acts of recompense and behavioral change. I then respond to John Kleinig’s suggestion (in his paper “Forgiveness and Unconditionality”) that when an apology is not forthcoming, there are at least three additional grounds that, when motivated by virtues such as love and compassion, could nevertheless render “unconditional forgiveness” (...) a morally laudable option. I argue that such grounds could indeed constitute or result in laudable responses to wrongdoing, but only if they are not conceived of or described in terms of forgiveness. (shrink)

David Benatar claims that everyone was seriously harmed by coming into existence. To spare future persons from this suffering, we should cease having children, Benatar argues, with the result that humanity would gradually go extinct. Benatar’s claim of universal serious harm is baseless. Each year, an estimated 94% of children born throughout the world do not have a serious birth defect. Furthermore, studies show that most people do not experience chronic pain. Although nearly everyone experiences acute pain and discomforts, such (...) as thirst, these experiences have instrumental value. For example, when a person picks up a hot object, in response to the pain, the person releases the object, thereby preventing serious harm. The standard that Benatar uses to evaluate the quality of our lives is arbitrary, as I will demonstrate. His proposal that we phase humanity out of existence by ceasing to have children is misguided and an overreaction to the problem of human suffering. The ‘threshold conception of harm’, which is a targeted approach for preventing future persons from suffering, is a more sensible approach. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Unmanaged recreation presents a challenge to both researchers and managers of outdoor recreation in the United States because it is shrouded in uncertainty resulting from disagreement over the definition of the problem, the strategies for resolving the problem, and the outcomes of management. Incomplete knowledge about recreation visitors’ values and relationships with one another, other stakeholders, and the land further complicate the problem. Uncertainty and social complexity make the unmanaged recreation issue a wicked problem. We describe the wickedness inherent in (...) unmanaged recreation and some of the implications of wickedness for addressing the problem for the Front Range of the Rocky Mountains in Colorado. Conclusions about the nature of the problem are based on a problem appraisal that included a literature review and interviews of key informants. Addressing wickedness calls for institutional changes that allow for and reward the use of trust building, inclusive communication, and genuinely collaborative processes. (shrink)

The United States Fish and Wildlife Service in Alaska, USA, conducted a species status assessment for a petition to list the Alexander Archipelago wolf (Canis lupus ligoni) under the Endangered Species Act in 2020-2022. This federal undertaking could not be adequately prepared without including the knowledge of Indigenous People who have a deep cultural connection with the subspecies. Our objective is to communicate the authoritative expertise and voice of the Indigenous People who partnered on the project by demonstrating how their (...) knowledge contributed to the species status assessment. The Indigenous knowledge applied in the assessment is the cultural and intellectual property of those who have shared it. We employed rapid appraisal research to expeditiously develop a preliminary and qualitative understanding of Indigenous People's cultural and ecological knowledge of Alexander Archipelago wolves. We used semi-directed interviewing and inductive coding from grounded theory for text analysis. Indigenous knowledge contributed to the agency's understanding of the Alexander Archipelago wolf in Southeast Alaska and helped the agency with their classification decision. Indigenous research partners explained the rich cultural significance and position of wolves in Tlingit society and described human–wolf relationships and ecological interactions. The agency used a single-species assessment approach based in species ecology and conservation biology, whereas the Indigenous wolf experts applied a multi-species, community ecology approach based in a sociocultural context of balance and respect. The Indigenous wolf experts successfully addressed knowledge gaps identified by the agency. The partners were challenged by a short regulatory timeframe that did not allow for comprehensive study of Indigenous knowledge and constrained review and feedback by Indigenous experts. The United States Fish and Wildlife Service learned that its assessment framework was not designed to account for an Indigenous worldview. To level the playing field, the agency and Indigenous experts should discuss how to co-develop an assessment framework that equitably applies both perspectives. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Understanding the relationship between wilderness outings and the resulting experience has been a central theme in resource-based, outdoor recreation research for nearly 50 years. The authors provide a review and synthesis of literature that examines how people, over time, build relationships with wilderness places and express their identities as consequences of multiple, ongoing wilderness engagements (i.e., continued participation). The paper reviews studies of everyday places and those specifically protected for wilderness and backcountry qualities. Beginning with early origins and working through (...) contemporary research the authors synthesize what diverse social scientists have learned about the long-term and continual nature of wilderness participation and its impact on the formation of identity. The thrust of the paper points researchers, planners, and managers in non-traditional directions and reframes goals and objectives for visitor planning and management in wilderness and other protected areas. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Criminal justice is primarily designed to serve the public interest in relation to criminal acts. Restorative justice is designed to address the harm-related needs of individuals in the aftermath of wrongdoing. These distinct aims require such different processes and priorities that any attempt to integrate restorative justice within the criminal justice system will almost invariably undermine the quality and effectiveness of both. In this book, the author argues that the optimal relationship between the two should therefore be one of maximum (...) independence: the instruments of the state should not be used to impose or enforce the decision to participate in restorative justice, any component of the restorative justice process or its outcome. It is also suggested that, in the absence of legislative innovation, this kind of separation is likely to require that restorative justice is situated after a case has actually exited the justice system, or after it has, in legal terms, effectively done so, as in a post-sentence context. [Note: The publisher offers a 40% discount on this book (conditions apply). Please see the author's website: "Relational Approaches" for details.]. (shrink)

Many welfarists wish to assign to each possible state of the world a numerical value that measures something like its moral goodness. How are we to determine this quantity? This paper proposes a contractualist approach: a legitimate measure of moral goodness is one that could be justified to each member of the population in question. How do we justify a measure of moral goodness to each individual? Each individual recognises the measure of moral goodness must be a compromise between the (...) different levels of well-being within the population. Some compromises are more reasonable than others; and some are better justifiable to a given member of the population than others. Each member recognises that the social chooser's measure of moral goodness is going to have to deviate from the well-being function of at least some of the members of the population. But we can nonetheless justify it to each of them if it doesn't deviate more than is necessary, and if the deviations from each member are given equal weighting in whatever process we use to determine it. This paper proposes that we begin with a measure of the distance from a proposed compromise to an individual's level of well-being, and then say that the moral goodness is the candidate compromise that minimizes the sum of distances from it to the individuals' levels of well-being. I describe a range of such measures of distance and show that some give utilitarianism, others different versions of prioritarianism. (shrink)

In Book 9 of Plato's Republic we find three proofs for the claim that the just person is happier than the unjust person. Curiously, Socrates does not seem to consider these arguments to be coequal when he announces the third and final proof as ‘the greatest and most decisive of the overthrows’. This remark raises a couple of related questions for the interpreter. Whatever precise sense we give to μέγιστον and κυριώτατον in this passage, Socrates is clearly appealing to an (...) argumentative standard of some kind, and claiming that his final argument alone meets this standard. But what precise standard is Socrates invoking here? And given that the first two arguments of Book 9 fall short of this standard, why does he not simply leap directly to the third, most decisive proof? (shrink)

Conservation can occur anywhere regardless of scale, political jurisdiction, or landownership. We present a framework to help managers at protected areas practice conservation at the scale of relationships. We focus on relationships between stakeholders and protected areas and between managers and other stakeholders. We provide a synthesis of key natural resources literature and present a case example to support our premise and recommendations. The purpose is 4-fold: 1) discuss challenges and threats to conservation and protected areas; 2) outline a relationship-scale (...) approach to address conservation threats; 3) describe the tools and techniques that can be used to implement this approach; and 4) present a case example from rural Alaska, USA, to illustrate relationship-scale conservation. Our case example illustrates how aspects of this approach to conservation were applied to address a wildlife population decline. Tools needed to implement relationship-scale conservation include 1) collecting and documenting narratives of place; 2) measuring and monitoring trust and commitment; and 3) identifying and mitigating threats. We recommend that planners and managers, working with their research partners, redefine and refocus their goals and objectives to include these practices. Doing so will enable them to gain substantial applied knowledge about their stakeholders and foster and maintain place relationships as desired outcomes of conservation. The ultimate outcome is a better prognosis for long-term global survival of protected areas and biodiversity. Published 2014. This article is a U.S. Government work and is in the public domain in the USA. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)