According to a common conception of legal proof, satisfying a legal burden requires establishing a claim to a numerical threshold. Beyond reasonable doubt, for example, is often glossed as 90% or 95% likelihood given the evidence. Preponderance of evidence is interpreted as meaning at least 50% likelihood given the evidence. In light of problems with the common conception, I propose a new ‘relevant alternatives’ framework for legal standards of proof. Relevant alternative accounts of knowledge state that a person knows a (...) proposition when their evidence rules out all relevant error possibilities. I adapt this framework to model three legal standards of proof—the preponderance of evidence, clear and convincing evidence, and beyond reasonable doubt standards. I describe virtues of this framework. I argue that, by eschewing numerical thresholds, the relevant alternatives framework avoids problems inherent to rival models. I conclude by articulating aspects of legal normativity and practice illuminated by the relevant alternatives framework. (shrink)

The epistemology of risk examines how risks bear on epistemic properties. A common framework for examining the epistemology of risk holds that strength of evidential support is best modelled as numerical probability given the available evidence. In this essay I develop and motivate a rival ‘relevant alternatives’ framework for theorising about the epistemology of risk. I describe three loci for thinking about the epistemology of risk. The first locus concerns consequences of relying on a belief for action, where those consequences (...) are significant if the belief is false. The second locus concerns whether beliefs themselves—regardless of action—can be risky, costly, or harmful. The third locus concerns epistemic risks we confront as social epistemic agents. I aim to motivate the relevant alternatives framework as a fruitful approach to the epistemology of risk. I first articulate a ‘relevant alternatives’ model of the relationship between stakes, evidence, and action. I then employ the relevant alternatives framework to undermine the motivation for moral encroachment. Finally, I argue the relevant alternatives framework illuminates epistemic phenomena such as gaslighting, conspiracy theories, and crying wolf, and I draw on the framework to diagnose the undue skepticism endemic to rape accusations. (shrink)

Moral encroachment holds that the epistemic justification of a belief can be affected by moral factors. If the belief might wrong a person or group more evidence is required to justify the belief. Moral encroachment thereby opposes evidentialism, and kindred views, which holds that epistemic justification is determined solely by factors pertaining to evidence and truth. In this essay I explain how beliefs such as ‘that woman is probably an administrative assistant’—based on the evidence that most women employees at the (...) firm are administrative assistants—motivate moral encroachment. I then describe weaknesses of moral encroachment. Finally I explain how we can countenance the moral properties of such beliefs without endorsing moral encroachment, and I argue that the moral status of such beliefs cannot be evaluated independently from the understanding in which they are embedded. (shrink)

An annotated bibliography of legal epistemology.

In order to perform certain actions – such as incarcerating a person or revoking parental rights – the state must establish certain facts to a particular standard of proof. These standards – such as preponderance of evidence and beyond reasonable doubt – are often interpreted as likelihoods or epistemic confidences. Many theorists construe them numerically; beyond reasonable doubt, for example, is often construed as 90 to 95% confidence in the guilt of the defendant. -/- A family of influential cases suggests (...) standards of proof should not be interpreted numerically. These ‘proof paradoxes’ illustrate that purely statistical evidence can warrant high credence in a disputed fact without satisfying the relevant legal standard. In this essay I evaluate three influential attempts to explain why merely statistical evidence cannot satisfy legal standards. (shrink)

Recently, there has been a large amount of support for the idea that causal claims can be sensitive to normative considerations. Previous work has focused on the concept of actual causation, defending the claim that whether or not some token event c is a cause of another token event e is influenced by both statistical and prescriptive norms. I focus on the policy debate surrounding alternative energies, and use the causal modelling framework to show that in this context, people’s normative (...) commitments don’t just affect the causal claims they are willing to endorse, but also their understanding of the causal structure. In the context of the alternative energy debate, normative considerations affect our understanding of the causal structure by influencing our judgements about which variables should be held fixed, and therefore which variables should be relegated to the background of a causal model. In cases of extreme disagreement, normative commitments can also affect which causal structure we think should be instantiated. Thus, focusing on a new context has revealed a previously unexplored sense in which normative factors are incorporated into causal reasoning. (shrink)

This article studies the specific designation of morals under the conditions of a modern society. Due to the circumstances that morals are able to overcome differences between the social regulatory systems and to unite the perceptions of a regulatory framework, they have become a major contemporary metalegal regulator. Being a significant social regulator, morals also play a mediation role between law and other social regulatory systems. In this role of theirs, they make a substantial factor having an influence on building (...) and changing legal prescriptions. Morals are also studied as a variable in the conditions of a dynamically developing society and changing conditions of living. Some models of behaviours, which were considered to be against moral only several decades ago, are nowadays regarded as completely normal. (shrink)

the article aims, through a comparative analysis, to explicate the Gnostic and Bogomil religious-philosophical conceptual grounds for the possibility of acquiring knowledge saving man from the dualism of being. The tasks of the study are to indicate the reasons for the search for such knowledge, which provides a form of human existence that will lead man to salvation. To achieve the tasks, the study begins by establishing the connections of Gnosticism and Bogomilism with historically preceding spiritual-religious communities and their concepts, (...) the relations with Christianity and the grounds for their designation as Christian heresies are indicated, the conceptual parallels between Gnosticism and Bogomilism in their cosmological understandings are indicated and their consequences for man, the way out is indicated, which overcomes the unnatural state of being and the subsequent opportunity available to man for union with God. (shrink)

This chapter argues that the choice of trust conceptualisations in the context of consumer Internet of Things (IoT) can have a significant impact on the understanding and implementations of a user’s private data protection. Narrow instrumental interpretations of trust as a mere precondition for technology acceptance may obscure important moral issues such as malleability of user’s privacy decisions, and power imbalances between suppliers and consumers of technology. A shift of focus in policy proposals from trust to the trustworthiness of technology (...) can be the first step on the way to addressing these moral concerns. It is argued that complexity of IoT systems, comprised of technological artefacts and institutional data-collecting entities, warrants the moral value of distrust as a prima facie assumption for technological design and regulatory measures. Such a conceptual perspective highlights importance of technological measures that can minimise reliance on trust in consumer IoTs and regulatory measures aimed to improve transparency of IoT architectures. (shrink)

This paper argues that the practical implementation of blockchain technology can be considered an institution of property similar to legal institutions. Invoking Penner's theory of property and Hegel's system of property rights, and using the example of bitcoin, it is possible to demonstrate that blockchain effectively implements all necessary and sufficient criteria for property without reliance on legal means. Blockchains eliminate the need for a third-party authority to enforce exclusion rights, and provide a system of universal access to knowledge and (...) discoverability about the property rights of all participants and how the system functions. The implications of these findings are that traditional property relations in society could be replaced by or supplemented with blockchain models, and implemented in new domains. (shrink)

Many theorists hold that outright verdicts based on bare statistical evidence are unwarranted. Bare statistical evidence may support high credence, on these views, but does not support outright belief or legal verdicts of culpability. The vignettes that constitute the lottery paradox and the proof paradox are marshalled to support this claim. Some theorists argue, furthermore, that examples of profiling also indicate that bare statistical evidence is insufficient for warranting outright verdicts.I examine Pritchard's and Buchak's treatments of these three kinds of (...) case. Pritchard argues that his safety condition explains the insufficiency of bare statistical evidence for outright verdicts in each of the three cases, while Buchak argues that her treatment of the distinction between credence and belief explains this. In these discussions the three kinds of cases – lottery, proof paradox, and profiling – are treated alike. The cases are taken to exhibit the same epistemic features. I identity significant overlooked epistemic differences amongst these three cases; these differences cast doubt on Pritchard's explanation of the insufficiency of bare statistical evidence for outright verdicts. Finally, I raise the question of whether we should aim for a unified explanation of the three paradoxes. (shrink)

I motivate three claims: Firstly, attentional traits can be cognitive virtues and vices. Secondly, groups and collectives can possess attentional virtues and vices. Thirdly, attention has epistemic, moral, social, and political importance. An epistemology of attention is needed to better understand our social-epistemic landscape, including media, social media, search engines, political polarisation, and the aims of protest. I apply attentional normativity to undermine recent arguments for moral encroachment and to illuminate a distinctive epistemic value of occupying particular social positions. A (...) recurring theme is that disproportionate attention can distort, mislead, and misrepresent even when all the relevant claims are true and well supported by evidence. In the informational cacophony of the internet age, epistemology must foreground the cognitive virtues of attunement. (shrink)

This essay introduces the ‘she said, he said’ paradox for Title IX investigations. ‘She said, he said’ cases are accusations of rape, followed by denials, with no further significant case-specific evidence available to the evaluator. In such cases, usually the accusation is true. Title IX investigations adjudicate sexual misconduct accusations in US educational institutions; I address whether they should be governed by the ‘preponderance of the evidence’ standard of proof or the higher ‘clear and convincing evidence’ standard. -/- Orthodoxy holds (...) that the ‘preponderance’ standard is satisfied if the evidence adduced renders the litigated claim more likely than not. On this view, I argue, ‘she said, he said’ cases satisfy the ‘preponderance’ standard. But this consequence conflicts with plausible liberal and feminist claims. In this essay I contrast the ‘she said, he said’ paradox with legal epistemology’s proof paradox. I explain how both paradoxes arise from the distinction between individualised and non-individualised evidence, and I critically evaluate responses to the ‘she said, he said’ paradox. (shrink)

This essay is not about what love is. It is about what self-ascriptions of love do. People typically self-ascribe romantic love when a nexus of feelings, beliefs, attitudes, values, commitments, experiences, and personal histories matches their conception of romantic love. But what shapes this conception? And (how) can we adjudicate amongst conflicting conceptions? -/- Self-ascriptions of love do not merely describe the underlying nexus of attitudes and beliefs. They also change it. This essay describes how conceptions of love affect romantic (...) experience. I limn distinctions between love and obsessive infatuation and explore ways language can cultivate queer romantic preferences. Since conceptions of love are shaped, often implicitly, by terms available in one’s linguistic community, the resulting nexus of concepts and conceptions manifests linguistic luck. I suggest ways we might sculpt the language of love to better understand—and change—ourselves. Love can help us flourish and so can our “love” language. (shrink)

In an earlier defense of the view that the fundamental logical properties of logical truth and logical consequence obtain or fail to obtain only relative to contexts, I focused on a variation of Kaplan’s own modal logic of indexicals. In this paper, I state a semantics and sketch a system of proof for a first-order logic of demonstratives, and sketch proofs of soundness and completeness. (I omit details for readability.) That these results obtain for the first-order logic of demonstratives shows (...) that the significance of demonstratives for logic exceeds their behavior as rigid designators in counterfactual reasoning, or reasoning about alternative possibilities. Furthermore, the results in this paper help address one common objection to the view that logical truth and consequence obtain only relative to contexts. According to this objection, the view entails that logical consequence is not formal. (shrink)

My essay ‘Attunement: On the Cognitive Virtues of Attention’ is the lead essay in a symposium. Adam Carter and Sandy Goldberg each respond to the ‘Attunement’ essay. This is my rejoinder. -/- (i.) Carter argues that resources from virtue reliabilism can explain the source of attention normativity. He modifies this virtue reliabilist AAA-framework to apply to attentional normativity. I raise concerns about Carter’s project. I suggest that true belief and proper attentional habits are not relevantly similar. -/- (ii.) Goldberg claims (...) that social roles underwrite kinds of attentional normativity that are not well-captured by virtue theory. I critically assess this claim. (shrink)

In criminal trials the state must establish, to a particular standard of proof, the defendant's guilt. The most widely used and important standard of proof for criminal conviction is the ‘beyond a reasonable doubt' standard. But what legitimates this standard, rather than an alternative? One view holds the standard of proof should be determined or justified – at least in large part – by its consequences. In this spirit, Laudan uses crime statistics to estimate risks the average citizen runs of (...) being violently victimised and falsely convicted. He argues that since the former risk is higher, and the aggregate harms are worse, the standard of proof should be substantially lowered. He presents a formula for calculating the preferred standard. In this article I outline various ways Laudan's uses of crime statistics are flawed, and explain how he substantially overestimates risks of victimhood and underestimates costs of false convictions. I also explain why his formula is mistaken, and illuminate consequences Laudan neglects. I conclude that, even if consequences determine the appropriate standard of proof, Laudan's arguments fail to show the standard is too high. I conclude by suggesting that the inadequacies of Laudan's reasoning might be good news for consequence-based justifications of the standard of proof. (shrink)

This article deals with the metaphor of dogmatic slumber in Finkian phenomenology. The Husserlian thought experiment with two worlds for one subject functions here as a starting point which helps to thematize the somnambulistic certitude of the taken-for-granted. It leads to conclusion about the pedagogical task of the philosopher: to constantly wake up himself and the others.

The article analyzes some key motives of both classical German phenomenology and contemporary French phenomenology. The theme of sense-formation, a recurring thread throughout Husserl's entire body of work, serves as a discussion starting point.A special emphasis is put on one of Husserl's posthumously published texts from 1933, in which he distinguishes between the open process of sense-formation [Sinnbildung] and the closed sense-structures [Sinngebilde]. The “phenomenon” to which phenomenological philosophy refers here is not a “pre-given thing” yet, but rather the horizon (...) in which its sense is shaped. This fundamental intuition is crucially important for the project of “nonstandard” phenomenology, which Richir is developing in the context of Francophone philosophy. Drawing equally from Maurice Merleau-Ponty’ phenomenology of language, Richir refers to “the sense that creates itself.” In this way, he is continuing to develop one of the key intuitio... (shrink)

The article examines Husserl’s conception of Buddhism, which was largely determined by the reading of the “Majjhima-nikaya” in Karl Eugen Neumann’s translation. It is a general and dotted image in which no distinctions were made regarding the eras, traditions and schools of Buddhist philosophy: an image that an interested European reader might form after reading the 152 sutras of the “Collection of Middle Instructions” of the Pali Canon. Nevertheless, it seems a productive task to interpret this image in order to (...) better explain Husserl’s conception of phenomenology about itself, regardless of the naivety of the image under discussion from the point of view of Buddhology. This article puts forward the following theses for discussion: Husserl understood Buddhist thought as a “conjugate detail (Gegenstück)” that complements the phenomenological science of transcendental subjectivity by contrast. Specifically, he interpreted Buddhism as a path to the transcendental position not from the critique of science, but from practice—as a suspension of the mythical picture of the world and the “practical general thesis” of the natural attitude. Although Buddhist thought according to Husserl, like phenomenology, is aimed at “revealing the transcendental position,” it nevertheless does not establish a science (in the radicalized Husserlian sense). In fact, Husserl uses this rough outline (characterizing Buddhism as “transcendentalism without science”) to emphasize the dynamics of his own phenomenological “working project of philosophy (Arbeitsphilosophie).” The “Collection of Middle Instructions” of the Pali Canon serves as an occasion for Husserl to thematize the specific combination of seriousness and playfulness that characterizes his phenomenology as “carefree care”; this helps Husserl to express the driving force of phenomenological labor (“work fervor” (Arbeitsfieber)). (shrink)

Self-sovereign identity solutions implemented on the basis of blockchain technology are seen as alternatives to existing digital identification systems, or even as a foundation of standards for the new global infrastructures for identity management systems. It is argued that ‘self-sovereignty' in this context can be understood as the concept of individual control over identity relevant private data, capacity to choose where such data is stored, and the ability to provide it to those who need to validate it. It is also (...) argued that while it might be appealing to operationalise the concept of ‘self-sovereignty’ in a narrow technical sense, depreciation of moral semantics obscures key challenges and long-term repercussions. Closer attention to the normative substance of the ‘sovereignty’ concept helps to highlight a range of ethical issues pertaining to the changing nature of human identity in the context of ubiquitous private data collection. (shrink)

The aim of this paper is to determine whether and to what extent Woodward’s interventionist theory of causation is variable relative. In an influential review, Strevens has accused Woodward’s account of a damaging form of variable relativity, according to which obviously false causal claims can be made true by choosing a depleted variable set. Following McCain, I show that Strevens’ objection doesn’t succeed. However, Woodward also wants to avoid another kind of variable relativity, according to which it can be true (...) that X is a cause of Y in one set of background conditions, but false in another. I show that Woodward’s account is problematically overpermissive, unless there are restrictions on the values that certain variables can take. I formulate a modified account that makes these restrictions explicit, then use it to argue that Woodward’s attempt to avoid relativity to background conditions is misguided. On the best interpretation of the interventionist theory, causal claims are assessed relative to a particular kind of variable set. Thus, I conclude that the theory should be understood as variable relative, in a specific, unproblematic sense. (shrink)

This essay is an accessible introduction to the proof paradox in legal epistemology. -/- In 1902 the Supreme Judicial Court of Maine filed an influential legal verdict. The judge claimed that in order to find a defendant culpable, the plaintiff “must adduce evidence other than a majority of chances”. The judge thereby claimed that bare statistical evidence does not suffice for legal proof. -/- In this essay I first motivate the claim that bare statistical evidence does not suffice for legal (...) proof. I then introduce and motivate a knowledge-centred explanation of this fact. The knowledge-centred explanation rests on two premises. The first is that legal proof requires knowledge of culpability. The second is that one cannot attain knowledge that p from bare statistical evidence that p. To motivate the second premise, I suggest that beliefs based on bare statistical evidence fail to be safe—they could easily be wrong—and bare statistical evidence cannot eliminate relevant alternatives. -/- I then cast doubt on the first premise; I argue that legal proof does not require knowledge. I thereby dispute the knowledge-centred explanation of the inadequacy of bare statistical evidence for legal proof. Instead of appealing to the nature of knowledge, I suggest we should seek a more direct explanation by appealing to those more foundational epistemic properties, such as safety or eliminating relevant alternatives. (shrink)

This essay presents a unified account of safety, sensitivity, and severe testing. S’s belief is safe iff, roughly, S could not easily have falsely believed p, and S’s belief is sensitive iff were p false S would not believe p. These two conditions are typically viewed as rivals but, we argue, they instead play symbiotic roles. Safety and sensitivity are both valuable epistemic conditions, and the relevant alternatives framework provides the scaffolding for their mutually supportive roles. The relevant alternatives condition (...) holds that a belief is warranted only if the evidence rules out relevant error possibilities. The safety condition helps categorise relevant from irrelevant possibilities. The sensitivity condition captures ‘ruling out’. Safety, sensitivity, and the relevant alternatives condition are typically presented as conditions on warranted belief or knowledge. But these properties, once generalised, help characterise other epistemic phenomena, including warranted inference, legal verdicts, scientific claims, reaching conclusions, addressing questions, warranted assertion, and the epistemic force of corroborating evidence. We introduce and explain Mayo’s severe testing account of statistical inference. A hypothesis is severely tested to the extent it passes tests that probably would have found errors, were they present. We argue Mayo’s account is fruitfully understood using the resulting relevant alternatives framework. Recasting Mayo’s condition using the conceptual framework of contemporary epistemology helps forge fruitful connections between two research areas—philosophy of statistics and the analysis of knowledge—not currently in sufficient dialogue. The resulting union benefits both research areas. (shrink)

Radio Free Europe used balloons to drop leaflets in an attempt to supplement radio with printed words in the 1950s—a historical moment when closing borders, censoring the press, jamming foreign radios, tapping telephone lines, and tracking letters from abroad created an almost hermetically sealed space without many means for exchanging information across the Iron Curtain. This article traces how distorted and limited information shaped Cold War propaganda and practices of information-gathering. The article further examines unpredictable environmental factors that were transformed (...) into persuasive political rhetoric. A comparative analysis of communist media shows similarities of imagination in a visual propaganda campaign across five communist countries. Fantasies evolved into an object of public interest when propaganda strategies embraced a language of facts. (shrink)

Demonstratives and Indexicals In the philosophy of language, an indexical is any expression whose content varies from one context of use to another. The standard list of indexicals includes pronouns such as “I”, “you”, “he”, “she”, “it”, “this”, “that”, plus adverbs such as “now”, “then”, “today”, “yesterday”, “here”, and “actually”. Other candidates include the tenses … Continue reading Demonstratives and Indexicals →.

Robust virtue epistemology holds that knowledge is true belief obtained through cognitive ability. In this essay I explain that robust virtue epistemology faces a dilemma, and the viability of the theory depends on an adequate understanding of the ‘through’ relation. Greco interprets this ‘through’ relation as one of causal explanation; the success is through the agent’s abilities iff the abilities play a sufficiently salient role in a causal explanation of why she possesses a true belief. In this paper I argue (...) that Greco’s account of the ‘through’ relation is inadequate. I describe kinds of counterexample and explain why salience is the wrong kind of property to track epistemically relevant conditions or to capture the nature of knowledge. Advocates of robust virtue epistemology should develop an alternative account of the ‘through’ relation. I also argue that virtue epistemology should employ an environment-relative interpretation of epistemic virtue. (shrink)

Ephecticism is the tendency towards suspension of belief. Epistemology often focuses on the error of believing when one ought to doubt. The converse error—doubting when one ought to believe—is relatively underexplored. This essay examines the errors of undue doubt. I draw on the relevant alternatives framework to diagnose and remedy undue doubts about rape accusations. Doubters tend to invoke standards for belief that are too demanding, for example, and underestimate how farfetched uneliminated error possibilities are. They mistake seeing how incriminating (...) evidence is compatible with innocence for a reason to withhold judgement. Rape accusations help illuminate the causes and normativity of doubt. I propose a novel kind of epistemic injustice, for example, wherein patterns of unwarranted attention to farfetched error possibilities can cause those error possibilities to become relevant. Widespread unreasonable doubt thus renders doubt reasonable and makes it harder to know rape accusations. Finally, I emphasise that doubt is typically a conservative force and I argue that the relevant alternatives framework helps defend against pernicious doubt-mongers. (shrink)

I apply James Woodward’s interventionist theory of causation to organic chemistry, modelling three different ways that chemists are able to manipulate the reaction conditions in order to control the outcome of a reaction. These consist in manipulations to the reaction kinetics, thermodynamics, and whether the kinetics or thermodynamics predominates. It is possible to construct interventionist causal models of all of these kinds of manipulation, and therefore to account for them using Woodward’s theory. However, I show that there is an alternate, (...) more illuminating way of thinking about the third kind of reaction control, according to which chemists are thought of as manipulating which causal system is instantiated. I show that our ability to manipulate which system is instantiated is an important part of our ability to control the world, as is therefore especially relevant to interventionism. Thus, considering examples from organic chemistry leads to the identification of an important extension to Woodward’s theory. Finally, this investigation into reaction control in organic chemistry also has a more general implication: it suggests that interventionism results in a version of pragmatism about causation. (shrink)

Bishop John Wilkins’s “universal philosophical language", set out in his Essay Towards a Real Character and a Philosophical Language (1668), has often been described - and indeed dismissed - as a “utopian” project. However, despite the charge of utopianism being applied to Wilkins’s work by theorists as eminent as Foucault, Lacan, and Umberto Eco, no effort has yet been made to read the Essay as a legitimately utopian text: a text that may be positioned alongside the rich utopian literary-critical tradition (...) to mutually illuminating effect. This article argues that the Essay displays a tendency that the author terms “info-utopianism,” and that this tendency can be located in a number of other Early Modern utopian works. The article then discusses the contextual influences behind the emergence of Early Modern info-utopianism, as well as its implications for contemporary utopian theory. (shrink)

This article aims to elucidate the relationship between Agamben’s notion of messianism and his project of philosophical archaeology. Whereas the former relates to political and ethical aspects of Agamben’s philosophy, the latter belongs to the domain of methodology of philosophical research itself. The main thesis of the paper argues that these two components rely on each other and constitute one and the same project. The author demonstrates that Agamben’s notion of messianic action and scholarly activity of philosophical archaeology overlap, which (...) leads to a problematization of political dimension of Agamben’s messianism. The orientation towards the past in Agamben’s understanding of the messianic is its crucial presupposition that imposes limits on its applicability to the realm of politics. This thesis is substantiated by an investigation of the problem of relation between theory and practice in Agamben’s thought and by a close reading of the ‘Mystery of Anomia’ section in The Time that Remains. Beginning with the problem of the possibility of a transition from the tragic narrative elaborated in the Homo Sacer project to the messianic state of lawlessness, the author demonstrates that in Agamben’s thought this transition is made possible only by means of an archaeological inquiry. (shrink)

In a recent paper, Pickel and Rabern (2016) argue that a dynamic Tarskian semantics resolves Fine’s antinomy of the variable without the radical consequences for semantics proposed by Fine (2003, 2007). While Pickel and Rabern’s basic insight—a parameter of discourse context that tracks occurrences of variable-binding expressions—is important, I will argue that their own Tarskian theory faces a destructive dilemma: either their theory does not resolve Fine’s antinomy as they propose, or their theory does not reflect the intuitive motivation for (...) what they call structured meanings. I suggest that in response to this dilemma we should reject one of the principles that generates Pickel and Rabern’s version of the antinomy. Here Pickel and Rabern’s insight has surprising, but salutary, foundational consequences for semantics. (shrink)