This study seeks to gain knowledge about key conditions in the process of digitalization using a socio-technical systems design as a theoretical framework and a case-study approach. Semi-structured interviews with 15 relevant stakeholders are conducted to learn about barriers to and enablers of the development and implementation process in a manufacturing company. After conducting a thematic analysis, eight higher-ranked themes relevant to the digitalization process are identified. These are grouped to describe the overarching phenomena, resulting in four enablers and four (...) barriers. The study takes a holistic view of digitalization in its investigation of the development and subsequent implementation processes. The findings contribute to the literature via three key takeaways for stakeholders of a digitalization process in manufacturing. First, it is vital to understand and strengthen the role of the key enablers identified in this paper. Second, managers should observe and identify barriers in their own organizations, related both to technical and social aspects. Third, some of the enablers described in this paper can serve managers as helpful tools to approach the expected barriers to digitalization. This paper also challenges the research literature by arguing that research conducted on digitalization that sets new standards and premises for the working life in industry needs to use up-to-date socio-technical design concepts and theories. (shrink)

Artificial intelligence receives attention in media as well as in academe and business. In media coverage and reporting, AI is predominantly described in contrasted terms, either as the ultimate solution to all human problems or the ultimate threat to all human existence. In academe, the focus of computer scientists is on developing systems that function, whereas philosophy scholars theorize about the implications of this functionality for human life. In the interface between technology and philosophy there is, however, one imperative aspect (...) of AI yet to be articulated: how do intelligent systems make inferences? We use the overarching concept “Artificial Intelligent Behaviour” which would include both cognition/processing and judgment/behaviour. We argue that due to the complexity and opacity of artificial inference, one needs to initiate systematic empirical studies of artificial intelligent behavior similar to what has previously been done to study human cognition, judgment and decision making. This will provide valid knowledge, outside of what current computer science methods can offer, about the judgments and decisions made by intelligent systems. Moreover, outside academe—in the public as well as the private sector—expertise in epistemology, critical thinking and reasoning are crucial to ensure human oversight of the artificial intelligent judgments and decisions that are made, because only competent human insight into AI-inference processes will ensure accountability. Such insights require systematic studies of AI-behaviour founded on the natural sciences and philosophy, as well as the employment of methodologies from the cognitive and behavioral sciences. (shrink)

The welfare of farmed fish is often regarded with less concern than the welfare of other husbandry animals, as fish are not universally classified as sentient beings. In Norway, farmed fish and other husbandry animals are legally protected under the same laws. Additionally, the legislature has defined a number of aquaculture-specific amendments, including mandatory welfare courses for fish farmers who have a key role in securing animal welfare, also with regards to noting welfare challenges in the production process. This article (...) uses fish welfare courses as a site from which to inquire about the common-sense understanding of fish welfare in Norwegian fish farming. The focus is specifically on fish farm employees, their experiences of welfare-related issues and contradictions in their daily work, and the struggle to act responsibly in aquaculture settings. Through participant observation at welfare courses, as well as interviews and conversations with fish farm workers, the article details how challenges are experienced ‘on the ground’, and suggests how fish farm workers’ own experiential knowledge might be mobilized to improve the general welfare of farmed fish. (shrink)

It is generally agreed that one origin of machine bias is resulting from characteristics within the dataset on which the algorithms are trained, i.e., the data does not warrant a generalized inference. We, however, hypothesize that a different ‘mechanism’ may also be responsible for machine bias, namely that biases may originate from the programmers’ cultural background, including education or line of work, or the contextual programming environment, including software requirements or developer tools. Combining an experimental and comparative design, we study (...) the effects of cultural and contextual metaphors, and test whether each of these are ‘transferred’ from the programmer to the program, thus constituting a machine bias. Our results show that cultural metaphors influence the programmer’s choices and contextual metaphors induced through priming can be used to moderate or exacerbate the effects of the cultural metaphors. Our studies are purposely performed with users of varying educational backgrounds and programming skills stretching from novice to proficient. (shrink)

What kind of animals are human beings? And how do our visions of the human shape our theories of social action and institutions? In Moral, Believing Animals>, Christian Smith advances a creative theory of human persons and culture that offers innovative, challenging answers to these and other fundamental questions in sociological, cultural, and religious theory. Smith suggests that human beings have a peculiar set of capacities and proclivities that distinguishes them significantly from other animals on this planet. Despite the (...) vast differences in humanity between cultures and across history, no matter how differently people narrate their lives and histories, there remains an underlying structure of human personhood that helps to order human culture, history, and narration. Drawing on important recent insights in moral philosophy, epistemology, and narrative studies, Smith argues that humans are animals who have an inescapable moral and spiritual dimension. They cannot avoid a fundamental moral orientation in life and this, says Smith, has profound consequences for how sociology must study human beings. (shrink)

How should you decide what to do when you’re uncertain about basic normative principles? A natural suggestion is to follow some "second-order:" norm: e.g., obey the most probable norm or maximize expected choiceworthiness. But what if you’re uncertain about second-order norms too—must you then invoke some third-order norm? If so, any norm-guided response to normative uncertainty appears doomed to a vicious regress. This paper aims to rescue second-order norms from the threat of regress. I first elaborate and defend the claim (...) some philosophers have made that the regress problem forces us to accept normative externalism, the view that at least one norm is incumbent on all agents regardless of their normative beliefs. But, I then argue, we need not accept externalism about first-order norms, thus closing off any question of how agents should respond to normative uncertainty. Rather, we can head off the threat of regress by ascribing external force to a single second-order norm: the enkratic principle. (shrink)

This article discusses fundamental problems in "rational choice theory," as outlined by Jon Elster. Elster's discussion of why institutions may not be said to act shows his fundamental presupposition that only "monolithic," unitary entities are capable of action. This is, for him, a reason why only individual human beings may be said to act. Furthermore, human beings may be said to act only insofar as they "maximize" (their "utility") on the basis of a unitary, complete, consistent "preference structure." All action (...) that is not maximization in this sense is for Elster not really human action, but rather instances of "pure causality." Elster distinguishes between the "real," intentional person, who "maximizes," and "purely causal forces" within the person. This article tries to show that this radical, sharp dichotomy between "intentionality," in this narrow sense, and "pure causality" is inadequate as a basis for understanding human action. This radical dichotomy is central to important arguments made by Elster more generally. (shrink)

The aim of this study was to analyse experiences of moral concerns in intensive care nursing. The theoretical perspective of the study is based on relational ethics, also referred to as ethics of care. The participants were 36 intensive care nurses from 10 general, neonatal and thoracic intensive care units. The structural characteristics of the units were similar: a high working pace, advanced technology, budget restrictions, recent reorganization, and shortage of experienced nurses. The data consisted of the participants’ examples of (...) ethical situations they had experienced in their intensive care unit. A qualitative content analysis identified five themes: believing in a good death; knowing the course of events; feelings of distress; reasoning about physicians’ ‘doings’ and tensions in expressing moral awareness. A main theme was formulated as caring about - caring for: moral obligations and work responsibilities. Moral obligations and work responsibilities are assumed to be complementary dimensions in nursing, yet they were found not to be in balance for intensive care nurses. In conclusion there is a need to support nurses in difficult intensive care situations, for example, by mentoring, as a step towards developing moral action knowledge in the context of intensive care nursing. (shrink)

This introduction describes the background and reasons why the Mercator-Hondius atlas analysed in this issue became part of the library collection of the Donner Institute.

This paper argues against Jon Elster's contention that there is a fundamentalincompatibility between, on one hand, autonomy and rationality and, on theother hand, adaptation to conditions of one's existence in the sense that one'sdesires or preferences are adjusted to what it is possible to achieve. While thefirst part of the paper more narrowly concentrated on Elster's discussion ofthese ideas, this second part goes on to a more general discussion of the conceptof rationality. On the basis of this discussion, it is (...) claimed that Elster's conclusionsconcerning autonomy and adaptation are premised on a defective conceptionof human experience and rationality. Moreover, the claim is made that thesedefects are also characteristic of "rational choice theory" more generally. (shrink)

This article argues against Jon Elster’s contention that there is a fundamental incompatibility between, on the one hand, autonomy and rationality, and, on the other hand, adaptation to the conditions of one’s existence in the sense that one’s desires or preferences are adjusted to what it is possible to achieve. It is claimed that Elster’s conclusions are premised on a defective conception of human faculties and powers, including a defective conception of human experience and rationality. Moreover, the claim is made (...) that these defects are also characteristic of “rational choice theory” more generally. (shrink)

Cheyne and Girard characterize felt presence during sleep paralysis attacks as a pre-hallucinatory expression of a threat-activated vigilance system. While their results may be consistent with this interpretation, they are nonetheless correlational and do not address a parsimonious alternative explanation. This alternative stipulates that FP is a purely spatial, hallucinatory form of a common cognitive phenomenon—social imagery—that is often, but not necessarily, linked with threat and fear and that may induce distress among susceptible individuals. The occurrence of both fearful and (...) non-fearful FPs in a multiplicity of situations other than sleep paralysis attacks supports the notion that FPs are hallucinatory variants of social imagery and that they are not necessarily bound to threat-activated vigilance. Evidence linking FPs with anxiety disorders supports the notion that the distress they evoke may be mediated by a more general affective distress personality factor. To illustrate the predominantly spatial character of FP hallucinations, similarities between FP and phantom limbs are summarized and the possibility that these two phenomena are parallel expressions of a mirror neuron system is considered. (shrink)

The constitutional provision for the separation of the Church and the State has been in existence for over 200 years. They are now referring to it, no longer remembering how it came about. The fact is that the French Revolution of 1789 was anti-feudal and anticlerical. It separated the affairs of the state from the ecclesiastical so that bishops and cardinals would govern the Church, not the state. The 1917 revolution in Russia also tore the triumvirate of "statehood, orthodoxy, (...) nationality." The state and the Church should have existed separately. The Bolsheviks rejected the old state and the Church, but in their legislation in 1919 the Decree recorded the separation of the Church from the state and the school from the Church. Because they disregarded law, morality and religion and absolutized the state, the state, and especially its punitive organs, trampled on morality, ethics, religion, clergy and their defenders... (shrink)

Decision-making under normative uncertainty requires an agent to aggregate the assessments of options given by rival normative theories into a single assessment that tells her what to do in light of her uncertainty. But what if the assessments of rival theories differ not just in their content but in their structure -- e.g., some are merely ordinal while others are cardinal? This paper describes and evaluates three general approaches to this "problem of structural diversity": structural enrichment, structural depletion, and multi-stage (...) aggregation. All three approaches have notable drawbacks, but I tentatively defend multi-stage aggregation as least bad of the three. (shrink)

En el mundo actual, en el que se está reduciendo la abundancia y la inalterabilidad de la diversidad cultural, nuestras barreras culturales se pueden salvar —aunque no adulterar— si todo el mundo en todas partes se acoge a los derechos humanos. En el presente artículo intento defender la idea de que, para conseguirlo, tenemos que elaborar una pluralidad de aprobaciones de los derechos humanos universalmente aplicables que sea diversa pero bien cimentada culturalmente; en resumidas cuentas, deberíamos adoptar una justificación plural (...) de los derechos humanos. (shrink)

At its heart, The Dialectic of Counter-Enlightenment is a plea not to take doubt at its word—a plea for the return of a vanished philosophical intelligence..

This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...) overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)

The principle that rational agents should maximize expected utility or choiceworthiness is intuitively plausible in many ordinary cases of decision-making under uncertainty. But it is less plausible in cases of extreme, low-probability risk (like Pascal's Mugging), and intolerably paradoxical in cases like the St. Petersburg and Pasadena games. In this paper I show that, under certain conditions, stochastic dominance reasoning can capture most of the plausible implications of expectational reasoning while avoiding most of its pitfalls. Specifically, given sufficient background uncertainty (...) about the choiceworthiness of one's options, many expectation-maximizing gambles that do not stochastically dominate their alternatives "in a vacuum" become stochastically dominant in virtue of that background uncertainty. But, even under these conditions, stochastic dominance will not require agents to accept options whose expectational superiority depends on sufficiently small probabilities of extreme payoffs. The sort of background uncertainty on which these results depend looks unavoidable for any agent who measures the choiceworthiness of her options in part by the total amount of value in the resulting world. At least for such agents, then, stochastic dominance offers a plausible general principle of choice under uncertainty that can explain more of the apparent rational constraints on such choices than has previously been recognized. (shrink)

In recent years, semantical partiality has emerged as an important explanatory concept in philosophical logic as well as in the study of natural language semantics. Despite the many applications, however, a number of mathematically intriguing questions associated with this concept have received only very limited attention. ;The present dissertation aims to present a systematic study of certain types of partiality in the area of basic model theory. Two types of issues are given special attention: Introducing partially defined models, there are (...) many ways to generalize the classical truth definition for sentences of a simple first order language relative to standard, complete models. Different interpretations of the formal framework motivate conflicting truth definitions between language and partial models: A partial model can be taken to represent a part of the world, or a partial information set. The truth of a sentence can be supported directly by a part of the world, but can also follow indirectly from an information set. These notions are related, and the relation motivates a comparison between various weaker and stronger alternative truth definitions. Results are obtained about the extent to which these truth definitions differ, and a number of characterization results are deduced. ;Among other conditions that are not expressible in the framework of standard, complete model theory, a condition of monotonicity or persistence of truth relative to partial models is argued to follow under both the given interpretations of the formal framework. The final chapter investigates the relation between such conditions and expressibility properties in general. These discussions culminate with a combined Lindstrom and persistence characterization theorem. (shrink)

We argue that people may resist temptations not only with the aim of acquiring more self-control, but also because they want to convince others that they are patient and already possess self-control.

This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...) which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence. (shrink)

Relevant logics have traditionally been viewed as paraconsistent. This paper shows that this view of relevant logics is wrong. It does so by showing forth a logic which extends classical logic, yet satisfies the Entailment Theorem as well as the variable sharing property. In addition it has the same S4-type modal feature as the original relevant logic E as well as the same enthymematical deduction theorem. The variable sharing property was only ever regarded as a necessary property for a logic (...) to have in order for it to not validate the so-called paradoxes of implication. The Entailment Theorem on the other hand was regarded as both necessary and sufficient. This paper shows that the latter theorem also holds for classical logic, and so cannot be regarded as a sufficient property for blocking the paradoxes. The concept of suppression is taken up, but shown to be properly weaker than that of variable sharing. (shrink)

It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.

Spacetime as we know and love it is lost in most approaches to quantum gravity. For many of these approaches, as inchoate and incomplete as they may be, one of the main challenges is to relate what they take to be the fundamental non-spatiotemporal structure of the world back to the classical spacetime of GR. The present essay investigates how spacetime is lost and how it may be regained in one major approach to quantum gravity, loop quantum gravity.

Lautemann et al. (1995) gave a descriptive characterisation of the class of context-free languages, showing that a language is context-free iff it is definable as the set of words satisfying some sentence of a particular logic (fragment) over words. The present notes discuss how to specialise this result to the class of linear languages. Somewhat surprisingly, what would seem the most straightforward specialisation actually fails, due to the fact that linear grammars fail to admit a Greibach normal form. We identify (...) an alternative specialisation, based on an alternative characterisation of context-free languages, also noted by Lautemann et al. (1995). (shrink)

Journal Name: Semiotica Issue: Ahead of print.

Many relevant logics can be conservatively extended by Boolean negation. Mares showed, however, that E is a notable exception. Mares’ proof is by and large a rather involved model-theoretic one. This paper presents a much easier proof-theoretic proof which not only covers E but also generalizes so as to also cover relevant logics with a primitive modal operator added. It is shown that from even very weak relevant logics augmented by a weak K-ish modal operator, and up to the strong (...) relevant logic R with a S5 modal operator, all fail to be conservatively extended by Boolean negation. The proof, therefore, also covers Meyer and Mares’ proof that NR—R with a primitive S4-modality added—also fails to be conservatively extended by Boolean negation. (shrink)

Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant logic need not always satisfy the variable-sharing property. In fact, it is shown that such an extension can in fact yield classical logic. For a vast range of relevant logic, however, it is shown that the variable-sharing property, restricted to the Boolean-free fragment, still holds for the Boolean extended (...) logic. (shrink)