In this note, we give a representation of distributive Ockham algebras via natural hom-functors. In order to do this, we describe two different structures (one algebraic, and the other order-topological) on the set of subsets of the natural numbers. The topological duality previously obtained by A. Urquhart is used throughout.

Natural dualities are developed for varieties ofn-valued ukasiewicz algebras with and without negation. These dualities are based on hom-functors, and parallel Stone duality for Boolean algebras. A translation is described which relates the natural dualities to the corresponding restricted Priestley dualities. This enables a unified approach to free algebras to be presented, whence R. Cignoli's characterisations of the finitely generated free algebras are elucidated and new descriptions of arbitrary free algebras obtained. Finally it is shown how dualities for subvarieties encode (...) equational bases. An alternative approach is thereby provided to results of M.E. Adams and R. Cignoli. (shrink)

An incline S is a commutative semiring where r+1=1 for any r \in S . We note that the ideal lattice of an S-semimodule is naturally an S-semimodule and so is its congruence lattice when S is transitive. We prove that the categories of complete S-semimodules, together with dual functor, internal hom and tensor product, is a ⋆-autonomous category. We define the locally and globally maximal congruences which are related to Birkhoff subdirect product decomposition. We show that the categories (...) of S-semimodules, algebraic S-semimodules and topological S-semimodules are equivalent. Finally, we get a sheaf representation of any S-semimodule. (shrink)

Fictional terms are terms that have null extensions, and in this regard pejorative terms are a species of fictional terms: although there are Jews, there are no kikes. That pejoratives are fictions is the central consequence of the Moral and Semantic Innocence (MSI) view of Hom et al. (2013). There it is shown that for pejoratives, null extensionality is the semantic realization of the moral fact that no one ought to be the target of negative moral evaluation solely in virtue (...) of their group membership. In having null extensions, pejorative terms are much like mythological terms like ‘unicorn horn’ that express concepts with empty extensions, even though it was thought otherwise: people who falsely believed the mythology were mislead into thinking that ordinary objects (i.e. whale tusks) were magical objects, and pejoratives terms work likewise. For example, the term ‘kike’ is supported by the ideology of anti-Semitism, and speakers who fall prey to its influence (perniciously or not) are mislead into thinking that ordinary people (i.e. Jews) are inherently worthy of contempt. In this paper, we explore the consequences of this parallelism, with an eye to criticisms of MSI. In particular, we will re-visit identity expressivist views - those that hold that there are kikes and that they are Jews, and hence deny null extensionality - arguing that this embeds a mistake of fiction for fact. Among the issues to be discussed are the role of fictional truth in understanding pejorative sentences and the relation of the semantics of pejoratives to offensive use of language. We conclude with meta-semantic reflections on the origins of word meanings. (shrink)

Racial epithets are derogatory expressions, understood to convey contempt toward their targets. But what do they actually mean, if anything? While the prevailing view is that epithets are to be explained pragmatically, I argue that a careful consideration of the data strongly supports a particular semantic theory. I call this view Combinatorial Externalism. CE holds that epithets express complex properties that are determined by the discriminatory practices and stereotypes of their corresponding racist institutions. Depending on the character of the institution, (...) the complex semantic value can be composed of a variety of components. The account has significant implications on theoretical, as well as, practical dimensions, providing new arguments against radical contextualism, and for the exclusion of certain epithets from First Amendment speech protection. (shrink)

The norms surrounding pejorative language, such as racial slurs and swear words, are deeply prohibitive. Pejoratives are typically a means for speakers to express their derogatory attitudes. As these attitudes vary along many dimensions and magnitudes, they initially appear to be resistant to a truth-conditional, semantic analysis. The goal of the paper is to clarify the essential linguistic phenomena surrounding pejoratives, survey the logical space of explanatory theories, evaluate each with respect to the phenomena and provide a preliminary assessment of (...) the initial resistance to a truth-conditional analysis. (shrink)

Pejoratives are the class of expressions that are meant to insult or disparage. They include swear words and slurs. These words allow speakers to convey emotional states beyond the truth-conditional contents that they are normally taken to encode. The puzzle arises because, although pejoratives seem to be a semantically unified class, some of their occurrences are best accounted for truth-conditionally, while others are best accounted for non-truth-conditionally. Where current, non-truth-conditional, views in the literature fail to provide a unified solution for (...) the puzzle, this paper motivates a novel, semantic, analysis of pejorative language. The significance of the proposed solution is not only linguistic in nature, but also philosophical, as it both provides a new argument for, and sheds further light on, the nature of semantic externalism. (shrink)

The problem of the unity of the proposition asks what binds together the constituents of a proposition into a fully formed proposition that provides truth conditions for the assertoric sentence that expresses it, rather than merely a set of objects. Hanks’ solution is to reject the traditional distinction between content and force. If his theory is successful, then there is a plausible extension of it that readily solves the Frege–Geach problem for normative propositions. Unfortunately Hanks’ theory isn’t successful, but it (...) does point to significant connections between expressivism, unity, and embedding. (shrink)

Critical congenital heart disease screening is rapidly becoming the standard of care in the United States after being added to the Recommended Uniform Screening Panel in 2011. Newborn screens typically do not require affirmative parental consent. In fact, most states allow parents to exempt their baby from receiving the required screen on the basis of religious or personally held beliefs. There are many ethical considerations implicated with allowing parents to exempt their child from newborn screening for CCHD. Considerations include the (...) treatment of religious exemptions in our current legal system, as well as medical and ethical principles in relation to the rights of infants. Although there are significant benefits to screening newborns for CCHD, when a parent refuses for religious or personal beliefs, in the case of CCHD screening, the parental decision should stand. (shrink)

In theorizing about racial pejoratives, an initially attractive view is that pejoratives have the same reference as their “neutral counterparts”. Call this the identity thesis. According to this thesis, the terms “kike” and “Jew”, for instance, pick out the same set of people. To be a Jew just is to be a kike, and so to make claims about Jews just is to make claims about kikes. In this way, the two words are synonymous, and so make the same contribution (...) to the truth-conditions of sentences containing them. While the fundamental claim for the identity thesis that Jews are kikes sounds anti-semitic, it need not be actually anti-semitic. The identity thesis is usually bolstered with the further claim that the pejorative aspect of “kike” and other such terms is located elsewhere than in truth-conditional content, so what makes “kike” a bad word is a non-truth-conditional association with anti-semitism that is not shared with the word “Jew”. The exact nature and location of the negative moral content of pejoratives is a matter of some dispute among identity theorists. But whatever the intuitive appeal of the identity theory for those persuaded by such views, it is nevertheless inconsistent. (shrink)

Juxtaposing Cherríe Moraga's Loving in the War Years and Luce Irigaray's Speculum of the Other Woman, I explore the ways that sex and race intersect to complicate an Irigarayan account of the relations between mother and daughter. Irigaray's work is an effective tool for understanding the disruptive and potentially healing desire between mothers and daughters, but her insistence on sex as primary difference must be challenged in order to acknowledge the intersectionality of sex and race. Working from recent work on (...) the psychoanalysis of race, I argue that whiteness functions as a master signifier in its own right, and as a means of differentiation between the light-skinned Moraga and her brown-skinned mother. Irigaray's concept of blood deepens Moraga's account of her healing and subversive return to her mother. The juxtaposition of Moraga, Irigaray, and contemporary psychoanalysis of race can allow for a necessary revision of Irigaray's psychoanalysis that acknowledges the ways in which sexual difference is indexed by race and sheds new light on her account of the mother–daughter relation. (shrink)

Rebecca Tuvel’s controversial “In Defense of Transracialism” has been criticized for a lack of engagement with critical race theory. Disengagement with salient material on race is a consistent feature of the philosophical conversation out of which it arises. In this article, I trace the origins of feminist philosophy’s disengaged and distorted view of “transracialism” and racial passing through the work of Janice Raymond, Christine Overall, and Cressida Heyes, and consider some of the relevant work on passing that is omitted in (...) the philosophy of “transracialism.” Finally, I offer methodological suggestions to avoid such distortions and omissions in feminist philosophy. (shrink)

Although race mixing is often treated as a marginal matter or a transgression against dominant racial logic, this article argues that mixed-race bodies and interracial sexuality are central to the invention of whiteness and the origin of the white settler state in several ways. Race mixing is at the foundation of the modern conception of race; at the material and political origin of the white settler state; and serves as the grounding against which cultural and legal categories of race are (...) articulated. The conceptual history of race looks to mixed-race bodies as the means to define race and delimit races. The colonization and economic success of the white settler state in the United States depended on mixed-race individuals who served as emissaries and interpreters, while interracial sexuality was central to the economy of slavery. Dominant conceptions of whiteness, and of the identity of the white settler state, rely on the scrutiny of mixed bodies as a means of racial demarcation. Mixed race histories and subjects are of central interest to studies of the invention of whiteness and processes of racialization. (shrink)

Moral Victories is the first book-length treatment of the ethical dimensions of victory in war.

Does hindsight knowledge make research seem more ethical and predictable? In line with the notion of hindsight bias, students in 3 experiments knowing the outcome of an animal experiment judged the results as more foreseeable and ethical relative to students who did not know the outcome. Via self to other comparisons, students evaluate themselves more favorably compared to a peer but exhibited hindsight bias in doing so. Uniquely, the findings reveal the possibility that students deem themselves to be more skeptical (...) and objective than their peers. Implications for teaching animal ethics and for Institutional Review Boards are discussed. (shrink)

One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one and the (...) same state of affairs is either believed or not. The tasks are to specify what Lisa believes and to accurately and consistently describe the situation given certain foundational semantic principles. ;I argue that of three main semantic frameworks: Davidsonian Semantics, Model-Theoretic Semantics and Propositional Semantics , PS has the best chance to provide a complete, consistent and natural solution. On my view, dynamic propositions are complex states of affairs where things stand in the propositional relation of having expressions of a certain type which pick them out as semantic values and where those expressions stand in appropriate syntactic relations. The propositional relation crucially involves restricted quantification over expression types which are logical features of the language. The sentences "Twain is tall" and "Clemens is tall" express different DP's because even though their constituents are identical, they stand in distinct propositional relations in virtue of the different syntactic expressions. This explains how Lisa could believe one and not the other. These fine-grained propositions successfully serve as both the truth-conditions of sentences and the objects of propositional attitudes. The solution leads to the surprising result that the question of whether singular terms are Fregean or directly referential is actually irrelevant to Frege's Puzzle. ;While DP's are naturalistic and theoretically well-motivated, they face apparent difficulty accounting for translation and being the objects of mental content. The logical form of DP's limits their possible interpretation and thus sheds light on the conceptual framework of its user. I argue that DP's are not beliefs, but cognitive models that serve as interpretations of beliefs in communication. (shrink)

Le lecteur moderne demeure dérouté par les ekphraseis de bâtiments des textes byzantins. Il est en effet difficile de les considérer comme des sources pour l'archéologie ou l'Histoire de l'art, et la recherche tend à leur égard à adopter deux approches : l'une, plutôt liée à l'Histoire et à l'Histoire de l'art, s'emploie à retrouver des éléments réels de bâtiments ou d'œuvres d'art dans ces textes ; l'autre, plutôt philologique, cherche à considérer ces textes en eux-mêmes pour leur valeur littéraire. (...) Serait-il cependant possible de chercher une voie médiane? Une voie qui accepterait qu'une part de l'étrangeté de ces textes, nécessairement due à la langue et à l'époque, le soit également parce que l'expérience de lecture entre Moyen Âge et époque moderne a radicalement changé. Il manquerait au lecteur moderne, non l'imagination, mais les mécanismes et les résultats de l'imagination médiévale. Les échos lexicaux et thématiques qui balisent le texte et qui en dessinent l'architecture en seraient la clef aboutiraient à un texte en 3D, c'est-à-dire une projection mentale de l'objet décrit non pas comme simple image donnée par l'information contenue dans le texte, mais comme image construite par la composition du discours. Ainsi, au fur et à mesure qu'un auteur décrit un bâtiment, le texte le construit en mots et in fine en a épousé la forme. (shrink)

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative cases, and this problem (...) is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

Hanks develops a theory of propositions as speech-act types. Because speech acts play a role in the contents themselves, the view overturns Frege’s force/content distinction, and as such, faces the challenge of explaining how propositions embed under logical operators like negation. The attempt to solve this problem has lead Hanks and his recent commentators to adopt theoretically exotic resources, none of which, we argue, is ultimately successful. The problem is that although there are three different ways of negating the sentence (...) “Mary’s card is an ace”, current speech-act theories of propositions can only accommodate two of them. We distinguish between “It is false that Mary’s card is an ace”, “Mary’s card is a non-ace”, and “Mary’s card is not an ace” and show that Hanks and his commentators cannot explain content negation. We call this Hanks’ Negation Problem. The problem is significant because content negation is the negation required for logic. Fortunately, we think there is a natural way for Hanks to accommodate content negation as successive acts of predication. The view solves Hanks’ Negation Problem with only resources internal to Hanks’ own view. (shrink)

Le lecteur moderne demeure dérouté par les ekphraseis de bâtiments des textes byzantins. Il est en effet difficile de les considérer comme des sources pour l'archéologie ou l'Histoire de l'art, et la recherche tend à leur égard à adopter deux approches : l'une, plutôt liée à l'Histoire et à l'Histoire de l'art, s'emploie à retrouver des éléments réels de bâtiments ou d'œuvres d'art dans ces textes ; l'autre, plutôt philologique, cherche à considérer ces textes en eux-mêmes pour leur valeur littéraire. (...) Serait-il cependant possible de chercher une voie médiane? Une voie qui accepterait qu'une part de l'étrangeté de ces textes, nécessairement due à la langue et à l'époque, le soit également parce que l'expérience de lecture entre Moyen Âge et époque moderne a radicalement changé. Il manquerait au lecteur moderne, non l'imagination, mais les mécanismes et les résultats de l'imagination médiévale. Les échos lexicaux et thématiques qui balisent le texte et qui en dessinent l'architecture en seraient la clef aboutiraient à un texte en 3D (trois dimensions), c'est-à-dire une projection mentale de l'objet décrit non pas comme simple image donnée par l'information contenue dans le texte, mais comme image construite par la composition du discours. Ainsi, au fur et à mesure qu'un auteur décrit un bâtiment, le texte le (re)construit en mots et in fine en a épousé la forme. (shrink)

Grice introduced generalized conversational implicatures with the following example: "Anyone who uses a sentence of the formX is meeting tz woman this evening would normally implicate that the person to be met was someone other than X’s wife, mother, sister, or perhaps even close platonic friend" (1975 : 37). Concerning this example, he suggested the following account: When someone, by using the form of expression an JQ implicates that the X does not belong to or is not otherwise closely connected (...) with some identifiable person, the implicature is present because the speaker has failed to be specific in a way in which he might have been expected to be specific. (Grice 1975: 38.) Grice went on to sketch an explanation as to why such an implicature should arise, involving the different ways in which we behave towards things that are closely related to.. (shrink)

An interdisciplinary and contemporary response to Irigaray’s work.

This paper argues that existing food security and food sovereignty approaches are inadequate to fully understand contradictory human development, nutrition, and productivity trends in Nepalese small-scale agriculture. In an attempt to bridge this gap, we developed a new food wellbeing approach that combines insights from food security, food sovereignty, and social wellbeing perspectives. We used the approach to frame 65 semi-structured interviews in a cluster of villages in Kaski district in the mid-hills of Nepal on various aspects of food security, (...) agriculture, off-farm livelihood opportunities, and women’s wellbeing. Our results indicate that context-specific subjective and social relational factors highlighted by the food wellbeing approach are key to understanding a paradox of increased food security, yet decreasing sustainability of small-scale agriculture. Increased levels of male out-migration and opportunities for local off-farm work have increased local capacity to purchase food. The positive consequences for food security are indicated by evidence that households with non-farm income sources had better food sufficiency, absorption capacity, nutritional quality, and stability of food supply. These off-farm employment opportunities have also led to the greater involvement of low caste groups and women in small-scale agriculture. This has been empowering for both groups and led to an increase in wellbeing, particularly for those women who have become de facto heads of household. Yet, small landholdings, persistent patterns of unequal and absentee land ownership, sharecropping, women’s overwork, and the aspirations of low caste farmers and women away from agriculture are simultaneously driving the erosion of local small-scale agricultural productivity and ecological sustainability. (shrink)

This volume is fourth in the series of annuals created under the auspices of The Association for Feminist Ethics and Social Theory . The topics covered herein_from peacekeeping and terrorism, to sex trafficking and women's paid labor, to poverty and religious fundamentalism_are vital to women and to feminist movements throughout the world.

ABSTRACTAnxiety and depression diagnoses are associated with suicidal thoughts and behaviours. However, a categorical understanding of these associations limits insight into identifying dimensional mechanisms of suicide risk. This study investigated anxious and depressive features through a lens of suicide risk, independent of diagnosis. Latent class analysis of 97 depression, anxiety, and suicidality-related items among 616 psychiatric outpatients indicated a 3-class solution, specifically: a higher suicide-risk class uniquely differentiated from both other classes by high reported levels of depression and anxious arousal; (...) a lower suicide-risk class that reported levels of anxiety sensitivity and generalised worry comparable to Class 1, but lower levels of depression and anxious arousal; and a low to non-suicidal class that reported relatively low levels across all depression and anxiety measures. Discriminants of the higher suicide-risk class included borderline personality disorder; report... (shrink)

This volume is fourth in the series of annuals created under the auspices of The Association for Feminist Ethics and Social Theory (FEAST). The topics covered herein-from peacekeeping and terrorism, to sex trafficking and women's paid labor, to poverty and religious fundamentalism-are vital to women and to feminist movements throughout the world.

We prove, by using the concept of schematic interpretation, that the natural embedding from the category ISL, of intuitionistic sentential pretheories and i-congruence classes of morphisms, to the category CSL, of classical sentential pretheories and c-congruence classes of morphisms, has a left adjoint, which is related to the double negation interpretation of Gödel-Gentzen, and a right adjoint, which is related to the Law of Excluded Middle. Moreover, we prove that from the left to the right adjoint there is a pointwise (...) epimorphic natural transformation and that since the two endofunctors at CSL, obtained by adequately composing the aforementioned functors, are naturally isomorphic to the identity functor for CSL, the string of adjunctions constitutes an adjoint cylinder. On the other hand, we show that the operators of Lindenbaum-Tarski of formation of algebras from pretheories can be extended to equivalences of categories from the category CSL, respectively, ISL, to the category Bool, of Boolean algebras, respectively, Heyt, of Heyting algebras. Finally, we prove that the functor of regularization from Heyt to Bool has, in addition to its well-known right adjoint (that is, the canonical embedding of Bool into Heyt) a left adjoint, that from the left to the right adjoint there is a pointwise epimorphic natural transformation, and, finally, that such a string of adjunctions constitutes an adjoint cylinder. (shrink)

Category theory has foundational importance because it provides conceptual lenses to characterize what is important and universal in mathematics—with adjunctions being the primary lens. If adjunctions are so important in mathematics, then perhaps they will isolate concepts of some importance in the empirical sciences. But the applications of adjunctions have been hampered by an overly restrictive formulation that avoids heteromorphisms or hets. By reformulating an adjunction using hets, it is split into two parts, a left and a right semiadjunction. Semiadjunctions (...) (essentially a formulation of universal mapping properties using hets) can then be combined in a new way to define the notion of a brain functor that provides an abstract model of the intentionality of perception and action (as opposed to the passive reception of sense-data or the reflex generation of behavior). (shrink)

In this document, we introduce a novel formalism for any field theory and apply it to the effective field theories of large-scale structure. The new formalism is based on functors of actions composing those theories. This new formalism predicts the actionic fields. We discuss our findings in a cosmological gravitology framework. We present these results with a cosmological inference approach and give guidelines on how we can choose the best candidate between those models with some latest understanding of model selection (...) using Bayesian inference. (shrink)

There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms that parses an adjunction into two separate parts. Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory (...) and is focused on the interpretation and application of the mathematical concepts. (shrink)

Several Gentzen-style syntactic type calculi with product are considered. They form a hierarchy in such a way that one calculus results from another by imposing a new condition upon the sequent-forming operation. It turns out that, at some steps of this process, two different functors collapse to a single one. For the remaining stages of the hierarchy, analogues of Wajsbergs's theorem on non-mutual-definability are proved.

Fried and Kollár constructed a fully faithful functor from the category of graphs to the category of fields. We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure${\cal S}$, there exists a countable field${\cal F}$of arbitrary characteristic with the same essential computable-model-theoretic properties as${\cal S}$. Along the way, we develop a new “computable category theory”, and prove that our (...) functor and its partially defined inverse are computable functors. (shrink)

We construct a 2-equivalence $\mathfrak {CohTheory}^{op }\simeq \mathfrak {TypeSpaceFunc}$. Here $\mathfrak {CohTheory}$ is the 2-category of positive theories and $\mathfrak {TypeSpaceFunc}$ is the 2-category of type space functors. We give a precise definition of interpretations for positive logic, which will be the 1-cells in $\mathfrak {CohTheory}$. The 2-cells are definable homomorphisms. The 2-equivalence restricts to a duality of categories, making precise the philosophy that a theory is ‘the same’ as the collection of its type spaces (i.e. its type space (...) class='Hi'>functor). In characterising those functors that arise as type space functors, we find that they are specific instances of (coherent) hyperdoctrines. This connects two different schools of thought on the logical structure of a theory. The key ingredient, the Deligne completeness theorem, arises from topos theory, where positive theories have been studied under the name of coherent theories. (shrink)

This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. (...) Moreover, we study the case of paraconsistentization of propositional classical logic. (shrink)