We define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory . These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.

We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.

We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.

Summary In the epistemic frame of the biocultural turn and of the neuroaesthetics, we have developed neurohermeneutics as an approach to literature that aims at contributing to the current debate about the linkage between literary, cognitive and neuroscientific studies, focusing on the relationship between mindbrain processes mirrored in the formal features of the text and the strategies activated by the author in a text in order to guide the reader in imagining, emotionally feeling and cognitively getting meanings out of the (...) literary experience. The aim of the neurohermeneutical approach is to grasp and describe phenomenologically the mirroring process between the two extremes of the literary experience, i.e. the writer’s creative process as it is mirrored in the formal features of the literary work and the reader’s imaginative reconfiguration of the text, and what they share in common. The reader revives the mental imaginative processes of the author by creating his/her unrepeatable individual experiences of the text and subjectively redesigning it in an endless loop of features that trigger the imagination and its creative potential both while writing and by reading literature. (shrink)

Syphilis occupies a unique position in the history of U.S. medicine and medical ethics. Given its widespread prevalence and variable presentation, syphilis was a major professional concern among late nineteenth‐ and early twentieth‐century physicians. Syphilis was also at the center of perhaps the most famous example of medical racism in our history, the U.S. Public Health Service Syphilis Study at Tuskegee, in which officials followed the natural history of the disease in a cohort of black men for forty years without (...) offering treatment, even once penicillin became available. In this essay, I call attention to a less well‐known aspect of syphilis and its history. I examine one of the disease's most dreaded manifestations, neurosyphilis (also known as general paresis or general paralysis of the insane), and its treatment via malarial inoculation from the 1920s into the 1950s. The goal of this treatment, dramatic even to observers at the time, was to produce spiking fevers that would kill the syphilitic spirochete and arrest the disease process. My focus will be on developments at St. Elizabeths Hospital, a large‐scale federal psychiatric facility in the District of Columbia that served the city's residents and members of the U.S. military. Physicians at St. Elizabeths were the first in the United States to experiment with malarial fever therapy, treating their initial cohort of patients in December of 1922.Malarial fever therapy raised a host of ethical questions, rendered all the more complex from today's vantage point by efforts to understand them within the context of the time. What sorts of risks, both from malaria and via indirect exposure, might be deemed acceptable in the treatment of a devastating and almost invariably fatal disease? How ought researchers and clinicians to have approached the question of consent, itself an evolving concept in the early decades of the twentieth century, when the disease they were targeting impaired a patient's ability to reason effectively? Finally, at a time when segregated and inferior care for black Americans was the norm and when the black community bore a disproportionate burden of disease, who would have had access to malarial fever therapy, and at what cost? (shrink)

Queer theorists have long staked their politics in an engagement with intersectionality. Yet intersectional scholars have been some of queer theory’s most vocal critics, decrying its failure to adequately engage persistent inequalities. I approach this seeming paradox in three parts. First, I situate intersectionality within the field of critical theory, arguing that it shares critical theory’s view of power. Both traditions, I argue, understand power to generate the very marginalized figures that it subordinates. Second, while intersectional and queer theories share (...) this critical insight, the two frameworks offer fundamentally different understandings of what constitutes a democratic politics of redress. Where intersectional theorists promote coalition-building between differently marginalized subjects, queer theorists tend to figure sexually marginalized subjects as exemplary democratic agents. Finally, I argue that this slippage in conceptions of democracy has had negative consequences for critical theory and highlights the difficult but essential role of coalition as a political resource. (shrink)

De l'antiquité à la Renaissance, la notion de certitude est au coeur de la structuration de la pensée. Cet ouvrage réunit les contributions de spécialistes, qui explorent tous la littérature latine en mettant cette notion à l'épreuve de différentes disciplines et époques.

La traduction latine des Dialoghi della historia du philosophe néo-platonicien Francesco Patrizi da Cherso est publiée à Bâle en 1570. L’étude de la circulation de ce texte et des choix de traduction permet de mieux comprendre la réception des artes historicae italiennes dans le Nord de l’Europe et les fluctuations ou limites du latin face à la montée en puissance de l’italien vernaculaire comme langue philosophique.

This paper aims to show how at the end of the Sixteenth Century, translating in latin modern and comtemporary historiography, first written in Italian, had limits: as S. Lambino saw reading Nicola Stupan’s translation into latin of the Dialoghi della historia by Francesco Patrizi, the latin language could not carry out the vivacity and the colours of the modern discourse, and even could not translate exactly the meanings. The modern texts in this kind of translation could acquire a larger audience, (...) but could also lost part of their identity: in this case, the fact does not depend from the ability of the translator but actually from the convenience, or inconvenience, of the ancient language, unable to adapt exactly the modern concepts to ancient ways of thinking and writing. (shrink)

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-Löf type theory. This is done by showing that the comprehension category associated with a type-theoretic algebraic weak factorisation system satisfies the assumptions necessary to apply a right adjoint method for splitting comprehension categories. We then provide methods for constructing several examples of type-theoretic algebraic weak factorisation systems, encompassing the existing groupoid and cubical sets models, as well as new models based on normal (...) fibrations. (shrink)

This article takes up the commonplace antagonism between ‘second wave’ lesbian feminism and ‘third wave’ queer theory and politics, and argues that the antagonism itself is both historically and politically reductive. First, I make the case that ‘third wave’ queer theory actually shares its central concern – namely, accountability for intra-group inequalities – with lesbian feminism. However, I argue that ‘third wave’ queer theories ultimately founder in their bid for a more reflexive political praxis by tending to hold others – (...) lesbian feminists – accountable for ongoing inequalities rather than grappling with them directly. By contrast, I show that lesbian feminists from the late 1970s to the late 1980s developed a reparative politics that succeeds where ‘third wave’ theories stumble by developing relationships of mutual accountability around issues of race and racism, and by establishing processes by which to repair these relationships when they founder. I conclude by arguing that a fuller attention to the history of lesbian feminism, in fact, offers important resources for feminists and queers dealing with issues of intra-group marginalization, such as transphobia, in the present. (shrink)

A response to “Fever of the Tuskegee Study,” by Robert White.

The paper aims to explore the phenomenon of the spread in democracy of new powers – produced by inexhaustible technological developments – from the perspective of the philosophy of Institutions. It traces the original idea of democracy, in which the «government of the people» arises from the conversion of natural liberty into social and political liberty, dwells on the political and juridical meaning of authority, analyses the traditional instruments used to condition human opinions and behaviours, and reconstructs – in light (...) of this itinerary – the functioning and new grammar of the digital order. What opens before us is a fluid and disorganized scenario, dominated by digital systems, algorithms and artificial intelligence, that draws the attention of philosophers and sociologists, jurists and scholars of language and of anthropology. The old single order, outlined by the political and juridical machine of the modern State – which, through an aloof and solemn language, aimed to impart regularity to human behaviour and to give society direction – is replaced by multifarious models of order, each of which is generated by its own logic, practices, and autonomous control techniques. Under the omnipotence of technology, concepts such as authority, liberty, truth and power undergo a vortex of semantic transformations that penetrate a new symbolic space into human reasoning and actions. (shrink)

A meta-analysis and an experiment show that the degree of compression of the in-depth dimension of visual space relative to the frontal dimension increases quickly as a function of the distance between the stimulus and the observer at first, but the rate of change slows beyond 7 m from the observer, reaching an apparent asymptote of about 50 %. In addition, the compression of visual space is greater for monocular and reduced cue conditions. The pattern of compression of the in-depth (...) dimension as a function of distance is similar to the ratio of in-depth to frontal visual angles of stimuli, but is not as extreme as this ratio would suggest, implying that observers are incapable of fully ignoring size information provided by cues to depth. Size and distance judgments may be described by an Affine transformation of physical space; however, the compression parameter in this model changes as a function of distance from the observer and other experimental conditions. (shrink)

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

The use of human biological materials involves a number of issues from both an ethical and a legal point of view. In recent decades, the purposes for which this material has been used have i...

According to the powerful qualities view, properties are both powerful and qualitative. Indeed, on this view the powerfulness of a property is identical to its qualitativity. Proponents claim that this view provides an attractive alternative to both the view that properties are pure powers and the view that they are pure qualities. It remains unclear, however, whether the claimed identity between powerfulness and qualitativity can be made coherent in a way that allows the powerful qualities view to constitute this sort (...) of alternative. I argue here that this can be done, given a particular conception of both the qualitativity and powerfulness of properties. On this conception, a property is qualitative just in the sense that its essence is fixed independently of any distinct properties, and it is powerful just if its essence grounds its dispositional role. (shrink)

By attending to how people speak about their gender, we can find diverse answers to the question of what it is like to have a gender identity. To some, it is little more than having a body whereas others may report it as more attitudinal or dispositional—seemingly contradictory views. In this paper, I seek to reconcile these disparate answers by developing a theory of how individual gender identity comes about. In the simplest possible terms, I propose that gender identity is (...) how we make sense of our gender subjectivity, the totality of our gendered experiences of ourselves. Gender identity is constituted by gender subjectivity, but this constitutive relationship is underdetermined. While gender subjectivity may narrow the range of inhabitable gender identities, it is always compatible with more than one. To arrive at a gender identity, we arrange gender subjectivity like building materials. My theory helps us understand how different people offer seemingly incompatible accounts of their gender identity without questioning their authenticity or validity. They simply arrange similar building materials differently. (shrink)

A recent, seemingly appealing version of the powerful qualities view defines properties’ qualitativity via an essentialist claim and their powerfulness via a grounding claim. Roughly, this approach holds that properties are qualities because they have qualitative essences, while they are powerful because their instances or essences ground causal-modal facts. I argue that this theory should be replaced with one that defines the powerfulness of qualities in terms of both a grounding claim and a ‘meta-grounding’ claim. Specifically, I formulate and defend (...) a view on which qualities are powerful just if instances of those qualitiesat least partiallyground dispositionsin virtue of the essences of those qualities. (shrink)

Many philosophers have suggested that claims of need play a special normative role in ethical thought and talk. But what do such claims mean? What does this special role amount to? Progress on these questions can be made by attending to a puzzle concerning some linguistic differences between two types of 'need' sentence: one where 'need' occurs as a verb, and where it occurs as a noun. I argue that the resources developed to solve the puzzle advance our understanding of (...) the metaphysics of need, the meaning of 'need' sentences, and the function of claims of need in ethical discourse. (shrink)

It is often taken for granted that our desires can contribute to what it is rational for us to do. This paper examines an account of desire—the ‘guise of the good’— that promises an explanation of this datum. I argue that extant guise-of-the-good accounts fail to provide an adequate explanation of how a class of desires—basic desires—contributes to practical rationality. I develop an alternative guise-of-the-good account on which basic desires attune us to our reasons for action in virtue of their (...) biological function. This account emphasises the role of desire as part of our competence to recognise and respond to normative reasons. (shrink)

Although informed consent models for prescribing hormone replacement therapy are becoming increasingly prevalent, many physicians continue to require an assessment and referral letter from a mental health professional prior to prescription. Drawing on personal and communal experience, the author argues that assessment and referral requirements are dehumanising and unethical, foregrounding the ways in which these requirements evidence a mistrust of trans people, suppress the diversity of their experiences and sustain an unjustified double standard in contrast to other forms of clinical (...) care. Physicians should abandon this unethical requirement in favour of an informed consent approach to transgender care. (shrink)

Understanding everyday behavior relies heavily upon understanding our ability to improvise, how we are able to continuously anticipate and adapt in order to coordinate with our environment and others. Here we consider the ability of musicians to improvise, where they must spontaneously coordinate their actions with co-performers in order to produce novel musical expressions. Investigations of this behavior have traditionally focused on describing the organization of cognitive structures. The focus, here, however, is on the ability of the time-evolving patterns of (...) inter-musician movement coordination as revealed by the mathematical tools of complex dynamical systems to provide a new understanding of what potentiates the novelty of spontaneous musical action. We demonstrate this approach through the application of cross wavelet spectral analysis, which isolates the strength and patterning of the behavioral coordination that occurs between improvising musicians across a range of nested time-scales. Revealing the sophistication of the previously unexplored dynamics of movement coordination between improvising musicians is an important step towards understanding how creative musical expressions emerge from the spontaneous coordination of multiple musical bodies. (shrink)

What does the development of a truly robust contemporary theory of domination require? Ashley J. Bohrer argues that it is only by considering all of the dimensions of race, gender, sexuality, and class within the structures of capitalism and imperialism that we can understand power relations as we find them nowadays. Bohrer explains how many of the purported incompatibilities between Marxism and intersectionality arise more from miscommunication rather than a fundamental conceptual antagonism. As the first monograph entirely devoted to (...) this issue, »Marxism and Intersectionality« serves as a tool to activists and academics working against multiple systems of domination, exploitation, and oppression. (shrink)

Discussions about the nature of essence and about the inference problem for non-Humean theories of nomic modality have largely proceeded independently of each other. In this article I argue that the right conclusions to draw about the inference problem actually depend significantly on how best to understand the nature of essence. In particular, I argue that this conclusion holds for the version of the inference problem developed and defended by Alexander Bird. I argue that Bird’s own argument that this problem (...) is fatal for David Armstrong’s influential theory of the laws of nature but not for dispositional essentialism is seriously flawed. In place of this argument, I develop an argument that whether Bird’s inference problem raises serious difficulties for Armstrong’s theory depends on the answers to substantial questions about how best to understand essence. The key consequence is that considerations about the nature of essence have significant, underappreciated implications for Armstrong’s theory. (shrink)

Drawing on the principle of subsidiarity, this article develops a framework for allocating medical decision-making authority in the absence of capacity to consent and argues that decisional authority in paediatric transgender healthcare should generally lie in the patient. Regardless of patients’ capacity, there is usually nobody better positioned to make medical decisions that go to the heart of a patient’s identity than the patients themselves. Under the principle of subsidiarity, decisional authority should only be held by a higher level decision-maker, (...) such as parents or judges, if lower level decision-makers are incapable of satisfactorily addressing the issue even with support and the higher level decision-maker is better positioned to satisfactorily address the issue than all lower level decision-makers. Because gender uniquely pertains to personal identity and self-realisation, parents and judges are rarely better positioned to make complex medical decisions. Instead of taking away trans youth’s authority over their healthcare decisions, we should focus on supporting their ability to take the best possible decision for themselves. (shrink)

Musical improvisation is a natural case of human pattern formation, and Walton and colleagues investigate the way that different contextual constraints affect patterns of improvisation and their aesthetic quality. The authors find that coordination patterns are more diversified between two musicians when the musical space in which to improvise is relatively more constrained. They also find that listeners experience more diversified, complementary patterns between musicians as more enjoyable and harmonious.

According to a well-known argument, originally due to David Armstrong, powers theory is objectionable, as it leads to a ‘Meinongian’ ontology on which some entities are real but do not actually exist. I argue here that the right conclusion to draw from this argument has thus far not been identified and that doing so has significant implications for powers theory. Specifically, I argue that the key consequence of the argument is that it provides substantial grounds for trope powers theorists, but (...) not other powers theorists, to accept one version of the view that properties are powerful qualities. In particular, they have grounds to favour the view that powerful properties are properties with exclusively qualitative natures that ground modal facts. (shrink)

Facts about need play some role in our causal understanding of the world. We understand, for example, that people have basic needs for food, water and shelter, and that people come to be harmed because those needs go unmet. But what are needs? How do explanations in terms of need fit into our broader causal understanding of the world? This paper provides an account of need attribution, their contribution to causal explanations, and their relation to disposition attribution.