Paradoxes of Demonstrability

In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises by means of simple logical steps. A statement that is demonstrable is also knowable and a statement that is actually demonstrated is known to be true. By casting doubt upon apparently central principles governing the concept of demonstrability, the paradoxes of demonstrability presented here tend to undermine the concept itself—or at least our understanding of it. As long as we cannot find a diagnosis and a cure for the paradoxes, it seems that the coherence of the concepts of demonstrability and demonstrable knowledge are put in question. There are of course ways of putting the paradoxes in quarantine, for example by imposing a hierarchy of languages a` la Tarski, or a ramified hierarchy of propositions and propositional functions a` la Russell. These measures, however, helpful as they may be in avoiding contradictions, do not seem to solve the underlying conceptual problems. Although structurally similar to the semantic paradoxes, the paradoxes discussed in this paper involve epistemic notions: “demonstrability”, “knowability”, “knowledge”... These notions are “factive” (e.g., if A is demonstrable, then A is true), but similar paradoxes arise in connection with “nonfactive” notions like “believes”, “says”, “asserts”.3 There is no consensus in the literature concerning the analysis of the notions involved—often referred to as “propositional attitudes”—or concerning the treatment of the paradoxes they give rise to

On the applicability of state-of-the-art fault diagnosis methodologies to simple and complex systems

This paper performs an analysis on the applicability of state-of-the-art fault diagnosis methodologies to both simple and complex systems. Here, a complex system represents a system whose global behavior, which emerges from the interactions between its usually large number of basic components, is difficult to accurately describe via a model. First, the basic notions used in fault detection and isolation, are introduced. Then, short reviews are given for the main quantitative methods, qualitative reasoning based methods, and soft computing approaches. The next section is dedicated to recent distributed approaches to fault diagnosis of complex systems. Finally, some conclusions are given

Rationality, diagnosis and patient autonomy

In this chapter, our focus is the role played by notions of rationality in the diagnosis of mental disorders, and in the practice of overriding patient autonomy in psychiatry. We describe and evaluate different hypotheses concerning the relationship between rationality and diagnosis, raising questions about what features underpin psychiatric categories. These questions reinforce widely held concerns about the use of diagnosis as a justification for overriding autonomy, which have motivated a shift to mental incapacity as an alternative justification. However, this approach too has recently been criticized from a mental disability rights perspective. Our analysis of the relationship between mental capacity and rationality is used to illuminate these concerns, and to investigate further the relationship between rationality and psychiatric diagnosis

A new approach for diagnosability analysis of Petri nets using Verifier Nets

In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the standard notion of diagnosability of languages, requiring that every occurrence of an unobservable fault event be eventually detected, as well as the stronger notion of diagnosability in K steps, where the detection must occur within a fixed bound of K event occurrences after the fault. We give necessary and sufficient conditions for these two notions of diagnosability for both bounded and unbounded Petri nets and then present an algorithmic technique for testing the conditions based on linear programming. Our approach is novel and based on the analysis of the reachability/coverability graph of a special Petri net, called Verifier Net, that is built from the Petri net model of the given system. In the case of systems that are diagnosable in K steps, we give a procedure to compute the bound K. To the best of our knowledge, this is the first time that necessary and sufficient conditions for diagnosability and diagnosability in K steps of labeled unbounded Petri nets are presented

Radical liberal values-based practice.

Values based practice is a radical view of the place of values in medicine which develops from a philosophical analysis of values, illness and the role of ethical principles. It denies two attractive and traditional views of medicine: that diagnosis is a merely factual matter and that the values that should guide treatment and management can be codified in principles. But it goes further in the adoption of a radical liberal view: that right or good outcome should be replaced by right process. I describe each of these three claims but caution against the third

From Ancestral Knowledge to Clinical Practice: The Case of \u3cem\u3eAgonias\u3c/em\u3e and Portuguese Clinicians in America

Cultures have varying notions about symptom expression and the treatment of mental health issues. Consequently, clients and psychotherapists may or may not share a similar worldview. In the psychotherapy literature there has been increased attention to these complex processes. This survey descriptive study aims to understand how therapists working with culturally diverse clients incorporate sensitivity to cultural differences. Fifteen culturally sensitive mental health care providers working with the Portuguese immigrant community were interviewed about their practices. Specifically, we investigated their understanding of the symptoms, causes and cures for agonias, a culture specific phenomenon. It was found that even though the providers are all Portuguese themselves, the meaning that they ascribed to agonias (anxiety and/or depression) was very different than the meaning ascribed to agonias by community members. The community member’s meanings ranged from indigestion to being on the brink of death. A cluster analysis revealed that clinicians who stated that agonias is anxiety, conducted cognitive behavioral therapy or psychopharmacology, and those that stated agonias had a depressive component tended to use family therapy or psychoanalysis

Out of Sight, Out of Mind/Out of Mind, Out of Site: Schooling and Attention Deficit Hyperactivity Disorder

Attention Deficit Hyperactivity Disorder is a diagnostic term now indelibly scored on the public psyche. It is one of the most widely researched topics in the world today. In some quarters, a diagnosis of "ADHD" is regarded with derision. In others, it can be a god-send. It appears the jury is still out with regards to the "truth" of ADHD. As such, the rapid increase in diagnosis over the past fifteen years, coupled with an exponential rise in the prescription of restricted class psychopharmaceuticals has stirred virulent debate. Provoking the most interest, it seems, are questions regarding causality. Typically, these revolve around possible antecedents for "disorderly" behaviour – bad food, bad tv and bad parents. Very seldom is the institution of schooling ever in the line of sight. This paper draws on doctoral research that attempts to investigate this gap by questioning what might be happening in schools how this may be contributing to the definition, recognition and classification of particular children as a particular kind of "disorderly"

Probabilistic Dynamic Logic of Phenomena and Cognition

The purpose of this paper is to develop further the main concepts of Phenomena Dynamic Logic (P-DL) and Cognitive Dynamic Logic (C-DL), presented in the previous paper. The specific character of these logics is in matching vagueness or fuzziness of similarity measures to the uncertainty of models. These logics are based on the following fundamental notions: generality relation, uncertainty relation, simplicity relation, similarity maximization problem with empirical content and enhancement (learning) operator. We develop these notions in terms of logic and probability and developed a Probabilistic Dynamic Logic of Phenomena and Cognition (P-DL-PC) that relates to the scope of probabilistic models of brain. In our research the effectiveness of suggested formalization is demonstrated by approximation of the expert model of breast cancer diagnostic decisions. The P-DL-PC logic was previously successfully applied to solving many practical tasks and also for modelling of some cognitive processes.Comment: 6 pages, WCCI 2010 IEEE World Congress on Computational Intelligence July, 18-23, 2010 - CCIB, Barcelona, Spain, IJCNN, IEEE Catalog Number: CFP1OUS-DVD, ISBN: 978-1-4244-6917-8, pp. 3361-336

The sociology of entrenchment: a cystic fibrosis test for everyone?

In this article we introduce the notion of entrenchment to conceptualize the processes in which new technological options, through the interactions between a variety of actors, become viable and established practices in society, both satisfying and modifying needs and interests. The notion of entrenchment we use as a framework for an analysis of developments and debates in the field of cystic fibrosis testing and screening in Denmark. On the one hand, it appears that the development and introduction of cystic fibrosis (CF) screening to some extent is predetermined both by existing networks of human genome researchers, clinical geneticist, patients (organizations),funding organizations, and regulatory agencies, and by existing practices like that of prenatal diagnosis. On the other hand, in Denmark, the content and future of CF screening is shaped in ongoing processes or articulation of demand for screening and of its cultural and political acceptability, processes which also involve political decision-making and which (may) result in new networks and regimes. Yet, what appears to be an inherent and undecided part of the process of entrenchment of CF screening in Denmark, is how to allocate responsibilities and authority to decide what is acceptable and what not