During the past few years,organic dairy farming has grown dramatically inDenmark. Consequently, an increasing number ofpeople are encountering this method ofproduction for the first time. Amongst these,many veterinarians have suddenly had to dealwith organic herds in their home district, and,meeting examples of poor animal welfare, theyhave recently started to express some concerns.

Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig Kanger (...) and a set theoretical statement equivalent to the axiom of choice.--Lindström, P. On characterizing elementary logic.-- Scott, D. Rules and derived rules.--Hansson, B. A program for pragmatics.--Hermerén, G. Models.--Fenstad, J.E. Remarks on logic and probability.--Stenlund, S. Analytic and synthetic arithmetical statements. (shrink)

Stig Kanger made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the (...) concept of rights. He also contributed to action theory, preference logic, and the theory of measurement. This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends. (shrink)

Stig Kanger made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. This is the second of two volumes dedicated to the work of Stig Kanger. The first volume is a complete collection of Kanger's philosophical papers. (...) The present volume contains critical essays on the various aspects of Kanger's work as well as some biographical sketches. Lennart Åqvist, Jan Berg, Brian Chellas, Anatoli Degtyarev, Lars Gustafsson, Sören Halldén, Kaj Børge Hansen, Sven Ove Hansson, Risto Hilpinen, Jaakko Hintikka, Ghita Holmström-Hintikka, Lars Lindahl, Sten Lindström, Ingmar Pörn, Dag Prawitz, Wlodek Rabinowicz, Krister Segerberg, Amartya Sen, Sören Stenlund, Göran Sundholm, and Andrei Voronkov have contributed to this volume. (shrink)

In the work of both Ludwik Fleck and Thomas Kuhn the scientific literature plays important roles for stability and change of scientific phenomenal worlds. In this article we shall introduce the analyses of scientific literature provided by Fleck and Kuhn, respectively. From this background we shall discuss the problem of how divergent thinking can emerge in a dogmatic atmosphere. We shall argue that in their accounts of the factors inducing changes of scientific phenomenal worlds Fleck and Kuhn offer substantially different (...) approaches, and we shall discuss in which respects their approaches may be compatible. (shrink)

`Proto-idea' was a central concept in the thinking of the Polish microbiologist and philosopher of science Ludwik Fleck (1896–1961). Based on studies of the origin of the modern concept of syphilis, Fleck claimed that many established scientific facts are best understood as interpretations of pre scientific, somewhat hazy `proto-ideas' in the framework of a certain `thought-style'. As an example,Fleck saw the modern knowledge of infection as an interpretation of the ancient proto-idea of diseases as caused by minute `animalcules'. However, the (...) epistemological aspects of the concept of proto-ideas have only been sparsely developed and discussed by Fleck and his critics. This paper attempts to bridge the gap. Firstly, I reconstruct the concept of proto-ideasin the context of Fleck's constructivist theory of knowledge. Secondly, I illustrate the relation between Fleck's concept of proto-ideas and his nominalist view on medical taxonomy. Finally, I discuss four philosophical problems implied by Fleck's concept of proto-ideas: (a) the problem of combining two conflicting perspectives on the history of science (b) the problem of accounting for the notion of` continuity' within a non realist theory of knowledge (c) the problem of ascribing no truth-content to proto-ideas, and (d) the problem concerning the non-neutrality of the analyst's viewpoint. (shrink)

The content of this book is essentially one argument. The aim of this book is to consider the breakdown of a certain world view during the twentieth century. This is mirrored in the treatment of both science and philosophy. As these form the foundation for the human position in the world, a major reorganization of the body of knowledge had to take place. Bohr and Wittgenstein have been chosen as the main actors to represent this revision. Each one had to (...) replace apparent order and certainty by an understanding based on limited concepts in constant flux. The conclusion is that the modern synthesis is far from satisfactory. By leaving the story unfinished in its present state, the book hopes to provoke a renewal of the discussion and the eventual emergence of a reformed clarity and understanding. Reality is to be left as it is, but the human mind is also to be left as it is. The problem is to find a way to effect a harmonious combination of these. (shrink)

We consider the concept of entanglement for pure cases of finite dimensional state spaces. The criterion of unentangled states is related to demanding rank one of an associated eigenvalue problem. In addition to the conventional procedure based on the Schmidt decomposition, we devise a method based on the spectral resolution of unsymmetric matrices. In particular, we consider the case when all eigenvalues are zero, and find that the method still works.

This article studies the Islamic State's only remaining periodical, Al-Naba, identifying the most common tropes and patterns in the periodical's Sub-Saharan Africa coverage, and on Mozambique in particular. The Islamic State's increasingly important coverage of Africa focuses on terror attacks, military campaigns and on the fight against Christianity. However, it also employs more traditional anti-colonial arguments that have been used by other, more accepted, political actors during the struggle for decolonisation. Al-Naba also functions as a 'shamer' of non-African Muslims, to (...) get them to join jihad by pointing to the African successes of the organisation and set these successes up as examples to be followed. In this sense, the article illustrates how African jihadist branches can have global agency. (shrink)

Technology is increasingly subject of attention from philosophers. Philosophical reflection on technology exhibits a wide and at times bewildering array of approaches and modes of thought. This volume brings to light the development of three schools in the philosophy of technology. Based on thorough introductions to Karl Marx', Martin Heidegger's and John Dewey's thought about technology, the volume offers an in-depth account of the way thinkers in the critical, the phenomenological and the pragmatic schools have respond to issues and challenges (...) raised by the works of the founders of these schools. Technologies in almost any aspect of human life is potentially subject of philosophical treatment. To offer a focused demonstration of key arguments and insights, the presentation of each school is concluded with a contribution to discussions of educational technologies. In addition to philosophers seeking a valuable and clear structuring of a still burgeoning field, the volume is of interest to those working with educational philosophy and value sensitive design. „Stig Børsen Hansen’s book is a must for all interested in understanding the development of the philosophy of technology and the relation of thoughts of thinkers that have shaped the area. The author presents a new and refreshing take on the ideas from Marx to Marcuse, from Dewey to Latour, and Heidegger to Borgmann. It will engage and hopefully provoke." Dr. Jan Kyrre Berg Friis, University of Copenhagen. (shrink)

Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given for analogues of the modal systemK based on Heyting's prepositional logic. It is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddings in modal systems with several modal operators, based on classical propositional logic, are also considered. This paper lays the ground for (...) an investigation of intuitionistic analogues of systems stronger thanK. A brief survey is given of the existing literature on intuitionistic modal logic. (shrink)

Many tasks in statistical and causal inference can be construed as problems of entailment in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for causal probabilistic languages than for pure probabilistic (or “associational”) languages. Despite several senses in which causal reasoning is indeed more complex—both expressively and inferentially—we show that causal entailment (or satisfiability) problems can be systematically and robustly reduced to purely probabilistic problems. Thus there is no jump in computational complexity. (...) Along the way we answer several open problems concerning the complexity of well-known probability logics, in particular demonstrating the ${\exists \mathbb {R}}$ -completeness of a polynomial probability calculus, as well as a seemingly much simpler system, the logic of comparative conditional probability. (shrink)

This Festschrift bears impressive testimony to the fascination which Icelandic and Norwegian sagas and Faroese ballads still exercise on researchers. Fifteen original papers examine central literary and historical aspects of Nordic sagas and ballads. The papers are published in German, English or Danish.

Quantification is particularly seductive in times of global uncertainty. Not surprisingly, numbers, indicators, categorizations, and comparisons are central to governmental and popular response to the COVID-19 pandemic. This essay draws insights from critical data studies, sociology of quantification and decolonial thinking, with occasional excursion into the biomedical domain, to investigate the role and social consequences of counting broadly defined as a way of knowing about the virus. It takes a critical look at two domains of human activity that play a (...) central role in the fight against the virus outbreak, namely medical sciences and technological innovation. It analyzes their efforts to craft solutions for their user base and explores the unwanted social costs of these operations. The essay argues that the over-reliance of biomedical research on “whiteness” for lab testing and the techno-solutionism of the consumer infrastructure devised to curb the social costs of the pandemic are rooted in a distorted idea of a “standard human” based on a partial and exclusive vision of society and its components, which tends to overlook alterity and inequality. It contends that to design our way out of the pandemic, we ought to make space for distinct ways of being and knowing, acknowledging plurality and thinking in terms of social relations, alterity, and interdependence. (shrink)

The purpose of this paper is to show that the methods of determining monetary values of biodiversity depend on one's ethical point of departure. After a short summary of the ethical principles of anthropocentrism and biocentrism, the paper discusses the problem wether we shouldextend the market system and let the price mechanism encompass biological diversity, i.e. put prices on biodiversity. Basically, the anthropocentric approach leads to an ethics of freedom, where the individual has the right to decide what is good (...) and to implement it. Then the individual's willingness to pay for biodiversity is a relevant criterion for its price. But the biocentric approach rather implies that an ethic of law is more important, valuing the real needs of Nature higher than the preferences of the individual consumers. Then the costs for protection or replacement are relevant, because they reflect what Nature needs.One further question concerns who is to decide the proces of biodiversity. If the willingness to pay is the criterion, then obviously the market should decide, using well-developed methods. If on the other hand the costs of protection or replacement are relevant, technical and economic experts have to calculat them—given the politically decided level of biodiversity to be restored.The basic question, whether the market and the price mechanism should be considered acceptable instruments to protect biodiversity, is not discussed in the paper. However, some environmentalists find the wish to maximize one's utility incompatible with environmental ethics. Also, the price mechanism may take various roles. Thus, prices may convey different information about the value of biodiversity, depending on which role we assign to them. (shrink)

Summary According to the so-called Starnberger Group1, the amenability of a science to science policy measures, conceptualised by the Group in terms of finalization , depends crucially on conditions intrinsic to the science not invariably present at every stage of its development. Finalization is possible only at junctures where the science in question faces methodologically divergent alternative lines of development. The most significant kind of case depends on the presence of completed , or classical , theories.