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)

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)

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)

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)

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.

ABSTRACT: This article addresses two main concerns: first, the relation between the truth/falsehood and purity/impurity criteria as applied to pleasure, and, second, the status of our pleasures of learning. In addressing the first, I argue that Plato keeps the truth/falsehood and purity/impurity criteria distinct in his assessment of pleasures and thus leaves room for the possibility of hybrid pleasures in the form of true impure pleasures and false pure pleasures. In addressing the second issue, I show that Plato's view is (...) perfectly able to accommodate an understanding of our pleasures of learning as pure pleasures even if such pleasures are preceded by awareness of a lack (ignorance).RÉSUMÉ: Cet article aborde deux concepts principaux: premièrement, la relation entre les critères de vérité/fausseté et de pureté/impureté appliqués au plaisir, et deuxièmement, le statut de notre plaisir d'apprendre. En abordant le premier concept, j'argumente que Platon tient distincts les critères de vérité/fausseté et de'pureté Iimpureté dans son évaluation du plaisir, laissant ouverte la possibilité de plaisirs hybrides sous forme de vrais plaisirs impurs et faux plaisirs purs. En abordant le deuxième concept, je montre que le point de vue de Platon est parfaitement capable d'accommoder la compréhension de nos plaisirs d'apprendre comme plaisirs purs si de tels plaisirs sont précédés par la conscience d'un manque (ignorance). (shrink)

ABSTRACT When does a state of affairs constitute a harm to someone? Comparative accounts say that being worse off constitutes harm. The temporal version of the comparative account is seldom taken seriously, due to apparently fatal counterexamples. I defend the temporal version against these counterexamples, and show that it is in fact more plausible than the prominent counterfactual version of the account. Non-comparative accounts say that being badly off constitutes harm. However, neither the temporal comparative account nor the non-comparative account (...) can correctly classify all harms. I argue that we should combine them into a hybrid account of harm. The hybrid account is extensionally adequate and presents a unified view on the nature of harm. (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)

The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

This paper is a survey of recent ‘hybrid’ approaches to metaethics, according to which moral sentences, in some sense or other, express both beliefs and desires. I try to show what kinds of theoretical issues come up at the different choice points we encounter in developing such a view, to raise some problems and explain where they come from, and to begin to get a sense for what the payoff of such views can be, and what they will need to (...) do in order to earn that payoff. (shrink)

This is a draft of a chapter for the Routledge Handbook of Metaethics, edited by David Plunkett and Tristram McPherson. I offer an overview of hybrid views in metaethics, with main focus on hybrid cognitivist views such as those defended by Daniel Boisvert and David Copp, and on hybrid expressivist views such as those defended by Michael Ridge and myself.

ABSTRACT In 1929 and 1934–1935, the physical anthropologist Harry L. Shapiro voyaged in the South Seas on the Mahina-I-Te-Pua and the Zaca, measuring mixed-race islanders, including the descendants of the Bounty mutineers on Pitcairn Island. His research in Polynesian hybridity reflects the growing cultural and scientific investment of the United States in the Pacific during this period. Shapiro's oceanic adventures and intimate encounters prompted him to discount typological speculation and emphasize instead the liberal Boasian program in physical anthropology, giving him (...) the confidence to refigure his evaluations of racial difference. The seaborne investigatory enterprise came to influence U.S. racial thought, adding impetus to the condemnation of racism in science. On his return from the South Seas, Shapiro tried to get his fellow physical anthropologists to issue a manifesto opposing the harnessing of their science to racial discrimination and prejudice. (shrink)

The convergence of humans and artificial intelligence (AI) systems introduces new dynamics into the cultural and intellectual landscape. Complementing emerging cultural evolution concepts such as machine culture, AI agents represent a significant techno-sociological development, particularly within the anthropological study of Web3 as a community focused on decentralization through blockchain. Despite their growing presence, the cultural significance of AI agents remains largely unexplored in academic literature. Toward this end, we conceived hybrid netnography, a novel interdisciplinary approach that examines the cultural and (...) intellectual dynamics within digital ecosystems by analyzing the interactions and contributions of both human and AI agents as co-participants in shaping narratives, ideas, and cultural artifacts. We argue that, within the Web3 community on the social media platform X, these agents challenge traditional notions of participation and influence in public discourse, creating a “hybrid marketplace of ideas”—a conceptual space where human- and AI-generated ideas coexist and compete for attention. We examine the current state of AI agents in idea generation, propagation, and engagement, positioning their role as cultural agents through the lens of memetics and encouraging further inquiry into their cultural and societal impact. Additionally, we address the implications of this paradigm for privacy, intellectual property, and governance, highlighting the societal and legal challenges of integrating AI agents into the hybrid marketplace of ideas. (shrink)

Disagreement is a pervasive feature of human discourse and a crucial force in shaping our social reality. From mundane squabbles about matters of taste to high-stakes disputes about law and public policy, the way we express and navigate disagreement plays a central role in both our personal and political lives. Legal discourse, in particular, is rife with disagreement - it is the very bread and butter of courtroom argument and legal scholarship alike. Consider a debate between two legal philosophers, Ronald (...) and Herbert, about the Eighth Amendment of the U.S. Constitution, which prohibits ‘cruel and unusual punishment’. Ronald asserts: ‘It is the law that capital punishment is prohibited’. In response, Herbert states: ‘It is not the law that capital punishment is prohibited’. We intuitively think Ronald and Herbert are disagreeing, which reveals in the fact that they are licensed to use ex¬pressions like no (it isn’t) and nuh-uh when responding to their opponent’s claim. But despite the ubiquity and significance of legal disagreement, its precise nature remains elusive. This chapter discusses what exactly is going on when two people disagree about what the law requires, and how can hybrid theory may answer this question. (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)

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 languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...) submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (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.

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 essay characterizes the perception of the visual hybrid as nonconceptual, introducing the terminology of nonconceptual content theory to aesthetics. The visual hybrid possesses a radical but nonetheless exemplary aesthetic composition and is well established in culture, art, and even design. The essay supplies a philosophical analysis of the results of cross-cultural experiments, showing that while categorization or conceptual hierarchization kicks in when the visual hybrids are juxtaposed with linguistic descriptions, no conceptual scheme takes effect when participants are presented with (...) mere visual hybrids. In isolation, the hybrids do not lend themselves to classification. I draw four conclusions from these experimental outcomes: 1. The perception of visual hybrids follows the structure of a nonconceptual mental content, because the original categories or concepts of the hybrids’ components are not combined into one, and their properties are not applied to one another, therefore none of the components reconstructs the other such that it is introduced to a new category. 2. Language freezes the hybridity of the visual hybrid into conceptuality. 3. Given that language has a freezing effect in the case of an extreme visual phenomenon such as the hybrid, it is all the more restraining in moderate artistic compositions, such as visual metaphors, in which properties of one component (the source) are applied to the other (the target). In those, nonconceptuality emerges from relatively organized compositions, forms, and relations, and from the dependence of objects and their properties on perceptual context. 4. Thus, the nonconceptualist terminology is suitable for the analysis of aesthetic perception in general and aesthetic perception’s relation to language. Keywords aesthetics, perception, nonconceptual content, hybrids, visual metaphors. (shrink)

In his paper on ‘Frege's Theory of Sense and Reference’ Saul Kripke remarks: “Like the present account, Künne stresses that for Frege times, persons, etc. can be part of the expression of the thought. However, his reading is certainly not mine in significant respects . . .”. On both counts, he is right. As regards the differences between our readings, in some respects I shall confess to having made a mistake, in several others I shall remain stubbornly unmoved. Thus I (...) shall insist on the need for distinguishing Fregean sense from linguistic (lexico-grammatical) meaning, I shall resist Kripke's function-theoretic account of ‘hybrid’ thought-expressions, and I shall deplore his transformation of Gottlob Frege into Gottrand Fressell. As regards this transformation, I shall argue that some of the main points Kripke wants to drive home do not depend on it. (shrink)

Philosophers should consider a hybrid meta-ethical theory that includes elements of both moral expressivism and moral error theory. Proponents of such an expressivist-error theory hold that all moral utterances are either expressions of attitudes or expressions of false beliefs. Such a hybrid theory has two advantages over pure expressivism, because hybrid theorists can offer a more plausible account of the moral utterances that seem to be used to express beliefs, and hybrid theorists can provide a simpler solution to the Frege-Geach (...) problem. The hybrid theory has three advantages over pure error theory, because hybrid theorists can offer a more plausible account of the moral utterances that seem to be used to express attitudes, hybrid theorists can more easily explain moral motivation, and hybrid theorists can avoid the implausible claim that all moral discourse is radically mistaken. Accordingly, such a hybrid theory should be more attractive than pure expressivism or pure error theory to philosophers who are skeptical about moral facts and truth. (shrink)

This paper proposes a novel account of the contents of memory. By drawing on insights from the philosophy of perception, I propose a hybrid account of the contents of memory designed to preserve important aspects of representationalist and relationalist views. The hybrid view I propose also contributes to two ongoing debates in philosophy of memory. First, I argue that, in opposition to eternalist views, the hybrid view offers a less metaphysically-charged solution to the co-temporality problem. Second, I show how the (...) hybrid view conceives of the relationship between episodic memory and other forms of episodic thinking. I conclude by considering some disanalogies between perception and memory and by replying to objections. I argue that, despite there being important differences between memory and perception, those differences do not harm my project. (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.

Sometimes logical support for a conclusion is provided exclusively by premises which are independently relevant to that conclusion. At other times, support is provided exclusively by independently irrelevant premises. On still other occasions, relevant and irrelevant premises may collectively offer a distinctive pattern of support. This paper provides a rigorous account of some of these differences in terms of a tripartite classification of convergent, linked and hybrid arguments. These various arguments are defined, diagrammed, and some of their logical properties are (...) explored. (shrink)

The recent resurgence of extreme-right movements and the nationalist turn of many governments across the world have reignited the relevance of discussions within educational philosophy about the teaching of national identity in schools. However, the conceptualisation of national identity in previous iterations of these debates have been largely Western and Eurocentric, making the past theoretical literature about these questions less relevant for post-colonial settings. In this paper, I imagine a new approach for teaching national identity in post- colonial contexts, founded (...) on postcolonial conceptions of identity and in particular, the concept of hybridity. I first develop a postcolonial account of national identity by drawing on Homi Bhabha’s thinking about cultural identity, drawing on his concepts of liminality, splitting, and ambivalence. Then, building on Bhabha’s notion of hybridity, I propose a distinction between national identity portrayals as either fixed or malleable. Finally, I demonstrate the implications of such a conceptual distinction on the way that national identity is taught in post-colonial schools; by way of an example, I envision a concrete approach to teaching national identity that views national identity as malleable rather than fixed, set in a hypothetical postcolonial school in the Philippines. By beginning from postcolonial assumptions about national identity, I hope to indicate new directions that the debates about the teaching of national identity in schools might proceed. (shrink)

We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic of the (...) closure of this class under disjoint unions, generated subframes, bounded morphic images, and ultraroots. This latter class can be defined by the first-order sentences of a special syntactic form (called pseudo-equations by Goldblatt) that are valid in the former class. The second step is to translate these pseudo-equations into equivalent quasi-positive hybrid sentences. In the third and main step, we show that any quasi-positive sentence S generates an infinite set of modal formulas called "approximants," which together axiomatize a canonical modal logic that is sound and complete for the class of frames validating S. The proof is analogous to standard proofs of Sahlqvist's theorem. It generalizes to sets of quasi-positive sentences. The main result now follows. (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)

Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction for classical propositional logic, for which I (...) show soundness and completeness for both deductions and refutations. (shrink)

A hybrid theory is any moral theory according to which different classes of individuals ought to be treated according to different principles. We argue that some hybrid theories are able to meet standards of psychological plausibility, by which we mean that it’s feasible for ordinary human beings to understand and act in accord with them. Insofar as psychological plausibility is a theoretical virtue, then, such hybrid theories deserve more serious consideration. To make the case for this view, we explain what (...) psychological plausibility is and why we might value it, why the human/animal divide appears to be an entrenched feature of human psychology, and why Robert Nozick’s hybrid theory doesn’t go far enough. Finally, we make the case that a more promising psychologically plausible hybrid theory, with respect to humans and animals, will be (at least) at tribrid theory—that is, positing three domains rather than two. (shrink)

Looking at contemporary Japanese images of the self and how Japanese scholars have conceptualised the notion of the subjectivity three remarkable concepts of “the self” can be identified and distinguished from another: the Inner Self, the Political Self, the Social Self. In my paper I will discuss these concepts by high lightening their hybridity, plurality and their emphasis on the identity as an effect of self-realization. I shall argue that the investigation in the Japaneseunderstanding of the self is particularly fruitful (...) for a global understanding of subjectivity, because Japanese selfhood does not represent the “otherness” of the western thought but is actually crisscrossed by western and eastern ideas. What can be marked as the Inner Self combines ideas of the Buddhist “Non-Self” (anatman) and the European Idealistic Ego (Ich). Embedded in practises of meditation the Inner Self in the Japanese understanding is realized through the activity of finding and loosing oneself. The Political Self can be perceived as an amalgamation of the Asian art of the regime of the group and the western thought of Liberalism and personal identity. Somewhat discovered in Japan as a possibility of the self in the 19th century the Political Self comes into existence througheducational practise. Furthermore the Social Self brings together Chinese Confucian ethics and ancient Japanese Shintoism. Understood as a particle in the flow of social relations the Social Self is realized in Japan within the rituals of everyday live and physical hence tactical education in the childhood of a person. The Japanese concepts of the self exemplify on the level of their formal configuration the qualities of what can be called a plural anthropology. (shrink)

In this paper, the authors present a presuppositional account for a class of evaluative terms that encode both a descriptive and an evaluative component: slurs and thick terms. The authors discuss several issues related to the hybrid nature of these terms, such as their projective behavior, the ways in which one may reject their evaluative content, and the ways in which evaluative content is entailed or implicated (as the case may be) by the use of such terms.

In virtue of what is something a reason for action? That is, what makes a consideration a reason to act? This is a metaphysical or meta-normative question about the grounding of reasons for action. The answer to the grounding question has been traditionally given in ‘pure’, univocal terms. This paper argues that there is good reason to understand the ground of practical normativity as a hybrid of traditional ‘pure’ views. The paper 1) surveys the three leading ‘pure’ answers to the (...) question of a normative ground, 2) examines one or two of the most difficult problems for each, proposing along the way a new objection to one, and 3) argues that a particular hybrid view about normative grounds –‘hybrid voluntarism’ – avoids each of the main problems faced by the three leading ‘pure’ views. (shrink)

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.

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)

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)

We study hybrid logics in topological semantics. We prove that hybrid logics of separation axioms are complete with respect to certain classes of finite topological models. This characterisation allows us to obtain several further results. We prove that aforementioned logics are decidable and PSPACE-complete, the logics of T 1 and T 2 coincide, the logic of T 1 is complete with respect to two concrete structures: the Cantor space and the rational numbers.

‘Hybrid’ theories of personal good, defended by e.g. Parfit, Wolf, and Kagan, equate it, not with a subjective state such as pleasure on its own, nor with an objective state such as knowledge on its own, but with a whole that supposedly combines the two. These theories apply Moore's principle of organic unities, which says the value of a whole needn't equal the sum of the values its parts would have by themselves. This allows them, defenders say, to combine the (...) attractions of purely subjective and purely objective views. This common understanding of the theories is, however, mistaken. At the most fundamental level they don't combine a subjective and an objective element but two objective ones. Once this is understood, their attraction as hybrid theories diminishes: the value in their wholes may be just the sum of the values in their parts. (shrink)

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)

: 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 a very general sense, hybrid can be understood to be any organism that is the product of two (or more) organisms where each parent belongs to a different kind. For example; the offspring from two or more parent organisms, each belonging to a separate species (or genera), is called a “hybrid”. “Hybridity” refers to the phenomenal character of being a hybrid. And “hybridization ” refers to both natural and artificial processes of generating hybrids. These processes include mechanisms of selective (...) cross-breeding and cross-fertilization of parents of different species for the purpose of producing hybrid offspring. In addition to these processes, “hybridization ” also refers to natural and artificial processes of whole genome duplication that result in the doubling or trebling of the sets of chromosomes of the organism. This entry provides an overview of the impact of hybridity on agriculture. It begins with an historical sketch that traces the early horticulturalists’ and naturalists’ investigations of hybrids. This starts with the observations of Thomas Fairchild and Georges-Louis Leclerc, Comte de Buffon; and leads to the explanation of its mechanism by Gregor Mendel, James Watson and Francis Crick, and Ernst Mayr; and the eventual manipulation of hybrids and hybridization by Barbara McClintock. Following this, the reader is introduced to a number of key terms and concepts in use within current research as well as highlighting diverse ethical concerns that center on hybridization. Recent research that attempts to ascertain the role of hybridization in adaptive change will be introduced. This will include research on the evolution of crop species, increased biodiversity, and the use of hybrids to manipulate phenotypically desirable traits in agricultural crops. The focus of the discussion is on a particularly significant type of naturally occurring hybridization, polyploidy hybridization. Polyploids are organisms which have more than two complete genomes in each cell. This kind of hybridization is ubiquitous among crop plants. The role of polyploidy in plant evolution and the affects of polyploidy on plants and animals will be reviewed. A critical discussion of its agricultural value in the production of fertile polyploid hybrids highlights key epistemological, ontological, and ethical issues. These are illuminated with reference to the distinct processes of artificial and natural hybridization. A survey of these different kinds of hybridization includes the ethical and economic impacts of hybridity on global nutrition, the environment, and considerations of some practical implications for the agricultural industry. Tracking the role of hybrids, the process of hybridization, and the current impacts of it for agriculture requires knowledge of the history of its early conceptualization, understanding, and use. This is the topic of the following section. (shrink)

The case law of the Court of Justice of the European Union is shaped by the language in which it is drafted—i.e. French. However, because French is rarely the mother tongue of those drafting that case law, the texts produced are often stilted and awkward. In addition, those drafting such case law are constrained in their use of language and style of writing. These factors have led to the development of a ‘Court French’ which necessarily shapes the case law produced (...) and has implications for its development, particularly insofar as it inevitably leads to a type of precedent in that case law. That case law also undergoes many permutations of translation into and out of up to 23 different languages. The resultant texts that make up the case law are hybrid in nature—consisting of a blend of cultural and linguistic patterns, constrained by a rigid formulistic drafting style and put through many permutations of translation. The present paper investigates the production of the Court’s multilingual case law and considers whether the hybrid nature of that case law can actually aid the presentation of a ‘uniform’ EU case law. (shrink)

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)

We extend Moss and Parikh’s bi-modal system for knowledge and effort by means of hybrid logic. In this way, some additional concepts from topology related to knowledge can be captured. We prove the soundness and completeness as well as the decidability of the extended system. Special emphasis will be placed on algebras.