Results for 'Giselle Reis'

17 found
Order:
  1.  74
    The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. PEIRCE, FREGE, RUSSELL E O SURGIMENTO DA PREDICAÇÃO LÓGICA CONTEMPORÂNEA.Rafael dos Reis Ferreira - 2016 - Kinesis 8 (17):115-135.
    Apresentamos neste artigo explicitações histórico-conceituais sobre o surgimento da predicação lógica contemporânea. Quando se trata de predicação, remete-se de imediato à obra de Aristóteles, mas, com as transformações trazidas pela Lógica Contemporânea, o estudo da predicação deixa o plano do estudo lógico-gramatical para o estudo do plano da análise lógicomatemática. Veremos, nesse sentido, a importância dos trabalhos de Peirce, Frege e Russell para o surgimento da predicação lógica contemporânea. Embora Peirce tenha sido o precursor da introdução do conceito de função (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  56
    Aristóteles: De Anima.Maria Cecília Gomes dos Reis - 2006 - São Paulo, Brazil: Editora 34.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  4. Cómo tomar decisiones justas en el camino hacia la cobertura universal de salud.Ole Frithjof Norheim, Trygve Ottersen, Bona Chitah, Richard Cookson, Norman Daniels, Frehiwot Defaye, Nir Eyal, Walter Flores, Axel Gosseries, Daniel Hausman, Samia Hurst, Lydia Kapiriri, Toby Ord, Shlomi Segall, Gita Sen, Alex Voorhoeve, Tessa T. T. Edejer, Andreas Reis, Ritu Sadana, Carla Saenz, Alicia Yamin & Daniel Wikler - 2015 - Pan-American Health Organization (PAHO).
    La cobertura universal de salud está en el centro de la acción actual para fortalecer los sistemas de salud y mejorar el nivel y la distribución de la salud y los servicios de salud. Este documento es el informe fi nal del Grupo Consultivo de la OMS sobre la Equidad y Cobertura Universal de Salud. Aquí se abordan los temas clave de la justicia (fairness) y la equidad que surgen en el camino hacia la cobertura universal de salud. Por lo (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5. Laws of Nature: a philosophical approach / Leis da Natureza: uma abordagem filosófica.Rodrigo Reis Lastra Cid - 2019 - Macapá, Brazil: Editora da Universidade Federal do Amapá.
    This book deals with an internal theme of metaphysics, which is the metaphysics of the laws of nature. The author presents traditional contemporary theories, as well as his own original theory, and evaluates each one at a time. He also addresses the problem of the modality of the laws of nature and makes some criticism of the standard view of necessity as truth in all possible worlds, and shows an application of his discussion to the metaphysics of physics. / Este (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  15
    Uma Ideologia de Centro / A Center Ideology.Rodrigo Reis Lastra Cid (ed.) - 2020 - Porto Alegre: Editora Fi.
    O objetivo deste livro é propor uma reflexão sobre o ideário de centro, se perguntando se ele seria possível e como. Preferi chamar de “Uma Ideologia de Centro” em vez de “Ideário”, pois o termo “Ideologia” é instigante para um título. Entretanto tenho a noção de que essa palavra é bastante carregada de significados teóricos. No modelo marxista, grosso modo, a ideologia é um conjunto de crenças, construído pela parcela dominante da sociedade, para naturalizar a dominação. Não é nesse sentido (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Pensar ensino, pensar a prática – uma proposta de ensino baseada da filosofia de Platão e Aristóteles.Patrícia dos Reis Costa - 2015 - Actas 3:1-13.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. O Mito De Sísifo Enquanto Base Do Pensar Existencial.Patrícia dos Reis Costa de Arruda - 2015 - In Maurício Castanheira (ed.), Capim Limão: Ensaios sobre produção do conhecimento, material didático e outros textos. Rio de Janeiro, Brazil: Publit. pp. 84-98.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Sobre o significado da função proposicional no Tractatus de Wittgenstein.Rafael dos Reis Ferreira - 2016 - Dissertation, University of Campinas
    The analysis of logical predication has long philosophical tradition in which one of the central subjects of study is the analysis of the logical form of the proposition. We contemporaneously can say that the way more well-finished of logic predication is propositional function. Historically, the propositional function arises as a logical analysis of the proposition scheme resulting from the convergence of mathematics and logic between the XIX and XX centuries. Two of the main responsible for this convergence were Gottlob Frege (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  93
    Filosofia e Budismo em Diálogo, organizado por Antonio Florentino Neto. [REVIEW]Lucas Dos Reis Martins - 2016 - European Journal of Japanese Philosophy 1 (1):369-371.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  32
    Linguagem e línguas - uma orientação básica filosófica, por Rolf Elberfeld. [REVIEW]Lucas Dos Reis Martins - 2013 - Ekstasis: Revista de Fenomenologia E Hermenêutica 2 (2):06-10.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Contemplative Science: An Insider's Prospectus.W. B. Britton, A. C. Brown, C. T. Kaplan, R. E. Goldman, M. Deluca, R. Rojiani, H. Reis, M. Xi, J. C. Chou, F. McKenna, P. Hitchcock, Tomas Rocha, J. Himmelfarb, D. M. Margolis, N. F. Halsey, A. M. Eckert & T. Frank - 2013 - New Directions for Teaching and Learning 134:13-29.
    This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.
    Download  
     
    Export citation  
     
    Bookmark  
  13. Faire Des Choix Justes Pour Une Couverture Sanitaire Universelle.Ole Frithjof Norheim, Trygve Ottersen, Bona Chitah, Richard Cookson, Norman Daniels, Frehiwot Defaye, Nir Eyal, Walter Flores, Axel Gosseries, Daniel Hausman, Samia Hurst, Lydia Kapiriri, Toby Ord, Shlomi Segall, Gita Sen, Alex Voorhoeve, Daniel Wikler, Alicia Yamin, Tessa T. T. Edejer, Andreas Reis, Ritu Sadana & Carla Saenz - 2015 - World Health Organization.
    This report from the WHO Consultative Group on Equity and Universal Health Coverage offers advice on how to make progress fairly towards universal health coverage.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Intellect Et Imagination Dans la Philosophie Médiévale = Intellect and Imagination in Medieval Philosophy = Intelecto E Imaginaçao Na Filosofia Medieval: Actes du Xie Congrès International de Philosophie Médiévale de la Société Internationale Pour l'Étude de la Philosophie Médiévale, S.I.E.P.M., Porto, du 26 au 31 Août 2002.Maria Cândida da Costa Reis Monteiro Pacheco & José Francisco Meirinhos (eds.) - 2004 - Brepols Publishers.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. O Conceito do Trabalho: da antiguidade ao século XVI.Emanuel Isaque Cordeiro da Silva - manuscript
    SOCIOLOGIA DO TRABALHO: O CONCEITO DO TRABALHO DA ANTIGUIDADE AO SÉCULO XVI -/- SOCIOLOGY OF WORK: THE CONCEPT OF WORK OF ANTIQUITY FROM TO THE XVI CENTURY -/- RESUMO -/- Ao longo da história da humanidade, o trabalho figurou-se em distintas posições na sociedade. Na Grécia antiga era um assunto pouco, ou quase nada, discutido entre os cidadãos. Pensadores renomados de tal época, como Platão e Aristóteles, deixaram a discussão do trabalho para um último plano. Após várias transformações sociais entre (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Produção de conhecimento: uma característica fundamental das sociedades humanas.Emanuel Isaque Cordeiro da Silva - manuscript
    Produção de conhecimento: uma característica fundamental das sociedades humanas -/- 1. As diferentes formas de conhecimento A espécie humana não se limita a sobreviver no mundo. Ela também procura entendê-lo e modificá-lo de acordo com as diferentes formas como percebe a realidade. Essa busca, que articula a realidade objetiva e a subjetiva, é a matriz sobre a qual se constrói o que convencionamos chamar de conhecimento. Podemos definir o conhecimento como toda compreensão e prática adquiridas, cuja memória e transmissão permitem (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  71
    Teoria Democrática Moderna.Emanuel Isaque Cordeiro da Silva - manuscript
    Em meados do século XVI, surgiu a ideia de autonomia do indivíduo, que deu origem ao individualismo e ao liberalismo político. A concepção de democracia que se desenvolveu com base nesses princípios assumiu um perfil bastante diferente daquele utilizado na Grécia antiga. Se antes a democracia estava diretamente ligada à ideia de igualdade, em sua nova versão passou a ser relacionar primordialmente com a ideia de liberdade. Em decorrência dos ideais desenvolvidos naquele momento histórico, o principal dilema político fundamentava-se na (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark