Logics for belief functions on MV-algebras

In this paper we present a generalization of belief functions over fuzzy events. In particular we focus on belief functions defined in the algebraic framework of finite MV-algebras of fuzzy sets. We introduce a fuzzy modal logic to formalize reasoning with belief functions on many-valued events. We prove, among other results, that several different notions of belief functions can be characterized in a quite uniform way, just by slightly modifying the complete axiomatization of one of the modal logics involved in the definition of our formalism. © 2012 Elsevier Inc. All rights reserved.

Distinguished algebraic semantics for t-norm based fuzzy logics:Methods and algebraic equivalencies

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and ?-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics-namely the class of algebras defined over the real unit interval, the rational unit interval, the hyperreals (all ultrapowers of the real unit interval), the strict hyperreals (only ultrapowers giving a proper extension of the real unit interval) and finite chains, respectively-and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and (strict) hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. © 2009 Elsevier B.V. All rights reserved.

Technology and the architecture of markets: re-configuring the Canadian equity market

This paper examines the relation between technical possibilities, liberal logics, and the concrete reconfiguration of markets. It focuses on the enrolling of innovations in communication and information technologies into the markets traditionally dominated by stock exchanges. With the development of capacities to trade on-screen, the power of incumbent market makers has been challenged as a less stable array of competing quasi-public and private marketplaces emerges. Developing a case study of the Toronto Stock Exchange, I argue that narrative emphasis on the performative power of sociotechnical innovations, the deterritorialisation of financial relations, and the erosion of state capacities needs qualification. A case is made for the importance of developing an understanding of: the spaces of encounter between emerging social technologies and property rights, rules of exchange, and structures of governance; and the interplay of orderings of different institutional composition and spatial reach in the reconfiguration of market architectures. Only then can a better grasp be gained of the evolving dynamics between making markets, the regulatory powers of the state, and their delimitations.

Semiring induced valuation algebras: Exact and approximate local computation algorithms

Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra.There are many models of this algebraic structure ranging from probability theory to numerical analysis, relational databases and various classical and non-classical logics. It turns out that many interesting models of valuation algebras may be derived from semiring valued mappings. In this paper we study how valuation algebras are induced by semirings and how the structure of the valuation algebra is related to the algebraic structure of the semiring. In particular, c-semirings with idempotent multiplication induce idempotent valuation algebras and therefore permit particularly efficient architectures for local computation. Also important are semirings whose multiplicative semigroup is embedded in a union of groups. They induce valuation algebras with a partially defined division. For these valuation algebras, the well-known architectures for Bayesian networks apply. We also extend the general computational framework to allow derivation of bounds and approximations, for when exact computation is not feasible.

Dangerously empty? Hegemony and the construction of the Irish entrepreneur

In this article we build on Jones and Spicer's (2009) conceptualization of the entrepreneur as an empty signifier. We explore the function of the signifier 'entrepreneurship' within a social context marked by crisis: Ireland 2007-2010. In doing so, we show how its articulation by government acted to legitimize the continuation of market logics and, relatedly, the existing political status quo. Theoretically, we demonstrate the usefulness of Laclau and Mouffe's conception of hegemony, which shares a Lacanian legacy with Jones and Spicer. This helps us to understand the contradictory nature of the signifier of the entrepreneur in Irish political and social discourse, along with its relationship to the reproduction of political hegemony.

Exotisme religieux et bricolage

Cet article propose d’utiliser notion d’exotisme religieux afin d’analyser au mieux la dissémination des ressources religieuses « autres » dans les sociétés contemporaines et la relation que les acteurs sociaux entretiennent avec ces ressources. Il s’attachera aussi à montrer que cet outil conceptuel permet de reprendre les analyses qui ont été faites des bricolages composés de ressources symboliques variées, et en particulier d’en saisir les logiques culturelles et sociales. En effet, on a peut-être trop souvent surestimé l’éclectisme des combinaisons élaborées par les acteurs sociaux, pris pour acquise la disponibilité des ressources religieuses en présence et manqué de comprendre l’individualisme religieux de manière satisfaisante.

This article suggests that the notion of religious exoticism allows us to analyse better the diffusion of “other” religious resources in contemporary societies as well as the type of engagement individuals develop with the cultural and religious otherness. It will also try to show that this conceptual tool allows to further the analyzes that have been made about the forms of hybridity that combine diverse symbolic resources, and in particular to grasp its cultural and social logics. Indeed, the understanding of hybridity with foreign religions has sometimes over-estimated its eclecticism, taken for granted the availability of religious resources, and misunderstood religious individualism.

‘Bricolage’: reclaiming a conceptual tool

This article provides the genealogy of bricolage and underscores the modifications it has undergone within the sociologies of culture and religion. It draws on the study of three new religious movements that teach unconventional versions of Hinduism and kabbalah, to show that the current understanding of bricolage in the studies of popular culture and religion overestimates its eclectic and personal nature and neglects its sociocultural logics. It tends to take for granted the availability of cultural resources used in bricolage, and finally it fails to understand the social significance of individualism, overlooking the ways in which norms and power could be expressed through culture in the contemporary world. This article suggests that it would be best reclaiming bricolage’s original meaning, prompting questions about the contexts that make certain elements available, social patterns that may organise bricolage, who ‘bricole’, what for, who is empowered, from what and by using whose tradition.

Laboratizing the border: The production, translation and anticipation of security technologies

This paper critically interrogates how borders are produced by scientists, engineers and security experts in advance of the actual deployment of technical devices they develop. This paper explores the prior stages of translation and decision-making as a socio-technical device is conceived and developed. Drawing on in-depth interviews, observations and ethnographic research of the EU-funded Handhold project (consisting of nine teams in five countries), it explores how assumptions about the way security technologies will and should perform at the border shape the way that scientists, engineers, and security experts develop a portable, integrated device to detect CBRNE threats at borders. In disaggregating the moments of sovereign decision making across multiple sites and times, this paper questions the supposed linearity of how science comes out of and feeds back into the world of border security. An interrogation of competing assumptions and understandings of security threats and needs, of competing logics of innovation and pragmatism, of the demands of differentiated temporalities in detection and interrogation, and of the presumed capacities, behaviours, and needs of phantasmic competitors and end-users reveals a complex, circulating and co-constitutive process of device development that laboratises the border itself. We trace how sovereign decisions are enacted as assemblages in the antecedent register of device development itself through the everyday decisions of researchers in the laboratory, and the material components of the Handhold device itself.

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments.

Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks.