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)

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)

Festschrift for prof. Helge Malmgren. -/- Contents: • Kristoffer Ahlström: Two Levels of Epistemic Inquiry; • Jan Almäng: Till frågan om trancendentala argument; • Kent Gustavsson: Perceptionens gåta; • Björn Haglund: Some Notes on Induction; • Ingvar Johansson: Money and Fictions; • Frank Lorentzon: Intuition och kunskap; • Ingmar Persson: Double Effect Troubles; • Filip Radovic: Wittgenstein om tautologier och andra logiska satser; • Claes Strannegård: Anthropomorphic Artificial Intelligence; • Bolof Stridbeck: Den motbjudande slutsatsen & den plågade filosofen; • Christer (...) Svennerlind: Armstrong on Instantiation as Partial Identity; • Anders Tolland: Mr Darcys berättigade stolthet; • Björn Vickhoff: H-speech: the Musical Self - A Phenomenological Approach to Music & Emotion; • Dag Westerståhl: On the Aristotelian Square of Opposition; • Carl-Gustaf Wikstrand: On Pain States & Mental Causation;. (shrink)

The paper describes a methodology to be used for analysis and design of human activity systems. The methodology is based on an analysis of the decision settings whereas most other decision analysis methodologies are analysing the process. The decision concept is analysed and discussed. A distinction between programmed and programmable as well as non-programmed and non-programmable decisions is proposed. A classification of different information types for decision making is presented. A methodology based on a systemic and systematic analysis of the (...) information requirements of an organization is proposed. This methodology also indicates organizational discrepancies and information imbalances. The methodology focuses the settings of the decisions on all levels of organizations. The methodology can be regarded as a dynamic, learning system. The author proposes further research on the individuals decision making abilities. (shrink)

Humanitarian aid professionals frequently encounter situations in which one is conscious of the morally appropriate action but cannot take it because of institutional obstacles. Dilemmas like this are likely to result in a specific kind of stress reaction at the individual level, labeled as moral stress. In our study, 16 individuals working with international humanitarian aid and rescue operations participated in semistructured interviews, analyzed in accordance with a grounded theory approach. A theoretical model of ethical decision making from a moral (...) stress perspective was developed. The practical implications of the study are discussed. (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)

This paper introduces a formal view of the semantics and pragmatics of corrective feedback in dialogues between adults and children. The goal of this research is to give a formal account of language coordination in dialogue, and semantic coordination in particular. Accounting for semantic coordination requires (1) a semantics, i.e. an architecture allowing for dynamic meanings and meaning updates as results of dialogue moves, and (2) a pragmatics, describing the dialogue moves involved in semantic coordination. We illustrate the general approach (...) by applying it to some examples from the literature on corrective feedback, and provide a fairly detailed discussion of one example using TTR (Type Theory with Records) to formalize concepts. TTR provides an analysis of linguistic content which is structured in order to allow modification and similarity metrics, and a framework for describing dialogue moves and resulting updates to linguistic resources. (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.

This paper recognizes that quantum theory is not satisfactorily formulated; in spite of its empirical success, we may wish to consider the possibility to find more intuitively acceptable foundations. It is emphasized that the difference between classical physics and quantum theory lies in the fact that the latter depends in an essential way on classical descriptions of the observations from preparation to recording. In addition, only statistical predictions are possible. We discuss the case of entangled quantum systems. Performing an experiment (...) on one subsystem, we move a realized prediction to be a precondition for subsequent observations. The quantum features presented do not fit into a unified interpretation, they are found to be incompletely defined but pragmatically applied. No uniquely well defined interpretation is adequate for all cases. (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)

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)

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)

In relation to semantics, “grounding” has two relevant meanings. “Symbol grounding” is the process of connecting symbols to perception and the world. “Communicative grounding” is the process of interactively adding to common ground in dialog. Strategies for grounding in human communication include, crucially, strategies for resolving troubles caused by various kinds of miscommunication. As it happens, these two processes of grounding are closely related. As a side-effect of grounding an utterance, dialog participants may adjust the meanings they assign to linguistic (...) expressions, in a process of semantic coordination. Meanings of at least some expressions include perceptual aspects which enable DPs to classify entities as falling under the expression or not based on their perception of those entities. We show how perceptual grounding of symbols can be achieved in a process of interactively adding to common ground. This requires that perceptual aspects of meaning can be updated as a result of participating in linguistic interaction, thereby enabling fine-grained semantic coordination of perceptually grounded linguistic meanings. A formal semantics for low-level perceptual aspects of meaning is presented, tying these together with the logical-inferential aspects of meaning traditionally studied in formal semantics. The key idea is to model perceptual meanings as classifiers of perceptual input. This requires a framework where intensions are represented independently of extensions, and structured objects which can be modified as a result of learning. We use Type Theory with Records, a formal semantics framework which starts from the idea that information and meaning are founded on our ability to perceive and classify the world, that is, to perceive objects and situations as being of types. As an example of our approach, we show how a simple classifier of spatial information based on the Perceptron can be cast in TTR. (shrink)

The concept of magic is frequently used to discuss technology, a practice considered useful by some with others arguing that viewing technology as magic precludes a proper understanding of technology. The concept of magic is especially prominent in discussions of artificial intelligence and machine learning. Based on an anthropological perspective, this paper juxtaposes ML technology with magic, using descriptions drawn from a project on an ML-powered system for propulsion control of cargo ships. The paper concludes that prior scholarly work on (...) technology has failed to both define magic adequately and use research into magic. It also argues that although the distinction between ML technology and magic is important, recognition of the similarities is useful for understanding ML technology. (shrink)

Large, black, flightless birds with unpredictable tempers and colourful heads and necks, cassowaries have enthralled European audiences for centuries, but perhaps no one more so than private collector and zoologist Lionel Walter Rothschild (1868-1937). Throughout the late 19th and early 20th centuries, Rothschild acquired hundreds of living cassowaries which were kept in his private zoological collection. This paper explores the nature of Rothschild's private zoo and how the collection of living cassowaries was used to support his zoological activities. Spread across (...) three sites-the family estate at Tring Park, the zoological gardens in Regent's Park, and the business premises of Cambridge-based taxidermist Frederick Doggett-it will examine how Rothschild used the living birds kept in his private zoo to devise and inform a process for the preparation and display of cassowary specimens in museum galleries. It will show how he recruited specialist artists and taxidermists to perfect the art, and the significant financial investment this entailed. This is followed by exploration of how Rothschild's access to and observations of living birds informed his taxonomic work and, in particular, the identification of species and subspecies. The argument is made that Rothschild's private zoo and access to living cassowaries enabled his dedication to the study of the genus and ultimately underpinned his reputation as a world authority on cassowaries in the early 20th century. (shrink)

This book explores two questions that are integral to the question of the existence of God. The first question concerns the meaning of "existence" and the second concerns the meaning of "God". Regarding the first question, this book motivates, presents and defends the meta-ontology found in Gottlob Frege's writings and defended by Michael Dummett, Crispin Wright and Bob Hale. Frege's approach to questions of existence has mainly found use in connection with abstract objects such as numbers. This is one of (...) the first studies to systematically present Fregean meta-ontology and apply it to theology. Frege's meta-ontology is informed by his context principle. According to this, logico-syntactic notions such as "singular term" and "predicate" are pivotal to questions of what exists. These notions serve to throw light on the second question. Through thorough engagement with Old as well and New Testament texts, the book shows how Frege's logico-syntactic notions are of crucial importance when seeking to understand the meaning and use of "God". To complete the defence of Fregean meta-ontology, the book concludes by pointing to important differences between the otherwise closely associated concepts of an object found in Wittgenstein's Tractatus Logico-Philosophicus and Frege's writings. (shrink)

This paper explores the relevance of Wittgenstein’s early work for treatments of religion. The first section briefly outlines some different interpretive possibilities with respect to early Wittgenstein’s thinking. The following section explores the idea that what is important about early Wittgenstein’s work resides not in the meaning of the text as such, but in elements of his Jewish heritage. The third section outlines the immediate task that is undertaken in the body of the TLP. Central notions are those of mysticism (...) and logical form and the two concluding sections explore how these notions play a role in treatments of religion. This they do either by exhibiting parallels between themes in theology and themes in logic, or they do so by playing a role in assessing cosmological arguments in the philosophy of religion. (shrink)

It is argued that C. Wright's worry over the Basic Argument for Quitism is misplaced since the argument is incoherent. An even more basic argument is considered, and some consequences traced for, inter alia, the Tractarian view in metaphysics and Dummett's Metaphor Thesis, connecting ontology and semantics. In the course of the argument, work by, primarily, C. Peacocke and J. McDowell is touched upon.

ABSTRACT The technocratic dimension of government—its reliance upon knowledge claims, usually in scientific guise—is of great importance if we wish to understand modern power and governance. In Power Without Knowledge: A Critique of Technocracy, Jeffrey Friedman investigates the often-overlooked question of the relationship between technocratic knowledge/power and ideas. Friedman’s contribution to our understanding of technocracy can therefore be read as a contribution to governmentality studies, one that introduces the possibility of adding normative solutions to this critical tradition.

ABSTRACTColin Hay's constructivist institutionalism and Vivien A. Schmidt's discursive institutionalism are two recent attempts to theorize ideas as potential explanations of institutional change. This new attention to the causal role of ideas is welcome, but Hay and Schmidt do not take into consideration the constitutive and structural aspects of ideas. Instead they reduce ideas to properties of individual conscious minds, scanting the respects in which ideas are intersubjectively baked into the practices shared by individuals. This aspect of ideas—arguably, the institutional (...) side of ideas—is developed in post-structuralist thought, which therefore demands a place in ideational research. (shrink)