Sustainable technology is a microcosm that illuminates the relationship between technology and human agency. We tend to think about sustainability in terms of the properties of things. However, technology is not just things but techniques which have their own bearing on sustainability, for users may employ sustainable technologies in unsustainable ways. Clueless or stymied users may be managed through education or redesign; however, there are intractable users who cannot be managed through either approach. I trace the cause of this intractability (...) to interaction between the improvisational nature of human agency and the multiple realizability of artifact functions. I argue that managing intractable users requires going with the flow of their relationship to technology rather than trying to control it through education or redesign, and that democratizing the development and distribution of technology is the best way to do this. Finally, these results easily generalize to technologies not aimed at sustainability. (shrink)

In the deviance literature, sexual assaults at work have not been given the sustained attention that harm to property or violation of production guidelines has received. This omission suggests that sexual harassment is considered normative and that when women fail to accommodate this reality, it is the survivor rather than the perpetrator who is considered deviant. This article reports on 64 cases of attempted or completed rape in a sample of heterosexual and lesbian women workers in a wide range (...) of occupations. Two atypical responses, quitting the job or filing a complaint as a result of a workplace sexual assault, highlight the process by which informal deviance defining occurs in everyday interactions at work. (shrink)

Tax administrators are empowered by the state to secure compliance with tax obligations. Enforcing compliance on the ground is complex, and street-level administrators often engage in the “art of the possible,” leading to dilemmas in the field. This paper examines tax administrators’ practices with regard to Jamaican property tax defaulters with outstanding tax liabilities in excess of 3 years. Drawing on interviews with tax administrators and other key agents, we find that tax administrators reposition themselves from objective enforcers to (...) empathizing officials engaging in schemes of action, doing what they can do rather than what they should do. This is a practical-sense approach to securing compliance. We identify two forms of empathy, assimilated and cynical, and conclude that administrators’ empathetic identification with defaulters does not necessarily arise solely from concern for social cohesion, or inter-subjective compassion, but also sometimes from self-interest. (shrink)

To the person unfamiliar with the wide variety of street art, the term “street artist” conjures a young man furtively sneaking around a decaying city block at night, spray paint in hand, defacing concrete structures, ears pricked for police sirens. The possibility of the ethical criticism of street art on such a conception seems hardly worth the time. This has to be an easy question. Street art is vandalism; vandalism is causing the intentional damage or destruction of someone else’s (...) class='Hi'>property; causing destruction or damage is wrong. The only remaining question is which of two coarse-grained models of ethical criticism we choose. The ethicist model holds that a work of art that exhibits ethically bad properties is a work that is thereby aesthetically flawed. That is, the work is flawed as a work of art just because of its ethical flaws. Bad ethics make art worse than it otherwise would have been, although it may be aesthetically successful otherwise. The autonomist model, by contrast, holds that the ethical properties of a work of art have no bearing at all on its aesthetic success. One might suppose, therefore, that on either model, a criticism of street art would be relatively easy to undertake. In defacing public property, some street art exhibits and endorses ethically bad attitudes. On the ethicist model, such a work is thereby pro tanto aesthetically flawed because in the process of creating such works, they violate ethical norms concerning the use of public spaces; on the autonomous model, any ethical criticism of the aesthetics of street art would need to be set aside entirely in favor of criticism that focused purely on the aesthetic properties of street art. I will argue in this paper that neither the ethicist nor the autonomist model adequately captures the moral landscape of street art. Street art may indeed be criticized productively on aesthetic grounds for the destruction it does to public spaces, but the existing models of ethical criticism overlook the complex ethical landscape of street art that results from its use of public spaces. In the interplay of various forms of street art we can see the emergence of an ethical criticism of art that is accomplished by the material properties of related artwork, and consists in the creation of a dialogue over the proper use of contested public spaces. (shrink)

The Cove, Mine, and Food, INC. each use the documentary genre to advocate for change, whether in regards to mass wild animal kills, companion animals in natural disasters, or the modern food industry. The films, however, present views of human-nonhuman animal relations that vary greatly. Where The Cove regards dolphins as beings who deserve freedom, Mine explores the view of companion animals as property. Food, INC., finally, treats farm animals solely as a food source.

Comparisons across languages have long been a means to investigate universal properties of the cognitive system. Although differences between languages may be salient, it is the underlying similarities that have advanced our understanding of language processing. Frost is not unique in emphasizing that the interaction among linguistic codes reinforces the inadequacy of constructing a model of word recognition where orthographic processes operate in isolation.

It’s common to think that animals think. The cat thinks it is time to be fed, the monkey thinks the dominant is a threat. In order to make sense of what the other animals around us do, we ascribe mental states to them. The cat meows at the door because she wants to be let in. The monkey the monkey fails the test because he doesn’t remember the answer. -/- We explain animal actions in terms of their mental states, just (...) as we do with humans. One of us has argued that our science of animal minds requires that animal behavior be explained in such terms, and this doesn’t lead to a problematic use of folk psychology or anthropomorphism (Andrews 2016, 2020). By “anthropomorphism” we mean the attribution of human psychological, social, or normative properties to non-human animals “usually with the implication it is done without sound justification” (Shettleworth 2010, 477). And by “folk psychology” we mean the commonsense practice of seeing action as caused or accompanied by mental states like belief and desire, emotions, and seeing people in terms of their moods or personality traits, as well as categorizing complex behaviors as examples of grieving, communicating, or teaching (Andrews 2012). Psychologists routinely describe human behaviors in folk psychological terms, so it’s not that the categories are unscientific. The issue with using folk psychology to describe animal behavior is whether observable similarities between human and nonhuman behavior warrants thinking they involve the same psychological kind. The use of folk psychology when talking about animals need not be problematically anthropomorphic, though we need some evidentiary basis for filing animal behavior under some folk psychological category. -/- Despite it being commonplace for humans to attribute thoughts to animals, and there being arguments in favor of doing so in science, the nature of these mental states so many are happy to see in other animals remains unclear. To help bring some focus into the discussion, we will examine the attitude of belief. In this chapter we will examine the various possible statuses of animal beliefs, and the implications of those various views for our folk practice as well as our scientific investigations. (shrink)

In the last decade, reading research has seen a paradigmatic shift. A new wave of computational models of orthographic processing that offer various forms of noisy position or context-sensitive coding have revolutionized the field of visual word recognition. The influx of such models stems mainly from consistent findings, coming mostly from European languages, regarding an apparent insensitivity of skilled readers to letter order. Underlying the current revolution is the theoretical assumption that the insensitivity of readers to letter order reflects the (...) special way in which the human brain encodes the position of letters in printed words. The present article discusses the theoretical shortcomings and misconceptions of this approach to visual word recognition. A systematic review of data obtained from a variety of languages demonstrates that letter-order insensitivity is neither a general property of the cognitive system nor a property of the brain in encoding letters. Rather, it is a variant and idiosyncratic characteristic of some languages, mostly European, reflecting a strategy of optimizing encoding resources, given the specific structure of words. Since the main goal of reading research is to develop theories that describe the fundamental and invariant phenomena of reading across orthographies, an alternative approach to model visual word recognition is offered. The dimensions of a possible universal model of reading, which outlines the common cognitive operations involved in orthographic processing in all writing systems, are discussed. (shrink)

The present paper is a study in abstract algebraic logic. We investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. It will be shown that this correspondence holds for the large class of equivalential logics. We apply our characterization theorem to relevance logics and many-valued logics.

All extensions of the modal Grzegorczyk logic Grz possessing projective Beth's property PB2 are described. It is proved that there are exactly 13 logics over Grz with PB2. All of them are finitely axiomatizable and have the finite model property. It is shown that PB2 is strongly decidable over Grz, i.e. there is an algorithm which, for any finite system Rul of additional axiom schemes and rules of inference, decides if the calculus Grz+Rul has the projective (...) class='Hi'>Beth property. (shrink)

Let L be one of the intuitionistic modal logics considered in [4]. As in the classical modal case (see [7]), we define two different forms of the Beth property for L, which are denoted by B 1 and B 2 ; in this paper we study the relation among B 1 ,B 2 and the interpolation properties C 1 and C 2 , introduced in [4]. It turns out that C 1 implies B 1 , but contrary to (...) the boolean case, is not equivalent to B 1 . It is shown that B 2 and C 2 are independent, and moreover it comes out that, in contrast to classical case, there exists an extension of the intuitionistic modal logic of S 4 -type, that has not the property B 2 . Finally we give two algebraic properties, that characterize respectively B 1 and B 2. (shrink)

In this paper it will be shown that the Beth definability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. Németi (cf. [11, Theorem 5.6.10]). Moreover, an equally general characterization of the weak Beth property will be given. This gives a solution to Problem 14 in [20]. Finally, the characterization of the projective Beth property for varieties of modal algebras by L. Maksimova (see [15]) will be shown (...) to hold for the larger class of semantically algebraizable logics. (shrink)

In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional many-valued logics extending Hájek’s Basic Logic [P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of in the language of have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the (...) last part of the paper we look for conservative extensions of having such properties. (shrink)

The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic ⊨Δ associated with an infinitary variety Δ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of ⊨Δ, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic ⊢Δ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of (...) consequence associated with ⊢Δ coincides with ⊨Δ. (shrink)

This paper studies definability within the theory of institutions, a version of abstract model theory that emerged in computing science studies of software specification and semantics. We generalise the concept of definability to arbitrary logics, formalised as institutions, and we develop three general definability results. One generalises the classical Beth theorem by relying on the interpolation properties of the institution. Another relies on a meta Birkhoff axiomatizability property of the institution and constitutes a source for many new actual (...) definability results, including definability in (fragments of) classical model theory. The third one gives a set of sufficient conditions for 'borrowing' definability properties from another institution via an 'adequate' encoding between institutions. The power of our general definability results is illustrated with several applications to (many-sorted) classical model theory and partial algebra, leading for example to definability results for (quasi-)varieties of models or partial algebras. Many other applications are expected for the multitude of logical systems formalised as institutions from computing science and logic. (shrink)

We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property.

We study the modal properties of intuitionistic modal logics that belong to the provability logic or the preservativity logic of Heyting Arithmetic. We describe the □-fragment of some preservativity logics and we present fixed point theorems for the logics iL and iPL, and show that they imply the Beth property. These results imply that the fixed point theorem and the Beth property hold for both the provability and preservativity logic of Heyting Arithmetic. We present a frame (...) correspondence result for the preservativity principle Wp that is related to an extension of Löb's principle. (shrink)

We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL ωω (Th) or countably compact regular sublogic ofL ∞ω (Th), properly extendingL ωω , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies eitherΔ-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any (...) sublogic ofL ∞ω (Th) in which Chang's quantifier or some cardinality quantifierQ α, with α≧1, is definable. (shrink)

This book focuses on material culture as a subject of philosophical inquiry and promotes the philosophical study of material culture by articulating some of the central and difficult issues raised by this topic and providing innovative solutions to them, most notably an account of improvised action and a non-intentionalist account of function in material culture. Preston argues that material culture essentially involves activities of production and use; she therefore adopts an action-theoretic foundation for a philosophy of material culture. Part 1 (...) illustrates this foundation through a critique, revision, and extension of existing philosophical theories of action. Part 2 investigates a salient feature of material culture itself—its functionality. A basic account of function in material culture is constructed by revising and extending existing theories of biological function to fit the cultural case. Here the adjustments are for the most part necessitated by special features of function in material culture. These two parts of the project are held together by a trio of overarching themes: the relationship between individual and society, the problem of centralized control, and creativity. (shrink)

Function theorists routinely speculate that a viable function theory will be equally applicable to biological traits and artifacts. However, artifact function has received only the most cursory scrutiny in its own right. Closer scrutiny reveals that only a pluralist theory comprising two distinct notions of function--proper function and system function--will serve as an adequate general theory. The first section describes these two notions of function. The second section shows why both notions are necessary, by showing that attempts to do away (...) with one of them fail. This demonstration draws on examples from the artifactual realm to motivate major points of the argument. The third section is an outline of artifact function. It confirms the conclusions of the second section, and also begins the task of describing some of the special features of artifact function needing accommodation within the general theory. (shrink)

According to accounts of the Passion, Christ cries out from the cross, “My God, my God, why have you forsaken me?” The cry, I argue, manifests that Christ lacks a belief that God is with him. Given the standard view of faith—belief that p is required for faith that p—it would follow that Christ lost his faith that God is with him just before he died. In this paper, I challenge the standard view by looking at the cognitive requirement of (...) faith. Although faith that p requires some positive cognitive orientation toward p, that orientation need not be belief. I show that reliance is an alternative stance that fulfills the cognitive requirement of faith. Reliance aims at providing sensible guidance for action that is in accord with one’s values/ends. Thinking of the cognitive component of Christ’s faith in terms of reliance makes sense of the doubt manifested in his cry. (shrink)

Drawing on decades of experience, a psychotherapist and Zen practitioner makes the Abhidharma--the original psychological system of Buddhism--accessible to a general audience for the first time. The Abhidharma, one of the three major text collections of the original Buddhist canon, explores the critical juncture of Buddhist thought and the therapeutic aspects of the religion and meditation. It frames the psychological system of Buddhism, explaining the workings of reality and the nature of the human mind. Composed of detailed matrixes and lists (...) that outline the interaction of consciousness and reality, The Abhidharma explores the essence of perception and experience, and the reasons and methods behind mindfulness and meditation. Because of its complexity, the Abhidharma has traditionally been reserved only for academic or monastic study; now, for the first time, clinical psychologist Beth Jacobs makes this dynamic, important text and its teachings available to general readers, using practical explanation, personal stories, and vivid examples to gently untangle the technical aspects of the Abhidharma. Jacobs’ work illuminates this classic of Buddhist thought, highlighting the ways it can broaden and deepen our experience of the human psyche and offering profound insights into spiritual practice. (shrink)

In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) formulated in the intersection of the vocabularies of \(\phi\) and \(\psi\), such that \(\mathfrak{M}\models\phi\to\chi\) and \(\mathfrak{M}\models\chi\to\psi\), that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the (...) local interpolation property by discussing examples, most notably the finite variable fragments of first order logic, and difference logic. As an application we connect the modelwise interpolation property with the local Beth definability, and we prove that the modelwise interpolation property of an algebraizable logic can be characterized by a weak form of the superamalgamation property of the class of algebras corresponding to the models of the logic. (shrink)

Increased productivity may have negative impacts on farm animal welfare in modern animal production systems. Efficiency gains in production are primarily thought to be due to the intensification of production, and this has been associated with an increased incidence of production diseases, which can negatively impact upon FAW. While there is a considerable body of research into consumer attitudes towards FAW, the extent to which this relates specifically to a reduction in production diseases in intensive systems, and whether the increased (...) incidence of diseases represents a barrier to consumer acceptance of their increased use, requires further investigation. Therefore a systematic review of public attitudes towards FAW was conducted, with a specific focus on production diseases in intensive systems. Four databases were searched to identify relevant studies. A screening process, using a set of pre-determined inclusion criteria, identified 80 studies, with the strength of evidence and uncertainty assessed for each. A thematic analysis led to the identification of 6 overarching themes constructed from 15 subthemes. The results demonstrate that the public are concerned about FAW in modern production systems. Concern varied in relation to age, gender, education and familiarity with farming. Naturalness and humane treatment were central to what was considered good welfare. An evidence gap was highlighted in relation to attitudes towards specific production diseases, with no studies specifically addressing this. However, the prophylactic use of antibiotics was identified as a concern. A number of dissonance strategies were adopted by consumers to enable guilt free meat consumption. (shrink)