The indexicality of film and sound recordings remains an unresolved problem in contemporary documentary theory. The prevailing conceptualisation of the documentary assigns it the status of a sober discourse, a framing in which history is modelled as absent cause and the unqualified distinction between fiction and non-fiction is considered sacrosanct. The denotative literalism characteristic of indexical media, however, confounds this conceptualisation, which in turn encourages the devaluing of documentary aesthetics; the documentary is not a medium of art, it is said, (...) but of argument. In this article, I examine how philosopher Jacques Rancière offers an alternative account of the documentary grounded on aesthetics rather than sobriety. I show how, in rethinking the absent cause model of history as well as the relationship between fiction and nonfiction, Rancière's aesthetic approach resolves the conceptual problem posed by indexicality and brings clarity to the value and function of indexical media with respect to the documentary. (shrink)

Weak filters were introduced by K. Schlechta in the ’90s with the aim of interpreting defaults via a generalized ‘most’ quantifier in first-order logic. They arguably represent the largest class of structures that qualify as a ‘collection of large subsets’ of a given index set |$I$|⁠, in the sense that it is difficult to think of a weaker, but still plausible, definition of the concept. The notion of weak ultrafilter naturally emerges and has been used in epistemic logic and other (...) knowledge representation (KR) applications. We provide a comprehensive exposition of weak filters and ultrafilters, comparing them with their classical counterparts that have found very important applications in logic, set theory and topology. Weak (ultra)filters capture the ‘majorities’ of social choice theory (which coincide with the commonsense understanding of a ‘large subset’) and in that respect, they outperform classical (ultra)filters in their role as ‘collections of large subsets’. Yet, they lack some of the elegant properties of classical (ultra)filters that make them an almost perfect match for logical theories. We investigate the extent to which some important classical results carry through in this new setting, and we focus on genuinely weak filters and genuinely weak ultrafilters. For weak ultrafilters, we proceed to provide concrete examples, answer questions of existence and characterize their construction. The class of weak (ultra)filters represents a genuine contribution of KR to set theory that might be of some interest to set theorists too and we initiate this study by providing a glimpse on natural set-theoretic questions. (shrink)

The purpose of this article is to introduce a class of distance-based iterated revision operators generated by minimizing the geodesic distance on a graph. Such operators correspond bijectively to metrics and have a simple finite presentation. As distance is generated by distinguishability, our framework is appropriate for modelling contexts where distance is generated by threshold, and therefore, when measurement is erroneous.

This paper presents a bimodal logic for reasoning about knowledge during knowledge acquisitions. One of the modalities represents (effort during) non-deterministic time and the other represents knowledge. The semantics of this logic are tree-like spaces which are a generalization of semantics used for modeling branching time and historical necessity. A finite system of axiom schemes is shown to be canonically complete for the formentioned spaces. A characterization of the satisfaction relation implies the small model property and decidability for this system.

The purpose of this paper is to introduce a form of update based on the minimization of the geodesic distance on a graph. We provide a characterization of this class using set- theoretic operators and show that such operators bijectively correspond to geodesic metrics. As distance is generated by distinguishability, our framework is appropriate in contexts where distance is generated by threshold, and therefore, when measurement is erroneous.

To be human is to be autonomous, yet this is a trait that most of us lack. We are subject to forces external to our being. We are workers; we are citizens; we are needful creatures. Humanity-proper in these times of neoliberal omnipotence is defined differently. The key terms are familiar: personal betterment, personal responsibility, productivity, pleasantness. A forked tongue slithers in our conscience, tells us that these are the traits of the human condition. Through Bataille, this paper argues the (...) substrate of these oft repeated familiar mantras are other. Neoliberal subjects, propelled by need, understand themselves along the axis of the useful choice. The paper turns to myth to understand the interdependence of need and choice, and how this interdependence posits being as always in desire but never in pleasure. Revisiting Don Giovanni, a character central to Acéphalic thought, and the commentary of Søren Kierkegaard, we think in terms of non-abstraction, of pleasurably floating in change, rather than toiling in desire. For it is by grace in the form of chance, that at the very time of transgression, that we – in and for an instant – become human, become as the sacred in the flesh. (shrink)

Responsible research and innovation (RRI) is a governance framework promoted by influential policy makers such as the European Commission and academics from the fields of science and technology studies and management. This book is the first text to serve industry. Inspired by existing Corporate Responsibility standards and principles, it offers a selection of tools that can assist practitioners in implementing RRI in business and industry. -/- Responsible Research and Innovation (RRI) is integrative. It is a convergence of Technology Assessment (TA) (...) and Ethics, including corporate responsibility. The task of linking RRI to existing frameworks has only just begun. This book is a welcome example, showing how Corporate Responsibility tools can drive the implementation of RRI. Prof. Armin Grunwald, Head of the Office of Technology Assessment at the German Bundestag and Head of the Institute for Technology Assessment and Systems Analysis, Karlsruhe Institute of Technology, Germany. -/- This is a simple, short, yet encyclopaedic work designed to help business implement RRI using the many tools of Corporate Responsibility (CR) already in place, everything from ISO9001 to the Ceres Roadmap for Sustainability. It makes clear the ways in which RRI is an extension of ideas already well-developed in CR. I learned a lot reading it. Prof. Michael Davis, Senior Fellow, Center for the Study of Ethics in the Professions, Illinois Institute of Technology, USA. (shrink)

The covid-19 pandemic has supposed a greater marginalization of sexual and gender minorities. This marginalization has been an effect both of the public management’s prioritization of the epidemiological situation, and of a generalized social backlash attributed to the unprecedented lockdown conditions. Within this framework, and among other vulnerable social collectivities, trans people have seen their testimonies particularly unaddressed and exempt of credibility. Group dynamics of reinforcement of categories, as well as the dissemination of fake news through the Internet and the (...) reactivation of outdated debates on legitimacy within the public sphere, have given rise to a generalized mistrust and polarization. The present text utilizes qualitative data obtained through a larger research project on accessibility of trans people to psychological services, to conflate barriers to health services, with infodemia on social media, social distancing, the uprising of conservative discourses, and minority stress. (shrink)

Centré sur l’univers polytechnicien de la première moitié du xixe siècle, le présent article souhaite mettre en regard les échanges scientifiques – oraux, épistolaires, ou liés à la diffusion de textes – développés au sein d’un « monde social » particulier avec les caractéristiques spécifiques de ce monde. En faisant dialoguer des considérations générales sur les différentes composantes de l’univers polytechnicien et une série de « vignettes » qui donnent à ces considérations de la chair historique, nous concluons à l’existence (...) d’un monde social dont les règles de fonctionnement – sociales, intellectuelles et morales –, l’équipement matériel, ainsi que les traits anthropologiques de ceux qui l’habitent font de lui un univers particulièrement propice au développement des échanges entre ses membres. (shrink)

We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the underlying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, (...) and 5 and prove that they are canonical for certain algebraic frame properties, which generalize seriality, reflexivity, symmetry, transitivity and euclideanness. Our results are quite general as they hold for any modal language built on a complete Heyting algebra. (shrink)

Research on bounded rationality has two cultures, which I call ‘idealistic’ and ‘pragmatic’. Technically, the cultures differ on whether they build models based on normative axioms or empirical facts, assume that people's goal is to optimize or to satisfice, do not or do model psychological processes, let parameters vary freely or fix them, aim at explanation or prediction and test models from one or both cultures. Each culture tells a story about people's rationality. The story of the idealistic culture is (...) frustrating, with people in principle being able to know what they should do, but in practice systematically failing to do it. This story makes one hide in books for intellectual solace or surrender to the designs of someone smarter. The story of the pragmatic culture is empowering: If people are educated to use the right tool in the right situation, they do well. (shrink)

In this thesis we present two logical systems, $\bf MP$ and $\MP$, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.

Artificial Intelligence is making rapid and remarkable progress in the development of more sophisticated and powerful systems. However, the acknowledgement of several problems with modern machine learning approaches has prompted a shift in AI benchmarking away from task-oriented testing towards ability-oriented testing, in which AI systems are tested on their capacity to solve certain kinds of novel problems. The Animal-AI Environment is one such benchmark which aims to apply the ability-oriented testing used in comparative psychology to AI systems. Here, we (...) present the first direct human-AI comparison in the Animal-AI Environment, using children aged 6–10. We found that children of all ages were significantly better than a sample of 30 AIs across most of the tests we examined, as well as performing significantly better than the two top-scoring AIs, “ironbar” and “Trrrrr,” from the Animal-AI Olympics Competition 2019. While children and AIs performed similarly on basic navigational tasks, AIs performed significantly worse in more complex cognitive tests, including detour tasks, spatial elimination tasks, and object permanence tasks, indicating that AIs lack several cognitive abilities that children aged 6–10 possess. Both children and AIs performed poorly on tool-use tasks, suggesting that these tests are challenging for both biological and non-biological machines. (shrink)

Machines can now match, or outperform, human performance in several reasoning and decision tasks. Some say that all that intelligence amounts to is smart computation. This is not a new thesis, dating back to Leibniz as well as Simon and Newell, but what is new is what smart means. Today it is identified with complex statistics and optimisation. Simon’s meaning, however, of smart rested on bounded rationality, a unified view of human and artificial decision making. This view was f l (...) eshed out by Gigerenzer as fast-and-frugal heuristics. Interestingly, such heuristics are typically sparse, as some machine learning models are optimised to be. So, one might hope that we can make sense of artificial intelligence in human terms after all, and face the upcoming challenges with open-mindedness and courage, just like Simon, and of course Wilkes, would have done. (shrink)

We introduce a class of set-theoretic operators on a tolerance space that models the process of minimal belief contraction, and therefore a natural process of iterated contraction can be defined. We characterize the class of contraction operators and study the properties of the associated iterated belief contraction.

When k is a finite field, [J. Becker, J. Denef and L. Lipshitz, Further remarks on the elementary theory of formal power series rings, in Model Theory of Algebra and Arithmetic, Proceedings Karpacz, Poland, Lecture Notes in Mathematics, Vol. 834 (Springer, Berlin, 1979)] observed that the total residue map [Formula: see text], which picks out the constant term of the Laurent series, is definable in the language of rings with a parameter for t. Driven by this observation, we study the (...) theory [Formula: see text] of valued fields equipped with a linear form [Formula: see text] which restricts to the residue map on the valuation ring. We prove that [Formula: see text] does not admit a model companion. In addition, we show that [Formula: see text] is undecidable whenever k is an infinite field. As a consequence, we get that [Formula: see text] is undecidable, where [Formula: see text] maps f to its complex residue at 0. (shrink)

Equity was first established as a terminus technicus by Aristotle, but the word was initially shaped by Plato in his Statesman. Aristotle considers equity as a necessary criterion of the interpretation of human action, i.e., the ultimate, the particular moral situation, given that law is general, and every moral agent makes different moral choices, since man exhibits a multiplicity of purposes as a being and every person acts on the basis of a variety of moral perspectives and values. Therefore, the (...) task of every judge is to trace the moral choice made by a moral agent, as well as to interpret the law and attribute justice, since, as it is attested, law may be deficient, whereas this does not necessarily apply to justice itself. (shrink)

This article discusses The Travelling Players (1975), Theo Angelopoulos's provocative film, by upholding the priority the director's audio-visual images assign to the future as what Deleuze calls ‘the pure and empty form of time’. It also argues that The Travelling Players supplements the Deleuzian quartet of crystal-images with a new type of crystal-image: Angelopoulos crafts images of extraordinary consistency that act as filters, splitting and sieving time at once, a kind of audio-visual refinery laid out on the silver screen, with (...) the distillation process dedicated to blocking repression, its past and present iterations, from contaminating the yet-to-come, banishing the negative from returning in the future. (shrink)

After the initial formulation of the concept of reification in Georg Lukács’s History and Class Consciousness (HCC, 1923), a series of confusing uses of it within critical theory have contributed to blurring its contours. In his pre-Marxist work, while analyzing the social rationalization process, Lukács located the modern form of mediation between subject and object and connected it with certain effects on the level of human consciousness and behavior. This very scheme is repeated and refined in HCC. In the Reification (...) essay, Lukács uses the neo-Kantian concept of the “form of objectivity” to grasp the central constitutive form of all kinds of objects in bourgeois society. He interprets Marx’s commodity form as the “archetype” of all capitalist objectivity, which consists in converting qualitative contents into quantitative categories. Thus, the formal/calculative rationality of exchange penetrates all kinds of objectification in modern society. In Lukács’s view, only in its modern, universalized form does rational objectification bring about the phenomenon of reification, i.e. the de-historicization and political neutralization of the social relations that constitute the social system and the dominant forms of consciousness. This systemic, cultural, and political understanding of reification can prove to be fruitful in the context of contemporary discussions on democratic transformative praxis. (shrink)

We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh (1992). Among our results is the confirmation of a conjecture by Moss and Parikh, as well as the finite satisfiability property and decidability for the theory of topological models.

The article explores a particular mode of time synthesis as carried out in the field of Islamic micro-finance in Indonesia. It approaches this financial experiment through Deleuze's tripartite division of time and the concept of promise advanced here. I argue that the analytical promise the concept of promise holds is partly related to its ability to circumscribe a field of practice that is at once theological and economic and partly to its privileging of the time of the future. What the (...) study of Islamic micro-finance offers to studies of Deleuze is a timely reminder that this explicit privileging is not adequate in and of itself for ‘relativising’ the effects of habit and memory on time, thought and politics. This is primarily because promising has a dual, ‘schizoid’ and distressed constitution: it is motivated as much by the affirmative ‘will to power’ as by the negative ‘will to improve’. (shrink)

The C (n)-cardinals were introduced recently by Bagaria and are strong forms of the usual large cardinals. For a wide range of large cardinal notions, Bagaria has shown that the consistency of the corresponding C (n)-versions follows from the existence of rank-into-rank elementary embeddings. In this article, we further study the C (n)-hierarchies of tall, strong, superstrong, supercompact, and extendible cardinals, giving some improved consistency bounds while, at the same time, addressing questions which had been left open. In addition, we (...) consider two cases which were not dealt with by Bagaria; namely, C (n)-Woodin and C (n)-strongly compact cardinals, for which we provide characterizations in terms of their ordinary counterparts. Finally, we give a brief account on the interaction of C (n)-cardinals with the forcing machinery. (shrink)

Psychology’s emphasis on individual experience has created idealised prototypes for gender identity, promulgated through traditional tools of psychological evaluation. Transgender and gender nonconforming people have been urged to fit into binary conceptions of such evaluations, at least until the recent depathologisation approved by the World Health Organization. The present theoretical study examines how psychological discourses around gender diversity and corporeality have been transformed. To this effect, it appeals to four arguments: to the activist mobilisation against homogeneous definitions of transness, to (...) the applicability of taxonomic systems’ categories, to the resistances against psychometric tests’ validity scales, and lastly, to issues concerning cross-cultural adaptation of terms, measurements and conceptions of bodily and gender identity. (shrink)

We consider some natural sets of real numbers arising in ergodic theory and show that they are, respectively, complete in the classes${\cal D}_2 \left( {{\bf{\Pi }}_3^0 } \right)$and${\cal D}_\omega \left( {{\bf{\Pi }}_3^0 } \right)$, that is, the class of sets which are 2-differences (respectively,ω-differences) of${\bf{\Pi }}_3^0 $sets.

Living with Others in Pandemics. The State’s Duty to Protect, Individual Responsibility and Solidarity The article discusses a range of important normative questions raised by anti-COVID-19 measures and policies. Do governments have the right to impose such severe restrictions on individual freedom and furthermore do citizens have obligations vis-à-vis the state, others and themselves to accept such restrictions? I will argue that a democratic state may legitimately enforce publicly discussed, properly enacted and constitutionally tested laws and policies in order to (...) protect its citizens from risks to life and limb. Even so, there is a natural limit, factual and normative, to what the state or a government can do in this respect. Citizens will also need to take it upon themselves not to harm and to protect others and in the context of a pandemic this means that endorsement of restrictions or other mandatory measures, notably vaccination, is not to be seen as a matter of personal preference concerning the supposedly inviolable sovereignty of one’s own body. (shrink)