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.

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)

Hybrid Documentary and Non-Binary Cinema offers an expansive exploration of the contemporary documentary cinema form, aesthetics, and ethics. Beginning with a brief history of early seminal examples of magical realism, and constructed realities in documentary and ethnographic film the book will focus on recent and present-day examples of work that blur the lines between fiction and non-fiction. The book will also take a series of case studies to question the vision and motives of filmmakers working between documentary and fictional film. (...) It will consider the aesthetic and ethical challenges of these works and look toward the future of non-fiction filmmaking after the internet, and in the realm of the metaverse. The book will offer both an entry point to discover new tendencies and a deeper understanding for those readers who are more familiar with the field. Given its interdisciplinary subject nature, the book will appeal to audiences across a spectrum of interests such as film, fine art, anthropology, documentary, sociology and Drama. (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 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)

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)

Muslim migrants are the counter-figures through whom the modern Western identity is shaped. In Islamophobic discourses, they are constructed as inherently sexist and homophobic. In this ideological context, queer migrants coming from Muslim countries occupy an intersectional social location between Islamophobia and homophobia. In this paper we analyze the cinematic representation of queer migrants living in Europe coming from Muslim backgrounds. The aim of the paper is to analyze whether the films reproduce or subvert the Western “gay narrative”. The corpus (...) of analysis is made up of 19 films which were studied through a process of categorization of the relevant fragments in a matrix. The films are classified in three categories according to their approach. The first gathers those films that hold an assimilationist discourse, according to which queer migrants should embrace the Western “gay narrative” and abandon the values of the communities of origin. In the second category, the films propose a hybrid perspective in which characters merge elements from both the country of residence and the cultural background of origin in the exploration of their sexuality and gender. The films in the third category revolve around a metaphorical relationship between a queer migrant and a native person, promoting a reflection on the possibilities of transformative encounters that break the boundaries between supposedly opposed social groups. (shrink)

HSimulator is a multithread simulator for mass-action biochemical reaction systems placed in a well-mixed environment. HSimulator provides optimized implementation of a set of widespread state-of-the-art stochastic, deterministic, and hybrid simulation strategies including the first publicly available implementation of the Hybrid Rejection-based Stochastic Simulation Algorithm. HRSSA, the fastest hybrid algorithm to date, allows for an efficient simulation of the models while ensuring the exact simulation of a subset of the reaction network modeling slow reactions. Benchmarks show that HSimulator is often considerably (...) faster than the other considered simulators. The software, running on Java v6.0 or higher, offers a simulation GUI for modeling and visually exploring biological processes and a Javadoc-documented Java library to support the development of custom applications. HSimulator is released under the COSBI Shared Source license agreement. (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.

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)

This paper discusses an extension of Answer Set Programming called Hybrid Answer Set Programming which allows the user to reason about dynamical systems that exhibit both discrete and continuous aspects. The unique feature of Hybrid ASP is that it allows the use of ASP type rules as controls for when to apply algorithms to advance the system to the next position. That is, if the prerequisites of a rule are satisfied and the constraints of the rule are not violated, then (...) the algorithm associated with the rule is invoked. (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.

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)

The impact of Online Social Networks on human lives is foreseen to be very large with unprecedented amount of data and users. OSN users share their ideas, photos, daily life events, feelings and news. Since OSNs’ security and privacy challenges are more potential than ever before, it is necessary to enhance the protection and filtering approaches of OSNs contents. This paper explores OSNs’ threats and challenges, and categorize them into: account-based, URL-based and content-based threats. In addition, we analyze the existing (...) protection methods and highlight their limitations and weaknesses. Based on that, we propose a comprehensive, user-level, proactive and real-time OSNs’ protection system, called Hybrid Real-time Social Networks Protector. HRSP has three components; a user-level security protocol and two classification models. The protocol defines a structure for OSN’s cryptographic services, including encryption, access control and users’ authentication. The classification models employ machine learning, black lists, white lists and users’ feedback, in order to classify URLs into: Benign, Risk and Inappropriate classes, and contents into: Benign, Hate speech and Inappropriate classes. We constructed two data sets of 150,000 URLs and 22,000 tweets to build and test the two classification models. Results show an overall accuracy of 93.2% for the URL model and 84.4% for the content model, while the protocol implementation produces compatible size and time overhead. The components of HRSP are integrated and have compatible design with OSN platforms. (shrink)

Depression has become one of the most common mental illnesses, and the widespread use of social media provides new ideas for detecting various mental illnesses. The purpose of this study is to use machine learning technology to detect users of depressive patients based on user-shared content and posting behaviors in social media. At present, the existing research mostly uses a single detection method, and the unbalanced class distribution often leads to a low recognition rate. In addition, a large number of (...) irrelevant or redundant features in high-dimensional data sets interfere with the accuracy of recognition. To solve this problem, this paper proposes a hybrid feature selection and stacking ensemble strategy for depression user detection. First, recursive elimination method and extremely randomized trees method are used to calculate feature importance and mutual information value, calculate feature weight vector, and select the optimal feature subset according to the feature weight. Second, naive bayes, k-nearest neighbor, regularized logistic regression and support vector machine are used as base learners, and a simple logistic regression algorithm is used as a combination strategy to build a stacking model. Experimental results show that compared with other machine learning algorithms, the proposed hybrid method, which integrates feature selection and ensemble, has a higher accuracy of 90.27% in identifying online patients. We believe this study will help develop new methods to identify depressed people in social networks, providing guidance for future research. (shrink)

The articles in this issue of the Journal of Speculative Philosophy address a cluster of related philosophical themes: crossings, hybrids, and genres. These themes have many related aspects. Some of them are metaphilosophical. They concern the nature of philosophy itself and the nature of philosophical transgression and transformation; the relation of philosophy to other disciplines, genres, and practices; the value of philosophy at both individual and societal levels; the multiple forms of different philosophies; the conditions that make possible originality and (...) new forms of expression; and the roles within philosophy of narrative and fact, imagination and experiment, and personal modes of .. (shrink)

During the two days of the workshop, various presentations and discussions brought to light many new ideas, controv ersies, and syntheses. The fo cus was on learning and architecture s that feature hybrid representations and supp ort hybrid learning. It was a general consensus among the workshop participants that hybrid connectionist-symb olic mo dels constitute a promising aven ue toward developing more robust, more p owerful, and more versatile architecture s b oth for cognitive mo deling and for intelligen t (...) systems. The need for such mo dels has b een slowly but steadily growing over the past 5 years. Some new, imp ortant approaches have b een prop osed and develop ed, some of which were presented at the workshop. worthwhil e further pursuing In sum. (shrink)

The stock market is a chaotic, complex, and dynamic financial market. The prediction of future stock prices is a concern and controversial research issue for researchers. More and more analysis and prediction methods are proposed by researchers. We proposed a hybrid method for the prediction of future stock prices using LSTM and ensemble EMD in this paper. We use comprehensive EMD to decompose the complex original stock price time series into several subsequences which are smoother, more regular and stable than (...) the original time series. Then, we use the LSTM method to train and predict each subsequence. Finally, we obtained the prediction values of the original stock price time series by fused the prediction values of several subsequences. In the experiment, we selected five data to fully test the performance of the method. The comparison results with the other four prediction methods show that the predicted values show higher accuracy. The hybrid prediction method we proposed is effective and accurate in future stock price prediction. Hence, the hybrid prediction method has practical application and reference value. (shrink)

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)

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)

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)

I propose that neural cognition is supported by non-neural storage of a 3-D model of local space, used in the planning of movements. Information is stored in wave-like excitations which couple to neurons in the thalamus, with the wave-vectors of excitations representing spatial positions. This hybrid of neural and non-neural cognition may have fitness advantages over any purely neural mechanism -- in information capacity, geometric accuracy, and fast selective retrieval. The wave excitations may be sustained on a Bose-condensed state of (...) some excitation in the brain, by a mechanism like those investigated by Frohlich, Umezawa, Vitiello and others. These states, being frictionless, can store information indefinitely at low energy levels, insulated from thermal noise, so are an ideal substrate for memory. If a Bose-condensed state is a 3-D representation of local reality, it may be the basis of phenomenal consciousness . The resulting theory of consciousness is highly constrained, and agrees well with the main properties of conscious experience. In this account, consciousness arises from a very simple state of matter, rather than from complexity; and it evolved to meet one of the strongest selection pressures on the brain. (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)

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)

Deep neural networks (DNNs) have been playing a significant role in acoustic modeling. Convolutional neural networks (CNNs) are the advanced version of DNNs that achieve 4–12% relative gain in the word error rate (WER) over DNNs. Existence of spectral variations and local correlations in speech signal makes CNNs more capable of speech recognition. Recently, it has been demonstrated that bidirectional long short-term memory (BLSTM) produces higher recognition rate in acoustic modeling because they are adequate to reinforce higher-level representations of acoustic (...) data. Spatial and temporal properties of the speech signal are essential for high recognition rate, so the concept of combining two different networks came into mind. In this paper, a hybrid architecture of CNN-BLSTM is proposed to appropriately use these properties and to improve the continuous speech recognition task. Further, we explore different methods like weight sharing, the appropriate number of hidden units, and ideal pooling strategy for CNN to achieve a high recognition rate. Specifically, the focus is also on how many BLSTM layers are effective. This paper also attempts to overcome another shortcoming of CNN, i.e. speaker-adapted features, which are not possible to be directly modeled in CNN. Next, various non-linearities with or without dropout are analyzed for speech tasks. Experiments indicate that proposed hybrid architecture with speaker-adapted features and maxout non-linearity with dropout idea shows 5.8% and 10% relative decrease in WER over the CNN and DNN systems, respectively. (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)

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)

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)

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)

Contemporary research in social science often turns to the problem of the hybridization of politics: analyzing the “gray zone” between authoritarianism and democracy; defining the role of new media, and understanding informal practices in restoring peace in post-conflict societies. The contribution of the present article is based on an investigation of the concept of risk hybridization to explore the reflection on risk in the public sphere for the state, social movements, and citizens. The sociology of U. Beck with the theory (...) of reflexive modernization — as well as the concept of cosmopolitics — are used to explore different effects of risk hybridization models (diffusion, dominance, breakdown of hierarchy and causation) for the public sphere and politics. The author used materials on the COVID-19 epidemic — practices of the Russian state and the change of mass consciousness — to analyze interrelations between the process of risk hybridization and decrease in the coherence of state institutions and the transformation of political alienation in Russian society. The relationship between risk hybridization models and the formation of collective cognitive maps is considered through the practice of framing social movements and protest campaigns. Said nexus is illustrated by the Russian cases of social movements and specific public claims of mass protests actions in 2019-2020. The state governance perspective is used as an framework for a discussion of the effects of risk hybridization on limitations of deliberative and authoritarian models for managing of risk, as well as its perception by social groups. In the conclusion, the author highlights the high cost of maintaining the consistency of reflection on risk in the model of managing (authoritarian) knowledge. Moreover, the author discusses the rising complexity of social reality and the spread of digital media that multiplies reflection on risk. (shrink)

‘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)

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)

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.

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.

: 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)

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)

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)

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)

Combating the identity problem is crucial and urgent as false identity has become a common denominator of many serious crimes, including mafia trafficking and terrorism. Without correct identification, it is very difficult for law enforcement authority to intervene, or even trace terrorists’ activities. Amongst several identity attributes, personal names are commonly, and effortlessly, falsified or aliased by most criminals. Typical approaches to detecting the use of false identity rely on the similarity measure of textual and other content-based characteristics, which are (...) usually not applicable in the case of highly deceptive, erroneous and unknown descriptions. This barrier can be overcome through analysis of link information displayed by the individual in communication behaviours, financial interactions and social networks. In particular, this paper presents a novel link-based approach that improves existing techniques by integrating multiple link properties in the process of similarity evaluation. It is utilised in a hybrid model that proficiently combines both text-based and link-based measures of examined names to refine the justification of their similarity. This approach is experimentally evaluated against other link-based and text-based techniques, over a terrorist-related dataset, with further generalization to a similar problem occurring in publication databases. The empirical study demonstrates the great potential of this work towards developing an effective identity verification system. (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.

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)