One of the standard manoeuvres in contemporary moral philosophy is to present Kant's ethics and utilitarianism as alternative ethical theories. New students learn that there are two main types of ethical theory, those which are consequence-based and those which are not. The first type is called teleological ethics, the second one is called deontological ethics. As typical examples of teleological ethical theories, one refers to classical utilitarianism and such 20th-century developments as rule utilitarianism and preference utilitarianism . As typical examples (...) of deontological ethical theorists, one refers to Immanuel Kant and W.D. Ross.To illustrate and clarify the difference between teleological and deontological ethics, students are often submitted to exercises which ask for Kantian and utilitarian solutions to philosophical dilemmas of various sorts, drawn both from literary classics like Dostoevsky's Crime and Punishment and from other sources. A typical example will run along the following lines. There is unrest in the population. The government authorities think that order can be restored if a certain person is condemned for things which he hasn't done.But the people believe he is the culprit. Would it be morally right to sacrifice a human scapegoat in such a case? What would a utilitarian say to this, and what would a Kantian say? Usually, the exercises are presented in such a way that the students will tend to think that Kantians would always condemn punishing the innocent, whilst utilitarians might come to different conclusions, depending on how they estimate the long-term consequences of punishing the innocent. (shrink)

Systematic research in the wide field of practical knowledge is a recent phenomenon. In this paper, the approaches which have been developed in the main centres of research into practical knowledge in Norway and Sweden are compared with an emphasis on their potential for revitalizing the study of ethics. The focus on narratives and reflection based on the researcher’s own professional experience which is the distinguishing feature of the centre for practical knowledge at the University of Nordland is seen as (...) a very promising addition to the traditional repertory of ethical studies. (shrink)

Norwegian philosophy of science right after the war was empiricistic, scientistic, rather undogmatic and heavily dominated by Arne Næss. The positivistic conception of science has been severely criticized in the last two decades, and the attempts to find viable alternatives have led to a broadening of the perspective, philosophically as well as scientifically. This survey tries to map the main lines of that development. After an account of the rise and fall of Næss' programme for a behaviouristic theory of science, (...) we outline first the development of the internal philosophical critique and then the parallel story on the social science scene. (shrink)

We argue that the transmission of "normal science" is not enough to secure high-quality research, especially in the underdeveloped parts of the world. We survey some of the problems raised by the role of science in development. A simple model for "research-practice complexes" is presented. It is suggested that research-practice complexes ought to fulfil the three basic criteria of efficiency, perceptiveness, and sensitivity. The role of joint paradigm discussions in research-practice complexes is particularly emphasized.

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)

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)

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)

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.

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)

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)

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)

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)

This article provides a normative framework for evaluating the moral permissibility of various defences of European Union (EU) values against their violation in EU member states. This requires, first, a coherent interpretation of EU values as the values of liberal democracy; second, a clear notion of when they are violated; third, a theory of how liberal democracy can be defended with measures that are consistent with the values of liberal democracy themselves; and, finally, a discussion of what the EU’s role (...) is in this defence. The article argues that it would be permissible for the EU to combine a number of political, cultural, socio-economic and legal responses in a concentric defence of liberal democracy as long as they respect the separation of powers doctrine and do not rely on problematic notions of collective responsibility. (shrink)

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)

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)

This paper shows how to conservatively extend theories formulated in non-classical logics such as the Logic of Paradox, the Strong Kleene Logic and relevant logics with Skolem functions. Translations to and from the language extended by Skolem functions into the original one are presented and shown to preserve derivability. It is also shown that one may not always substitute s=f(t) and A(t, s) even though A determines the extension of a function and f is a Skolem function for A.

Journal Name: Semiotica Issue: Ahead of print.