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)

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)

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)

Quantum mechanical weak values of projection operators have been used to answer which-way questions, e.g. to trace which arms in a multiple Mach–Zehnder setup a particle may have traversed from a given initial to a prescribed final state. I show that this procedure might lead to logical inconsistencies in the sense that different methods used to answer composite questions, like “Has the particle traversed the way X or the way Y?”, may result in different answers depending on which methods are (...) used to find the answer. I illustrate the problem by considering some examples: the “quantum pigeonhole” framework of Aharonov et al., the three-box problem, and Hardy’s paradox. To prepare the ground for my main conclusion on the incompatibility in certain cases of weak values and logic, I study the corresponding situation for strong/projective measurements. In this case, no logical inconsistencies occur provided one is always careful in specifying exactly to which ensemble or sample space one refers. My results cast doubts on the utility of quantum weak values in treating cases like the examples mentioned. (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)

The basic theory of preference relations contains a trivial part reflected by axioms A1 and A2, which say that preference relations are preorders. The next step is to find other axims which carry the theory beyond the level of the trivial. This paper is to a great part a critical survey of such suggested axioms. The results are much in the negative — many proposed axioms imply too strange theorems to be acceptable as axioms in a general theory of preference. (...) This does not exclude, of course, that they may well be reasonable axioms for special calculi of preference. I believe that many axioms which are rejected here may be plausible if their range of application is restricted by conditions which are possible to formulate only in a language richer than that of the propositional calculus, e.g. in one containing modal operators or probabilistic concepts. (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...

This paper presents a critical reflection on the attempts to determine the historical meaning of the present situation as a philosophical topic. To determine the specific interpretative character of the diagnostics of our contemporary situation—beyond both absolute knowledge and arbitrary thinking—this paper argues that “now” and “here” need to be defined in accordance with the concepts of “historical time” and “inhabited space.” This has been made possible as a result of the recent metamorphosis within the hermeneutical tradition.

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 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)

While Bayesian methods have become very popular in phylogenetic systematics, the foundations of this approach remain controversial. The star-tree paradox in Bayesian phylogenetics refers to the phenomenon that a particular binary phylogenetic tree sometimes has a very high posterior probability even though a star tree generates the data. I argue that this phenomenon reveals an unattractive feature of the Bayesian approach to scientific inference and discuss two proposals for how to address the star-tree paradox. In particular, I defend the polytomy (...) prior as a solution of the paradox and argue that it is preferable to a data-size dependent branch lengths prior from a methodological perspective. However, while this reply dissolves the star-tree paradox, the general challenge to Bayesian confirmation theory remains unmet. (shrink)

From good intentions to real life: introducing crisis resolution teams in Norway In Norway, as in most western countries, the adult services for people experiencing mental health problems have gone through major changes over the last decades. A report submitted to the Norwegian Parliament in 1997 summarized several areas of improvement in the provision of mental health‐care to its population, and led to the introduction of a national mental health programme in 1998 for its implementation to be completed by 2008. (...) The most significant recent development in Norway is ‘Crisis Resolution/Home Treatment’ (CRHT) teams that provide an alternative to acute hospital care services. The major aim of this study is to explore an emerging form of community mental health‐care, and present a framework for establishment and examination of CRHT teams applying the user perspectives. An illustration of user experiences in an already established CRHT team provides a background for understanding implications of this form of service in relation to service users’ needs in acute crises. (shrink)

Is science in the midst of a crisis of replicability and false discoveries? In a recent article, Alexander Bird offers an explanation for the apparent lack of replicability in the biomedical sciences. Bird argues that the surprise at the failure to replicate biomedical research is a result of the fallacy of neglecting the base rate. The base-rate fallacy arises in situations in which one ignores the base rate—or prior probability—of an event when assessing the probability of this event in the (...) light of some observed evidence. By extension, the replication crisis would result from ignoring the low prior probability of biomedical hypotheses. In this paper, my response to Bird’s claim is twofold. First, I show that the argument according to which the replication crisis is due to the low prior of biomedical hypotheses is incomplete. Second, I claim that a simple base-rate fallacy model does not account for some important methodological insights that have emerged in discussions of the replication crisis. (shrink)

It is now generally agreed that we have to rely on value judgments to distinguish mental disorders from other conditions, but it is not quite clear how. To clarify this, we need to know more than to what extent attributions of disorder are dependent on values. We also have to know (1) what kind of evaluations we have to rely on to identify the class of mental disorder; (2) whether attributions of disorder contain any implicit reference to some specific evaluative (...) standard; and (3) whether the concept of mental disorder is value laden in the definitional or in the epistemic sense. I will argue that the evaluations we have to rely on are mainly considerations of harm, but that we also need to rely on other evaluations; that there should be no references to specific evaluative standards; and that even though mental disorders are necessarily undesirable, "mental disorder" may well be a descriptive phrase. (shrink)

Se trata de un articulo que me lo he bajado de la página de Mplus. En realidad es un DRAFT en lugar de un artículo (no lo puedo citar). Explica cómo realizar análisis Bayesianos y cuándo es conveniente utilizarlos. Es una técnica que se emplea al par del Bootstrapping (aunque su base sea diferente). Pero es interesante porque está disponible en análisis multinivel y puede ser útil cuando los parámetros no son normales y o la muestra es pequeña (el ejemplo (...) multinivel que muestra tiene sólamente 10 clusters a nivel between). (shrink)

SummaryCertain problems in Quine's philosophy of language are discussed. The first issue is his theory of how an observation sentence is understood. This is part of the more general problem of constructing a theory for how any single cognitive sentence is grasped. Quine's thesis of the inscrutability of reference, according to which it is senseless to ask what the referent of a term is, is our second subject. The content and truth of this thesis is discussed. In this context three (...) rather precise versions of the thesis are presented. The third issue to be treated is the relationship between the inscrutability thesis and theories of observation sentence understanding. The main conclusion of the paper is that the inscrutability thesis can hardly be true. (shrink)

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)

Ockham’s razor is the idea that simpler hypotheses are to be preferred over more complex ones. In the context of medical diagnosis, this is taken to mean that when a patient has multiple symptoms, a single diagnosis should be sought that accounts for all the clinical features, rather than attributing a different diagnosis to each. This paper examines whether diagnostic parsimony can be justified by reference to probability theory. I argue that while attempts to offer universal justifications of diagnostic parsimony (...) fail, a more constrained use of this diagnostic principle can be supported. (shrink)

As part of the conference commemorating Theoria's 75th anniversary, a round table discussion on philosophy publishing was held in Bergendal, Sollentuna, Sweden, on 1 October 2010. Bengt Hansson was the chair, and the other participants were eight editors-in-chief of philosophy journals: Hans van Ditmarsch (Journal of Philosophical Logic), Pascal Engel (Dialectica), Sven Ove Hansson (Theoria), Vincent Hendricks (Synthese), Søren Holm (Journal of Medical Ethics), Pauline Jacobson (Linguistics and Philosophy), Anthonie Meijers (Philosophical Explorations), Henry S. Richardson (Ethics) and Hans Rott (...) (Erkenntnis). (shrink)

Although Bayesian methods are widely used in phylogenetic systematics today, the foundations of this methodology are still debated among both biologists and philosophers. The Bayesian approach to phylogenetic inference requires the assignment of prior probabilities to phylogenetic trees. As in other applications of Bayesian epistemology, the question of whether there is an objective way to assign these prior probabilities is a contested issue. This paper discusses the strategy of constraining the prior probabilities of phylogenetic trees by means of the Principal (...) Principle. In particular, I discuss a proposal due to Velasco (Biol Philos 23:455–473, 2008) of assigning prior probabilities to tree topologies based on the Yule process. By invoking the Principal Principle I argue that prior probabilities of tree topologies should rather be assigned a weighted mixture of probability distributions based on Pinelis’ (P Roy Soc Lond B Bio 270:1425–1431, 2003) multi-rate branching process including both the Yule distribution and the uniform distribution. However, I argue that this solves the problem of the priors of phylogenetic trees only in a weak form. (shrink)

The paper discusses Bayesian convergence when the truth is excluded from the analysis by means of a simple coin-tossing example. In the fair-balance paradox a fair coin is tossed repeatedly. A Bayesian agent, however, holds the a priori view that the coin is either biased towards heads or towards tails. As a result the truth is ignored by the agent. In this scenario the Bayesian approach tends to confirm a false model as the data size goes to infinity. I argue (...) that the fair-balance paradox reveals an unattractive feature of the Bayesian approach to scientific inference and explore a modification of the paradox. (shrink)

This article is dedicated to the memory of Peter Kemp (1937–2018), whose extraordinary influence since the 1960s as an academic scholar and public intellectual transformed the Scandinavian philosophical scene in the post-analytic period. His contributions are viewed in the light of a rich biographical context, from his 1973 doctoral defense and his unflagging commitment as a teacher and author to his continued critique of narrow philosophical perspectives. I emphasize the unparalleled success of Kemp in addressing and challenging both the broader (...) society and its constituent elements of political leadership, public administration, and the business community. Finally, I show the impact of his personal life on his aim to link critical thinking and conviction in developing a philosophical commitment. In this way, as in general, Peter Kemp not only followed in the footsteps of, but also continued, Paul Ricoeur’s project. (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)

The paper examines the claim that significance testing violates the Principle of Total Evidence. I argue that p-values violate PTE for two-sided tests but satisfy PTE for one-sided tests invoking a sufficient test statistic independent of the preferred theory of evidence. While the focus of the paper is to evaluate a particular claim about the relationship of significance testing and PTE, I clarify the reading of this methodological principle along the way.

How to measure fitness in the theory of natural selection? A fitness measure that has been proposed in both the biological and the philosophical literature is the expected relative reproductive success. The aim of this article is to examine the relationship between expected relative reproductive success and future actual evolutionary success. Doing so will not only clarify the use of expected relative reproductive success as a fitness measure but also shed light on the role of fitness in the theory of (...) natural selection. _1_ Introduction _2_ The Role of Fitness _3_ Geometric Mean versus Expected Relative Reproductive Success _4_ Reconciliation _5_ Reconciliation Continued _6_ Alternative Justifications _7_ Conclusion. (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)