I defend a new account of constitutive essence on which an entity’s constitutively essential properties are its most fundamental, nontrivial necessary properties. I argue that this account accommodates the Finean counterexamples to classic modalism about essence, provides an independently plausible account of constitutive essence, and does not run into clear counterexamples. I conclude that this theory provides a promising way forward for attempts to produce an adequate nonprimitivist, modalist account of essence. As both triviality and fundamentality in the account (...) are understood in terms of grounding, the theory also potentially has important implications for the relation between essence and grounding. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...) ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...) method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

Gilbert Harman’s famous principle of Clutter Avoidance commands that “one should not clutter one’s mind with trivialities". Many epistemologists have been inclined to accept Harman’s principle, or something like it. This is significant because the principle appears to have robust implications for our overall picture of epistemic normativity. Jane Friedman (2018) has recently argued that one potential implication is that there are no genuine purely evidential norms on belief revision. In this paper, we present some new objections to a suitably (...) formulated version of the clutter principle qua norm on belief revision. Moreover, we argue that the clutter principle is best understood as a norm on non-doxastic stages of inquiry. In our view, it is a norm of asking and considering questions rather than a norm of settling on an answer to a question by forming a belief. (shrink)

This paper advances the following criticisms against the received view of implicatures: (1) implicatures are relations of pragmatic implication and not attempts to convey particular speaker meanings; (2) conversational implicatures are non-cancellable; (3) generalised conversational implicatures and conventional implicatures are necessary to preserve the cooperative assumption employing a conversational maxim of conveyability; (4) implicatures should be divided into utterance implicatures and assumption implicatures, not speaker implicatures and sentence implicatures; (5) trivial implicatures are genuine implicatures; (6) Grice’s theory of conversation cannot (...) explain most of his examples of particularised conversational implicatures; (7) the apparent attempts of explicit cancellation of implicatures are apologies, not attempts to avoid misunderstandings. (shrink)

The focus in this essay will be upon the paradoxes, and foremostly in set theory. A central result is that the librationist set theory £ extension \Pfund $\mathscr{HR}(\mathbf{D})$ of \pounds \ accounts for \textbf{Neumann-Bernays-Gödel} set theory with the \textbf{Axiom of Choice} and \textbf{Tarski's Axiom}. Moreover, \Pfund \ succeeds with defining an impredicative manifestation set $\mathbf{W}$, \emph{die Welt}, so that \Pfund$\mathscr{H}(\mathbf{W})$ %is a model accounts for Quine's \textbf{New Foundations}. Nevertheless, the points of view developed support the view that the truth-paradoxes and (...) the set-paradoxes have common origins, so that the librationist resolutions of the set theoretic paradoxes are at the same time resolutions of the truth theoretic paradoxes. Both the librationist resolutions of the set theoretic paradoxes and the truth theoretic paradoxes have non-trivial philosophical implications: librationist set theories have the consequence that there are no absolutely uncountable sets, and librationist truth theories allow the use of syntactical modalities in ways which circumvent limitations as those of \parencite{Montague1963}, and a truth predicate which is useful for more precise philosophical discourse. (shrink)

Perception is typically distinguished from cognition. For example, seeing is importantly different from believing. And while what one sees clearly influences what one thinks, it is debatable whether what one believes and otherwise thinks can influence, in some direct and non-trivial way, what one sees. The latter possible relation is the cognitive penetration of perception. Cognitive penetration, if it occurs, has implications for philosophy of science, epistemology, philosophy of mind, and cognitive science. This paper offers an analysis of the phenomenon, (...) its theoretical consequences, and a variety of experimental results and possible interpretations of them. The paper concludes by proposing some constraints for analyses and definitions of cognitive penetrability. (shrink)

According to the Value-Neutrality Thesis, technology is morally and politically neutral, neither good nor bad. A knife may be put to bad use to murder an innocent person or to good use to peel an apple for a starving person, but the knife itself is a mere instrument, not a proper subject for moral or political evaluation. While contemporary philosophers of technology widely reject the VNT, it remains unclear whether claims about values in technology are just a figure of speech (...) or nontrivial empirical claims with genuine factual content and real-world implications. This paper provides the missing argument. I argue that by virtue of their material properties, technological artifacts are part of the normative order rather than external to it. I illustrate how values can be empirically identified in technology. The reason why value-talk is not trivial or metaphorical is that due to the endurance and longevity of technological artifacts, values embedded in them have long-term implications that surpass their designers and builders. I further argue that taking sides in this debate has real-world implications in the form of moral constraints on the development of technology. (shrink)

What is aesthetic appreciation? In this paper, I approach this question in an indirection fashion. First, I introduce the Kantian notion of moral worthy action and an influential analysis of it. Next, I generalise that analysis from the moral to the aesthetic domain, and from actions to affects. Aesthetic appreciation, I suggest, consists in an aesthetically worthy affective response. After unpacking the proposal, I show that it has non-trivial implications while cohering with a number of existing insights concerning the nature (...) of appreciation and the constraints to which it is subject. In closing, I note some limitations on the analogy between aesthetic appreciation and morally worthy action. (shrink)

Michael Almeida has recently tried to show that if S5 correctly represents metaphysical necessity, there can be no non-trivial evidence for or against the existence of the traditional God. Evidence would thus be irrelevant to the reasonability of traditional theistic belief. Almeida's argument has implications beyond its announced target: it amounts to a new argument for sweeping scepticism. Almeida's argument for the irrelevance of evidence to the existence of God would apply to any state of affairs that entails some metaphysical (...) necessity. In S5, every state of affairs entails some metaphysical necessity, so Almeida should conclude that non-trivial evidence for or against any state of affairs is impossible. I argue that the problem is not with S5 but with inadequately motivated assumptions about evidential support. Avoiding those assumptions disables the argument for sweeping scepticism and without foreclosing the possibility of non-trivial evidence for or against the existence of the traditional God. (shrink)

In philosophy, as in many other disciplines and domains, stable disagreement among peers is a widespread and well-known phenomenon. Our intuitions about paradigm cases, e.g. Christensen's Restaurant Case, suggest that in such controversies suspension of judgment is rationally required. This would prima facie suggest a robust suspension of judgment in philosophy. But we are still lacking a deeper theoretical explanation of why and under what conditions suspension is rationally mandatory. In the first part of this paper I will focus on (...) this question. After a critical survey of some recent alternative approaches (diversity as a thread to the reliability, decision problem, acquisition of undercutting defeaters), I will argue that in fact discovering disagreement with an opponent provides me with a rebutting defeater, but only if some further non-trivial conditions are satisfied - among them my acknowledging her as my reliability peer. In the second part of the paper I will explore in more detail the skeptical implications this account has for philosophy. Here, I will defend two claims. First, skepticism about philosophy is mandatory only if the relevant peerness assumption can be justified. Second, in philosophy there is no basis available that would support the relevant peerness assumption. If this is correct, we are not forced into skepticism about philosophy and may rationally retain our philosophical beliefs even in the face of controversy. (shrink)

Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it is (...) not trivial to account for how semantics relates to syntax in this context. In this paper, I analyze Husserl’s Logical Grammar as a system of recursive rules operating on representations and suggest that the syntactic form of representations contributes to their semantics because it carries information about semantic role. I further discuss Husserl’s syntactic account of the unity of propositions and argue that, on this account, logical form supervenes on syntactic form. In the last section I draw some implications for the phenomenology of thought and conjecture that the structural features it displays are likely to convey the syntactic structures of an underlying language-like representational system. (shrink)

With twentieth- and twenty-first-century philosophy of science’s unfolding acceptance of the nature of scientific inquiry being value-laden, the persistent worry has been that there are no means for legitimate negotiation of the social or non-epistemic values that enter into science. The rejection of the value-free ideal in science has thereby been coupled with the spectres of indiscriminate relativism and bias in scientific inquiry. I challenge this view in the context of recently expressed concerns regarding Canada's death of evidence controversy. The (...) worry, raised by Stathis Psillos, is that as constructivist accounts of science demoted the previously secure status of evidence for drawing justified conclusions in science, we were left with no rational delineation between the right and wrong values for science. The implication for the death of evidence controversy is that we may have no rational grounds for claiming that the Canadian Government is wrong to interfere with scientific enterprise. But he does offer another avenue for reaching the conclusion that the wrong social values are directing the current stifling of some sectors of Canadian science. Psillos draws from standpoint epistemologies to devise a salient defence of ‘valuing evidence’ as a universalizable social value. That is, government bodies ought to enable scientific research via adequate funding as well as political non-interference. In this paper, I counter that non-epistemic values can be rationally evaluated and that standpoint epistemology’s universalizable standpoint provides an inadequate framework for negotiating social values in science. Regarding, I draw from the evidence-based medicine debate in philosophy of medicine and from feminist empiricist investigations into the science–values relationship in order to make the argument for empirically driven value arbitration. If social values can be rationally chosen in the context of justification, then we can have grounds for charging the Canadian leadership with being ‘at war with science’. I further argue that my recommended empiricist methodology is preferable to Psillos’s search for universalizable perspectives for negotiating social values in science because the latter method permits little more than the trivial conclusion that evidence is valuable to science. (shrink)

This paper presents social and political dimensions of forgiveness within Jacques Derrida’s philosophy. Derrida’s philosophy of forgiveness is an example of how philosophy can help us understand and resolve contemporary social and political issues. Derrida believes that traditional concept of forgiveness should be broadened beyond the bounds of the rational and the imaginable. According to Derrida, traditional concept of forgiveness needs rethinking because of the phenomenon of proliferation of scenes of forgiveness after the Second World War that produced globalization of (...) forgiveness and trivialized and decharacterized this term. According to Derrida, the act of forgiveness can only be thought beyond the limits of common sense and in the space of the impossible, and that is the forgiveness of something that common sense cannot forgive. Derrida’s philosophy of forgiveness has wide social and political implications as it transcends binary oppositions: present/past, self/other, friend/enemy and so forth. All concepts within Derrida’s philosophy of politics (friendship, enemy, hospitality, forgiveness, justice, and so on) are significant for societies eroded with traumas of wars and ethno-national divisions and conflicts. (shrink)

An adequate theory of rights ought to forbid the harming of animals (human or nonhuman) to promote trivial interests of humans, as is often done in the animal-user industries. But what should the rights view say about situations in which harming some animals is necessary to prevent intolerable injustices to other animals? I develop an account of respectful treatment on which, under certain conditions, it’s justified to intentionally harm some individuals to prevent serious harm to others. This can be compatible (...) with recognizing the inherent value of the ones who are harmed. My theory has important implications for contemporary moral issues in nonhuman animal ethics, such as the development of cultured meat and animal research. (shrink)

Whenever we communicate, we inevitably have to say one thing before another. This means introducing particularly subtle patterns of salience into our language. In this paper, I introduce ‘order-based salience patterns’, referring to the ordering of syntactic contents where that ordering, pretheoretically, does not appear to be of consequence. For instance, if one is to describe a colourful scarf, it wouldn’t seem to matter if one were to say it is ‘orange and blue’ or ‘blue and orange’. Despite their apparent (...) triviality, I argue that order-based salience patterns tend to make the content positioned first more salient – in the sense of attention-grabbing – in a way that can have surprising normative implications. Giving relative salience to gender differences over similarities, for instance, can result in the activation of cognitively accessible beliefs about gender differences. Where those beliefs are epistemically and/or ethically flawed, we can critique the salience pattern that led to them, providing an instrumental way of evaluating those patterns. I suggest that order-based salience patterns can also be evaluated on constitutive grounds; talking about gender differences before similarities might constitute a subtle form of bias. Finally, I reflect on how the apparent triviality of order-based salience patterns in language gives them an insidious strength. (shrink)

Recent neuroimaging studies of the psychedelic state, which have commanded great media attention, are reviewed. They show that psychedelic trances are consistently accompanied by broad reductions in brain activity, despite their experiential richness. This result is at least counterintuitive from the perspective of mainstream physicalism, according to which subjective experience is entirely constituted by brain activity. In this brief analysis, the generic implications of physicalism regarding the relationship between the richness of experience and brain activity levels are rigorously examined from (...) an informational perspective, and then made explicit and unambiguous. These implications are then found to be non-trivial to reconcile with the results of said neuroimaging studies, which highlights the significance of such studies for the mind-body problem and philosophy of mind in general. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about the properties (...) of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

According to Marr's theory of vision, computational processes of early vision rely for their success on certain "natural constraints" in the physical environment. I examine the implications of this feature of Marr's theory for the question whether psychological states supervene on neural states. It is reasonable to hold that Marr's theory is nonindividualistic in that, given the role of natural constraints, distinct computational theories of the same neural processes may be justified in different environments. But to avoid trivializing computational explanations, (...) theories must respect methodological solipsism in the sense that within a theory there cannot be differences in content without a corresponding difference in neural states. (shrink)

Within the field of neuroscience, it is assumed that the central nervous system is divided into two functionally distinct components: the brain, which does the cognizing, and the spinal cord, which is a conduit of information enabling the brain to do its job. We dub this the “Cinderella view” of the spinal cord. Here, we suggest it should be abandoned. Marshalling recent empirical findings, we claim that the spinal cord is best conceived as an intrabodily cognitive extension: a piece of (...) biological circuitry that, together with the brain, constitutes our cognitive engine. To do so, after a brief introduction to the anatomy of the spinal cord, we briefly present a number of empirical studies highlighting the role played by the spinal cord in cognitive processing. Having so done, we claim that the spinal cord satisfies two popular and often endorsed criteria used to adjudicate cases of cognitive extension; namely the parity principle and the so-called “trust and glue” criteria. This, we argue, is sufficient to vindicate the role of the spinal cord as an intrabodily mental extension. We then steel our case considering a sizable number of prominent anti-extension arguments, showing that none of them poses a serious threat to our main claim. We then conclude the essay, spelling out a number of far-from trivial implications of our view. (shrink)

Art museums are built to elicit a wide variety of feelings, emotions, and moods from their visitors. While these effects are primarily achieved through the artworks on display, museums commonly deploy numerous other affect-inducing resources as well, including architectural solutions, audio guides, lighting fixtures, and informational texts. Art museums can thus be regarded as spaces that are designed to influence affective experiencing through multiple structures and mechanisms. At face value, this may seem like a somewhat self-evident and trivial statement to (...) make. However, in this article, I argue that niche construction theory enables us to make several illuminating observations about the ways in which art museums are engineered to influence our feelings. To expound on this claim, I single out for discussion the Museum of Non-Objective Painting, which for its entire lifespan (1939–52)—and prior to its evolution into the Solomon R. Guggenheim Museum—was expressly organized to kindle in its visitors a special, spiritual form of aesthetic experience: a liberating feeling of cosmic rhythm and order, no less. -/- The argument will proceed as follows: In Part 1, I introduce the basics of niche construction theory and specify the sense in which I apply it to museums and aesthetic affective experiencing. In Part 2, I outline the origins and ethos of the Museum of Non-Objective Painting, after which I pin down the type of affective experience it fostered by drawing from visitors’ self-reported reactions to the artworks on display. Then, in Part 3, I use niche construction theory to explain how the Museum consciously fashioned itself, by means of various mutually supportive resources and technologies, into a fertile setting for the specified feelings. Finally, in Part 4, I extend beyond the discussed case to assess the implications of niche construction theory for a broader understanding of how art museums make us feel. In other words, by tracing the early steps of the Museum of Non-Objective Painting towards the present-day Guggenheim, I call attention to the general variation in affective niches as regards their structure, technologies, and affective aims. Overall, the article elucidates the functioning of art museums as affective niches and furthers the conceptual development of niche construction theory in aesthetics. (shrink)

Most social policies cannot be defended without making inductive inferences. For example, consider certain arguments for racial profiling and affirmative action, respectively. They begin with statistics about crime or socioeconomic indicators. Next, there is an inductive step in which the statistic is projected from the past to the future. Finally, there is a normative step in which a policy is proposed as a response in the service of some goal—for example, to reduce crime or to correct socioeconomic imbalances. In comparison (...) to the normative step, the inductive step of a policy defense may seem trivial. We argue that this is not so. Satisfying the demands of the inductive step is difficult, and doing so has important but underappreciated implications for the normative step. In this paper, we provide an account of induction in social contexts and explore its implications for policy. Our account helps to explain which normative principles we ought to accept, and as a result it can explain why it is acceptable to make inferences involving race in some contexts (e.g., in defense of affirmative action) but not in others (e.g., in defense of racial profiling). (shrink)

There are some necessary conditions on causal relations that seem to be so trivial that they do not merit further inquiry. Many philosophers assume that the requirement that there could be no temporal gaps between causes and their effects is such a condition. Bertrand Russell disagrees. In this paper, an in-depth discussion of Russell’s argument against this necessary condition is the centerpiece of an analysis of what is at stake when one accepts or denies that there can be temporal gaps (...) between causes and effects. It is argued that whether one accepts or denies this condition, one is implicated in taking on substantial and wide-ranging philosophical positions. Therefore, it is not a trivial necessary condition of causal relations and it merits further inquiry. (shrink)

I shall begin with the assumption that there are, among our mental acts. some which stand in direct contact with ohjects in the material world. The aim of this paper will he to clarify and to draw out certain implications of this somewhat trivial assumption, and ultimately to say something about the ontological structure of those of our acts which effect the function of bringing us into contact with material acts which serve. as we might say, as the most external (...) points of consciousness which touch the objects consciousness is trying to grasp. Amongst material objects I shall include not only material things such as tables. (shrink)

An interesting question is whether deflationism about truth (and falsity) extends to related properties and relations on truthbearers. Lionel Shapiro (2011) answers affirmatively by arguing that a certain deflationism about truth is as plausible as an analogous version of deflationism about logical consequence. I argue that the argument fails on two counts. First, it trivializes to any relation between truthbearers, including substantive ones; in other words, his argument can be used to establish that deflationism about truth is as plausible as (...) deflationism about an arbitrary sentential relation. Second, the alleged analogy between the arguments for deflationism about truth and deflationism about consequence fails. Along the way I consider what implications the failure of the equiplausibility thesis has for deflationism about falsity. (shrink)

Cass Sunstein and Richard Thaler's proposal that social and legal institutions should steer individuals toward some options and away from others-a stance they dub "libertarian paternalism"-has provoked much high-level discussion in both academic and policy settings. Sunstein and Thaler believe that steering, or "nudging," individuals is easier to justify than the bans or mandates that traditional paternalism involves. -/- This Article considers the connection between libertarian paternalism and the regulation of reproductive choice. I first discuss the use of nudges to (...) discourage women from exercising their right to choose an abortion, or from becoming or remaining pregnant. I then argue that reproductive choice cases illustrate the limitations of libertarian paternalism. Where choices are politicized or intimate, as reproductive choices often are, nudges become not much easier to justify than traditional mandates or prohibitions. Even beyond the context of reproductive choice, it is not obvious how much easier nudges are to justify than bans or mandates. -/- Part I of this Article briefly introduces Sunstein and Thaler's libertarian paternalism. Part II then turns to the context of reproductive choice. Part II.A reviews restrictions on the right to choose an abortion-particularly post-Casey regulations such as waiting periods, requirements that women receive certain types of information, and requirements that women undergo ultrasound-that pitch themselves as steering choice without entirely closing off the right to choose an abortion. This distinction between nudges and prohibitions echoes Sunstein and Thaler's proposals, but works to subordinate women's choices to the judgment of (often male) experts and administrators-hence my term "libertarian patriarchalism." Part II.B reviews efforts to nudge women-particularly teenagers, HIV-positive women, and others thought to be unsuitable mothers-to avoid pregnancy. -/- Part III considers the normative implications of nudging reproductive decisions. In Part III.A, I argue that the political nature of reproductive choices presents a problem for nudges. I do so by considering a parallel with voting rights. Empirical research shows that voters are more likely to choose the candidate listed first on the ballot. Yet we do not empower the administrator in charge of ballot design to choose a default rule that nudges individuals toward the candidate he sincerely believes would promote choosers' welfare. Given the political nature of reproductive choices, a policymaker's attempting to nudge reproductive decisionmaking in the direction he prefers-or indeed in any direction-fails to show adequate respect for the chooser's agency. In Part III.B, I offer an argument that targets the use of nudges in the context of pregnancy. Finally, in Part III.C, I argue that nudges do not merely add choices to an existing menu, but change the substantive choices available to individuals and thereby impose more-than-trivial costs on them. I conclude by exploring the implications of my arguments for nudges more generally. (shrink)

The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...) claim that the material conditional interpretation of laws statements, dispositions ascriptions, or any causal claim is generally accepted as wrong and outdated. Still, there seem to be some basic logical assumptions that are shared by most of the participants in the debate on causal matters which at least stems from the traditional truth functional interpretation of conditionals. This is indicated by the vocabulary in the philosophical debate on causation, where one often speaks of ‘counterfactuals’, ‘possible worlds’ and ‘necessity’ without being explicit on whether or to what extent one accepts the logical-technical definition of these notions. To guarantee a non-Humean and non-extensional approach to causal relations, it is therefore important to be aware of the logical and metaphysical implications of the technical vocabulary. -/- In this paper we want to show why extensional logic cannot deal with causal relations. Via a logical analysis of law-like statements ‘All Fs are Gs’ we hope to throw some new light on interrelated notions like causation, laws, induction, hypotheticality and modality. If successful, our analysis should be of relevance for a deeper understanding of any type of causal relations, whether we understand them to be laws, dispositions, singulars or categoricals. (shrink)

This paper offers a general theory of privacy, a theory that takes privacy to consist in being free from certain kinds of intrusions. On this understanding, privacy interests are distinct and distinguishable from those in solitude, anonymity, and property, for example, or from the fact that others possess, with neither consent nor permission, personal information about oneself. Privacy intrusions have both epistemic and psychological components, and can range in value from relatively trivial considerations to those of profound consequence for an (...) individual’s dignity, integrity, and autonomy. Thus while the focus of this theory is privacy per se— privacy as being free from certain kinds of intrusions—it has significant implications, discussed briefly, for what properly counts as the content of moral or legal rights to privacy. (shrink)

The theory of possible worlds has permeated analytic philosophy in recent decades, and its best versions have a consequence which has gone largely unnoticed: in addition to the panoply of possible worlds, there are a great many impossible worlds. A uniform ontological method alone should bring the friends of possible worlds to adopt impossible worlds, I argue, but the theory's applications also provide strong incentives. In particular, the theory facilitates an account of counterfactuals which avoids several of the implausible results (...) of David Lewis's account, and it paves the way for the analogues of Kripkean semantics for epistemic and relevant logics. On the theories of possible worlds as abstract objects, worlds bear a strong resemblance to propositions. I contend that if there are distinct necessarily false propositions, then there are likewise distinct impossible worlds. However, one who regards possible worlds as concrete objects must not recognize impossible worlds, in part because concrete worlds cannot misrepresent certain features of reality, as some impossible worlds must. Accordingly, I defend and develop a theory of impossible worlds as maximal impossible states of affairs. Impossible worlds perform admirably in the analysis of counterfactuals with impossible antecedents. I argue that, contrary to standard accounts, not all counterpossibles are trivially true, and I develop a Lewis-style semantics which allows this result. The point is crucial, since many views presuppose that some counterpossibles are substantive philosophical truths. Finally, I show that impossible worlds hold great promise for doxastic and relevant logics. Epistemic logic needs a domain of propositions which is not closed under strict implication to avoid the problem of logical omniscience, and relevant logic needs such a domain to avoid the famous paradoxes of implication. In sum, impossible world theory promises natural, elegant solutions to philosophical problems in numerous areas where possible worlds alone flounder. These solutions come to most possible world theorists at no cost, since the existence of impossible worlds is entailed by theses they already hold. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...) theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (shrink)

Here we discuss and hope to solve a problem rooted in the necessity of the study of historical science, the slow deviation of physics education over the past century, and how the loss of crucial contextual tool has debilitated discussion of a very important yet specialized physics sub-topic: the isotropy of the one-way speed of light. Most notably, the information that appears to be most commonly missing is not simply the knowledge of the historical fact that Poincare and Lorentz presented (...) a mathematically equivalent representation of relativity theory contemporary with Einstein’s publication, but the most deleterious outcome is a lack of understanding of how that theory worked within a mechanical wave system to give the same results in all known experiments via an instrumentation-based illusion. Unfortunately those well educated in relativity theory, often haven’t been granted the advantage of contrast this history of development of the theory gives and thus some of the most direct and critical implications of modern theory are often lost on even graduate students. Chief among the implications that should be trivial to a student of relativity is the incompatibility of a mechanical wave concept of light with the modern assumptions of relativity. However, one should also be able to expect a graduate student to also easily comprehend the mathematical necessity of conjoining space with time is only descended from the presumption of isotropic constancy specifically, and further that the mechanics are one and the same as the relativity of simultaneity. However, many published papers appear to lack this understanding. The result is that the modern consensus appears to have arrived at the conclusion that the one-way speed of light is intrinsically untestable and therefore the physics community has accidentally pushed Minkowski spacetime, and most directly, the relativity of simultaneity, into the domain of pseudoscience, leaving only the historical relativistic “ether” described by Mansouri-Sexl test theory (AKA Lorentz Ether Theory) as the only workable alternative. This situation must be re-examined at the lowest possible level to arrive at an appropriate experimental regime. (shrink)

In this thesis, I argue for a realistic account of what conceptual engineering can hope to achieve when engineering concepts. I criticize conceptual engineers for not taking the implementation challenge, and problems with the feasibility of their proposals, into account when proposing to change concepts, threatening to trivialize conceptual engineering. In addition, conceptual engineers have had a tendency to expect too much from concepts, and suggest extensive changes to the meaning to all uses of a concept. As a solution, I (...) suggest Fabianism, which is to have apparent goals, and realistic tactics to achieve those goals. Specifically, I suggest three remedies, which is to (a) view concepts as embedded in frameworks, and (b) make less extensive changes to the meaning of (c) only some (or one) uses of concepts. Essentially, I argue that we should engineer conceptual frameworks, and not individual concepts. In the second part of the thesis, I explore an implication of Fabianism on the way that conceptual engineers assess concepts, concluding that we should assess concepts by the functions they perform in a conceptual framework, which has not been the predominant view of concept assessment in conceptual engineering. (shrink)

A pervasive and influential argument appeals to trivial truths to demonstrate that the aim of inquiry is not the acquisition of truth. But the argument fails, for it neglects to distinguish between the complexity of the sentence used to express a truth and the complexity of the truth expressed by a sentence.

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...) show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

I present two Triviality results for Kratzer's standard “restrictor” analysis of indicative conditionals. I both refine and undermine the common claim that problems of Triviality do not arise for Kratzer conditionals since they are not strictly conditionals at all.

Conditional probability is often used to represent the probability of the conditional. However, triviality results suggest that the thesis that the probability of the conditional always equals conditional probability leads to untenable conclusions. In this paper, I offer an interpretation of this thesis in a possible worlds framework, arguing that the triviality results make assumptions at odds with the use of conditional probability. I argue that these assumptions come from a theory called the operator theory and that the (...) rival restrictor theory can avoid these problematic assumptions. In doing so, I argue that recent extensions of the triviality arguments to restrictor conditionals fail, making assumptions which are only justified on the operator theory. (shrink)

Opponents of the computational theory of mind have held that the theory is devoid of explanatory content, since whatever computational procedures are said to account for our cognitive attributes will also be realized by a host of other ‘deviant’ physical systems, such as buckets of water and possibly even stones. Such ‘triviality’ claims rely on a simple mapping account of physical implementation. Hence defenders of CTM traditionally attempt to block the trivialization critique by advocating additional constraints on the implementation (...) relation. However, instead of attempting to ‘save’ CTM by constraining the account of physical implementation, I argue that the general form of the triviality argument is invalid. I provide a counterexample scenario, and show that SMA is in fact consistent with empirically rich and theoretically plausible versions of CTM. This move requires rejection of the computational sufficiency thesis, which I argue is scientifically unjustified in any case. By shifting the ‘burden of explanatory force’ away from the concept of physical implementation, and instead placing it on salient aspects of the target phenomenon to be explained, it’s possible to retain a maximally liberal and unfettered view of physical implementation, and at the same time defuse the triviality arguments that have motivated defenders of CTM to impose various theory-laden constraints on SMA. (shrink)

In recent years, a number of theorists have claimed that beliefs about probability are transparent. To believe probably p is simply to have a high credence that p. In this paper, I prove a variety of triviality results for theses like the above. I show that such claims are inconsistent with the thesis that probabilistic modal sentences have propositions or sets of worlds as their meaning. Then I consider the extent to which a dynamic semantics for probabilistic modals can (...) capture theses connecting belief, certainty, credence, and probability. I show that although a dynamic semantics for probabilistic modals does allow one to validate such theses, it can only do so at a cost. I prove that such theses can only be valid if probabilistic modals do not satisfy the axioms of the probability calculus. (shrink)

This paper clarifies the relationship between the Triviality Results for the conditional and the Restrictor Theory of the conditional. On the understanding of Triviality proposed here, it is implausible—pace many proponents of the Restrictor Theory—that Triviality rests on a syntactic error. As argued here, Triviality arises from simply mistaking the feature a claim has when that claim is logically unacceptable for the feature a claim has when that claim is unsatisfiable. Triviality rests on a semantic (...) confusion—one which some semantic theories, but not others, are prone to making. On the interpretation proposed here, Triviality Results thus play a theoretically constructive role in the project of natural language semantics. (shrink)

I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. (...) I first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...) shows that one’s rational credence in a would-counterfactual and in the corresponding might-counterfactual have to be identical. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

I formulate a counterfactual version of the notorious 'Ramsey Test'. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probabihty/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter.Even in the weaker, bound, form, the counterfactual (...) Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time-evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument.I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

It is often claimed that credences are not reducible to ordinary beliefs about probabilities. Such a reduction appears to be decisively ruled out by certain sorts of triviality results–analogous to those often discussed in the literature on conditionals. I show why these results do not, in fact, rule out the view. They merely give us a constraint on what such a reduction could look like. In particular they show that there is no single proposition belief in which suffices for (...) having a particular credence, regardless of one’s evidence. But if we allow such propositions to vary with evidence–as we should–then the results do not rule out a reduction. So, at least on this count, credences might very well just be beliefs about probabilities. (shrink)

This essay offers a uniquely feminist interpretation of Book III in Aristotle's Nicomachean Ethics by examining the relevance of Aristotle's ethical framework to modern intersectional debates. I begin with an analysis of Aristotle's distinctions between involuntary, voluntary, mixed, and nonvoluntary actions, along with his nuanced discussion of ignorance. I then examine the implications of these concepts in contemporary social issues, and emphasize their potential to make intersectionality more accessible and fostering a constructive dialogue on prejudice. These concepts are then applied (...) through a modern lens to reveal the blameworthy and inexcusable nature of conservative ignorance towards intersectional issues in our current socio-political landscape. I assert that Aristotle provides a framework for intersectional feminists to address socio-political ignorance and discrimination, and argue for the importance of evaluating beliefs and actions to ensure their positive contribution to ones character. (shrink)

Suppose that you're certain that a certain sentence, e.g. "Frida is tall", lacks a determinate truth value. What cognitive attitude should you take towards it—reject it, suspend judgment, or what else? We show that, by adopting a seemingly plausible principle connecting credence in A and Determinately A, we can prove a very implausible answer to this question: i.e., all indeterminate claims should be assigned credence zero. The result is striking similar to so-called triviality results in the literature on modals (...) and conditionals. (shrink)