ABSTRACT Background: People living with HIV (PLH) under combined antiretroviral therapy (cART) are at risk of developing type 2 diabetes mellitus (T2DM). Objective: We examined the incidence of T2DM, associated factors and mean time to outcome in PLH under cART. Method: Data for this multicenter cohort study were obtained from PLH aged over 18, who started cART in 13 Brazilian sites from 2003 to 2013. Factors associated with incident T2DM were evaluated by Cox multiple regression models. Results: A total of 6724 patients (30,997.93 person-years) were followed from January 2003 to December 2016. A T2DM incidence rate of 17.3/1000 person-years (95%CI 15.8-18.8) was observed. Incidence of isolated hypertriglyceridemia and impaired fasting glucose (IFG) were 84.3 (95%CI 81.1-87.6) and 14.5/1000 person-years (95%CI 13.2-15.9), respectively. Mean time to T2DM onset was 10.5 years (95%CI 10.3-10.6). Variables associated with incident T2DM were age 40-50 [Hazard Ratio (HR) 1.7, 95%CI 1.4-2.1] and ≥ 50 years (HR 2.4, 95%CI 1.9-3.1); obesity (HR 2.1, 95%CI 1.6-2.8); abnormal triglyceride/HDL-cholesterol ratio (HR 1.8, 95%CI 1.51-2.2). IFG predicted T2DM (HR 2.6, 95%CI 1.7-2.5) and occurred on average 3.3 years before diabetes onset. Exposure to stavudine for ≥ 2 years was independently associated with incident T2DM [HR 1.6, 95%CI 1.0-2.2). Conclusion: Brazilian PLH under cART are at significant risk of developing T2DM and share risk factors for diabetes onset with the general population, such as older age, obesity, and having metabolic abnormalities at baseline. Moreover, stavudine use was independently associated with incident T2DM. Identifying PLH at a higher risk of T2DM can help caretakers trigger health promotion and establish specific targets for implementation of preventive measures.

A análise de decisão multicritérios (ADMC) é uma ferramenta emergente que permite a integração de fatores relevantes para os processos de avaliação de tecnologias em saúde (ATS). O objetivo deste estudo é apresentar uma síntese dos aspectos metodológicos da ADMC: definições, abordagens, aplicações e etapas de implementação. Realizou-se um estudo de caso no Instituto do Câncer do Estado de São Paulo (ICESP) com a intenção de compreender as perspectivas de tomadores de decisão no processo de elaboração de uma recomendação de incorporação de tecnologia no âmbito do Sistema Único de Saúde (SUS), por um relatório da Comissão Nacional de Incorporação de Tecnologias no SUS (CONITEC). A lógica paraconsistente anotada evidencial Eτ foi a abordagem metodológica escolhida por ser capaz de ser uma lógica subjacente para construtos capazes de sintetizar informações objetivas (provenientes da literatura científica) e subjetivas (provenientes de valores e preferências de especialistas na área de conhecimento); além de permitir a incorporação de informações conflitantes (contradições), vagas e mesmo incompletas no processo de valoração, resultantes da imperfeição das evidências científicas disponíveis. Foram identificadas como vantagens do método: permitir considerar de modo explícito os critérios que influenciaram a decisão; facilitar o acompanhamento e visualização das etapas do processo; permitir avaliar a contribuição de cada critério de modo isolado e agregado para o resultado da decisão; facilitar a discussão de perspectivas divergentes dos grupos de interesse e aumentar a compreensão das recomendações elaboradas. O emprego de uma abordagem explícita de ADMC poderá facilitar a mediação de conflitos e otimizar a participação de diferentes grupos de interesse.

Multi-criteria decision analysis (MCDA) is an emerging tool that allows the integration of relevant factors for health technology assessment (HTA). This study aims to present a summary of the methodological characteristics of MCDA: definitions, approaches, applications, and implementation stages. A case study was conducted in the São Paulo State Cancer Institute (ICESP) in order to understand the perspectives of decision-makers in the process of drafting a recommendation for the incorporation of technology in the Brazilian Unified National Health System (SUS), through a report by the Brazilian National Commission for the Incorporation of Technologies in the SUS (CONITEC). Paraconsistent annotated evidential logic Eτ was the methodological approach adopted in the study, since it can serve as an underlying logic for constructs capable of synthesizing objective information (from the scientific literature) and subjective information (from experts’ values and preferences in the area of knowledge). It also allows the incorporation of conflicting information (contradictions), as well as vague and even incomplete information in the valuation process, resulting from imperfection of the available scientific evidence. The method has the advantages of allowing explicit consideration of the criteria that influenced the decision, facilitating follow-up and visualization of process stages, allowing assessment of the contribution of each criterion separately, and in aggregate, to the decision’s outcome, facilitating the discussion of diverging perspectives by different stakeholder groups, and increasing the understanding of the resulting recommendations. The use of an explicit MCDA approach should facilitate conflict mediation and optimize participation by different stakeholder groups.

El análisis de decisión multicriterio (ADMC) es una herramienta emergente que permite la integración de factores relevantes en los procesos de evaluación de tecnologías en salud (ATS). El objetivo de este estudio es presentar una síntesis de los aspectos metodológicos de la ADMC: definiciones, enfoques, aplicaciones y etapas de implementación. Se realizó un estudio de caso en el Instituto del Cáncer del Estado de São Paulo (ICESP), con la intención de comprender las perspectivas de los tomadores de decisión, en el proceso de elaboración de una recomendación para la incorporación de tecnología en el ámbito del Sistema Único de Salud (SUS), mediante informes de la Comisión Nacional de Incorporación de Tecnologías en el SUS (CONITEC). La lógica paraconsistente anotada de evidencias Eτ fue el enfoque metodológico seleccionado, al tratarse de una lógica subyacente para constructos capaces de sintetizar información objetiva (procedente de la literatura científica) y subjetiva (procedente de valores y preferencias de especialistas en el área de conocimiento); además de permitir la incorporación de información conflictiva (contradicciones), vaga e incluso incompleta en el proceso de valoración, resultante de la imperfección en las evidencias científicas disponibles. Se identificaron como ventajas de este método: permitir considerar de modo explícito los criterios que influenciaron las decisiones; facilitar el seguimiento y visualización de las etapas del proceso; permitir la evaluación de la contribución de cada criterio de modo aislado y agregado para el resultado de las decisiones; facilitar la discusión de perspectivas divergentes en los grupos de interés y aumentar la comprensión de las recomendaciones elaboradas. El empleo de un enfoque explícito de ADMC podrá facilitar la comprobación de conflictos y optimizar la participación de diferentes grupos de interés.

A análise de decisão multicritérios (ADMC) é uma ferramenta emergente que permite a integração de fatores relevantes para os processos de avaliação de tecnologias em saúde (ATS). O objetivo deste estudo é apresentar uma síntese dos aspectos metodológicos da ADMC: definições, abordagens, aplicações e etapas de implementação. Realizou-se um estudo de caso no Instituto do Câncer do Estado de São Paulo (ICESP) com a intenção de compreender as perspectivas de tomadores de decisão no processo de elaboração de uma recomendação de incorporação de tecnologia no âmbito do Sistema Único de Saúde (SUS), por um relatório da Comissão Nacional de Incorporação de Tecnologias no SUS (CONITEC). A lógica paraconsistente anotada evidencial Eτ foi a abordagem metodológica escolhida por ser capaz de ser uma lógica subjacente para construtos capazes de sintetizar informações objetivas (provenientes da literatura científica) e subjetivas (provenientes de valores e preferências de especialistas na área de conhecimento); além de permitir a incorporação de informações conflitantes (contradições), vagas e mesmo incompletas no processo de valoração, resultantes da imperfeição das evidências científicas disponíveis. Foram identificadas como vantagens do método: permitir considerar de modo explícito os critérios que influenciaram a decisão; facilitar o acompanhamento e visualização das etapas do processo; permitir avaliar a contribuição de cada critério de modo isolado e agregado para o resultado da decisão; facilitar a discussão de perspectivas divergentes dos grupos de interesse e aumentar a compreensão das recomendações elaboradas. O emprego de uma abordagem explícita de ADMC poderá facilitar a mediação de conflitos e otimizar a participação de diferentes grupos de interesse.

Multi-criteria decision analysis (MCDA) is an emerging tool that allows the integration of relevant factors for health technology assessment (HTA). This study aims to present a summary of the methodological characteristics of MCDA: definitions, approaches, applications, and implementation stages. A case study was conducted in the São Paulo State Cancer Institute (ICESP) in order to understand the perspectives of decision-makers in the process of drafting a recommendation for the incorporation of technology in the Brazilian Unified National Health System (SUS), through a report by the Brazilian National Commission for the Incorporation of Technologies in the SUS (CONITEC). Paraconsistent annotated evidential logic Eτ was the methodological approach adopted in the study, since it can serve as an underlying logic for constructs capable of synthesizing objective information (from the scientific literature) and subjective information (from experts’ values and preferences in the area of knowledge). It also allows the incorporation of conflicting information (contradictions), as well as vague and even incomplete information in the valuation process, resulting from imperfection of the available scientific evidence. The method has the advantages of allowing explicit consideration of the criteria that influenced the decision, facilitating follow-up and visualization of process stages, allowing assessment of the contribution of each criterion separately, and in aggregate, to the decision’s outcome, facilitating the discussion of diverging perspectives by different stakeholder groups, and increasing the understanding of the resulting recommendations. The use of an explicit MCDA approach should facilitate conflict mediation and optimize participation by different stakeholder groups.

El análisis de decisión multicriterio (ADMC) es una herramienta emergente que permite la integración de factores relevantes en los procesos de evaluación de tecnologías en salud (ATS). El objetivo de este estudio es presentar una síntesis de los aspectos metodológicos de la ADMC: definiciones, enfoques, aplicaciones y etapas de implementación. Se realizó un estudio de caso en el Instituto del Cáncer del Estado de São Paulo (ICESP), con la intención de comprender las perspectivas de los tomadores de decisión, en el proceso de elaboración de una recomendación para la incorporación de tecnología en el ámbito del Sistema Único de Salud (SUS), mediante informes de la Comisión Nacional de Incorporación de Tecnologías en el SUS (CONITEC). La lógica paraconsistente anotada de evidencias Eτ fue el enfoque metodológico seleccionado, al tratarse de una lógica subyacente para constructos capaces de sintetizar información objetiva (procedente de la literatura científica) y subjetiva (procedente de valores y preferencias de especialistas en el área de conocimiento); además de permitir la incorporación de información conflictiva (contradicciones), vaga e incluso incompleta en el proceso de valoración, resultante de la imperfección en las evidencias científicas disponibles. Se identificaron como ventajas de este método: permitir considerar de modo explícito los criterios que influenciaron las decisiones; facilitar el seguimiento y visualización de las etapas del proceso; permitir la evaluación de la contribución de cada criterio de modo aislado y agregado para el resultado de las decisiones; facilitar la discusión de perspectivas divergentes en los grupos de interés y aumentar la comprensión de las recomendaciones elaboradas. El empleo de un enfoque explícito de ADMC podrá facilitar la comprobación de conflictos y optimizar la participación de diferentes grupos de interés.

RESUMO A elevada variabilidade do HIV-1, bem como, a ausência de mecanismos eficientes de reparo durante os estágios da replicação viral, contribuem para a rápida emergência de cepas de HIV-1 resistentes aos antirretrovirais. A pressão seletiva exercida pelas drogas, leva à fixação de mutações capazes de conferir graus variados de resistência. A presença dessas mutações constitui um dos fatores mais importantes na falha da resposta terapêutica aos medicamentos. Assim, é de fundamental importância compreender os padrões de resistência e os mecanismos a eles associados, possibilitando a escolha de um esquema terapêutico apropriado que considere a frequência e outras características das mutações. Utilizando a Rede Neural Artificial Paraconsistente, assentada na Lógica Paraconsistente Anotada Et que tem a capacidade de mensurar incertezas e inconsistências, obtivemos níveis de concordância acima de 90% quando comparado à metodologia proposta com a metodologia atual empregada para classificar os subtipos do HIV-1. Os resultados obtidos demonstram que a Rede Neural Artificial Paraconsistente pode servir como ferramenta promissora de análise.

ABSTRACT The high variability of HIV-1 as well as the lack of efficient repair mechanisms during the stages of viral replication, contribute to the rapid emergence of HIV-1 strains resistant to antiretroviral drugs. The selective pressure exerted by the drug leads to fixation of mutations capable of imparting varying degrees of resistance. The presence of these mutations is one of the most important factors in the failure of therapeutic response to medications. Thus, it is of critical to understand the resistance patterns and mechanisms associated with them, allowing the choice of an appropriate therapeutic scheme, which considers the frequency, and other characteristics of mutations. Utilizing Paraconsistents Artificial Neural Networks, seated in Paraconsistent Annotated Logic Et which has the capability of measuring uncertainties and inconsistencies, we have achieved levels of agreement above 90% when compared to the methodology proposed with the current methodology used to classify HIV-1 subtypes. The results demonstrate that Paraconsistents Artificial Neural Networks can serve as a promising tool of analysis.

Resumo A análise visual de EEG tem se mostrado útil na ajuda de diagnóstico de DA, sendo indicado em alguns protocolos clínicos. Porém, tal análise está sujeita à imprecisão inerente de equipamentos, movimentos do paciente, registros elétricos e variação individual da análise visual do médico. Objetivos: Utilizar a Rede Neural Artificial Paraconsistente para saber como determinar um grau de certeza no diagnóstico da doença de Alzheimer provável. Métodos: Dez pacientes com doença de Alzheimer provável e 10 controles foram submetidos ao registro de exames de EEG durante a vigília em repouso. Considerou-se como padrão normal de um paciente, a atividade de base entre 8,0 Hz a 12,0 Hz, permitindo uma variação de 0.5 Hz. Resultados: A RNAP foi capaz de reconhecer ondas que pertencem à banda Alfa como banda Alfa com evidência favorável de 0.30 e evidência contrária de 0.19, enquanto ondas não pertencentes ao padrão Alfa, foi obtido uma evidência favorável média de 0.19 e evidência contrária de 0.32, mostrando que a RNAP foi eficiente para reconhecer ondas Alfa, o que leva a uma concordância com o diagnóstico clínico de 80%. Conclusões: RNAP pode ser ferramenta promissora para manipular análise de EEG, tendo em mente ambas considerações: o interesse crescente de especialistas em análise visual de EEG e a capacidade da RNAP tratar diretamente dados imprecisos, inconsistentes e paracompletos, fornecendo uma interessante análise quantitativa.

Abstract EEG visual analysis has proved useful in aiding AD diagnosis, being indicated in some clinical protocols. However, such analysis is subject to the inherent imprecision of equipment, patient movements, electric registers, and individual variability of physician visual analysis. Objectives: To employ the Paraconsistent Artificial Neural Network to ascertain how to determine the degree of certainty of probable dementia diagnosis. Methods: Ten EEG records from patients with probable Alzheimer disease and ten controls were obtained during the awake state at rest. An EEG background between 8 Hz and 12 Hz was considered the normal pattern for patients, allowing a variance of 0.5 Hz. Results: The PANN was capable of accurately recognizing waves belonging to Alpha band with favorable evidence of 0.30 and contrary evidence of 0.19, while for waves not belonging to the Alpha pattern, an average favorable evidence of 0.19 and contrary evidence of 0.32 was obtained, indicating that PANN was efficient in recognizing Alpha waves in 80% of the cases evaluated in this study. Artificial Neural Networks - ANN - are well suited to tackle problems such as prediction and pattern recognition. The aim of this work was to recognize predetermined EEG patterns by using a new class of ANN, namely the Paraconsistent Artificial Neural Network - PANN, which is capable of handling uncertain, inconsistent and paracomplete information. An architecture is presented to serve as an auxiliary method in diagnosing Alzheimer disease. Conclusions: We believe the results show PANN to be a promising tool to handle EEG analysis, bearing in mind two considerations: the growing interest of experts in visual analysis of EEG, and the ability of PANN to deal directly with imprecise, inconsistent, and paracomplete data, thereby providing a valuable quantitative analysis.

Este trabalho trata da relação entre a Psicanálise e a Lógica, comentando a formalização do escrito psicanalítico por meio da lógica moderna, proposta por Lacan no Seminário XX, Mais Ainda

This article presents the relation between psychoanalysis and Logic, Treating the formalization of the psychoanalytical writing trough the modern logic, proposed by Lacan in the Le Séminaire XX, Encore.

Cet article présent la relation entre Psychoanalysis et Logic, en comementent la formalization de l'écrit psychanalytique, à partir de la logic modern, après la propose de Lacan dans Le Séminaire XX, Encore.

As categorias do ser são as distintas maneiras de se ver um objeto - as distintas maneiras de predicação. Um breve histórico do emprego das categorias por Aristóteles e por alguns autores hindus é apresentado. As categorias do ser podem ser formalizadas conjuntistamente e constituem um importante fundamento para as classificações biológicas.

The categories of being are the distinct manners of " seeing" an object - the different manners of predication. A brief history of the utilization of categories by Aristotle and some Hindu authors is presented. The categories of being may be formalized in set theory, constituting an important foundation for biological classification.

Como se sabe existem, pelo menos, quatro teorias de verdade que se evidenciam de relevância para o filósofo que se ocupa da Teoria da Ciência: 1) a Teoria da Correspondência, particularmente, na forma que lhe confiriu A. Tarski; 2) a Teoria da Coerência; 3) a Teoria Pragmática; e 4) a Teoria da Eliminação da Verdade (ou definibilidade da verdade). Neste artigo, de caráter expositivo, se apresenta um apanhado geral de alguns desenvolvimentos técnicos que têm sido feitos nos adimos anos sobre a verdade pragmática, que também é chamada de quase verdade.

There are at least four theories of truth that are relevant for philosophers of science theory: 1) Theory of Correspondence, particulary, in the way it was proposed by A. Tarski; 2) Theory of Coherence; 3) Pragmatic Theory; and 4) Theory of the Truth Elimination (or definibility of truth). In this expositor article, it is presented a general aspect of some technical developments that have been done recently about the Pragmatic Truth, which is also called " Quasi-Truth".