Provability logics with many modal operators for progressions of theories obtained by iterating their consistency statements are introduced. The corresponding arithmetical completeness theorem is proved.

We study the fragment of Peano arithmetic formalizing the induction principle for the class of decidable predicates, $I\Delta_1$ . We show that $I\Delta_1$ is independent from the set of all true arithmetical $\Pi_2-sentences$ . Moreover, we establish the connections between this theory and some classes of oracle computable functions with restrictions on the allowed number of queries. We also obtain some conservation and independence results for parameter free and inference rule forms of $\Delta_1-induction$ . An open problem formulated by J. (...) Paris is whether $I\Delta_1$ proves the corresponding least element principle for decidable predicates, $L\Delta_1$ (or, equivalently. the $\Sigma_1-collection$ principle $B\Sigma_1$ ). We reduce this question to a purely computation-theoretic one. (shrink)

By a result of L.D. Beklemishev, the hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over any $$\Pi _2$$ -axiomatizable base theory extending Elementary Arithmetic collapses to its first level. We prove that this result cannot in general be extended to base theories of arbitrary quantifier complexity. In fact, given any recursively enumerable set of true $$\Pi _2$$ -sentences, S, we construct a sound $$(\Sigma _2 \! \vee \! \Pi _2)$$ -axiomatized theory T extending S such that (...) the hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over T is proper. Our construction uses some results on subrecursive degree theory obtained by L. Kristiansen. (shrink)

In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction (...) rule for Δ n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons’ conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for Π n+2 and Δ n+1 formulas (see [2]). (shrink)

Austin takes on the problem of other minds, of how to respond to the question ‘how do you know?’, if this question is raised with regard to the thoughts, feelings, sensations, minds of other creatures. This problem has traditionally been understood as the problem of justifying our belief in the existence of other minds. Austin argues that believing in other persons, in authority and testimony, is an essential part of the act of communicating, and as such is an irreducible part (...) of our experience. While we can state certain advantages of communicative performances, there is no justification for our doing them as such. (shrink)

The term fuzzy logic is used in this paper to describe an imprecise logical system, FL, in which the truth-values are fuzzy subsets of the unit interval with linguistic labels such as true, false, not true, very true, quite true, not very true and not very false, etc. The truth-value set, , of FL is assumed to be generated by a context-free grammar, with a semantic rule providing a means of computing the meaning of each linguistic truth-value in as a (...) fuzzy subset of [0, 1].Since is not closed under the operations of negation, conjunction, disjunction and implication, the result of an operation on truth-values in requires, in general, a linguistic approximation by a truth-value in . As a consequence, the truth tables and the rules of inference in fuzzy logic are (i) inexact and (ii) dependent on the meaning associated with the primary truth-value true as well as the modifiers very, quite, more or less, etc. (shrink)

This research aimed to show the political stance of the Muslim majority represented by the Ministry of Religious Affairs of the Republic of Indonesia (MoRA RI) towards non-Muslim leadership through the translation of the Qur’an. It examined the differences in the translation of the Qur’an based on the theory of translation as a political act. A total of 19 phrases or collocated words ittahaza awliya were found in the corpus of the Qur’an. The researchers approached the study with a critical (...) discourse analysis approach, and conducted contrastive analysis on translations of these collocated words in four editions of translations of the Qur’an published officially by MoRA RI from 1965 to 2019. The results proved that interference in translation of the collocation ittaḥaẓa awliya is caused by the influence of the source text, and that the political situation and ideology influenced the translation of the Qur’an in Indonesia. The political direction of the Indonesian government, especially MoRA RI, tended to provide more opportunities for non-Muslims to become leaders today, as seen in the 2019 edition. While the translation edition published before tended to close the possibility of non-Muslims becoming leaders. This finding shows the government’s stance on democracy for non-Muslims, which according to previous research findings has declined with the rise of Islamic populism in Indonesia.Contribution: This article provides an explanation of one side of the difficulty of translating collocation [ittaḥaẓa awliya] in the Qur’an and at the same time shows the political direction of the government of the Republic of Indonesia regarding the politics of non-Muslim leadership. (shrink)

Cultural narratives shape how we think about the world, including how we decide when the end of life begins. Hospice care has become an integral part of the end‐of‐life care in the United States, but as it has grown, its policies and practices have also imposed cultural narratives, like those associated with the “six‐month rule” that the majority of the end of life takes place in the final six months of life. This idea is embedded in policies for a range (...) of care practices and reimbursement processes, even though six months is not always a meaningful marker. In the case of people living with advanced dementia, six months is both too early in the trajectory to facilitate conversations and too late in the trajectory to ensure decision‐making capacity. This essay encourages scholars and policy‐makers to consider how cultural narratives may limit what they think is possible in care for people living with dementia. (shrink)

Austin attacks the view that language is referential, based on the simplistic division of utterances into the ‘descriptive’ and ‘evaluative’, using his notion of performative utterances. Such utterances, in the appropriate circumstances, are neither descriptive nor evaluative, but count as actions, i.e., create the situation rather than describing or reporting on it. In saying ‘I promise to go’ one is making a promise, not stating that one is making it. A performative promise is not, and does not involve, the statement (...) that one is promising. It is an act of a distinctive sort, the very sort named by the performative verb. And, according to Austin, making explicit what one is doing is not describing what one is doing or stating that one is doing it. (shrink)

Criticises G. E. Moore’s highly influential proposal that ascriptions of agent ability implying freedom of choice or action, what the agent could do, are analyzable as conditional statements regarding what the agent would do under certain circumstances. Austin objects against Moore that some uses of ‘if’ are non-conditional and goes on to examine the uses of these non-conditional cases. Moore’s proposal also lies at the heart of some compatibilist theories of free will and determinism. Austin argues determinism to be a (...) pseudo-problem, so long as it remains a notion that is not itself clear cut. (shrink)

This article offers a critical reflection of Lizal’isidinga laKho (hymn 116) and Wazidala iinto zonke (hymn 16) written by Tiyo Soga and recorded in the Methodist Church of Southern Africa (MCSA) hymnal book. From the perspective of black theology of liberation (BTL), I historicise and contextualise hymn 116 and hymn 16 to debunk the argument that Tiyo Soga was alien to the lives, experiences of suffering and pain of his people. The article posits that hymn 116 and hymn 16 are (...) black spirituals that articulate the contexts Soga found himself as a black person during the times of the frontier wars. Therefore, utilising blackness as a heuristic approach, I argue that the songs do not just historicise the experiences of black people in the times of the frontier wars, but they are prayers and/or laments from Soga that ask God to spare the lives, the culture, and value systems of black people in a world that seeks the destruction of their being, history, and culture. The songs emphasise the black struggle for justice and liberation encouraging black people never to succumb to the definitions given to them by those who seek the destruction of black personhood. The article locates Soga within the frontier wars to illustrate his own experiences as black person, then examines and presents Lizal’isidinga laKho, Wazidala iinto zonke as black spirituals born in a time of war to give hope to those who have been conquered and subjugated in the unjust wars of colonisation. Hymns 116 and 16 contribute to the decolonial turn discourse –unthinking of the west – because they emphasise the black struggle for liberation and justice.Contribution: The contribution of this article is its focus on the way in which the intersection of religious studies, social sciences, and humanities generates an interdisciplinary contested discourse. (shrink)

In The Force of Nonviolence, Judith Butler presents five key interventions to the field of nonviolence philosophy: (1) a critique of social contract theory for the way it imagines human beings as independent, (2) an approach to nonviolence based in the preservation of life within a context of social action, (3) the advancement of Butler’s alternative framework of equal grievability, (4) the claim that violence is difficult to define independently of social context, and (5) a Freudian analysis of the death (...) drive that offers a strategy for disrupting violence. In response to each of these interventions, this article argues that: (1) social contract theory is a heuristic for justifying the existence of a state, (2) Gandhi’s concept of truth provides a more comprehensive approach to nonviolence that concerns the whole self and all beings, (3) a concept of function would make a better guide to human responsibility, (4) violence can be defined independently of social framework, and (5) without reliance on the concept of a death drive, there are nonviolent remedies for social attitudes of aggression as found in the work of Jane Addams and William James. (shrink)

Intellectual character education has been primarily expressed in terms of educating for intellectual virtues (EFIV). This aim of teaching intellectual virtues has received some challenges, such as how it fails to articulate adequate action guidance through exemplarist pedagogy, and how it neglects the pervasiveness of intellectual vice among students. To respond to these challenges, this paper considers the aim of educating against intellectual vices (EAIV) – teaching students not to develop intellectual vices or weakening those that they have already developed (...) – which comes with the emergence of vice epistemology. More specifically, I look at how negative epistemic exemplars can be used as a classroom strategy for EAIV, and demonstrate how this could address the aforementioned weaknesses of EFIV. (shrink)

Research ethics education has taken many forms since federal funding agencies issued regulatory guidance directing those supported by these agencies to complete required training. In the absence of a standard training approach among institutions such as universities, the design and content of courses, workshops, and seminars varies widely. Here we describe a southwestern United States research university program that employed six teaching strategies to assist students in deep learning of ethical principles and behavior. Our purpose was to determine how these (...) strategies impact understanding and empowerment among an interdisciplinary group of graduate students. Results suggested that deep learning design can result in learning that requires students not only to remember and understand key ethics concepts but also to analyze and apply them in a broader ethical domain. Key findings inform design and delivery of future research ethics courses for instructional designers and instructors in higher education. (shrink)

The creative process has the potential to increase wellbeing and foster human flourishing (Dolan and Metcalfe, 2012 ; Forgeard and Eichner, 2014 ; O’Brien and Murray, 2015 ; Conner et al., 2018 ; Kaufman, 2018 ), yet has received little attention in the humanistic management literature. In this paper, we present three experiments showing that idea originators experience greater relationship conflict with counterparts who have committed perceived “idea theft”, i.e., proposed identical or related ideas. We test a model that identifies (...) a mechanism—self-threat—that mediates the relationship between idea theft and relationship conflict and identifies an intervention to ameliorate that self-threat via self-affirmation. Study 1 demonstrates the idea originator’s attribution of malign attributions to, and negative moral emotions toward, the counterpart. Study 2 demonstrates that idea originators ostracize both those who propose identical ideas and those who propose merely related ideas. In Study 3, evidence for self-threat as the mechanism underlying the negative relational consequences is provided via both a direct test of mediation as well as via moderation by self-affirmation. Our research contributes to the nascent idea theft literature and suggests a way to reduce its negative consequences. (shrink)

In circulation, T cells are spherical with selectin enriched dynamic microvilli protruding from the surface. Following extravasation, these microvilli serve another role, continuously surveying their environment for antigen in the form of peptide‐MHC (pMHC) expressed on the surface of antigen presenting cells (APCs). Upon recognition of their cognate pMHC, the microvilli are initially stabilized and then flatten into F‐actin dependent microclusters as the T cell spreads over the APC. Within 1–5 min, clathrin is recruited by the ESCRT‐0 component Hrs to (...) mediate release of T cell receptor (TCR) loaded vesicles directly from the plasma membrane by clathrin and ESCRT‐mediated ectocytosis (CEME). After 5‐10 min, Hrs is displaced by the endocytic clathrin adaptor epsin‐1 to induce clathrin‐mediated trans‐endocytosis (CMTE) of TCR‐pMHC conjugates. Here we discuss some of the functional properties of the clathrin machinery which enables it to control these topologically opposite modes of membrane transfer at the immunological synapse, and how this might be regulated during T cell activation. (shrink)

Seeking to better understand how nonprofit organizations (NPOs) manage hybridity, we investigated what distinguishes NPOs that combine multiple logics in productive and unproductive ways. We collected and analyzed data from six case studies of NPOs delivering social services in Australia. Our findings reveal that organizational members of NPOs take a _perspective_ on their hybrid nature which comprises four elements: motivational framing, actor engagement, resourcing attitude, and governance orientation. NPOs that combine multiple logics in productive and unproductive ways, respectively, are distinguished (...) by (1) a compelling or confused motivational framing for combining logics; (2) actors having active and shared, or passive and isolated, engagement with multiple logics; (3) attitudes toward resourcing multiple logics that are either coherent or competitive; and (4) a governance orientation toward multiple logics as opportunities to leverage or problems to resist. Our findings contribute to the literature by deepening understanding of the interplay between complex constellations of multiple logics in NPOs, including religious and professional logics. We also develop a model of organizational perspectives on hybridity and their implications for distinguishing NPOs that productively harness tensions between logics. (shrink)

Social scientific reasoning (SSR) is essential to social science education and to a democratic society as a whole. Students are challenged to analyze and reason about social problems such as social inequality, crime, and poverty. However, students experience difficulties with SSR. This study addresses the research question: Which design principles can guide teachers in designing lessons that promote social scientific reasoning? In this design-based research, four social science teachers employed a conceptualization of SSR and its levels together with three initial (...) design principles to develop curriculum materials and activities. These design principles and curriculum materials were piloted in two secondary education classes (9th and 10th grades) and evaluated by four social science teachers, four social science teacher educators and 90 students. The study produced six design principles that can promote students’ SSR. In combination with the curriculum materials, those design principles can help develop teachers’ pedagogical content knowledge and guide the design of tasks and units that develop SSR. (shrink)

Ray and Cooper (2024) present a clear and compelling argument for giving greater prioritization to environmental injustice in the work we do as bioethicists. Their discussion of justice and vulnera...

O objetivo principal deste artigo é esclarecer como Brentano define a relação entre (a) o conhecimento de nossos próprios fenômenos de consciência e (b) o conhecimento de fenômenos de consciência de outros sujeitos. Por um lado, Brentano argumenta, seguindo a tradição moderna, que o conhecimento dos próprios atos mentais é absolutamente fundamental. Ao mesmo tempo, porém, ele quer mostrar com sua Psicologia do ponto de vista empírico uma clara alternativa ao introspeccionismo. Mostraremos como Brentano busca unir estes dois objetivos e (...) como ele também aderiu a esta linha em sua Psicologia Descritiva. Sua psicologia como um todo pode, portanto, ser entendida como um apelo ao pluralismo epistemológico. (shrink)

In the context of business, interactions between individuals generate social systems that emerge anywhere within a corporation or in its relations with external agents. These systems influence the behaviors of individuals and, as a result, the collective actions we usually attribute to corporations. Social systems thus make a difference in processes of action that are often morally evaluated by internal and external agents to the firm. Despite this relevance, social systems have not yet been the object of specific attention in (...) the literature on moral agency in business. To fill this gap, I construct a theoretical framework based on Luhmann’s ideas on social systems and morality. In particular, I argue that morality is a phenomenon that occurs in communication, and an agent can engage in morality in three different ways (as a _moral factor_, an _expressive moral agent_, or a _reflective moral agent_) depending on the functions it plays in communicative interactions. Based on this framework, I argue that social systems in business can be considered moral agents of those types. (shrink)

In this commentary, we set out the specifics of how Glowacki's game theoretical framework for the evolution of peace could be incorporated within broader cultural evolutionary approaches. We outline a formal proposal for prisoner's dilemma games investigating raid-based conflict. We also centre an ethnographic lens to understand the norms surrounding war and peace in intergroup interactions in small-scale communities.

This chapter traces the historical and conceptual development of the idea of the continuum and the allied concept of real number. Particular attention is paid to the idea of infinitesimal, which played a key role in the development of the calculus during the seventeenth and eighteenth centuries, and which has undergone a revival in the later twentieth century.

Austin discusses the existence, origin, and resemblance of concepts, primarily by discussing the meaning of ‘concept’ and ‘universal’. He argues that, although sometimes it may not be harmful to talk about concepts, we neither understand the meaning of ‘concept’, nor the meaning of ‘acquiring and possessing concepts’, nor a view of concept resemblance as non-sensuous acquaintance or awareness, challenging philosophers who couch their theories in such terms to illuminating them first.

In this chapter, Mackie presents a defence of Locke against Berkeley's attack on abstraction. It is argued that Locke's theory of ideas primarily concerns our ability to employ words and statements. Locke's theory concerning ideas of numbers is criticized. Three theories of universals are considered: realism, nominalism, and conceptualism; it is concluded, however, that the notion of there being distinct things with which we connect general words with particular things is mistaken. Mackie instead proposes a theory of general words being (...) ‘annexed’ to features of things. (shrink)

Glowacki explored the conditions required for peace and argued its preconditions arose only within the last 100,000 years. The present commentary addresses some major brain changes that occurred only in Homo sapiens within that period of time and the verbal and nonverbal cognitive sequelae of those neurological changes that may have aided the diplomatic negotiations required for peaceful solutions.