Da teoria à prática da interdisciplinaridade: a experiência do Pró-Saúde Unifor e seus nove cursos de graduação

A Universidade de Fortaleza e a Secretaria de Saúde do município se vincularam ao Programa Nacional de Reorientação da Formação Profissional em Saúde (Pró-Saúde II), fortalecendo a parceria para reorientar a formação profissional por meio dos cursos de graduação do Centro de Ciências da Saúde da universidade. O projeto prioriza o desenvolvimento de ações interdisciplinares de assistência e atenção à saúde, proporcionando reforço aos Sistemas Locais Saúde-Escola nas áreas de abrangência de Centros de Saúde da Família, sensibilizando gestores e profissionais do serviço sobre a atuação interdisciplinar e implantando equipes ampliadas de saúde, buscando a educação permanente dos docentes, discentes e profissionais do serviço. Este artigo relata as ações e estratégias desenvolvidas neste contexto e produz uma reflexão acerca deste processo, mediante relato das mudanças nas estruturas curriculares nos cursos envolvidos e das atividades desenvolvidas nas unidades de saúde. Discute, ainda, aspectos que merecem ser aprofundados na interação ensino-serviço.

Teoria e Método para um Modelo de Avaliação dos Hospitais de Ensino no Brasil

RESUMO Hospitais de Ensino servem de cenário de prática para atividades curriculares de cursos da área da saúde, podendo ser de propriedade de uma Instituição de Ensino Superior, pública ou privada, ou formalmente conveniados a esta, apresentando como eixos de reestruturação atenção à saúde, gestão hospitalar, ensino e pesquisa. Desta forma, este trabalho tem como objetivo descrever um modelo heurístico de avaliação de Hospitais de Ensino com base nos conceitos de paradigma de pesquisa e de modelo teórico, tomando como hipótese de trabalho que a avaliação é uma aplicação da metodologia das ciências sociais. Assim, com respeito ao marco metodológico, elegemos a Avaliação de Quarta Geração de Egon G. Guba e Yvona S. Lincoln como metodologia de apreensão dos significados, valores, questões e preocupações frente aos processos de gestão, ensino, pesquisa e assistência, por meio de seus stakeholders, implicados no processo.

Formal semantics for propositional attitudes

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or preparatory conditions. According to standard logic of attitudes (Hintikka), human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode.

Indiscernibilidade e identidade em química: aspectos filosóficos e formais

Neste artigo tratamos, de um ponto de vista formal e filosófico, com alguns conceitos que fazem parte da química usual. As teorias da química, e seus conceitos, normalmente são apresentadas de um ponto de vista informal (não axiomatizada), e isso pode trazer dificuldades filosóficas (embora a química propriamente - bem como também as outras disciplinas da ciência aplicada - pareçam não sofrer qualquer restrição quanto a isso). Aqui estaremos ocupados em um aspecto parti-cu-lar, que diz respeito à indiscernibilidade de alguns objetos básicos da química, tais como átomos, moléculas, bem como de seus componentes. Começamos com uma visão geral da identidade destes compostos e seus componentes a partir de uma perspectiva filosófica e, em seguida, mostramos em que sentido o conceito de identidade dos compostos químicos é problemático em relação ao conceito correspondente de identidade na lógica e matemática clássicas (que, como em geral é suposto, estão 'alicerçando' as teorias químicas). Argumentamos que, por um lado, a química parece supor que esses objetos básicos precisam ser 'idênticos' (indistinguíveis) uns aos outros (como enfatizado há muito tempo por John Dalton, como veremos.) Por outro lado, do ponto de vista formal, se a lógica subjacente à teoria atômica for a lógica clássica (que também é pano de fundo da matemática padrão), coisas idênticas devem ser a mesma coisa e logo 'colapsar' em apenas uma (e este não é o caso em química, uma vez que temos uma enorme quantidade de átomos e moléculas semelhantes, mas não apenas um). Esta aparente contradição pode ser tratada de várias perspectivas e, aqui, propomos o uso de uma teoria de conjuntos não-clássica (a saber, a teoria de quase-conjuntos) para alicerçar uma formulação axiomática de certas teoria químicas, mostrando como essa diferente base matemática pode nos levar a uma visão que está mais perto da química em si. Como esta teoria não é conhecida em geral, uma breve revisão se faz necessária. Por último, mostramos como podemos construir modelos matemáticos para átomos e moléculas utilizando esta teoria de conjuntos alternativa evitando, assim, o problema lógico acima mencionado, e discutimos um pouco da abordagem mereológica dos compostos químicos a partir dessa perspectiva quase-conjuntista.

HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA)

Resumen El articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1) y (3), como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1) (Ver también (2) y (3)) sobre estos temas.

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC , a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

Momentos-L: teoria e aplicação em hidrologia

Esta nota técnica foi redigida com o objetivo de apresentar o método momentos-L, que tem sido proposto para o cálculo dos parâmetros das principais distribuições de probabilidades utilizadas em estudos hidrológicos. Também foi seu objetivo inferir sobre o tipo de distribuição estatística mais empregada em aplicações específicas. Com base na revisão, pôde-se concluir que, ao analisar dados de eventos extremos, é recomendável testar a aderência, pelo menos, das seguintes distribuições de três parâmetros: Generalizada Logística, Generalizada de Eventos Extremos, Generalizada Normal, Pearson tipo III e Generalizada de Pareto. Concluiu-se também que os parâmetros dessas distribuições, e seus quantis, devem ser estimados utilizando os momentos-L derivados dos momentos ponderados por probabilidade.

A conservação do papagaio-da-cara-roxa (Amazona brasiliensis) no estado do Paraná: uma experiência de Educação Ambiental no ensino formal

No presente trabalho, avaliou-se a experiência de Educação Ambiental do "Projeto de Conservação do Papagaio-da-Cara-Roxa (Amazona brasiliensis)", no ensinoformal, realizado pela Sociedade de Pesquisa em Vida Selvagem e Educação Ambiental (SPVS), no litoral norte do Estado do Paraná. A experiência teve o intuito de fomentar, tanto no corpo docente quando no corpo discente, a discussão sobre valores e princípios que norteiam as relações homem/natureza, desenvolvendo-se, assim, uma interação mais responsável com o meio ambiente. Foram desenvolvidos módulos-educativos sobre o papagaio-da-cara-roxa e seu ambiente, direcionados a 795 estudantes do ensino fundamental, nos Municípios de Paranaguá e Guaraqueçaba. Para analisar a eficácia das atividades, os estudantes responderam a testes antes e depois do processo educativo que mediram mudanças obtidas com relação ao incremento de conhecimento, postura e valorização do papagaio-da-cara-roxa e de seu ambiente. Os resultados indicaram que a utilização do exemplo de uma espécie, ameaçada de extinção e que ocorre próximo às comunidades envolvidas no processo de conservação, serviu de base para a associação do tema específico para com uma realidade ambiental mais ampla e contextualizada localmente.

Identificação de conflito de uso da terra em áreas de preservação permanente no entorno do parque nacional do Caparaó, Estado de Minas Gerais

Este estudo teve como objetivos elaborar um mapa de uso da terra com base nas imagens do satélite IKONOS II, delimitar de maneira automática as áreas de preservação permanente e identificar a ocorrência de conflitos de usos, tendo como referência legal o Código florestal e a Resolução n.º 303 do CONAMA. A pesquisa foi desenvolvida na entorno do Parque Nacional do Caparaó, pertencente aos municípios de Alto Jequitibá, Alto Caparaó, Caparaó e Espera Feliz, todos situados no estado de Minas Gerais. Utilizando os recursos disponíveis no geoprocessamento, foi possível mapear 8 classes de uso da terra e delimitar as áreas de preservação permanente situadas em áreas com altitudes superior a 1.800 metros (8,42 ha), no terço superior dos morros (18,67 ha); encostas com declividade superior a 45 graus (92,96 ha); nascentes e suas respectivas áreas de contribuição (1.989,44 ha); margens dos cursos d´água com largura inferior a 10 metros (3.957,19 ha); e no terço superior das sub-bacias (6.031,54 ha), perfazendo um total de 12.098,22 ha (48,06%) da área total da bacia. A área de uso indevido correspondeu a 8.922,91 ha (73,75%), sendo as classes cafezal (5.183,43 ha) e pastagem (3.650,74 ha) as principais ocorrências nessas áreas. Apenas 2.160,69 ha (18,40%) das áreas de preservação permanente estão protegidas por vegetação nativa.

Estimativa das condições de conforto térmico para avicultura de postura usando a teoria dos conjuntos Fuzzy

Neste trabalho, foi utilizada uma ferramenta matemática promissora na análise de sistemas e/ou processos, particularmente na área de produção animal. Essa ferramenta é a desenvolvida segundo a abordagem da teoria dos Conjuntos Fuzzy e, neste caso específico, permitiu a análise da composição das variáveis climáticas independentes, como temperatura de bulbo seco e umidade relativa do ar, que influenciam na variável dependente denominada conforto térmico das aves. Foi realizada a construção de regras baseadas na intuição humana, segundo o conhecimento de especialistas da área, a partir do que é possível simular cenários distintos para o suporte à decisão de construção de galpões para abrigo a animais. Neste trabalho, foi estimado o conforto térmico para alojamento de aves poedeiras em produção. Os resultados foram analisados, usando-se o ambiente de computação científica MATLAB 6.5, o que pode ser realizado iterativamente a cada cenário gerado. Com base nos resultados obtidos, pode-se analisar as condições de conforto para distintas composições das variáveis de entrada.

Filtros de areia aplicados à irrigação localizada: teoria e prática

A aplicação de filtros de areia em sistemas de irrigação localizada é recomendada quando a água possui contaminação orgânica e de algas. O correto dimensionamento e manutenção desses equipamentos são essenciais para garantir o controle efetivo da qualidade da água de irrigação, visando a reduzir a obstrução de emissores, a manter a uniformidade de aplicação de água e a evitar o aumento nos custos de operação do sistema. Apesar da existência de informações técnicas sobre o projeto, a operação e a manutenção desses filtros na literatura, elas estão dispersas e com detalhamento insuficiente para permitir otimização do dimensionamento da estrutura hidráulica e da escolha do meio poroso a ser utilizado. Dessa forma, o objetivo deste trabalho é apresentar uma revisão de literatura, relacionando informações práticas com conhecimento científico existente, buscando induzir e ampliar as pesquisas sobre este tema e contribuir para que as funções operacionais estabelecidas para o equipamento sejam plenamente alcançadas. Espera-se, também, auxiliar na melhoria dos processos de filtração e de retrolavagem na irrigação agrícola e no desenvolvimento de procedimentos metodológicos de projeto e no uso racional desses dispositivos.

Consentimento Informado na Pesquisa Clínica: Teoria e Prática

Objetivo: avaliar a concordância entre a teoria sobre consentimento informado, representada pela Resolução 01/88, e a prática de sua obtenção de acordo com o relato de pesquisadores e de mulheres que participaram de suas pesquisas. Métodos: onze pesquisadores de três centros de excelência em pesquisa sobre regulação da fecundidade e 18 mulheres, sujeitos de suas pesquisas. A informação foi obtida por meio de entrevistas em profundidade e foi realizada análise de conteúdo. Resultados: o relato dos pesquisadores estava de acordo com as exigências da Resolução, entretanto, o relato das mulheres mostrou que a maioria dos tópicos exigidos não foi tratada com elas quando convidadas para a pesquisa. Conclusão: observou-se discordância entre teoria e prática em obter o consentimento. Isto pode dever-se a dificuldades no cumprimento das exigências da Resolução então em vigor. Por outro lado, também é possível pensar em dificuldades dos pesquisadores para abordar as mulheres e/ou que elas tenham esquecido as informações recebidas. Finalmente, a obtenção do consentimento dos pesquisadores e das mulheres para participarem neste estudo pode ter colaborado para a ocorrência desta discordância.