Codes of governance have mushroomed in contexts operating under a single, dominant institutional logic, such as publicly listed corporations. These codes act as institutional prescriptions that help spread best practices throughout industries. More recently, in some countries, specific codes have been developed for hybrid organizations that integrate multiple, conflicting institutional logics simultaneously, such as cooperative enterprises. Drawing on an extensive set of qualitative data, we ask how such institutional prescriptions may (fail to) address governance challenges in organizations with multiple, conflicting (...) institutional demands. In doing so, we extend current literature on governance of hybrid organizations, which has so far focused on individual and organizational levels, to include institutional-level strategies. While governance codes are often inspired by deontological ethics to solve issues in a single institutional logic, we find that governance codes for hybrid organizations should not prioritize a single institutional logic, nor follow a deontological approach to improving governance, but should, on a more pragmatist take, remain open to continuous learning. (shrink)

Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...) rules corresponding to conditions on the accessibility relations expressed by so-called geometric theories. Thus, we give natural deduction systems in a uniform way for a wide class of constructive hybrid logics. This shows that constructive hybrid logics are a viable enterprise and opens up the way for future applications. (shrink)

The hybrid logic and the independence friendly modal logic IFML are compared for their expressive powers. We introduce a logic IFML c having a non-standard syntax and a compositional semantics; in terms of this logic a syntactic fragment of IFML is singled out, denoted IFML c . (In the Appendix it is shown that the game-theoretic semantics of IFML c coincides with the compositional semantics of IFML c .) The hybrid logic is proven to be strictly more expressive than IFML (...) c . By contrast, and the full IFML are shown to be incomparable for their expressive powers. Building on earlier research (Tulenheimo and Sevenster 2006), a PSPACE -decidable fragment of the undecidable logic is disclosed. This fragment is not translatable into the hybrid logic and has not been studied previously in connection with hybrid logics. In the Appendix IFML c is shown to lack the property of ‘quasi-positionality’ but proven to enjoy the weaker property of ‘ bounded quasi-positionality’. The latter fact provides from the IFML internal perspective an account of what makes the compositional semantics of IFML c possible. (shrink)

Psychologists of concepts’ traditional assumption that there are many properties common to all concepts has been subject to devastating critiques in psychology and in the philosophy of psychology. However, it is currently unclear what approach to concepts is best suited to replace this traditional assumption. In this article, we compare two competing approaches, the Heterogeneity Hypothesis and the hybrid theories of concepts, and we present an empirical argument that tentatively supports the former over the latter.

This paper presents a theory of reasoning with evidence in order to determine the facts in a criminal case. The focus is on the process of proof, in which the facts of the case are determined, rather than on related legal issues, such as the admissibility of evidence. In the literature, two approaches to reasoning with evidence can be distinguished, one argument-based and one story-based. In an argument-based approach to reasoning with evidence, the reasons for and against the occurrence of (...) an event, e.g., based on witness testimony, are central. In a story-based approach, evidence is evaluated and interpreted from the perspective of the factual stories as they may have occurred in a case, e.g., as they are defended by the prosecution. In this paper, we argue that both arguments and narratives are relevant and useful in the reasoning with and interpretation of evidence. Therefore, a hybrid approach is proposed and formally developed, doing justice to both the argument-based and the narrative-based perspective. By the formalization of the theory and the associated graphical representations, our proposal is the basis for the design of software developed as a tool to make sense of the evidence in complex cases. (shrink)

A growing body of nursing writing is engaged in reviewing the material and relational world of nursing using geographical concepts. This paper draws upon research undertaken in hospital settings where nurses constituted the hospital as a home space for patients. Nurses’ practices created an equitable and patient‐centred use of physical space in the hospital ward, along with the intimate, extended and personal relationships associated by patients with a caring and homely environment. It is suggested that this constitution of space resonates (...) with the geographic notion of the therapeutic landscape and can be read as a challenge to more conventional uses of hospital spaces shaped by biomedical concerns. The implications of merging the distinctly different spaces and places of home and hospital are also explored using the concepts of hybridity and spatial vulnerability. The complex hybrid nursing creation of home space within hospital places works against the grain of usual understandings of hospitals as specialised illness spaces that are the domain of the health professional inhabitants. While there are limitations and dangers in the representation, this constitution of space is an expression of core nursing values privileging patient–nurse relationships and supports the maintenance of identity and personal expression. (shrink)

Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages. Although developed in interesting ways by Robert Bull, and by the Sofia school , the method remains little known. In our view this has deprived temporal logic of a valuable tool.The aim of the paper is to explain why hybridization is useful in temporal logic. We make two major points, the first technical, the second conceptual. First, we show that hybridization gives rise to well-behaved (...) logics that exhibit an interesting synergy between modal and classical ideas. This synergy, obvious for hybrid languages with full first-order expressive strength, is demonstrated for a weaker local language capable of defining the Until operator; we provide a minimal axiomatization, and show that in a wide range of temporally interesting cases extended completeness results can be obtained automatically. Second, we argue that the idea of sorted atomic symbols which underpins the hybrid enterprise can be developed further. To illustrate this, we discuss the advantages and disadvantages of a simple hybrid language which can quantify over paths. (shrink)

This article examines G. A. Cohen’s endorsement of a hybrid ethical theory and its relationship to his critique of John Rawls’s egalitarian liberalism. Cohen claimed that Rawls’s appeal to special incentives was a distortion of his own difference principle. I argue that Cohen’s acceptance of a personal prerogative (the central element of Samuel Scheffler’s version of a hybrid ethical theory) has several untoward consequences. First, it illuminates how any reasonable challenge to Rawls’s liberalism must recognise Thomas Nagel’s arguments concerning the (...) problems that arise when one attempts to implement a political theory analogous to a hybrid theory of ethics. Second, it undermines Cohen’s critique of Rawls. Third, it undermines the plausibility of Cohen’s ethos-driven social egalitarianism. The article concludes that, despite Nagel’s concerns, the most plausible form of egalitarianism—one that can accommodate the requirements of a hybrid ethical theory—will be Rawlsian, rather than Cohen’s ethos-based system. (shrink)

The transgressive ontological character of hybrids—entities crossing the ontological binarism of naturalness and artificiality, e.g., biomimetic projects—calls for pondering the question of their ethical status, since metaphysical and moral ideas are often inextricably linked. The example of it is the concept of “moral considerability” and related to it the idea of “intrinsic value” understood as a non-instrumentality of a being. Such an approach excludes hybrids from moral considerations due to their instrumental character. In the paper, we revisit the boundaries of (...) moral considerability by reexamining the legitimacy of identifying intrinsic value with a non-instrumental one. We offer the concept of “functional value,” which we define as a simultaneous contribution to the common good of the ecosystem and the possibility to disclose the full variety of aspects of a being’s identity. We argue that such a value of hybrids allows us to include them into the scope of moral considerability. (shrink)

This paper examines and classifies the computational complexity of model checking and satisfiability for hybrid logics over frames with equivalence relations. The considered languages contain all possible combinations of the downarrow binder, the existential binder, the satisfaction operator, and the global modality, ranging from the minimal hybrid language to very expressive languages. For model checking, we separate polynomial-time solvable from PSPACE-complete cases, and for satisfiability, we exhibit cases complete for NP, PS pace , NE xp T ime , and even (...) N2E xp T ime . Our analysis includes the versions of all these languages without atomic propositions, and also complete frames. (shrink)

This study contributes to the growing interest in how hybrid organizations manage paradoxical social–business tensions. Our empirical case is “impact sourcing”—hybrids in global supply chains that hire staff from disadvantaged communities to provide services to business clients. We identify two major growth orientations—“community-focused” and “client-focused” growth—their inherent tensions and ways that hybrids manage them. The former favors slow growth and manages tensions through highly integrated client and community relations; the latter promotes faster growth and manages client and community relations separately. (...) Both growth orientations address social–business tensions in particular ways, but also create latent constraints that manifest when entrepreneurial aspirations conflict with the current growth path. In presenting and discussing our findings, we introduce preempting management practices of tensions, and the importance of geographic embeddedness and distance to the paradox literature. (shrink)

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

There have been various studies on the passage of Philippians 1:15–18 but there have been few studies on a hybrid aspect of Christian identity implicated in the passage. The aim of the study was to reveal a hybrid aspect of the passage. The socio-historical setting for the study was the Greco-Roman period. For this study, I employed rhetorical criticism, a socio-linguistic approach and an anthropological linguistic approach to the passage, as well as the analysis of the socio-historical and cultural background (...) of the passage. As a result, I found that Paul, who retained his Jewish identity but embraced Christian identity, tried to suggest such a new kind of identity for the intended audience and their community. In this article, I argued that Paul as a hybrid personality urged the Christian community in Philippi to have distinguished Christian habitus and field in Philippians 1:15–18. In particular, Paul persuaded his intended audience or readers to acknowledge and accept even those preachers who had questionable intentions into their Christian community. Such an inclusive attitude was to make a clear distinction between the community and their traditional Greco-Roman socio-cultural background. Contribution: The research on Philippians 1:15–18 reveals a hybrid aspect of Christian identity implicated in the passage. This research would contribute to the biblical studies of the Hervormde Teologiese Studies journal through its rhetorical, socio-linguistic and anthropological approach to the biblical passage of Philippians 1:15–18. (shrink)

This is an extended version of the lectures given during the 12-thConference on Applications of Logic in Philosophy and in the Foundationsof Mathematics in Szklarska Poręba. It contains a surveyof modal hybrid logic, one of the branches of contemporary modal logic. Inthe first part a variety of hybrid languages and logics is presented with adiscussion of expressivity matters. The second part is devoted to thoroughexposition of proof methods for hybrid logics. The main point is to showthat application of hybrid logics (...) may remarkably improve the situation inmodal proof theory. (shrink)

Hybrid deduction-refutation systems are presented for four first degree entailment based logics. The hybrid systems are shown to deductively and refutationally sound and complete with respect to their logics. The proofs of completeness are presented in a uniform way. This paper builds on work in [6], where Goranko presented a deductively and refutationally sound and complete hybrid system for classical logic.

Hybride der Romantik: Frankenstein, Olimpia und das künstliche Leben. Dieser Beitrag untersucht Vorstellungen über die Möglichkeit der Erzeugung künstlicher Lebewesen in der Zeit der Romantik und die damit verbundenen Ängste am Beispiel zweier fiktionaler Texte: Mary Shelleys Frankenstein und Ernst Theodor Amadeus Hoffmanns Sandmann. Dr. Franksteins Monster und Dr. Spalanzanis Automat verkörpern – auf unterschiedliche Weise – die Möglichkeit einer Wendung wissenschaftlicher Produkte und insbesondere künstlicher Hybride ins Monströse. Ihre Geschichten thematisieren das Grauen, das vom drohenden Kontrollverlust ausgeht und als (...) der modernen Wissenschaft innewohnende Gefahr selbst nach der Zerstörung der monströsen Kreaturen bestehen bleibt. Der Begriff des Unheimlichen, von Ernst Jentsch und Sigmund Freud mit Bezug auf Hoffmanns Sandmann formuliert und 1970 von dem japanischen Robotiker Masahiro Mori als Phänomen „des unheimlichen Tals“ (Uncanny Valley) weiterentwickelt, erlaubt weitere Einblicke in die Frage nach künstlichen Lebewesen und ihre Interaktion mit Menschen. Summary: Hybrids of the Romantic: Frankenstein, Olimpia, and Artificial Life. This essay analyzes fantasies and fears related to the possible creation of artificial humans in two influential pieces of Romantic literature, namely E.T.A. Hoffmann's Der Sandmann and Mary Shelley's Frankenstein. Both the automaton Olimpia and Dr. Frankenstein's monster are hybrid creatures. These dystopian figures represent the Romantic fear of the loss of control over the outcome of human endeavour, they symbolize the dangers immanent in modern science and technology. As hybrids, Olimpia and Frankenstein's monster are capable of breaking apparently unpenetrable boundaries, such as those between human and non‐human, and between life and death. As such, these creatures become “unheimlich” (uncanny), a critical term developed by Ernst Jentsch and Sigmund Freud, who directly referred to Hoffmann's Sandman. The term “uncanny” was further developed by the Japanese roboticist Masahiro Mori in the 1970s. Mori's investigation of human responses to androids (“Uncanny Valley”), shows the persistence of doubts and fears surrounding artificial humans far beyond the Romantic times, and opens new questions related to the issues of creation, reproduction, hybrids, hubris and gender. (shrink)

Hybrid identities are sentences in a special second order language with identity. The model classes of sets of hybrid identities are called hybrid solid varieties. We give a Birkhoff-type-characterization of hybrid solid varieties and develop a hybrid equational logic.

In this article the author reflects on some of the most recent instances of the hybridization of identities, brought about by movements of migration in the more general context of globalization. New situations triggered by the epoch-making historical developments of the world we live in require us to modify our notion of individual identity, which is no longer seen as a fundamental and self-referential essence of the individual, but rather as the product of a number of relational variables, many of (...) which arise from processes of ethnic amalgamation and cultural blending. In this new historical condition, one that old styles of thought are no longer able to grasp, the notion of memory is paramount. Memory, as Said has indicated, is connected to Vico’s concept of “invention” as “finding again,” that is, as an incessant process of the remembrance and the discovery of stories that are lived, leading to a “re-creation” and reconfiguration of one’s roots. This article, however, does not simply formulate, articulate and discuss the problem, but also raises the question of its genealogy, locating this in Vico’s distinction between the topical and the critical, that is connected with the triad of memory-imagination-ingenuity, and in certain philosophical positions – such as that of Dilthey, which is specifically acknowledged here – that involve an instance of hybridism, interpreted as a relationship between biological-natural and psychological subjectivity on one hand and historical-cultural identity on the other. (shrink)

Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability (...) problems. (shrink)

Machery rightly points out a diverse set of phenomena associated with concepts that create challenges for many traditional views of their nature. It may be premature, however, to give up such views completely. Here I defend the possibility of hybrid models of concept structure.

The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) (...) it preserves the completeness and decidability of Lewis’s logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption. Keywords Counterfactual logic - David Lewis - Contextually definite description - Hybrid logic - Arthur Prior - The limit assumption - Strong completeness - Decidability - Bisimulation - Pure completeness. (shrink)

The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called false-belief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. (...) We also consider the Sally-Anne task, having a more complicated logical structure, presupposing a “principle of inertia” saying that a belief is preserved over time, unless there is belief to the contrary. (shrink)

: In recent literature supporting a hybrid view between metaethical cognitivism and noncognitivist expressivism, much has been made of an analogy between moral terms and pejoratives. The analogy is based on the plausible idea that pejorative slurs are used to express both a descriptive belief and a negative attitude. The analogy looks promising insofar as it encourages the kinds of features we should want from a hybrid expressivist view for moral language. But the analogy between moral terms and pejorative slurs (...) is also problematic. In this paper, I argue for two main ways in which we should distinguish between two different types of pejorative terms: slurs, on the one hand, and what I call general pejorative terms, on the other. I examine the problems with the analogy between slurs and moral terms and conclude that general pejorative terms like ‘jerk’ are a better candidate on which to model the potential dual-use behavior of moral terms. So if hybrid theorists are looking for a dual-use model for moral language, they should be careful to base their analogies on general pejoratives, rather than slurs. (shrink)

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...) ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

This study analyzes the domestic political, economic, and social conditions in the Western Balkans that provide fertile ground for hostile and maligned actors to manipulate and exploit governments and societies with hybrid war measures, namely cyberattacks and cyber intrusions and disinformation and fake news. It begins with a review and assessment of the prevailing empirical and theoretical literature on hybrid warfare. It then describes two leading empirical indices that measure degrees of permeability and structural vulnerability that elevate or reduce the (...) risks associated with maligned and hostile interventions. The article also examines leading indicators measuring resilience levels in cybersecurity and media/information literacy, highlighting political, social, and economic vulnerabilities. It concludes by suggesting that domestic conditions in the region encourage maligned and hostile actors, especially Russia and for different reasons and to a lesser extent China and Turkey, to use hybrid measures to exploit the region. The article proposes that in addition to strengthening institutions and trust, membership in NATO and the E.U. are directly related to mitigating structural vulnerability and reducing uncertainty and insecurity in the Western Balkans. (shrink)

First of all I would like to describe inductive and abductive reasoning in the light of the agent–based framework to the aim of clarifying their fallacious character and the role of the so-called ideal systems (logical and computational). Then I will analyze some inductive and abductive types of reasoning that in the perspective of classical and informal logic are defined fallacies. I will describe how in an agent-based reasoning this kind of fallacious reasoning can in some cases be redefined and (...) considered as a good way of reasoning. Finally, I will illustrate how what I call manipulative abduction can be interpreted as a form of practical reasoning a better understanding of which can furnish a description of human beings as hybrid reasoners in so far they are users of ideal and computational agents. (shrink)

This chapter surveys hybrid theories of well-being. It also discusses some criticisms, and suggests some new directions that philosophical discussion of hybrid theories might take.

This essay takes issue with the way the highly fashionable concept of hybridity has been used to skew our understanding of cultural identity, and render conceptually and normatively indefensible the political claims of culture. It also challenges the current ‘anti-essentialist’ orthodoxy about what culture ‘really is,’ and shows that neither ‘essentialism’ nor ‘anti-essentialism’ helps us get right the place of culture in politics, because both fail to recognize the identity and non-identity of culture with itself.

Sufism has two main dimensions: vertical (God’s pleasure) and horizontal (harmony with nature, society and local wisdom). In reality, many Sufis are considered less concerned about the balancing between vertical and horizontal dimensions. The research explores the concepts and practices of hybrid Sufism undertaken by Kyais (religious leaders) and their followers in improving quality of life. Ethnography was used for exploring the mindset and activities of Kyai and his followers. This study involved four Kyais in Java and Kalimantan, Indonesia. Research (...) data were obtained through participant observations, in-depth interviews and documentation. The data were analysed by Spadley’s ethnographic steps as follows: (1) domain analysis, (2) taxonomy analysis, (3) componential analysis and (4) cultural-thematic analysis. The results showed that hybrid Sufism could improve quality of life. Hybrid Sufism can better appreciate and interpret local wisdom with an attitude of preserving nature and a positive understanding of worldly wealth, increasing the hard work ethos to achieve material–spiritual qualities. Contribution: This article shows that hybrid Sufism encourages the life of Sufis in harmony between vertical and horizontal aspects. This understanding and lifestyle give rise to respect for others, being friendly to the environment and interpreting life and local wisdom. (shrink)

The ‘European Green Deal’ (EGD) is a set of communications from the European Commission that outlines EU roadmap to climate neutrality by 2050. The policy envisions that, with the facilitation of speedy and just ‘green transition’, the goals of environmental protection and economic development can be reconciled. This article offers a language-focused critical study of the EGD. After giving an overview of neoliberal ‘discourses of sustainability’ and explaining the notion of ‘interdiscursivity’ in CDS, it presents the results of a close (...) thematic analysis supported by keyword and concordance analysis of representations of ‘environment’ and ‘climate’ on the one hand, and ‘economy’ and ‘transition’ on the other. This study attends to salient language patterns and reveals how interdiscursive crossovers are established to normalise ‘sustainability’ as the contingency between environmental and economic orders of discourse. Also, it identifies the discursive strategies of nomination, predication, argumentation, perspectivisation and mitigation or intensification and shows how tensions between discourses are smoothened. This analysis of EGD’s ideological hybridity also sheds light onto how EU institutions are (self)authorised to lead actions on environmental challenges on behalf of European citizens. (shrink)

This paper points out a tension between Agustín Rayo's criteria for singulartermhood and his explicit views on the status of Hybrid Identities, that is, identity statements that use singular terms from two different Systems of Representation, such as "7=Julius Caesar" or more suggestively "I am b" where "b" is a singular term referring to my brain. It argues that non-trivial Hybrid Identities are common and important in philosophy and elsewhere, and it suggests a friendly alternative that involves treating Hybrid Identities (...) on the model of Rayo's "Just Is" statements. The last section of the paper points out that even this friendly alternative has counterintuitive consequences when combined with the metaphysical conventionalism that Rayo finds attractive, when it comes to questions of personal identity over time. (shrink)

This work proposes a hybrid heuristic algorithm to solve the bus rapid transit intelligent scheduling problem, which is a combination of the genetic algorithm, simulated annealing algorithm, and fitness scaling method. The simulated annealing algorithm can increase the local search ability of the genetic algorithm, so as to accelerate its convergence speed. Fitness scaling can reduce the differences between individuals in the early stage of the algorithm, to prevent the genetic algorithm from falling into a local optimum through increasing the (...) diversity of the population. It can also increase the selection probability of outstanding individuals, and speed up the convergence at the late stage of the algorithm, by increasing the differences between individuals. Using real operational data of BRT Line 1 in a city of Zhejiang province, the new scheduling scheme can be obtained through algorithm simulation. The passengers’ total waiting time in a single way will be reduced by 40 h on average under the same operating cost compared with the original schedule scheme in a day. (shrink)

This article examines the use of organic and mechanistic metaphors that have underpinned the modeling of national governance in the social sciences and also framed the representation of the social impact of migration. It argues that the global patterns of migration and the contemporary forms of hybrid subjectivity do not fit well with these conceptual frameworks. The limits of this framework are examined through Harald Kleinschmidt's theory of residentialism, and the outlines of an alternative conceptual frame is proposed by drawing (...) on key terms that have been developed in complexity theory. (shrink)