In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...) with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

This anthology focuses on “practical” forms and expressions of knowledge, like thinking through artistic media or by crafting things out of materials. The ten chapters follow and review various tracks in conceptions of contemporary knowledge, exploring human knowledge and experience from the perspective of human activities or practices, professional, artistic, domestic, or whatever. A guiding idea is that human knowledge seldom, perhaps never, fits into the traditional dualism between thinking and doing. -/- The chapters are written by philosophers and musicians (...) – some with a double experience as artists and theoreticians. The themes are philosophical, but above all, they touch on questions that are essential for how we understand ourselves as thinking and playing bodies, indeed as parts of nature. The book does not propose one single “theory of knowledge” but steps towards a more diverse and open attitude to the meaning of knowledge. -/- We hope that the texts will be of interest and useful in both disciplinebased and professional education: in philosophy, art schools, tea cher education, and in other programmes where tacit and practical knowledge are essential for the (future) practitioners. It is possible to independently read, and profit from, most of the chapters. (shrink)

This report on research in progress lists ratings of journals useful for business & society scholars for publishing. Ratings by an expert panel of such scholars are presented. Included are journals focused largely on this and closely related fields, and also those that reach a wider audience involved with management studies.

A so called “weak value” of an observable in quantum mechanics (QM) may be obtained in a weak measurement + post-selection procedure on the QM system under study. Applied to number operators, it has been invoked in revisiting some QM paradoxes (e.g., the so called Three-Box Paradox and Hardy’s Paradox). This requires the weak value to be interpreted as a bona fide property of the system considered, a par with entities like operator mean values and eigenvalues. I question such an (...) interpretation; it has no support in the basic axioms of quantum mechanics and it leads to unreasonable results in concrete situations. (shrink)

One of the claims sometimes advanced in favour of anti-doping is that allowing doping would lead to a uniform increase in performance in comparison to no doping. The idea is that if all athletes wo...

The purpose of this article is to present a normative theory of the goals of medicine (a theory that tells us in what respects medicine should benefit the patient) that is both comprehensive and unified. A review of the relevant literature suggests that there are at least seven plausible goals that are irreducible to each other, namely to promote functioning, to maintain or restore normal structure and function, to promote quality of life, to save and prolong life, to help the (...) patient to cope well with her condition, to improve the external conditions under which people live, and to promote the growth and development of children. However, it seems that all these goals need to be qualified in different ways, e.g. it does not seem reasonable to improve physiological function or functional ability unless this is expected to have positive effects on quality of life and/or length of life, or to improve the quality of life in any respect, or by any means. These qualifications all suggest that the proposed goals are, as goals, conceptually, and not just causally, related to one another, and that they should therefore not be regarded in isolation. Instead, we should think of the medical enterprise as having a multidimensional goal structure rather than a single goal. In order to depict clearly how the different goals are related to one another, a multidimensional model is constructed. (shrink)

The recent discussion of the concept of mental disorder has focused on what makes a mental disorder a disorder. A question that has received less attention is what makes a mental disorder mental rather than somatic. We examine three views on this issue -- namely, the internal cause view, the symptom view, and the pluralist view -- and assess to what extent these accounts are plausible. Three strategies used to pinpoint the mental in psychiatry are identified, namely negative characterizations, exemplification (...) of paradigmatic mental features, and an appeal to intentional content. We also examine different versions of nihilism. Finally, it is observed that the discussion of what makes a mental disorder mental has largely been unaffected by conceptions of the mental in the philosophy of mind. (shrink)

This book is a philosophical analysis of knowledge in practices, focused on knowing how, tacit knowledge and expert knowledge. Knowing in action is argued to be more basic than propositional or theoretical knowledge. The analytical framework is pragmatist, with references to William James and Ludwig Wittgenstein.

Harm-reduction approaches are used to reduce the burden of risky human behaviour without necessarily aiming to stop the behaviour. We discuss what an introduction of harm reduction for doping in sports would mean in parallel with a relaxation of the antidoping rule. We analyse what is ethically at stake in the following five levels: (1) What would it mean for the athlete (the self)? (2) How would it impact other athletes (the other)? (3) How would it affect the phenomenon of (...) sport as a game and its fair play basis (the play)? (4) What would be the consequences for the spectator and the role of sports in society (the display)? and (5) What would it mean for what some consider as essential to being human (humanity)? For each level, we present arguments for and against doping and then discuss what a harm-reduction approach, within a dynamic regime of a partially relaxed antidoping rule, could imply. We find that a harm-reduction approach is morally defensible and potentially provides a viable escape out of the impasse resulting from the impossibility of attaining the eradication of doping. The following question remains to be answered: Would a more relaxed position, when combined with harm-reduction measures, indeed have less negative consequences for society than today9s all-out antidoping efforts that aim for abstinence? We provide an outline of an alternative policy, allowing a cautious step-wise change to answer this question and then discuss the ethical aspects of such a policy change. (shrink)

This study presents findings from an ontological and contextual determination of the concept of dignity. The study had a caritative and caring science perspective and a hermeneutical design. The aim of this study was to increase caring science knowledge of dignity and to gain a determination of dignity as a concept. Eriksson’s model for conceptual determination is made up of five part-studies. The ontological and contextual determination indicates that dignity can be understood as absolute dignity, the spiritual dimension characterized by (...) responsibility, freedom, duty, and service, and relative dignity, characterized by the bodily, external aesthetic dimension and the psychical, inner ethical dimension. Dignity exists in human beings both as absolute and relative dignity. (shrink)

This study presents findings from an ontological and contextual determination of the concept of dignity. The study had a caritative and caring science perspective and a hermeneutical design. The aim of this study was to increase caring science knowledge of dignity and to gain a determination of dignity as a concept. Eriksson’s model for conceptual determination is made up of five part-studies. The ontological and contextual determination indicates that dignity can be understood as absolute dignity, the spiritual dimension characterized by (...) responsibility, freedom, duty, and service, and relative dignity, characterized by the bodily, external aesthetic dimension and the psychical, inner ethical dimension. Dignity exists in human beings both as absolute and relative dignity. (shrink)

Many of the major challenges facing global society are unstructured collective harms (e.g., global warming): collective in the sense that they arise as the result of the actions of, or interactions among, multiple agents, and unstructured in the sense that there is no coordination or intention to cause harm among these agents. But how should we distribute moral responsibility for these harms? In this paper, an answer is proposed to this question. This answer builds on but develops existing proposals by (...) drawing together literatures that speak to different aspects of the question. First, it is argued that the notion of causal contribution needs to be broadened to include the idea of causation as production. Second, it is discussed how the voluntariness and foreseeability conditions are best interpreted in this context. Third, literature on moral taint is drawn to introduce additional objective (external) criteria. (shrink)

The paper offers a partial vindication of Sterelny’s view on the role of error rates and reliability in his theory of decoupled representation based on modelling techniques borrowed from the biological literature on evolution in stochastic environments. In the case of a tight link between tracking states and behaviour, I argue that in its full generality Sterelny’s account instantiates the base-rate fallacy. With regard to non-tightly linked behaviour, I show that Sterelny’s account can be vindicated subject to an adequate evolutionary (...) model and a suitable notion of reliability. (shrink)

This article elaborates on the relationship between structuralism (and to some extent post-structuralism), hermeneutics and pragmatism, starting from what I comprehend as the inherent dilemma articulated in the policy documents concerning the emerging knowledge economy: the tension between innovation and adaptation. In the first section, I delineate a horizon of understanding for my presentation by defining the particular societal transformations in the historical context where the question of creativity and innovation has become of strategic importance. Then, in the second section, (...) I suggest a diagnosis of the new and predominant flexible organization of knowledge within the context of the new creative economy. The third section is a short interlude, where the philosophical implications of these societal transformations are being disclosed, together with the challenges that influence the agenda for a discussion about a constructive philosophical contribution. In the last two sections, I introduce a particular kind of hermeneutical perspective into the discussion by a close reading of one of Paul Ricoeur’s major works from the mid 1970s, here distinctively interpreted as a profound investigation into the micro-mechanisms of the epistemology of creativity. Thus, by the configuration of a hermeneutics of creativity and innovation from these philosophical resources, my intention is to disclose the ontological implications of innovation as well as the anthropological prerequisites for a conception of creativity “with a human face.”. (shrink)

All definitions of mental disorder are backed up by arguments that rely on general criteria (e.g., that a definition should be consistent with ordinary language). These desiderata are rarely explicitly stated, and there has been no systematic discussion of how different definitions should be assessed. To arrive at a well-founded list of desiderata, we need to know the purpose of a definition. I argue that this purpose must be practical; it should, for example, help us determine who is entitled to (...) publicly funded health care. I then propose eight conditions of adequacy that can be used to assess competing definitions (e.g., the ordinary language condition, the coherence condition, and the condition of normative adequacy). These conditions pull in different directions, however, and we must decide which are most important. I also suggest that there is no single definition that can help us deal with all the relevant practical issues. (shrink)

In a recent paper, Takacs and Bourrat (Biol Philos 37:12, 2022) examine the use of geometric mean reproductive output as a measure of biological fitness. We welcome Takacs and Bourrat’s scrutiny of a fitness definition that some philosophers have adopted uncritically. We also welcome Takacs and Bourrat’s attempt to marry the philosophical literature on fitness with the biological literature on mathematical measures of fitness. However, some of the main claims made by Takacs and Bourrat are not correct, while others are (...) correct but not for the reasons they give. (shrink)

The article examines the relationship between a trait’s effect on survival and reproduction and the notion of functional efficiency underlying the biostatistical theory of health. BST faces the problem of how to measure a trait’s joint effect on survival and reproduction in its account of function. If one measures the joint effect by means of the biological notion of fitness, examples such as the hereditary breast and ovarian cancer syndrome do not count as a disorder. If one does not invoke (...) biological fitness, it is unclear how to measure the joint effect while keeping to BST’s naturalist credentials. (shrink)

This study was directed towards personality-related, value system and sociodemographic variables of nursing students in a situation of change, using a longitudinal perspective to measure their improvement in principle-based moral judgement (Kohlberg; Rest) as possible predictors of stress. Three subgroups of students were included from the commencement of the first three-year academic nursing programme in 1993. The students came from the colleges of health at Jönköping, Växjö and Kristianstad in the south of Sweden. A principal component factor analysis (varimax) was (...) performed using data obtained from the students in the spring of 1994 (n = 122) and in the spring of 1996 (n = 112). There were 23 variables, of which two were sociodemographic, eight represented self-image, six were self-values, six were interpersonal values, and one was principle-based moral judgement. The analysis of data from students in the first year of a three-year programme demonstrated eight factors that explained 68.8% of the variance. The most important factors were: (1) ascendant decisive disorderly sociability and nonpractical mindedness (18.1% of the variance); (2) original vigour person-related trust (13.3% of the variance); (3) orderly nonvigour achievement (8.9% of the variance) and (4) independent leadership (7.9% of the variance). (The term ‘ascendancy’ refers to self-confidence, and ‘vigour’ denotes responding well to challenges and coping with stress.) The analysis in 1996 demonstrated nine factors, of which the most important were: (1) ascendant original sociability with decisive nonconformist leadership (18.2% of the variance); (2) cautious person-related responsibility (12.6% of the variance); (3) orderly nonvariety achievement (8.4% of the variance); and (4) nonsupportive benevolent conformity (7.2% of the variance). A comparison of the two most prominent factors in 1994 and 1996 showed the process of change to be stronger for 18.2% and weaker for 30% of the variance. Principle-based moral judgement was measured in March 1994 and in May 1996, using the Swedish version of the Defining Issues Test and Index P. The result was that Index P for the students at Jönköping changed significantly (paired samples t-test) between 1994 and 1996 (p = 0.028), but that for the Växjö and Kristianstad students did not. The mean of Index P was 44.3% at Växjö, which was greater than the international average for college students (42.3%); it differed significantly in the spring of 1996 (independent samples t-test), but not in 1994, from the students at Jönköping (p = 0.032) and Kristianstad (p = 0.025). Index P was very heterogeneous for the group of students at Växjö, with the result that the paired samples t-test reached a value close to significance only. (shrink)