1,980 research outputs found

    La fondation logique des probabilités chez Carnap

    Get PDF
    Carnap a eu une participation active dans les discussions entourant la crise des fondements avant de se lancer dans le projet d’établir les fondements logiques des probabilités, ce qu’il présente dans « Logical Foundations of Probability » (1950). Il a montré que les querelles entre l’interprétation des probabilités comme état du monde et comme état de connaissance de l’observateur étaient vaines puisqu’elles ne portaient pas sur le même concept. Pour lui, la logique des probabilités est la logique inductive : une probabilité décrit une relation logique, soit le degré de confirmation d’une hypothèse selon des données observées. Deux ans plus tard, dans « The Continuum of Inductive Methods » (1952), il enrichit son système et démontre qu’il existe une quantité infinie de méthodes inductives. Nous replacerons l’interprétation de Carnap parmi celles discutées à son époque et discuterons de certaines implications

    Entre la judiciarisation et l’intervention médico-psychosociale : la réalité des membres de l’entourage des personnes atteintes de maladie mentale

    Get PDF
    Dans cet article, l’auteure examine l’impact de la judiciarisation des personnes atteintes de maladie mentale sur les proches. Elle soumet l’hypothèse qu’une offre de service plus diversifiée réduirait le recours à la judiciarisation de ces personnes et atténuerait par le fait même les effets souvent dévastateurs sur les membres de l’entourage. Selon l’équation des familles, plus les services seront développés et adaptés, moins fréquemment les proches devront avoir recours aux tribunaux et moins régulièrement les personnes atteintes de maladie mentale se retrouveront derrière les barreaux.In this article, the author examines the impact of judicial intervention of individuals with mental illness on family members. The author submits the hypothesis that an offer of more diversified services could reduce legal intervention of these individuals and consequently attenuate the devastating effects on family members. According to the families’ equation, the more services will be developed and adapted, the less frequent family will have to call upon the legal system to intervene and fewer individuals with mental illness will find themselves behind bars.En este artículo, la autora examina el impacto de la judicialización en los parientes de las personas que sufren de una enfermedad mental. Presenta la hipótesis de que si se ofrecieran servicios más diversificados se tendría que recurrir menos a la judicialización de estas personas y se disminuirían, por el hecho mismo, los efectos con frecuencia devastadores en los miembros de su entorno. Según la ecuación de las familias, entre más se desarrollen y adapten los servicios, menos tendrán que recurrir los parientes a tribunales y menos se encontrarán las personas con enfermedades mentales tras los barrotes.Neste artigo, a autora examina o impacto da judiciarização das pessoas que sofrem transtornos mentais em seus familiares. Ela levanta a hipótese de que uma oferta de serviços mais diversificada reduziria o recurso à judiciarização destas pessoas e atenuaria assim, os efeitos, frequentemente devastadores sobre os membros da família. Segundo a famílias, quanto mais serviços são desenvolvidos e adaptados, menos frequentemente os familiares deverão recorrer aos tribunais e menos regularmente as pessoas que sofrem doenças mentais serão encarceradas

    The Holy Spirit in Spiritan Life and Mission

    Get PDF

    Bergson, Heidegger et la question du possible: le renversement d’une conception classique

    Get PDF
    Quel est le statut ontologique du « possible » et du « réel » ? Sous l’angle de la substance, de la notion et du temps, l’un prend-il le pas sur l’autre, l’un est-il prioritaire ? Alors qu’Aristote et Hegel ont défendu l’idée que le réel jouit d’une primauté sur le possible, Heidegger et Bergson ont avancé la thèse inverse : ils ont laissé entendre que le possible a préséance sur le réel. Le dessein que nous poursuivrons ici possède deux volets : d’une part, nous chercherons à souligner la distance qui sépare le couple Aristote/Hegel de la pensée heideggérienne sur la question du possible ; d’autre part, et en particulier, nous tâcherons de montrer que si la thèse que soutient Bergson s’éloigne en apparence largement de la conception classique, elle la rejoint malgré tout à bien des égards

    Le vocalisme de Roscelin de Compiègne

    Get PDF
    C’est un lieu commun d’affirmer que la querelle des universaux s’adosse à trois positions majeures : le « nominalisme », le « conceptualisme » et le « réalisme ». Outre que ces positions peuvent donner lieu à de nombreux raffinements et à plusieurs agencements, il est possible de leur ajouter une quatrième posture, assurément plus méconnue, celle du « vocalisme ». Qu’est-ce que le vocalisme ? En quoi se distingue-t-il des positions traditionnelles ? Ce sont les questions auxquelles nous tenterons de répondre ici en reconstruisant les thèses de Roscelin de Compiègne, philosophe médiéval, ainsi que la conception théologique qu’il développe

    A PCA3 gene-based transcriptional amplification system targeting primary prostate cancer.

    Get PDF
    Targeting specifically primary prostate cancer (PCa) cells for immune therapy, gene therapy or molecular imaging is of high importance. The PCA3 long non-coding RNA is a unique PCa biomarker and oncogene that has been widely studied. This gene has been mainly exploited as an accurate diagnostic urine biomarker for PCa detection. In this study, the PCA3 promoter was introduced into a new transcriptional amplification system named the 3-Step Transcriptional Amplification System (PCA3-3STA) and cloned into type 5 adenovirus. PCA3-3STA activity was highly specific for PCa cells, ranging between 98.7- and 108.0-fold higher than that for benign primary prostate epithelial or non-PCa cells, respectively. In human PCa xenografts, PCA3-3STA displayed robust bioluminescent signals at levels that are sufficient to translate to positron emission tomography (PET)-based reporter imaging. Remarkably, when freshly isolated benign or cancerous prostate biopsies were infected with PCA3-3STA, the optical signal produced from primary PCa biopsies was significantly higher than from benign prostate biopsies (4.4-fold, p < 0.0001). PCA3-3STA therefore represents a PCa-specific expression system with the potential to target, with high accuracy, primary or metastatic PCa epithelial cells for imaging, vaccines, or gene therapy

    The next 700 Krivine Machines

    Get PDF
    International audienceThe Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure lambda-terms. While its original description has remained unpublished, this machine has served as a basis for many variants, extensions and theoretical studies. In this paper, we present the Krivine machine and some well-known variants in a common framework. Our framework consists of a hierarchy of intermediate languages that are subsets of the lambda-calculus. The whole implementation process (compiler + abstract machine) is described via a sequence of transformations all of which express an implementation choice. We characterize the essence of the Krivine machine and locate it in the design space of functional language implementations. We show that, even within the particular class of Krivine machines, hundreds of variants can be designed

    Aspects of Availability Enforcing timed properties to prevent denial of service

    Get PDF
    We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, aspects can be seen as formal timed properties on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. The benefit of this formal approach is two-fold: the user keeps the semantic impact of weaving under control and (s)he can use a model-checker to optimize the woven program and verify availability properties

    Detection and resolution of aspect interactions

    Get PDF
    Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an important problem. Currently there is almost no support for the detection and resolution of such interactions. The programmer is responsible for identifying interactions between conflicting aspects and implementing conflict resolution code. In this paper, we propose a solution to this problem based on a generic framework for AOP. The contributions are threefold: we present a formal and expressive crosscut language, two static conflict analyses and some linguistic support for conflict resolution
    • …
    corecore