Modern computer systems are ubiquitous in contemporary life yet many of them remain opaque. This poses significant challenges in domains where desiderata such as fairness or accountability are crucial. We suggest that the best strategy for achieving system transparency varies depending on the specific source of opacity prevalent in a given context. Synthesizing and extending existing discussions, we propose a taxonomy consisting of eight sources of opacity that fall into three main categories: architectural, analytical, and socio-technical. For each (...) source, we provide initial suggestions as to how to address the resulting opacity in practice. The taxonomy provides a starting point for requirements engineers and other practitioners to understand contextually prevalent sources of opacity, and to select or develop appropriate strategies for overcoming them. (shrink)

Philosophers have recently focused on critical, epistemological challenges that arise from the opacity of deep neural networks. One might conclude from this literature that doing good science with opaque models is exceptionally challenging, if not impossible. Yet, this is hard to square with the recent boom in optimism for AI in science alongside a flood of recent scientific breakthroughs driven by AI methods. In this paper, I argue that the disconnect between philosophical pessimism and scientific optimism is driven by (...) a failure to examine how AI is actually used in science. I show that, in order to understand the epistemic justification for AI-powered breakthroughs, philosophers must examine the role played by deep learning as part of a wider process of discovery. The philosophical distinction between the 'context of discovery' and the 'context of justification' is helpful in this regard. I demonstrate the importance of attending to this distinction with two cases drawn from the scientific literature, and show that epistemic opacity need not diminish AI's capacity to lead scientists to significant and justifiable breakthroughs. (shrink)

Phonological opacity and paradigmatic effects (“synchronic analogy”) have long been of interest in relation to change, naturalness, and the phonology/morphology interface. Their investigation has now acquired a new urgency, because they call into question OT’s postulate that constraints are evaluated in parallel. Conceptually, parallelism is one of the basic and most interesting tenets of OT, and so there are good methodological reasons to try hard to save it in the face of such recalcitrant data. The price to be paid (...) for it is the introduction of otherwise unneeded powerful new types of Faithfulness constraints, such as Output/Output (O/O) con- straints, Paradigm Uniformity constraints, and Sympathy constraints, which have turned out to compromise the OT program very severely. (shrink)

Advancements in machine learning have fuelled the popularity of using AI decision algorithms in procedures such as bail hearings, medical diagnoses and recruitment. Academic articles, policy texts, and popularizing books alike warn that such algorithms tend to be opaque: they do not provide explanations for their outcomes. Building on a causal account of transparency and opacity as well as recent work on the value of causal explanation, I formulate a moral concern for opaque algorithms that is yet to receive (...) a systematic treatment in the literature: when such algorithms are used in life-changing decisions, they can obstruct us from effectively shaping our lives according to our goals and preferences, thus undermining our autonomy. I argue that this concern deserves closer attention as it furnishes the call for transparency in algorithmic decision-making with both new tools and new challenges. (shrink)

Nietzsche believes that we do not know our own actions, nor their real motives. This belief, however, is but a consequence of his assuming a quite general skepticism about introspection. The main aim of this paper is to offer a reading of this last view, which I shall call the Inner Opacity (IO) view. In the first part of the paper I show that a strong motivation behind IO lies in Nietzsche’s claim that self-knowledge exploits the same set of (...) cognitive capacities as well as the same folk-psychological framework involved in outward-directed mind-reading. In the second part I turn to Nietzsche’s view of agency and argue that he sees a fundamental discrepancy between the conscious attitudes we have introspective access to, on the one hand, and the subpersonal processes and states occurring at the unconscious level of the drives, on the other hand. (shrink)

What is narrative? What is distinctive about the great literary narratives? In virtue of what is a narrative fictional or non-fictional? In this important new book Peter Lamarque, one of the leading philosophers of literature at work today, explores these and related questions to bring new clarity and insight to debates about narrative in philosophy, critical theory, and narratology.

Referential opacity is the failure of substitutivity of identity (SI, for short) and in Quine’s view of existential generalization (EG, for short) as well. Quine thinks that its “solution” in epistemic and doxastic contexts, which relies on the notion of exportation, leads to undesirable results. But epistemic logicians such as Jaakko Hintikka and Wolfgang Lenzen provide another solution based on a different diagnosis: opacity is not, as in Quine’s view, due to the absence of reference, it is rather (...) due to the plurality of references; therefore, one must stabilize the reference to restore SI and EG. However, Hintikka’s semantics remains classical in its treatment of existence, which makes EG non-applicable to possible objects, while in Lenzen’s system, EG is applicable by means of a particular quantifier. But this requires adding the predicate of existence to account for real objects. In this paper, I will show the advantages and disadvantages of both solutions and will end by providing an alternative approach to the problem of non-existent objects, which stays into the frame of possible worlds semantics, but introduces some more restrictions, eliminates the problematic predicate of existence, and applies a neutral quantifier to possible non-existent objects. (shrink)

In ‘Bureaucratic respectful equality’, Christopher Nathan puts forward two challenges for the author’s claim that basic equality can be grounded in a form of ‘opacity respect’ appropriately shown b...

Computer simulations are often claimed to be opaque and thus to lack transparency. But what exactly is the opacity of simulations? This paper aims to answer that question by proposing an explication of opacity. Such an explication is needed, I argue, because the pioneering definition of opacity by P. Humphreys and a recent elaboration by Durán and Formanek are too narrow. While it is true that simulations are opaque in that they include too many computations and thus (...) cannot be checked by hand, this doesn’t exhaust what we might want to call the opacity of simulations. I thus make a fresh start with the natural idea that the opacity of a method is its disposition to resist knowledge and understanding. I draw on recent work on understanding and elaborate the idea by a systematic investigation into what type of knowledge and what type of understanding are required if opacity is to be avoided and why the required sort of understanding, in particular, is difficult to achieve. My proposal is that a method is opaque to the degree that it’s difficult for humans to know and to understand why its outcomes arise. This proposal allows for a comparison between different methods regarding opacity. It further refers to a kind of epistemic access that is important in scientific work with simulations. (shrink)

ABSTRACT This paper offers an account of institutional testimonial justice and describes one way that it breaks down, which we call institutional opacity. An institution is opaque when it becomes resistant to epistemic evaluation and understanding by its agents and users. When one cannot understand the inner workings of an institution, it becomes difficult to know how to comport oneself testimonially. We offer an account of an institutional ethos to explain what it means for an institution to be testimonially (...) just; we then describe how an ethos of institutional testimonial justice can break down when the institution becomes opaque. An opaque institution is especially problematic for individuals and groups already rendered epistemically vulnerable during their interactions with that institution, which we call epistemically vulnerabilised individuals. We articulate the features of an encounter between an epistemically vulnerabilised individual and an opaque institution. We end by tracing ameliorative strategies that could help repair a deteriorated institutional ethos of testimonial justice. (shrink)

Do we have introspective access to our own thoughts? Peter Carruthers challenges the consensus that we do: he argues that access to our own thoughts is always interpretive, grounded in perceptual awareness and sensory imagery. He proposes a bold new theory of self-knowledge, with radical implications for understanding of consciousness and agency.

Kant’s moral philosophy both enjoins the acquisition of self-knowledge as a duty, and precludes certain forms of its acquisition via what has become known as the Opacity Thesis. This article looks at several recent attempts to solve this difficulty and argues that they are inadequate. I argue instead that the Opacity Thesis rules out only the knowledge that one has acted from genuine moral principles, but does not apply in cases of moral failure. The duty of moral self-knowledge (...) applies therefore only to one’s awareness of one’s status as a moral being and to the knowledge of one’s moral failings, both in particular actions and one’s overall character failings, one’s vices. This kind of knowledge is morally salutary as an aid to discovering one’s individual moral weakness as well as the subjective ends for which one acts, and in this way for taking up the morally required end of treating human beings as human beings. In this way, moral self-knowledge can be understood as a necessary element of moral improvement, and I conclude by suggesting several ways to understand it thereby as genuinely primary among the duties to oneself. (shrink)

This paper looks at the debates between internalism and externalism in mind and epistemology. In each realm, internalists face what we call 'The Connection Problem', while externalists face what we call 'The Problem of Opacity'. We offer an integrated account of thought content and epistemic warrant that overcomes the problems. We then apply the framework to debates between internalists and externalists in metaethics.

In this paper I analyze David Kaplan’s essay “Opacity”. In “Opacity” Kaplan attempts to dismiss Quine’s concerns about quantification across intensional (modal and intentional) operators. I argue that Kaplan succeeds in showing that quantification across intensional operators is logically coherent and that quantified modal logic is strictly speaking not committed to essentialism. However, I also argue that this is not in and of itself sufficient to support Kaplan’s more ambitious attempt to move beyond purely logical results and provide (...) unified, uncontroversial interpretations of both “believes” and “necessarily”. In the paper I raise several questions about the subject matter of logic and the role of semantics, with special focus on singular propositions. (shrink)

This is a reply to commentators in the Journal of the Philosophy of Sport's special issue symposium on GAMES: AGENCY AS ART. I respond to criticisms concerning the value of achievement play and striving play, the transparency and opacity of play, the artistic status of games, and many more.

It is well known that experts’ opinion and testimony take on a decisive weight in judicial fact-finding, raising issues and perplexities that have long been under scholarly scrutiny. In this paper I argue that expert’s opinions have a much wider impact on legal decision-making. In particular, they may generate a problem that I will call ‘the opacity of law’. A legal text, such as a statute or regulation, becomes opaque if a legal authority is not able to grasp its (...) full linguistic content but is nevertheless in a position to use it, thanks to an expert’ opinion, in legal decision-making. When this occurs, not only do experts contribute to fact-finding but also to determining the content of the law. In the paper I analyse the linguistic and cognitive sources of this phenomenon, its characteristics and troublesome consequences, and the different kinds of opacity that may affect legal decision-making. (shrink)

This article argues for a redefinition of difficulty in relation to the inextricable violence of modernity and examines the consecutive challenge to notions of understanding and interpretation — of a text, of language or of the other — that this repositioning brings. To this end, the article offers a nuanced rereading of Steiner’s canonical fourfold categorization of difficulty, in dialogue with, first, Édouard Glissant’s opacity and, second, Jonathan Pugh and David Chandler’s theorizations of ‘abyssal thought’, an approach emerging from (...) Caribbean and critical Black studies, exploring the key challenge it poses to forging an unmasterful, after Julietta Singh, comparative literary practice. With an equal attention to the theoretical and pedagogical dimensions of reading difficulty, the article emphasizes the importance of the accretive and embodied nature of the reading process and offers a repositioning of textual difficulty, as a meeting site of opacities, and a reformulation of a difficult, unmasterful reading practice, after catastrophe and with others. (shrink)

The paper offers a critical examination of a prominent, “quasi-deflationist” argument advanced in the contemporary debate on the semantic paradoxes against non-naive and non-transparent theories of truth. The argument claims that truth unrestrictedly fulfils certain expressive functions, and that its so doing requires the unrestricted validity of naivety and transparency principles. The paper criticises the quasi-deflationist argument by considering some kinds of cases in which transparency and naivety arguably fail. In some such cases truth still fulfils the relevant expressive functions (...) without being transparent or naive; in some other such cases, truth does not fulfil the relevant expressive functions and other conceptual resources must be called upon. Thus, in different ways, all such cases belie the quasi-deflationist argument’s insistence that naivety and transparency should be unrestrictedly valid for truth unrestrictedly to fulfil the relevant expressive functions. There might however be other reasons for solving the semantic paradoxes by revising classical logic, and the paper in effect closes by offering versions of the liar paradox that rely on compelling but opacity-friendly truth-theoretic principles. (shrink)

Philosophy and Phenomenological Research, EarlyView.

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

It has been widely accepted that Kant holds the “Opacity Thesis,” the claim that we cannot know the ultimate grounds of our actions. Understood in this way, I shall argue, the Opacity Thesis is at odds with Kant's account of practical self-consciousness, according to which I act from the (always potentially conscious) representation of principles of action and that, in particular, in acting from duty I act in consciousness of the moral law's determination of my will. The (...) class='Hi'>Opacity Thesis thus threatens to render acting from duty unintelligible. To diffuse the threat, I argue, first, that we need not attribute the Opacity Thesis to Kant. Kant's concern with the ubiquity of moral self-opacity does not imply the strong skeptical conclusion that knowledge of the grounds of one's action is impossible. Second, I show how moral self-opacity in cases of morally bad action emerges from the intrinsic inability of representing oneself, insofar as one is pursuing the indeterminate end of “happiness.” Thus, moral self-opacity does not undermine the will's self-consciousness but is born of it. (shrink)

Carruthers argues that knowledge of our own propositional attitudes is achieved by the same mechanism used to attain knowledge of other people's minds. This seems incompatible with "privileged access"---the idea that we have more reliable beliefs about our own mental states, regardless of the mechanism. At one point Carruthers seems to suggest he may be able to maintain privileged access, because we have additional sensory information in our own case. We raise a number of worries for this suggestion, concluding that (...) Carruthers's new theory cannot clearly preserve the superior reliability of our beliefs about our own attitudes. (shrink)

This chapter argues that the objection that Socrates makes against diviners, poets, and rhapsodies having knowledge is an example of what has come to be known as an opacity objection: that is, some aspect of what would be required for them to know is unrecognised by them. This chapter contends that the opacity is of a different kind than what contemporary epistemologists have considered, and claims that Socrates’ specific version should have a place in contemporary theory of knowledge.

Key issues in epistemology for the most part have to do with epistemic values such as justification, truth, and knowledge—that is, values related to the epistemic status of our propositional attitudes, mental events, and states. However, another important issue that is worth examining is the extent to which a subject is in a position to evaluate the strength of her epistemic position. In this paper, I wish to emphasize two properties of our mental states that play a decisive part in (...) that respect: their opacity and transparency. In the following, I will assume that a mental state is opaque whenever it presents itself with no underlying reason, whereas states that are supported by apparent reasons are transparent. One main argument that I will defend is that even when the opacity and transparency of our mental states are not reliable cues, still they remain highly informative. Notably, I draw some implications relative to the externalist/internalist debate in epistemology. I examine the claim that only mental states that are justified are well grounded or justification conferring and the idea that often stands behind, that is, that only states whose reasons are accessible are justified—namely, the Accessibility Requirement. I also examine the source of a recent debate in epistemology: the epistemic status of our intuitive states, as these are perfect instances of opaque mental states. I conclude that intuitive states in some respect are less misleading than states that are supported by apparent reasons. (shrink)

Deep neural networks are said to be opaque, impeding the development of safe and trustworthy artificial intelligence, but where this opacity stems from is less clear. What are the sufficient properties for neural network opacity? Here, I discuss five common properties of deep neural networks and two different kinds of opacity. Which of these properties are sufficient for what type of opacity? I show how each kind of opacity stems from only one of these five (...) properties, and then discuss to what extent the two kinds of opacity can be mitigated by explainability methods. (shrink)

Real human agents, even when they are rational by everyday standards, sometimes assign different credences to objectively equivalent statements, such as ‘Orwell is a writer’ and ‘E.A. Blair is a writer’, or credences less than 1 to necessarily true statements, such as not-yet-proven theorems of arithmetic. Anna Mahtani calls this the phenomenon of ‘opacity’. Opaque credences seem probabilistically incoherent, which goes against a key modelling assumption of probability theory. I sketch a modelling strategy for capturing opaque credence assignments without (...) abandoning probabilistic coherence. I draw on ideas from judgement-aggregation theory, where we face similar challenges of defining the ‘objects of judgement’. (shrink)

There seems to be a lot of opacity in our language. Quotation is opaque. The modal idioms are apparently opaque. Propositional attitude ascriptions seem opaque, as do the environments created by verbs such as ‘seeks’ and ‘fears’. Opacity raises a number of issues — first and foremost, whether there is such a thing. This article concentrates on the question of whether there is any opacity to be found in natural language, examining various reasons one might have for (...) denying that apparent opacity is genuine. (shrink)

Intensionality (or opacity) is a core property of mental representations and sometimes understanding opacity is claimed to be a part of children's theory of mind (evidenced with the false belief task). Children, however, pass the false belief task and the intensionality tasks at different ages (typically 4 vs. 5;1-6;11 years). According to two dominant interpretations, the two tests either require different conceptual resources or vary only in their executive or linguistic load. In two experiments, involving 120 children aged (...) 3-6 (Experiment 1) and 75 children aged 4-6 (Experiment 2), we tested two variants of the executive load hypothesis: The differential linguistic complexity of the two tests, and the dual-name problem of the intensionality task. The former was addressed by standardizing and minimizing the linguistic demands of both tasks (contrasted with the typical narrative intensionality task), and the latter by introducing the dual-name problem into the false belief task as well, so that it was present in both tasks. We found that (1) two structurally different intensionality tasks shared more variance with each other than with the structurally similar false belief task, and that (2) introducing a dual label problem into the false belief task did not reduce the developmental gap. Our results speak against interpreting the difference between the time children pass the two tests entirely in terms of performative issues, and support the conceptual enrichment hypothesis. We discuss the theoretical relevance of these results, suggesting that they are best explained by fine-grained increments within the concept of belief, rather than a radical conceptual change. We conclude that understanding opacity of minds – which emerges between age 5 and 6 – is an important step towards a more advanced form of ToM. (shrink)

The paper argues that Plato’s dialogue form creates a Quinean “opaque context” that segregates the assertions by Plato’s characters in the dialogues from both Plato and the real world with the result that the dialogues require a hermeneutical interpretation. Sec. I argues that since the assertions in the dialogues are located inside an opaque context, the forms of life of the characters in the dialogues acquires primary philosophical importance for Plato. The second section argues that the thesis of Sec. I (...) coheres with the claim in Plato’s Seventh Letter that since philosophical truth is incommunicable by means of language it is of primary importance for philosophers to develop proper “schemes of living”. Sec. III argues since the forms of life of the characters portrayed in the dialogues is of primary philosophical importance for Plato, and since hermeneutical methods are required to interpret emerging forms of life, Plato’s dialogues are positively crafted to be read hermeneutically. Sec IV argues that Heidegger, who is famous for seeing Plato’s views as antithetical to his own hermeneutical approach, is mistaken, and that Plato’s real views are, in principle, more akin to Heidegger’s views than he thinks. (shrink)

Human opacity is the intrinsic quality of unknowabil- ity of human beings with respect to machines. The descriptive rela- tionship between humans and machines, which captures how much information one can gather about the other, can be explicated using an opacity-transparency relationship. This relationship allows us to describe and normatively evaluate a spectrum of opacity where humans and machines may be either opaque or transparent. In this paper, we argue that the advent of Affective Computing (AC) has (...) begun to shift the ideal position of humans on this spectrum towards greater transparency, while much of this technology is shifting towards opacity. We explore the implications of this shift with regard to the affective information of humans and how the threat to human opacity by AC systems has various adverse repercussions, such as infringement of one’s autonomy, deception, manipulation, and increased anxiety. There are also distributive consequences that expose vulnerable groups to unjustified burdens and reduce them to mere profiles. We further provide an assessment of current AC technology, which follows the descriptive relationship between humans and machines from the lens of opacity and transparency. Finally, we foresee and address three possible objections to our claims. These are the beneficence of AC systems, their relation to privacy, and their restrictive capacity to capture human affects. Through these arguments, the paper aims to bring attention to the ontological relationship between humans and machines from the perspective of opacity and transparency while emphasizing on the gravity of the ethical concerns raised by their threat to human opacity. (shrink)

This landmark work provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the "new theory of reference" and non-linguistic necessity and essentialism to "Kripke semantics.".

Dowsing, water-witching, divining – the procedure seeks a flow or spring beneath the surface of earth. So too this inquiry attempts to locate and sound the meanings associated with the polestar of Thalean considerations, ὕδωρ, that course beneath the interpretative strata of an overly-familiar tradition grounded in the principles of clarity and intelligibility. If these principles are held in suspension, what meanings flow from the Thalean considerations of ὕδωρ? A twofold task guides this inquiry. First is to show opacity (...) as the primary valence of ὕδωρ, challenging the prevailing tendency to imagine Thales and other Milesian thinkers as positing a principle of clarity in the form of what can be brought under the Aristotelean concept of underlying thing and matter. Second, in the course of drawing up the opacity of ὕδωρ form varied archaic sources emerge some connections to important terms for Greek thinking: φύσις, λόγος, ἀλήθεια. (shrink)

Many jurisdictions prohibit or severely restrict the use of evidence about a defendant’s character to prove legal culpability. Situationists, who argue that conduct is largely determined by situational features rather than by character, can easily defend this prohibition. According to situationism, character evidence is misleading or paltry. -/- Proscriptions on character evidence seem harder to justify, however, on virtue ethical accounts. It appears that excluding character evidence either denies the centrality of character for explaining conduct—the situationist position—or omits probative evidence. (...) Situationism is, after all, presented as antithetical to virtue ethics. -/- This essay provides a virtue ethical defense of character evidence exclusion rules. We show that existing virtue ethical rebuttals to situationism themselves support prohibitions on character evidence; even if behavior arises from stable character traits, character evidence should be prohibited. In building our case, we provide a taxonomy of kinds of character judgment and reconcile the ubiquity and reasonableness of character judgments in ordinary life with the epistemic legitimacy of character evidence prohibitions in law. (shrink)

This essay explicates Édouard Glissant’s aesthetics of opacity in terms of its formation and significance. This theory comes into form in the historical condition of colonial alterity. In The Poetics of Relation, Glissant extrapolates opacity as the fundamental of aesthetics from such linguistic activities as creole languages and improvised stories found in the Caribbean islands. More than a postcolonial defense of identity alterity, opacity denotes the linguistic expression of material alterity. It means an involuntary flourishing of linguistically (...) enhanced dynamic of exchange, connection, and making in the landscapes of compelling affordances. Such languages cannot be reduced to texts because they are derived from the inevitably alien ground called "the other of Thought,” or a recognition and practice of radical difference. The significance of the aesthetics of opacity lies in that, Glissant asserts, humans can linguistically express the engagement with material ecologies while avoiding the authoritative domination of reason. (shrink)

Many philosophers endorse the Transparency Thesis, the claim that by introspection one cannot become aware of one's experience. Recently, some authors have suggested that the Transparency Thesis is challenged by introspective states reached under mindfulness. We label this the Mindfulness Opacity Hypothesis. The present paper develops the hypothesis in important new ways. First, we motivate the hypothesis by drawing on recent clinical psychology and cognitive science of mindfulness. Secondly, we develop the hypothesis by describing the implied shift in experiential (...) perspective, the scope of introspectable qualities, and the level of skill. Thirdly, we defend the hypothesis against various philosophical arguments. We conclude that the Mindfulness Opacity Hypothesis is empirically and theoretically well motivated and supported. (shrink)

The problem discussed here is to find a basis for a uniform treatment of the relation between pronouns and their antecedents, taking into account both linguists' and philosophers' approaches. The two main candidates would appear to be the linguists' notion of coreference and the philosophers' notion of pronouns as variables. The notion of coreference can be extended to many but not all cases where the antecedent is non-referential. The pronouns-as-variables approach appears to come closer to full generality, but there are (...) some examples of pronouns of laziness which appear to resist either of the two approaches. (shrink)