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

Online education has become an essential component of education. Thus, several factors, such as the student’s learning strategy and motivation, generally contribute to their academic success. This study investigates the relationship between learning strategies, motivation, and online learning environment among 150 first-year college students. Employing correlational design, the statistical findings of the study reveal that the r coefficient of 0.59 indicates a moderate positive correlation between the variables. The p-value of 0.00, which is less than 0.05, leads to the decision (...) to reject the null hypothesis. Hence, a significant relationship exists between learning strategies, motivation, and the online learning environment. (shrink)

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

IPCC SPECIAL REPORT ON CLIMATE CHANGE AND LAND (SRCCL) -/- Chapter 3: Climate Change and Land: An IPCC special report on climate change, desertification, land degradation, sustainable land management, food security, and greenhouse gas fluxes in terrestrial ecosystems.

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...) possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)

Defense of an account of intrinsic properties in terms of (what is now called) grounding rather than naturalness.

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

The article investigates the main characteristics of the financial stability of Ukrainian banks, their risk profile, structure of assets, liabilities, income, expenses based on the monthly reporting data for 2004-2020 (number of observations – 3 813). The Kohonen self-organizing map (SOM) toolkit is used to form homogeneous groups of banks based on a large number of financial indicators. The selected toolkit provides a convenient visualization of the results. Each bank occupies a specific place on the SOM. The close location of (...) banks on the map indicates that these banks have many common characteristics. This study is called the method of structural and functional groups of banks. The study formed stable groups of banks with the same characteristics of business models and risk profile. The formation of consecutive maps for each reporting period allows to obtain the characteristics of each bank separately and the banking system as a whole. The trajectory of an individual bank’s activity during the observation period characterizes the development of its business strategy. The migration of a large number of banks between groups reflects the objective changes in the conditions of banking. Increasing groups of high-risk banks indicate systemic problems. The results show that after a significant reduction in the banking system of Ukraine in 2014-2016, the business models of banks have changed significantly. The resource base relies on unstable sources of current funds with no set term of use. In the assets of banks, a significant portion is invested in government securities – government bonds. Bank loan portfolios have declined and have a higher proportion of non-performing assets (NPL). Many banks have increased currency risk. Concerns are raised about the state of large state-owned banks that hold a separate high-risk group. Thus, the conducted research allows to distinguish groups of banks with specific characteristics of business models and to observe changes of risk profile inherent to these groups. For each structural-functional group, changes in the values of financial indicators are investigated and migration between groups is studied. The proposed methodology is useful for studying both macro and macro levels. (shrink)

In this paper we investigate if sentences presented as the result of the application of statistical models and artificial intelligence to large volumes of data – the so-called ‘Big Data’ – can be characterized as semantically true, or as quasi-true, or even if such sentences can only be characterized as probably quasi-false and, in a certain way, post-true; that is, if, in the context of Big Data, the representation of a data domain can be configured as a total structure, or (...) as a partial structure provided with a set of sentences assumed to be true, or if such representation cannot be configured as a partial structure provided with a set of sentences assumed to be true. (shrink)

This paper introduces a conceptual framework, denoted as ‘Line Theory,’ which is predicated on the procedural anatomy inherent in ordinary plans. A plan, recognized as a set of instructions for execution, undergoes in-depth scrutiny to analyze its constituent elements. The concise examination delves into the formation of line and effect within real space stemming from procedures. Line theory serves the purpose of elucidating the absolute optimization of plans. It is formulated to inaugurate an exploration into the veracity of procedures and (...) their elemental changes, examining their correlation with space and motion at the most fundamental level. The scientific community has extensively delved into the examination of the behavior and structure of objects at the microscopic level. This paper endeavors to stimulate interest in the analogous analysis of procedures. The fundamental objective within this theoretical framework is to offer a distinct philosophical perspective on changes and effects. (shrink)

People often fail to comply with the demands of morality. Partial compliance theory takes this noncompliance or its possibility into account in the formulation of moral requirements for people to comply with, or in the evaluation of people’s actions against those requirements. This chapter critically engages with recent work on partial compliance theory. It examines the relationship between noncompliance and injustice, assesses different ways of doing partial compliance theory, sketches the relationship between partial compliance theory and other central methodological debates (...) in moral and political philosophy, and considers whether it is reasonable to issue moral requirements without examining what would happen if everyone did their part. (shrink)

This is the first chapter to our edited collection of essays on the nature and ethics of blame. In this chapter we introduce the reader to contemporary discussions about blame and its relationship to other issues (e.g. free will and moral responsibility), and we situate the essays in this volume with respect to those discussions.

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

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

Several authors, including Thomas Nagel and David Gauthier, have defended the view that reasons of self-interest (prudential reasons) are rationally binding. That is, there is always a reason, bearing on the rational advisability, based on one's self-interest and, as a result, a person may act irrationally by knowingly acting against such reasons regardless of the person's desires or values. Both Nagel and Gauthier argue from the rationally mandatory nature of prudential reasons to the conclusion that moral reasons can be rationally (...) mandatory, challenging the neo-Humean position that practical reasons that bear on an agent's rationality are essentially grounded on the agent's subjective, contingent, conative states. I argue, pace Nagel and Gauthier, that prudential reasons are not rationally mandatory--that the rational requirement to act in one's own interest, when it exists, is, as the neo-Humean insists, grounded on one's subjective, contingent, conative states. Prudential reasons are not reasons for every (conceivable) agent--not in the sense that bears on the rational advisability of action. (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...) extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

The theories of cultural anthropologist Ernest Becker arise from an existential and psychological analysis of the death terror/anxiety deep in the unconscious of every human. Becker details how this anxiety governs the ideologies and behaviors of our species—something now confirmed by thousands of experiments performed by psychologists engaged in contemporary terror management theory (TMT). Humans manage their anxiety through what Becker terms “hero systems”—concepts, beliefs, and myths we create to give us a sense of significance and meaning during, and even (...) beyond our mortal lives. Today, many dominant economic, technological, and religious hero systems seek to confirm our significance by denying that we are—like all other species—animals who must exist in a decaying, mortal body. Becker shows how this attempt to deny our “creatureliness” (basic biological nature) causes humans to stand against the natural world we are embedded in, leading to an assault on the planet and nonhuman animals. As a result, Becker believed pacifism was the only hero system capable of keeping humankind from destroying itself and the earth. Pacifism is the precursor to the more encompassing ethical concept of “reverence for life,” advocated by Dr. Albert Schweitzer. By respecting the will-to-live in all sentient beings, reverence for life transcends concern for humans alone and extends moral and physical safeguards to life as such. Confronting the fact that humans are increasingly alienated from their commodified world and their own being, reverence for life stands as a vital solution to many of our modern problems. And following contemporary TMT research, reverencing life can also expand one’s self-esteem, which research shows lowers death anxiety, reduces aggression, and offers authentic meaning to life itself. (shrink)

We maintain that in many contexts promising to try is expressive of responsibility as a promiser. This morally significant application of promising to try speaks in favor of the view that responsible promisers favor evidentialism about promises. Contra Berislav Marušić, we contend that responsible promisers typically withdraw from promising to act and instead promise to try, in circumstances in which they recognize that there is a significant chance that they will not succeed.

Despite increased philosophical and psychological work on practical wisdom, contemporary interdisciplinary wisdom research provides few specifics about how to develop wisdom (Kristjánsson 2022). This lack of practically useful guidance is due in part to the difficulty of determining how to combine the tools of philosophy and psychology to develop a plausible account of wisdom as a prescriptive ideal. Modeling wisdom on more ordinary forms of expertise is promising, but skill models of wisdom (Annas 2011; De Caro et al. 2018; Swartwood (...) 2013b; Tsai 2023) have been challenged on the grounds that there are important differences between wisdom and expert skills (Hacker-Wright 2015, p. 986; Kristjánsson 2015, pp. 98, 101; Stichter 2015, 2016, 2018). I’ll argue that we can both vindicate the promise of skill models of wisdom and begin to specify practically useful strategies for wisdom development by attending to a reflective process that I call Case-Based Critical Reflection. I begin by demonstrating the process as it arose in a notable example from everyday life, illustrating how the process can be usefully applied to a case study of interest to wisdom scientists, and explaining its philosophical pedigree. After isolating the key features that make it relevant to wisdom development, I argue that attending to the importance of Critical Reflection can defuse prominent objections to skill models of wisdom. (shrink)

A partir algunas aseveraciones que se encuentran en Los Ensayos y en el Segundo Tratado sobre el Gobierno Civil se puede pensar que para Locke cuestiones básicas sobre la Ley Natural tienen su fundamento en principios teológicos, no obstante, en este escrito se tiene por objetivo mostrar que, aunque el origen de la Ley Natural sea divino, difiere de la forma como se adquieren los contenidos de la mencionada ley y del principio o motor por el cual la voluntad se (...) adhiere a esos contenidos en virtud de lo cual un ateo pueda conocer y estar sujeto a la Ley Natural. (shrink)

“Do Anthropocene narratives confuse an important distinction between the natural and the historical past?” asks Giuseppina D’Oro. D’Oro defends the view that the concept of the historical past is sui generis and distinct from that of the geological past against a new, Anthropocene-inspired challenge to the possibility of a humanistically oriented historiography. She argues that the historical past is not a short segment of geological time, the time of the human species on Earth, but the past investigated from the perspective (...) of a distinctive kind of interest, that of uncovering the norms which governed historical agents in different periods of time. The past for the Egyptologist, or for the Roman historian, is not the same past studied by the palaeontologist or the geologist, not because it is infinitesimal short in comparison to geological time, but because the questions asked by historians concerned with the Egyptian or Roman civilization are not the same kind of questions asked by empirically minded scientists. She argues that the accusation that the distinction between the historical and the natural/geological past, rests on unacceptable form of human exceptionalism is based on the conflation of the concept of the historical past with that of the human past and that keeping alive the nature/culture distinction has important implications for praxis. If the distinction between nature and culture is collapsed, and the corollary that historical agents are not distinct in kind from natural agents (such as yeast and microbes) is accepted, then “the anticipation of the future would become a mere spectator’s sport analogous to the activity of predicting the weather”: collapsing the nature culture distinction, D’Oro argues, undermines the possibility of political action against the very threat (climate change) that motivates Anthropocene narratives in the first instance. (shrink)

Dictionary entry on Jacques Derrida's relation to Judaism.

Merleau-Ponty suggests in his Nature lectures that myth provides the best way into thinking the relation of strange kinship between humanity and animality. He goes on to refigure Husserl’s paradigm of the two hands touching to extend beyond merely human-to-human relations, invoking in the process the myth of Narcissus. By carefully examining Merleau-Ponty’s late refiguration of that paradigm, alongside the revised conception of narcissism that it helps him to develop, we find that while human-animal empathy is made possible by a (...) ground of intercorporeal kinship, human-animal estrangement makes possible the emergence of an ethical relation to other animals, contingent upon the sublimation of animal desire. Holding human-animal kinship and estrangement in tension reveals a nascent ideal present implicitly in the early stages of childhood development: a vision of the possibility of interspecies harmony, rooted in the bodily reciprocity that drives the process of self-maturation. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

I argue for the existence of a category of practical reasons which I call "Deliberation-Volatile Reasons" or "DVRs". DVRs have the distinguishing feature that their status as reasons for action is diminished when they are weighed in deliberation by the agent. I argue that DVRs are evidence of "deliberative blind spots". I submit that an agent manifests a peculiar kind of practical irrationality in so far as she endeavours to find a deliberative path to what she has reason to do, (...) when the discovery of such a path renders the destination inaccessible. (shrink)

Ordinarily, we take moral responsibility to come in degrees. Despite this commonplace, theories of moral responsibility have focused on the minimum threshold conditions under which agents are morally responsible. But this cannot account for our practices of holding agents to be more or less responsible. In this paper we remedy this omission. More specifically, we extend an account of reasons-responsiveness due to John Martin Fischer and Mark Ravizza according to which an agent is morally responsible only if she is appropriately (...) receptive to and reactive to reasons for action. Building on this, we claim that the degree to which an agent is responsible will depend on the degree to which she is able to recognize and react to reasons. To analyze this, we appeal to relations of comparative similarity between possible worlds, arguing that the degree to which an agent is reasons-reactive depends on the nearest possible world in which given sufficient reason to do otherwise, she does so. Similarly, we argue that the degree to which an agent is reasons-receptive will depend on the intelligibility of her patterned recognition of reasons. By extending an account of reasons-responsiveness in these ways, we are able to rationalize our practice of judging people to be more or less responsible. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (shrink)

The article begins by describing two longstanding problems associated with direct inference. One problem concerns the role of uninformative frequency statements in inferring probabilities by direct inference. A second problem concerns the role of frequency statements with gerrymandered reference classes. I show that past approaches to the problem associated with uninformative frequency statements yield the wrong conclusions in some cases. I propose a modification of Kyburg’s approach to the problem that yields the right conclusions. Past theories of direct inference have (...) postponed treatment of the problem associated with gerrymandered reference classes by appealing to an unexplicated notion of projectability . I address the lacuna in past theories by introducing criteria for being a relevant statistic . The prescription that only relevant statistics play a role in direct inference corresponds to the sort of projectability constraints envisioned by past theories. (shrink)

In this paper I argue that internalistic foundationalist theories of the justification of memory belief are inadequate. Taking a discussion of John Pollock as a starting point, I argue against any theory that requires a memory belief to be based on a phenomenal state in order to be justified. I then consider another version of internalistic foundationalism and claim that it, too, is open to important objections. Finally, I note that both varieties of foundationalism fail to account for the epistemic (...) status of our justified nonoccurrent beliefs, and hence are drastically incomplete. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism faces (...) serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

In this article, we discuss the continued circulation and use of retracted science as a complex problem: Multiple stakeholders throughout the publishing ecosystem hold competing perceptions of this problem and its possible solutions. We describe how we used a participatory design process model to co-develop recommendations for addressing this problem with stakeholders in the Alfred P. Sloan-funded project, Reducing the Inadvertent Spread of Retracted Science (RISRS). After introducing the four core RISRS recommendations, we discuss how the issue of retraction-related stigma (...) gives rise to recommendation #4, Educate stakeholders about retraction and pre- and post-publication stewardship of the scholarly record. This recommendation is important for training publishing professionals and realizing this recommendation will require further collaborative design work across scholarly communications. We highlight ongoing stakeholder work which is now re-starting the design cycle. We conclude with a discussion of ongoing activities facilitating uptake and refinement of RISRS research and the implementation agenda. (shrink)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

Trust is vital for individuals to flourish and have a sense of well-being in their community. A trusting society allows people to feel safe, communicate with each other and engage with those who are different to themselves without feeling fearful. In this paper I employ an Aristotelian framework in order to identify trust as a virtue and I defend the need to cultivate trust in children. I discuss the case study of Buranda State School in Queensland, Australia as an instance (...) of successful school reform that reinstates trust in an educational setting. Buranda makes use of the community of inquiry (CoI) pedagogy practiced by advocates of philosophy for children (P4C). Educators may create a safe space in the classroom by using the CoI and giving children the chance to voice their ideas and build upon, as well as question, those of others in a democratic and respectful manner. Through this pragmatic dialogue, trust may be established, along with a sense of belonging that supports well-being in the classroom as well as in life. (shrink)

This is a teaching and learning guide to accompany "Explanation in Mathematics: Proofs and Practice".

Claims such as ‘there are no tables and chairs’ have become increasingly common in the philosophical context, and eliminativism is now a fairly well-established position in contemporary debates in analytic metaphysics. This outbreak of eliminativism has prompted a number of responses aimed at saving the manifest image of reality. Prominent amongst the attempts to save the manifest image is a view, powerfully articulated by Frank Jackson in From Metaphysics to Ethics , according to which the manifest properties of objects, properties (...) such as solidity or fragility, can be spared from the eliminativist’s guillotine if it can be shown that they are entailed (through the relation of supervenience) by scientific properties. Jackson’s strategy for saving the manifest image rests on a modest conception of the role of conceptual analysis in metaphysics. On this view, the role of conceptual analysis is modest because it is not the task of philosophy to establish a priori what there is, but rather to determine which features of the manifest image can be located within the scientific image: the manifest properties which cannot be so located are shown to be rogue concepts that have no place in serious metaphysics. This chapter argues against the attempt to save the manifest image by invoking the relation of entailment (whether that implied by the notion of supervenience or by the more traditional notion of analytic entailment) on the grounds that the manifest image is sui generis. The defence of the manifest image that I propose as an alternative here rests on the idealist assumption that knowledge makes a difference to what is known, and that since the manifest and the scientific image are the correlative of two different ways of knowing they do not compete with one another. I call the idealist view that knowledge makes a difference to what is known the Reciprocity Thesis. Rather than seeking to determine what kind of manifest image one is entitled to have in order to comply with the scientific image, the Reciprocity Thesis limits the claims of science to its own explanandum and therefore sees no need to legitimise the manifest image by invoking the relation of entailment. The need to legitimise the manifest image in the light of the scientific image arises because the relation between the scientific and the manifest image has not been properly conceptualised. Once the scientific and the manifest image are understood as the correlative of different ways of knowing, the problem which the location strategy seeks to solve is shown to rest on a misconception of the relationship holding between different kinds of knowledge. (shrink)

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

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)