By analyzing how one obtains the Stone space of the reduced product of an indexed collection of Boolean algebras from the Stone spaces of those algebras, we derive a topological construction, the "reduced coproduct", which makes sense for indexed collections of arbitrary Tichonov spaces. When the filter in question is an ultrafilter, we show how the "ultracoproduct" can be obtained from the usual topological ultraproduct via a compactification process in the style of Wallman and Frink. We prove theorems dealing with (...) the topological structure of reduced coproducts (especially ultracoproducts) and show in addition how one may use this construction to gain information about the category of compact Hausdorff spaces. (shrink)

We obtain an algorithm to compute finite coproducts of finitely generated Gödel algebras, i.e. Heyting algebras satisfying the prelinearity axiom =1. We achieve this result using ordered partitions of finite sets as a key tool to investigate the category opposite to finitely generated Gödel algebras . We give two applications of our main result. We prove that finitely presented Gödel algebras have free products with amalgamation; and we easily obtain a recursive formula for the cardinality of the free Gödel (...) algebra over a finite number of generators first established by A. Horn. (shrink)

It is given an explicit description of coproducts in the category of Kleene algebras in terms of the dual topological spaces. As an application, a description of dual spaces of free Kleene algebras is given. It is also shown that the coproduct of a family of three-valued ukasiewicz algebras in the category of Kleene algebras is the same as the coproduct in the subcategory of three-valued ukasiewicz algebras.

We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale modules in the wake of previous works by the present and other authors. We also describe quite extensively the relationships among the algebraic and order-theoretic constructions and the corresponding ones based on a purely logical approach.

In States of Knowledge, Sheila Jasanoff argues that we gain explanatory power by thinking of natural and social orders as being produced together, but she and her volume contributors do not yet offer a theory of the coproduction of scientific knowledge and social order. This article uses Mary Douglas’s cultural theory to identify four recurring states of knowledge and to specify political–cultural conditions for the coproduction of scientific knowledge, social order, and scientific, cultural, and policy change. The plausibility of this (...) theory is illustrated by using it to explain the coproduction and transformation of forest and wildlife science and management in the Pacific Northwest. (shrink)

This chapter draws attention to the principles, governance, and coproduction of the creative ageing policy. It shows possibilities of using alternative solutions and interventions within the one policy concept. The chapter also underlines the opportunities related to experimentation in policy design.

Gene drives are potentially ontologically and morally disruptive technologies. The potential to shape evolutionary processes and to eradicate (e.g. malaria-transmitting or invasive) populations raises ontological questions about evolution, nature, and wilderness. The transformative promises and perils of gene drives also raise pressing ethical and political concerns. The aim of this article is to arrive at a better understanding of the gene drive debate by analysing how ontological and moral assumptions are coproduced in this debate. Combining philosophical analysis with a critical (...) reading of the gene drive literature and an ethnographic study of two leading research groups, the article explores the hypothesis that the development of and debate about gene drives are characterized by a particular intervention-oriented mode of coproduction. Based on the results of this exploration, we highlight the need for a broadening of the perspective on gene drives in which empirical, moral, and ontological concerns are addressed explicitly in their interplay rather than in (disciplinary) isolation from each other. (shrink)

Thick concepts, namely those concepts that describe and evaluate simultaneously, present a challenge to science. Since science does not have a monopoly on value judgments, what is responsible research involving such concepts? Using measurement of wellbeing as an example, we first present the options open to researchers wishing to study phenomena denoted by such concepts. We argue that while it is possible to treat these concepts as technical terms, or to make the relevant value judgment in-house, the responsible thing to (...) do, especially in the context of public policy, is to make this value judgment through a legitimate political process that includes all the stakeholders of this research. We then develop a participatory model of measurement based on the ideal of co-production. To show that this model is feasible and realistic, we illustrate it with a case study of co-production of a concept of thriving conducted by the authors in collaboration with a UK anti-poverty charity Turn2us. (shrink)

Long presented as a universal policy-recipe for social prosperity and economic growth, the promise of innovation seems to be increasingly in question, giving way to a new vision of progress in which society is advanced as a central enabler of technoeconomic development. Frameworks such as “Responsible” or “Mission-oriented” Innovation, for example, have become commonplace parlance and practice in the governance of the innovation–society nexus. In this paper, we study the dynamics by which this “social fix” to technoscience has gained legitimacy (...) in institutions of global governance by investigating recent projects at two international organizations, the Organization for Economic Cooperation and Development and the European Commission, to mainstream “Responsible Innovation” frameworks and instruments across countries. Our analysis shows how the turn to societal participation in both organizations relies on a new deficit logic—a democratic deficit of innovation—that frames a lack of societal engagement in innovation governance as a major barrier to the uptake and dissemination of new technologies. These deficit politics enable global governance institutions to present “Responsible Innovation” frameworks as the solution and to claim authority over the coproduction of particular forms of democracy and innovation as intertwined pillars of a market-liberal international order. (shrink)

This article investigates the use and effect of optimizing strategies in the online game World of Warcraft. Specifically, it looks at the phenomenon known as “theorycrafting,” wherein expert players reverse engineer the game and use its underlying algorithms to calculate maximized play strategies. Play from a theorycrafting perspective is about the correct input and output of numbers, challenging the narrative of play as something free and frivolous. Seeking to understand how play and knowledge relate to each other, the article discusses (...) how theorycrafting’s seemingly abstract, objective, and neutral information about the game is also embedded with values, ideas, and norms. Based on a 1-year ethnographic study, the article uses Jasanoff’s idiom of coproduction to discuss how abstract calculations are rendered meaningful and valuable by players, and the consequences of this in stabilizing particular ways of playing World of Warcraft. (shrink)

This study investigates the interaction between civil servants and politicians in a planning committee in a Swedish county council. As the committees are venues for preparation of future decision-making, civil servants and others are invited to inform and report to the politicians on different topics. The aim is to explore this local interaction process based on an analysis of requests and responses. It is shown that the communication between civil servants and politicians is pervaded by sociability in the form of (...) conversational routines. The article aims to recognize this sociability as an intrinsic part of knowledge coproduction processes. Civil servants and politicians negotiate different types of professional and common knowledge through routines that dislocate time, responsibility, roles, and protocol order. These lubricants – important but often circumvented in studies of policy-making – are explored as instances of conversational coproduction. (shrink)

This contribution aims to examine the dynamics that have emerged from a collaborative research-training approach having relied on collective interviews, in order to shed light on the growing phenomenon of the professional integration of foreign-trained teachers in Quebec schools which seems problematic in various aspects. A conversation analysis was used to identify how the expertises of a research culture and professional cultures come together to serve a knowledge co-production process that seems relevant by the two communities concerned. Three dynamics have (...) been identified : the development of a comprehensive posture, the production of new adjusted interpretations, and the affirmation of its actor’s competency. Their highlighting leads us to reflect on collaborative design and animation strategies that served the co-production of knowledge process. (shrink)

. How, why and what for we should combine logics is perfectly well explained in a number of works concerning this issue. But the interesting question seems to be the nature and the structure of the general universe of possible combinations of logical systems. Adopting the point of view of universal logic in the paper the categorical constructions are introduced which along with the coproducts underlying the fibring of logics describe the inner structure of the category of logical systems. (...) It is shown that categorically the universe of universal logic turns out to be a topos and a paraconsistent complement topos. (shrink)

‘The co-production of meaning’ is a popular, widely-used, but under-defined concept. To better understand the co-production of meaning, we shall attempt to develop an account of co-production through phenomenological psychopathology. Through Hans Georg Gadamer’s remarks on ‘the hermeneutic problem of psychiatry’, we distinguish kinds of contingent and intrinsic obstacles to 'co-production'. In calling attention to these obstacles, we problematise the concept of ‘co-production’ in public mental health, revealing it to be more complex than originally thought. We conclude that new developments (...) in phenomenological psychopathology can be used to overcome some of the limitations of ‘co-production’. (shrink)

When it comes to using patient data from the National Health Service for research, we are often told that it is a matter of trust: we need to trust, we need to build trust, we need to restore trust. Various policy papers and reports articulate and develop these ideas and make very important contributions to public dialogue on the trustworthiness of our research institutions. But these documents and policies are apparently constructed with little sustained reflection on the nature of trust (...) and trustworthiness, and therefore are missing important features that matter for how we manage concerns related to trust. We suggest that what we mean by ‘trust’ and ‘trustworthiness’ matters and should affect the policies and guidance that govern data sharing in the NHS. We offer a number of initial, general reflections on the way in which some of these features might affect our approach to principles, policies and strategies that are related to sharing patient data for research. This paper is the outcome of a ‘public ethics’ coproduction activity which involved members of the public and two academic ethicists. Our task was to consider collectively the accounts of trust developed by philosophers as they applied in the context of the NHS and to coproduce an argumentative position relevant to this context. (shrink)

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. (...) An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings. (shrink)

We are today agents of a peculiar reality, the global network or the system for automated information production. Our condition in the global network is that of agents of the real, since we all contribute to the coproduction of this ever-evolving process. Nevertheless, I will argue, this reality is but the effect of the adoption of a notion of instrumental pragmatic rationality which denies the existence of any other possible reality as the actualization of different determinations of Reason. While following (...) Deleuze s notion of deterritorialization, I ll show that the real philosophical choice does not concern the introduction of new moves that create differentiations within a universal game, but that it is concerned with the possible abolition of the agency which is instantiated within the collective network. (shrink)

This article highlights that in our rush to call for the democratization of science and expertise we must not forget to speak to what type of democratization we are calling for. In short, not all participatory forms are the same. In developing this argument, I examine one such form that has yet to receive much attention from science and technology studies scholars: the agricultural field day. In examining the field day, we find that its orientation—that is, toward either the conventional (...) or sustainable model of agriculture—shapes significantly its democratic approach to knowledge coproduction. To help inform how we understand conventional and sustainable field days, I turned to two conceptual frameworks of participation: namely, that of Wynne and Funtowicz and Ravetz. In doing this, we find that conventional field days mirror closely that form of public participation detailed by Funtowicz and Ravetz, while sustainable field days reflect that conceptualized by Wynne. (shrink)

A. M. Pitts in [Pi] proved that HA op fp is a bi-Heyting category satisfying the Lawrence condition. We show that the embedding $\Phi: HA^\mathrm{op}_\mathrm{fp} \longrightarrow Sh(\mathbf{P_0,J_0})$ into the topos of sheaves, (P 0 is the category of finite rooted posets and open maps, J 0 the canonical topology on P 0 ) given by $H \longmapsto HA(H,\mathscr{D}(-)): \mathbf{P_0} \longrightarrow \text{Set}$ preserves the structure mentioned above, finite coproducts, and subobject classifier, it is also conservative. This whole structure on HA (...) op fp can be derived from that of Sh(P 0 ,J 0 ) via the embedding Φ. We also show that the equivalence relations in HA op fp are not effective in general. On the way to these results we establish a new kind of duality between HA op fp and a category of sheaves equipped with certain structure defined in terms of Ehrenfeucht games. Our methods are model-theoretic and combinatorial as opposed to proof-theoretic as in [Pi]. (shrink)

This essay introduces a collection of articles gathered under the theme of “law, science, and constitutions of life.” Together, they explore how revolutions in notions of what biological life is are eliciting correspondingly revolutionary imaginations of how life should be governed. The central theoretical contribution of the collection is to further elaborate the concept of bioconstitutionalism, which draws attention to especially consequential forms of coproduction at the law–life nexus. This introduction offers a theoretical discussion of bioconstitutionalism. It explores the constitutional (...) significance of interplay between scientific and technological power over life and a given political community’s shared imaginary of what modes of reasoning, judgment, and rule are proper and legitimate in a well-ordered state. It argues that knowing what life is for purposes of governance does not follow from scientific knowledge alone. Rather, such knowledge is refracted through culturally distinctive imaginaries that commit societies to particular understandings of what life means and what should be done to encourage its flourishing. (shrink)

This book shows that global population ageing is an opportunity to improve the quality of human life rather than a threat to economic competitiveness and stability. It describes the concept of the creative ageing policy as a mix of the silver economy, the creative economy, and the social and solidarity economy for older people. The second volume of Economic Foundations for Creative Ageing Policy focuses on the public policy and management concepts related to the use of the opportunities that are (...) created by population ageing. Klimczuk covers theoretical analyses and case study descriptions of good practices to suggest strategies that could be internationally popularized. Each chapter includes exercises and assignments for both students and those who are likely to apply the presented concepts in practice. Contents: Foreword by Richard Adler Foreword by Dominic Campbell Introduction 1 The Politics of Ageing and the Challenges of Ageing Populations 2 Understanding Public Policy on Ageing 3 Sociological and Gerontological Perspectives on Ageing, Creativity, and the Third Age 4 Diversity of Ageing Policy Concepts 5 The Emergence of the Creative Ageing Movement 6 Aims and Challenges of the Creative Ageing Policy 7 Principles, Governance, and Coproduction of the Creative Ageing Policy 8 Organizational Forms and Management for the Building of Creative Capital of Older People Conclusion Afterword by Andreas Hoff and Kurt Lüscher Afterword by Suchandrima Chakraborty Afterword by Jorge Felix. (shrink)

In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case. Also, we constructed a free EQ-algebra on a singleton.

Over the last two decades, social scientists across disciplines have been researching how value is extracted and governed in the reproductive bioeconomy, which broadly refers to the various ways reproductive tissues, bodies, services, customers, workers, and data are inserted into capitalist modes of accumulation. While many of these studies are empirically grounded in single country–based analyses, this paper proposes an integrative political economy framework, structured around the concept of “global fertility chains.” The latter articulates the reproductive bioeconomy as a nexus (...) of intraconnected practices, operations, and transactions between enterprises, states, and households across the globe, through which reproductive services and commodities are produced, distributed, and consumed. Employing a diffractive reading of the literature on commodity chains and care chains, this unified approach scrutinizes the coproduction of value, biology, and technoscience and their governance mechanisms in the accumulation of capital by taking into account the unevenly developed geographies of global fertility chains, their reliance on women’s waged and unwaged reproductive labor, and the networked role of multiple actors at multiple scales without losing sight of the constitutive role of national states in creating demand, organizing supply, and accommodating the distribution of surplus value. We empirically ground this integrative political economy approach of the reproductive bioeconomy through collaborative, multisited fieldwork on transnational reproduction networks in Israel/palestine, Romania, Georgia, and Spain. (shrink)

This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematical, natural, and artificial sciences, the theoretical computer science included. I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both (...) of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). It is particularly significant in this categorical framework the possibility of extending the operator algebra formalism from (quantum and classical) physics to logic, via the so-called “Boolean algebras with operators” (BAOs), with this extension being the core of our formal ontology. In this context, I discuss the relevance of the algebraic Hopf coproduct and colimit operations, and then of the category of coalgebras in the computations over lattices of quantum numbers in the quantum field theory (QFT), interpreted as the fundamental physics. This coalgebraic formalism is particularly relevant for modeling the notion of the “quantum vacuum foliation” in QFT of dissipative systems, as a foundation of the notion of “complexity” in physics, and “memory” in biological and neural systems, using the powerful “colimit” operators. Finally, I suggest that in the CT logic, the relational semantics of BAOs, applied to the modal coalgebraic relational logic of the “possible worlds” in Kripke’s model theory, is the proper logic of the formal ontology and epistemology of the natural realism, as a formalized philosophy of nature and sciences. (shrink)

In this paper we try to initiate a search for an explicite and direct denition of ultraproducts in categories which would share some of the attractive properties of products, coproducts, limits, and related category theoretic notions. Consider products as a motivating example.

So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory of discourse (...) semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)

Citizen science is growing quickly, given its potential to enhance knowledge coproduction by diverse participants, generating large and global data sets. However, uneven participation in CS is still an important concern. This work aims to understand participation dynamics in CS and how they are shaped by participation barriers and drivers. We do so by examining participation in CONECT-e, a CS project that uses a wiki-like platform to document traditional ecological knowledge. More precisely, we analyze quantitative data on participants’ profile and (...) activity patterns and qualitative data on barriers and drivers of participation. Our findings suggest that overcoming the education, age, and residence participation barriers is challenging even in cocreated CS projects. This is potentially due to issues of perceived self-illegitimacy and low access to information and communication technologies. Our results also point out that participants’ alliance with the project’s objectives and trust relationships with the project team are important drivers of participation in CS projects. Finally, we also highlight the need to think beyond participation as single actions and rather consider participation diversity in CS as functional diversity in ecosystems, with participants performing a diverse set of interconnected tasks or functions. (shrink)

We introduce a novel form of experimental knowledge that is the result of institutionally structured communication practices between farmers and university- and local community-based agronomists (agricultural extension specialists). This form of knowledge is exemplified in these communities’ uses of the concept of grower standard. Grower standard is a widely used but seldom discussed benchmark concept underpinning protocols used within agricultural experiments. It is not a one-size-fits-all standard but the product of local and active interactions between farmers and agricultural extension specialists. (...) Grower standard is in some ways similar to more familiar epistemic objects discussed in philosophy of experiment, such as controls or background conditions. However, we argue that grower standard is epistemically novel, due to how knowledge arising from it is coproduced by farmers and agricultural extension specialists. Further, in the United States, this knowledge coproduction is institutionally structured by federal legislature dating back to the 19th century. We use our analysis of grower standard to focus a discussion of the positionality of the coproducers as well as the epistemic products of this form of knowledge coproduction, and we explore the role extension work plays in shaping agricultural science more broadly. (shrink)

The Lambek-Grishin calculus is a symmetric version of categorial grammar obtained by augmenting the standard inventory of type-forming operations (product and residual left and right division) with a dual family: coproduct, left and right difference. Interaction between these two families is provided by distributivity laws. These distributivity laws have pleasant invariance properties: stability of interpretations for the Curry-Howard derivational semantics, and structure-preservation at the syntactic end. The move to symmetry thus offers novel ways of reconciling the demands of natural language (...) form and meaning. (shrink)

In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case. Also, we constructed a free EQ-algebra on a singleton.

Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify nonuniformly computable functions on Baire space from the viewpoint of learning theory and piecewise computability. For instance, we show that mind-change-bounded learnability is equivalent to finite View the MathML source2-piecewise computability 2 denotes the difference of two View the MathML sourceΠ10 sets), error-bounded learnability is equivalent to finite View (...) the MathML sourceΔ20-piecewise computability, and learnability is equivalent to countable View the MathML sourceΠ10-piecewise computability . Second, we introduce disjunction-like operations such as the coproduct based on BHK-like interpretations, and then, we see that these operations induce Galois connections between the Medvedev degree structure and associated Medvedev/ Muchnik-like degree structures. Finally, we interpret these results in the context of the Weihrauch degrees and Wadge-like games. (shrink)

In recent years, scholars in science and technology studies have examined the advice that experts make for the governance of biomedicine. This STS scholarship, however, has not yet explained how the credibility of ethics expertise in public bioethics is produced from particular conditions and extended to different settings. This article describes how a bioethics commission created the ethical principle of justice and examines how the ethics expertise established public credibility on the justice principle. The findings suggest that the principle of (...) justice was first explored as the diverse concepts of “equality” with reference to the review of fetal research, redefined as “fairness” or “desert” from theoretical viewpoints, and then circulated as a standard framework in local settings. The credibility of ethics expertise, based on the coproduction of material and moral orders, was made possible by reaching common ground among different data, principles, and background theories. (shrink)

In a range of peace process scenarios, the expert’s knowledge has become a fundamental tool for generating information systems as a mechanism for the storage and circulation of data. These information artifacts are supposed to faithfully document situations of human rights violations and contribute to the design of public policy and the construction of collective memory. Following Latour’s (1993) original coinage of the term coproduction, this paper analyzes how the Inter-Institutional System of Information for Justice and Peace (SIIJYP)1 was designed (...) to define victims of war and means of reparation from the State in Colombia. From an actor network theory perspective, we explain how victimizers become the main beneficiaries of the application of the SIIJYP. To comprehend this unintended social impact of the technological artifact and how it becomes an artifact that functions as an aseptic mediator of the historical-judicial truth, and the policy of transitional justice, we examine the relations between human and nonhuman actors, how information is collected, organized, hierarchized, and negotiated, as well as the consequences of the technical and legal construction of the notion of victims of war. (shrink)

Ce célèbre texte de Marx, rédigé en 1845, est un des plus petits documents philosophiques : soixante-cinq lignes, distribuées en onze «thèses», dont la plus longue compte treize lignes et la plus brève, une ligne et demie.À quoi attribuer sa fortune? Il en va de ces notes comme des aphorismes de Nietzsche ou des -carnets de Valéry : le regard étranger découvre, dans l'apparente spontanéité de l'écriture, dans sa déconcertante concision, sa propre disponibilité et comme une invite à la libre (...) coproduction du sens.Marx, en réalité, règle ses comptes avec ce qu'il appelle sa «conscience philosophique d'autrefois ». Il refuse désormais de se contenter du rôle de spectateur.Il voit dans ce qu'il regarde autour de lui, des besoins et des projets, du travail et de l'imagination, qui renvoient à une économie, à une culture, à une histoire, c'est-à-dire à une société déterminée.Ce livre nous fait pénétrer au sein du laboratoire de Marx, au moment où il engage une révolution théorique qui n'a pas fini de faire parler d'elle, ainsi qu'en témoigne le retentissant, perdurable et quasi obsessionnel écho de la 11e thèse sur Feuerbach : « Les philosophes ont seulement interprété différemment le monde, ce qui importe, c'est de le changer. »La suite est connue, l'œuvre sera poursuivie sous le signe, pour l'essentiel, de la « critique de l'économie politique », du Manifeste du Parti communiste et du Capital, du 18 Brumaire et de La guerre civile en France. À noter que cet avenir-là, nous le connaissons, mais pas Marx... (shrink)

In this paper, we discuss some questions about compactness in MV-topological spaces. More precisely, we first present a Tychonoff theorem for such a class of fuzzy topological spaces and some consequence of this result, among which, for example, the existence of products in the category of Stone MV-spaces and, consequently, of coproducts in the one of limit cut complete MV-algebras. Then we show that our Tychonoff theorem is equivalent, in ZF, to the Axiom of Choice, classical Tychonoff theorem, and (...) Lowen’s analogous result for lattice-valued fuzzy topology. Last, we show an extension of the Stone–Čech compactification functor to the category of MV-topological spaces, and we discuss its relationship with previous works on compactification for fuzzy topological spaces. (shrink)

Philosophe japonais polyglotte au savoir encyclopédique, Yamauchi Tokuryū est à n’en point douter l’un des auteurs les moins étudiés de l’école de Kyōto. La présente étude vient corriger ce qui ne constitue rien d’autre qu’un accident de l’histoire, tant l’ampleur du projet philosophique de Yamauchi est à même de susciter l’intérêt du philosophe, du savant et de l’amateur cultivé. La démarche de ce penseur japonais, disciple de Nishida Kitarō, est remarquable en ce qu’il chercha à proposer un dépassement englobant de (...) ce qu’il nomme, d’une part, la « logique du logos » – qui figurait déjà chez Aristote et se structure autour des principes d’identité, de contradiction et du tiers exclu – et, d’autre part, la « logique du lemme » – méthode d’appréhension intuitive des étants qui, née en Inde, serait d’inspiration essentiellement bouddhique. Cette étude, dans laquelle les conceptions bouddhiques qui traversent le propos de Yamauchi sont explicitées, est essentiellement consacrée à l’analyse de ses deux essais les plus importants Logos et lemme (1974) et Philosophie de la latence (1993). Le lecteur y rencontrera une discussion tant de la logique aristotélicienne que d’un régime de logicité tel que le tétralemme, tant du coeur des philosophies européennes que de celui des pensées bouddhiques. Il y rencontrera en outre une discussion de l’idée de néant, de la causalité et de la question du fondement de l’être, nourrie de conceptions bouddhiques telles que la « coproduction conditionnée » (pratītya-samutpāda) et la « latence » (anuśaya). (shrink)

This article traces the historical development of the boundaries around computer software and hardware. On one hand, the author documents ongoing discussions about the technical equivalence of hardware and software. On the other hand, he accounts for the stubborn persistence of these terms as markers for two distinct spheres of technology, knowledge, and practice. By using theoretical concepts such as “boundary work” and “coproduction,” the author argues that ongoing efforts to negotiate the boundaries between hardware and software are significantly “sociotechnical” (...) in that they involve both social and technical considerations. The analysis culminates with a discussion of the more recent rise of the “hardware/software codesign” movement. Particular emphasis is placed on the conditions that led to the emergence of codesign and the ongoing challenges faced by its proponents. The article concludes by describing how codesign points toward a more reflexive and socially responsible culture of computer design and use. (shrink)

We make some beginning observations about the category Eq of equivalence relations on the set of natural numbers, where a morphism between two equivalence relations R and S is a mapping from the set of R-equivalence classes to that of S-equivalence classes, which is induced by a computable function. We also consider some full subcategories of Eq, such as the category Eq(Σ01) of computably enumerable equivalence relations (called ceers), the category Eq(Π01) of co-computably enumerable equivalence relations, and the category Eq(Dark*) (...) whose objects are the so-called dark ceers plus the ceers with finitely many equivalence classes. Although in all these categories the monomorphisms coincide with the injective morphisms, we show that in Eq(Σ01) the epimorphisms coincide with the onto morphisms, but in Eq(Π01) there are epimorphisms that are not onto. Moreover, Eq, Eq(Σ01), and Eq(Dark*) are closed under finite products, binary coproducts, and coequalizers, but we give an example of two morphisms in Eq(Π01) whose coequalizer in Eq is not an object of Eq(Π01). (shrink)

The topic of instrumentalism has engaged many scholars of contemporary educational thought. One can distinguish the positions of anti-instrumentalism from those that stress noninstrumental values of education, both conceived in the context of neoliberal/neoconservative and consumption-driven reality. In this text, Maria Mendel enters into this engagement from the perspective of the current political consumption of memory. While taking up the problem of the role public pedagogy plays in contemporary nation-states — especially in the current turn toward the past — Mendel (...) focuses on both educational and sociopolitical issues in the context of what she calls “retroactive instrumentalism.” When return to the past is the “principle of the contemporary,” she argues, instrumentalism does not necessarily result from intentional planning ex ante. If education is broadly understood as a practice of public space formation, it may be composed of experiences that do not have to be “traditionally” purposeful and oriented toward the future. They may gain their instrumental character ex post. To illustrate this possibility, Mendel analyzes snippets of Polish reality concerning the construction of “the good nation.” Many of the elements of public pedagogy in this case contain unifications that pertain directly to the instrumental character of the learning experiences employed by a society as it transforms into a nation. The instrumentalism of those elements is discovered post factum. In its ontological dimension, then, education may gain or solidify its instrumental character ex post. Based on the analysis proposed in this text, one could say that when instrumentality is retroactive, it becomes displaced intentionality — that is, it provides an instrumental story that disguises the intentions of the one writing the narrative. Mendel concludes by using the Aristotelian notion of phantasia, which regards “being without a matter,” to encourage productive thought about how to create public narratives that are free of instrumentalism. This grounds a version of public pedagogy that is oriented toward the animation of people's active imagining and thus becoming public. By epistemologically shifting learning into a public space, such public pedagogy serves to recultivate society and humanity as plurality, diversity, and coproduction of the public. (shrink)

ABSTRACT We characterize, for every subvariety V of the variety of all MV- algebras, the free objects in V. We use our results to compute coproducts in V and to provide simple single-axiom axiomatizations of all many-valued logics extending the Lukasiewicz one.

We prove a full completeness theorem for multiplicative–additive linear logic using a double gluing construction applied to Ehrhard’s *-autonomous category of hypercoherences. This is the first non-game-theoretic full completeness theorem for this fragment. Our main result is that every dinatural transformation between definable functors arises from the denotation of a cut-free proof. Our proof consists of three steps. We show:• Dinatural transformations on this category satisfy Joyal’s softness property for products and coproducts.• Softness, together with multiplicative full completeness, guarantees (...) that every dinatural transformation corresponds to a Girard proof-structure.• The proof-structure associated with any dinatural transformation is a proof-net, hence a denotation of a proof. This last step involves a detailed study of cycles in additive proof-structures.The second step is a completely general result, while the third step relies on the concrete structure of a double gluing construction over hypercoherences. (shrink)

This article provides a comparative institutional analysis between El Niño/southern Oscillation forecasting systems in the Pacific and southern Africa with a focus on how scientific information is connected to the decision-making process. With billions of dollars in infrastructure and private property and human health and well-being at risk during ENSO events, forecasting systems have begun to be embraced by managers and firms at multiple levels. The study suggests that such systems need to consciously support the coproduction of knowledge. A critical (...) component of such coproduction seems to be managing the boundaries between science and policy and across disciplines, scale, and knowledges to create information that is salient, credible, and legitimate to multiple audiences. This research suggests institutional mechanisms that appear to be useful in managing such boundaries, including mechanisms for structuring convening, translation, collaboration, and mediation functions. (shrink)

This paper is interested in the interdisciplinary characteristics of European integration studies. It explores how the institutional and intellectual, internal and external boundaries of this interdisciplinary field are shaped. For this purpose, it discusses two interlocking dynamics that are most important: on the one hand, the European Union actively attempts to mobilise European integration studies to contribute to building a united Europe by providing specific spaces, resources, and infrastructures for academic research and the public dissemination of results. On the other (...) hand, the external and internal boundaries of this interdisciplinary field are shaped by the movements and interactions of scholars from different academic backgrounds. Together, the different academic strands and policies coproduce the interdisciplinary field of European integration studies. Suggesting avenues for future research, the conclusion recommends analysing key debates in the context of European integration in terms of boundary objects around which academics, policy-makers, and publics can engage with each other and points to specific sites for further observations of these processes of coproduction. (shrink)