Results for 'Valeria Correa Vaz De Paiva'

1000+ found
Order:
  1. 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. The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, Uk
    This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. A temática da separação na filosofia platônica.Maria Aparecida de Paiva Montenegro - 2014 - O Que Nos Faz Pensar 34:69-90.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Forms and Roles of Diagrams in Knot Theory.Silvia De Toffoli & Valeria Giardino - 2014 - Erkenntnis 79 (4):829-842.
    The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  6. An Inquiry into the Practice of Proving in Low-Dimensional Topology.Silvia De Toffoli & Valeria Giardino - 2014 - In Giorgio Venturi, Marco Panza & Gabriele Lolli (eds.), From Logic to Practice: Italian Studies in the Philosophy of Mathematics. Cham: Springer International Publishing. pp. 315-336.
    The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  7. Envisioning Transformations – The Practice of Topology.Silvia De Toffoli & Valeria Giardino - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012-2014. Springer International Publishing. pp. 25-50.
    The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  8. Modelos Dinâmicos Aplicados à Aprendizagem de Valores em Inteligência Artificial.Nicholas Kluge Corrêa & Nythamar De Oliveira - 2020 - Veritas – Revista de Filosofia da Pucrs 2 (65):1-15.
    Experts in Artificial Intelligence (AI) development predict that advances in the development of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance is not made prudently and critically-reflexively, it can result in negative outcomes for humanity. For this reason, several researchers in the area have developed a robust, beneficial, and safe concept of AI for the preservation of humanity and the environment. Currently, several of the open problems in the field of AI research (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Dynamic Cognition Applied to Value Learning in Artificial Intelligence.Nythamar De Oliveira & Nicholas Corrêa - 2021 - Aoristo - International Journal of Phenomenology, Hermeneutics and Metaphysics 4 (2):185-199.
    Experts in Artificial Intelligence (AI) development predict that advances in the dvelopment of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance isn't done with prudence, it can result in negative outcomes for humanity. For this reason, several researchers in the area are trying to develop a robust, beneficial, and safe concept of artificial intelligence. Currently, several of the open problems in the field of AI research arise from the difficulty of avoiding unwanted (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. UM ESTUDO DE QUOD NIHIL SCITUR, DE FRANCISCO SANCHES (1550-1622).Rodrigo Pinto de Brito & André do Nascimento Correa - 2023 - Sképsis: Revista de Filosofia 24 (26):1-20.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Good AI for the Present of Humanity Democratizing AI Governance.Nicholas Kluge Corrêa & Nythamar De Oliveira - 2021 - AI Ethics Journal 2 (2):1-16.
    What does Cyberpunk and AI Ethics have to do with each other? Cyberpunk is a sub-genre of science fiction that explores the post-human relationships between human experience and technology. One similarity between AI Ethics and Cyberpunk literature is that both seek a dialogue in which the reader may inquire about the future and the ethical and social problems that our technological advance may bring upon society. In recent years, an increasing number of ethical matters involving AI have been pointed and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Azeredo Coutinho e a física do voo controlado de balões.José Carlos Corrêa de Andrades, Adriano Martins Moutinho & José Fernandes Pereira - 2019 - Revista Brasileira de Ensino de Física 41 (4):e20180310.
    Download  
     
    Export citation  
     
    Bookmark  
  13. Use of flight interception traps of Malaise type and attractive traps for social wasps record (Vespidae: Polistinae).Marcos Magalhaes de Souza, L. N. Perillo, Bruno Correa Barbosa & Fabio Prezoto - 2015 - Sociobiology 62 (3).
    The literature provides different methodologies for sampling social wasps, including, flight intercept trap type Malaise and Attractive trap, however, there is no consensus on its use. In this respect, the aim of this study was to evaluate the best use of Malaise traps and Attractive trap in biodiversity work of social wasps, and generate a collection protocol for the use of these traps. The study was conducted in the Parque Estadual do Rio Doce, located in the east of the state (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Análisis del movimiento antivacunas en Twitter: una perspectiva latinoamericana.Valeria Carolina Edelsztein & Claudio Cormick - 2023 - Journal of Science Communication (Jcom)-América Latina 6 (2).
    En este artículo realizamos un relevamiento exhaustivo de las publicaciones de Médicos por la Verdad, uno de los principales grupos antivacunas de Latinoamérica, en la red social Twitter durante la pandemia de COVID-19. Clasificamos sus tipos de razonamiento y el contenido de sus mensajes y mostramos que las propuestas existentes de análisis de discursos anticientíficos no pueden aplicarse a este caso particular. Proponemos, en consecuencia, una nueva categorización y su aplicación focalizada en las herramientas disponibles para comunicadores de la ciencia, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Contra la astrología: una propuesta didáctico-epistemológica para distinguir discursos anticientíficos.Valeria Carolina Edelsztein, Pablo José Francisco Ramos Méndez & Claudio Cormick - 2023 - Diálogos Pedagógicos 21 (41).
    En este trabajo, se propone una clasificación epistemológica teórica para el discurso astrológico a partir de evidencia empírica a fin de abordar el problema de cómo determinar específicamente qué es lo que lo hace ilegítimo. A partir de esta clasificación, se diseñó una intervención didáctica, enmarcada en el enfoque de Enseñanza de las Ciencias Naturales en Contexto (ECNC), con el objetivo de fomentar, en estudiantes de nivel secundario, la capacidad de distinguir enunciados cognoscitivamente ilegítimos -por infalsables o por falsos- respecto (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Variation in nesting behavior of the arboreal ant Camponotus sericeiventris (Hymenoptera: Formicidae).Elisa Furtado Fernandes, Mariana Monteiro de Castro, Bruno Corrêa Barbosa & Fábio Prezoto - 2014 - The Florida Entomologist 97 (3):1237-1239.
    This is the first record of nesting in the soil by the ant Camponotus sericeiventris (Guérin-Méneville, 1838), which has arboreal habit. The study was conducted in southeastern Brazil, in an ant colony located in a subterranean site. This study describes, for the first time, the ability of this arboreal species to vary its nesting site by the occupation of an unusual place in an urban environment; and this study demonstrates that this species is an interesting model for studies in urban (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Metanormativity: Solving questions about moral and empirical uncertainty.Nicholas Kluge Corrêa & Nythamar Fernandes de Oliveira - 2020 - Ethic@: An International Journal for Moral Philosophy 19 (3):790-810.
    How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How should we reconcile contradictory moral values? How can we aggregate different moral theories? How individual preferences can be fairly aggregated to represent a will, norm, or social decision? Conflict resolution and preference aggregation are tasks that intrigue philosophers, economists, sociologists, decision theorists, and many other scholars, being a rich interdisciplinary area for research. When trying to solve questions about moral uncertainty a meta understanding of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Singularity and Coordination Problems: Pandemic Lessons from 2020.Nicholas Kluge Corrêa & Nythamar De Oliveira - 2021 - Journal of Future Studies 26 (1): 61–74.
    One of the strands of the Transhumanist movement, Singulitarianism, studies the possibility that high-level artificial intelligence may be created in the future, debating ways to ensure that the interaction between human society and advanced artificial intelligence can occur safely and beneficially. But how can we guarantee this safe interaction? Are there any indications that a Singularity may be on the horizon? In trying to answer these questions, We'll make a small introduction to the area of security research in artificial intelligence. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Singularity and Coordination Problems: Pandemic Lessons from 2020.Nicholas Kluge Corrêa & Nythamar De Oliveira - manuscript
    One of the strands of the Transhumanist movement, Singulitarianism, studies the possibility that high-level artificial intelligence may be created in the future, debating ways to ensure that the interaction between human society and advanced artificial intelligence can occur safely and beneficially. But how can we guarantee this safe interaction? Are there any indications that a Singularity may be on the horizon? In trying to answer these questions, We'll make a small introduction to the area of security research in artificial intelligence. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Singularity and Coordination Problems: Pandemic Lessons from 2020.Nicholas Kluge Corrêa & Nythamar De Oliveira - 2021 - Journal of Future Studies 26 (1): 61–74.
    One of the strands of the Transhumanist movement, Singulitarianism, studies the possibility that high-level artificial intelligence may be created in the future, debating ways to ensure that the interaction between human society and advanced artificial intelligence can occur safely and beneficially. But how can we guarantee this safe interaction? Are there any indications that a Singularity may be on the horizon? In trying to answer these questions, We'll make a small introduction to the area of security research in artificial intelligence. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Record of Ophiocordyceps unilateralis sensu lato, the zombie-ant fungus, parasitizing Camponotus in an urban fragment of Atlantic Rainforest in southeastern Brazil.Bruno Corrêa Barbosa, Vitor Ribeiro Halfeldb, João Paulo Machado de Araújo, Tatiane Tagliatti Maciel & Fábio Prezoto - 2015 - Studies on Neotropical Fauna and Environment 50 (1):1-3.
    Ophiocordyceps is a fungal pathogen of ants of the tribe Camponotini. It is called zombie fungus, since it changes the host behavior, causing them to die in an exposed position, typically clinging onto and biting into the adaxial surface of shrub leaves. This study aimed to describe the occurrence of parasitic associations between Ophiocordyceps and ants of the genus Camponotus in an urban fragment of Atlantic Rainforest in southeastern Brazil and to measure the rate of hyperparasitism in Ophiocordyceps by other (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. La filosofía indígena desde la filosofía académica latinoamericana.Felipe Correa Mautz - 2024 - Veritas: Revista de Filosofía y Teología 57:79-102.
    El objetivo de este trabajo es dar cuenta de lo que en la discusión filosófica latinoamericana se ha entendido en las últimas décadas por “filosofía indígena”. Para este fin, se realiza un metaanálisis a partir de una revisión sistemática de los artículos académicos que mencionan categorías conceptuales vinculadas a aspectos noéticos de lo indígena, considerando una base de datos compuesta por las revistas latinoamericanas indexadas al catálogo SCOPUS en el área de filosofía. Teniendo en cuenta el material contenido en 42 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. El arte como el Gran Rechazo: la humanización de la estética.Jose Alfonso Correa-Cabrera - 2019 - Valenciana 23:191-212.
    Filósofos como Marcuse han subrayado las propiedades liberadoras del quehacer artístico. Pero si hemos de pensar el arte como el Gran Rechazo, es necesario mostrar qué rechaza el arte y con qué busca sustituirlo. Respecto a estas preguntas, existen dos respuestas antagónicas. Mientras una busca en la experiencia artística rechazar lo dado en nombre de una verdad intemporal, la otra también reniega de lo dado, pero admite el carácter provisorio de toda verdad. Aunque en apariencia sutil, esta distinción es sustancial. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. La filosofía indígena desde la filosofía académica latinoamericana.Felipe Correa-Mautz - 2024 - Veritas – Revista de Filosofia da Pucrs 57:79-102.
    El objetivo de este trabajo es dar cuenta de lo que en la discusión filosófica latinoamericana se ha entendido en las últimas décadas por “filosofía indígena”. Para este fin, se realiza un metaanálisis a partir de una revisión sistemática de los artículos académicos que mencionan categorías conceptuales vinculadas a aspectos noéticos de lo indígena, considerando una base de datos compuesta por las revistas latinoamericanas indexadas al catálogo SCOPUS en el área de filosofía. Teniendo en cuenta el material contenido en 42 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Sobre a import'ncia e abrangência da análise das proposições condicionais na história da lógica.Eduardo Simões, Vinícius Martins Corrêa & Walter Ribeiro Dos Santos - 2020 - Investigação Filosófica 11 (3):95.
    As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. El fin de lo humano en el concepto de desarrollo humano de Naciones Unidas.Felipe Correa - 2020 - Revista de Filosofía 19 (2):11-29.
    El concepto de desarrollo humano del Programa de las Naciones Unidas para el Desarrollo (PNUD) surge en 1990 como una crítica a la consideración de la economía como el fin último de los esfuerzos del desarrollo. En la visión del PNUD, la economía es considerada un fin relativo, es decir, un fin y un medio para el desarrollo humano. Al considerar, por su parte, el fin del desarrollo humano, este es identificado con el ensanchamiento de las opciones y libertades de (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Marine debris ingestion by sea turtles (Testudines) on the Brazilian coast: an underestimated threat?Robson Henrique Carvalho, Pedro Dutra Lacerda, Sarah da Silva Mendes, Bruno Corrêa Barbosa, Mariana Paschoalini, Fábio Prezoto & Bernadete Maria de Sousa - 2015 - Marine Pollution Bulletin 101 (3):746-749.
    Assessment of marine debris ingestion by sea turtles is important, especially to ensure their survival. From January to December 2011, 23 specimens of five species of sea turtleswere found dead or dying after being rehabilitated, along the coast of the municipality of Rio de Janeiro, Brazil. To detect the presence of marine debris in the digestive tract of these turtles, we conducted a postmortemexamination from the esophagus until the distal portion of the large intestine for each specimen. Of the total (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. The social wasp community (Hymenoptera, Vespidae) and new distribution record of Polybia ruficeps in an area of Caatinga Biome, northeastern Brazil.André Carneiro Melo, Bruno Corrêa Barbosa, Mariana Monteiro de Castro, Gilberto Marcos de Mendonça Santos & Fábio Prezoto - 2015 - Check List 11 (1):5.
    Social wasps are broadly distributed in Brazil, and their distribution is closely related to local plant composition. However, only a few studies on the diversity of these insects have been carried out in northeastern Brazil, and in Caatinga Biome the diversity is probably underestimated due to the lack of inventories for the region. Aiming at advancing the knowledge about the wasp fauna, we carried out this study from October 2005 to September 2006 in Ibipeba, northeastern Brazil. We collected 172 wasps (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Scratching where it doesn't itch: science denialism, expertise, and the probative value of scientific consensus.Claudio Cormick & Valeria Edelsztein - forthcoming - Daimon: Revista Internacional de Filosofía.
    In recent years, several strategies have been proposed to tackle social controversies about topics in which science is settled, among which one of the most influential is that of Elizabeth Anderson, who argues that any lay person with access to the Internet and basic education can reliably assess the acceptability of various claims involving expert knowledge. In particular, the author shows that this procedure can be successfully applied to the case of anthropogenic global warming. In this article we will try (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. La Ley y El Orden: Sobre Dos Sorprendentes (¡y Extendidos!) Errores En la Enseñanza de Las Ciencias Naturales.Claudio Cormick & Valeria Edelsztein - 2022 - Anales de la Asociación Química Argentina 109 (Número extra):223-229.
    It does not seem particularly daring to say that one objective of science education is to enable students to understand different phenomena in the world in their mutual relationship. This is roughly equivalent to promoting knowledge of scientific explanations, which involve resorting to regular relationships between certain phenomena and which, certainly, is different from knowledge of this or that type of event taken in isolation. In this text, we will draw attention to two opposing tendencies that, however, tend towards the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Temporal activity patterns and foraging behavior by social wasps (Hymenoptera, Polistinae) on fruits of Mangifera indica L.(Anacardiaceae).Bruno Corrêa Barbosa, Mariana Frias Paschoalini & Fábio Prezoto - 2014 - Sociobiology 61 (2):239-242.
    This research was done in Juiz de Fora, Minas Gerais, Brazil on february 2012, with objective was to determine which species of social wasps visiting mango fruits, their behaviors displayed by them while foraging and verify which the species of wasps visitors offer risk of accidents to farmers. The studied area was monitored during February 2012, from 8:00 to 17:00. in a 144 hour effort, and the data collected included the time of activity, diversity, aggressiveness and the general behavior of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Forrageamento por Recurso Alternativo em Época de Estiagem por Apis mellifera Linnaeus, 1758.Bruno Corrêa Barbosa, Tatiane Tagliatti Maciel & Fabio Prezoto - 2015 - Mensagem Doce 131 (2):1-4.
    Forrageamento por Recurso Alternativo em Época de Estiagem por Apis mellifera Linnaeus, 1758.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Los medios para el desarrollo humano: Ética y dianoética del desarrollo.Felipe Correa - 2021 - Revista Ethika+ 3:19-40.
    Una interpretación aristotélica del concepto de desarrollo humano propone como fin último del desarrollo la eudaimonía o felicidad, esto es, la plena realización de la capacidad eudemónica en el alma humana. Para esto se requiere del desarrollo de sus partes racional e irracional, lo que demanda como medios una ética y una dianoética del desarrollo, referidos a los modos de ser de las respectivas partes del alma. La interacción entre ambas partes genera siempre un ciclo virtuoso, existiendo la posibilidad de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Activity schedule and foraging in Protopolybia sedula (Hymenoptera, Vespidae).Mateus Detoni, Maria do Carmo Mattos, Mariana Monteiro de Castro, Bruno Corrêa Barbosa & Fabio Prezoto - 2015 - Revista Colombiana de Entomología 41 (2).
    Protopolybia sedula is a social swarming wasp, widely spread throughout many countries in the Americas, including most of Brazil. Despite its distribution, studies of its behavioral ecology are scarce. This study aimed to describe its foraging activity and relation to climatic variables in the city of Juiz de Fora in southeastern Brazil. Three colonies were under observation between 07:00 and 18:00 during April 2012, January 2013, and March 2013. Every 30 minutes, the number of foragers leaving and returning to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Métodos axiomáticos: a interpretação matemática de Lawvere da lógica de Hegel.Nicholas Corrêa - 2020 - Ágora Filosófica 20 (3):206-239.
    O pensamento axiomático de Hilbert foi um influente modelo filosófico que motivou movimentos como o positivismo no início do século XX, em diversas áreas dentro, e fora, da filosofia, como a epistemologia e a metamatemática. O formalismo axiomático fornece, através do uso da lógica de primeira ordem, uma importante fundação para modelos lógicos formais, o que, para Hilbert, representaria um modelo universal de investigação empírica, não só para a matemática, mas para todas as ciências naturais, e pela visão positivista, também (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Un enfoque aristotélico del desarrollo humano.Felipe Correa Mautz - 2023 - Aporia 4:102-117.
    El desarrollo humano es, en el contexto de los estudios del desarrollo internacional, un concepto difundido a partir de 1990 por el Programa de las Naciones Unidas para el Desarrollo (PNUD). Este artículo propone una interpretación alternativa del concepto de desarrollo humano que resuelve algunas inconsistencias producidas por la confluencia de las distintas corrientes teóricas que dieron origen al concepto. La nueva interpretación propuesta proviene de los aportes del enfoque aristotélico de Martha Nussbaum y, más directamente, de la antropología aristotélica (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Problemas de Segurança em Inteligência Artificial (Caderno de Resumos do XIX Congresso Internacional de Filosofia da PUCPR 2021 Subjetividade, Tecnologia e Meio Ambiente).Nicholas Kluge Corrêa - 2021 - Guarapuava - Boqueirão, Guarapuava - PR, Brasil: APOLODORO VIRTUAL EDIÇÕES.
    A ansiedade gerada pela possível criação de inteligência artificial geral, algo profetizado desde a fundação do campo de pesquisa (i.e., Dartmouth's Summer Research Project on Artificial Intelligence) (MCCARTHY et al., 1955), é algo comumente investigado dentro dos círculos transhumanistas e singularistas (KURZWEIL, 2005; CHALMERS, 2010; TEGMARK, 2016; 2017; CORRÊA; DE OLIVEIRA, 2021). Por exemplo, em seu livro “Superintelligence: Paths, Dangers, Strategies”, Nick Bostrom (2014) apresenta uma série de argumentos para justificar a ideia de que precisamos ser cautelosos em relação a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Viés da Escalada, Daemons de Otimização, e a Influência da Narrativa Social Aceleracionista (Hill-Climbing Bias, Optimization Daemons, and the Influence of Accelerated Social Narratives).Nicholas Kluge Corrêa - 2021 - Ciências and Cognição 26 (2):266-276.
    O fenômeno de aceleração social, intimamente ligado a nossa modernização tecnológica e os sistemas políticos e sociais que adotamos, vem sendo alvo de questionamentos por parte da teoria crítica por diversos filósofos e sociólogos, principalmente em relação a se tal "aceleração" seja algo que, possa ser justificável pelo bem comum da sociedade. De fato, as rápidas mudanças que ocorreram no último século causaram uma tremenda mudança em nossos estilos-de-vida, e na maneira como experienciamos o mundo. Que a nossa sociedade mudou (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  80
    Liberdade de Palavra: uma leitura ética do existencialismo sartreano.Marian Corrêa - 2016 - Dissertation, Universidade Federal de Santa Maria
    Download  
     
    Export citation  
     
    Bookmark  
  40. A dimensão do Ideal nas dificuldades de aprendizagem.Crístia Rosineiri Gonçalves Lopes Correa - 2011 - Dissertation, Ufjf, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  41. Freire, Educação Libertária e Anarquismo.Nicholas Kluge Corrêa & Carlos Alberto Rojas Carvajal - manuscript
    Para comemorarmos o centenário do patrono da Educação Brasileira, Paulo Reglus Neves Freire, iremos neste breve estudo propor um diálogo entre a pedagogia libertária de Freire e algumas princípios filosóficos que a fundamentam. Inicialmente, investigamos a trajetória histórica do pedagogo nordestino, e os momentos mais marcantes de sua vida cosmopolita. Em segundo, apresentaremos alguns dos principais alicerces de sua metodologia pedagógica, contudo, dada a vasta obra publicada por Freire, qualquer breve revisão será fadada em apenas ser um breve vislumbre da (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Por que ainda trabalhamos tanto? Reflexões sobre uma sociedade automatizada.Nicholas Kluge Corrêa - manuscript
    A mais de um século que o fenômeno da automatização dos meios de trabalho vem criando grande apreensão entre nós. Afinal, seríamos todos substituídos por máquinas em algum futuro próximo? Seriam todas as formas de trabalho automatizáveis? Tais questionamentos vêm levantando uma série de críticas pela comunidade engajada em ética de máquina e ética da inteligência artificial. Contudo, gostaria de nesta breve resenha, atacar este problema por outro ângulo, afinal, podemos criticar tal fenômeno de uma ampla variedade de pontos de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. A Hipótese da Permissibilidade.Nicholas Kluge Corrêa - 2021 - In Jeferson Forneck, Brandon Jahel da Rosa, Pedro Antônio Gregório de Araujo & Valentinne Serpa (eds.), XXI SEMANA ACADÊMICA DO PPG EM FILOSOFIA DA PUCRS VOLUME II – FILOSOFIA MEDIEVAL / FEMINISMO / FILOSOFIA ANALÍTICA. pp. 175-188.
    Um posicionamento muito comum entre teóricos do campo de pesquisa em Inteligência Artificial é aquele no qual definimos “Inteligência” como uma capacidade intrinsecamente relacionada à perseguição de metas e objetivos, algo que podemos chamar de uma “definição teleológica” para o fenômeno de inteligência. Contudo, uma possível crítica contra esta definição pode ser levantada devido a sua aparente vagueza. Como qualquer comportamento pode ser descrito como um objetivo a ser cumprido, e funções de utilidade pertencem a uma vasta família de funções, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Ética e Segurança da Inteligência Artificial: ferramentas práticas para se criar "bons" modelos.Nicholas Kluge Corrêa - manuscript
    A AI Robotics Ethics Society (AIRES) é uma organização sem fins lucrativos fundada em 2018 por Aaron Hui, com o objetivo de se promover a conscientização e a importância da implementação e regulamentação ética da AI. A AIRES é hoje uma organização com capítulos em universidade como UCLA (Los Angeles), USC (University of Southern California), Caltech (California Institute of Technology), Stanford University, Cornell University, Brown University e a Pontifícia Universidade Católica do Rio Grande do Sul (Brasil). AIRES na PUCRS é (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Diagnosis of wildlife received and rescued by the Instituto Ecologico Buzios de Mata Atlantica around the Pau-Brasil Environmental Protection Area in the Lake District, RJ.Pedro Dutra Lacerda, Bruno Corrêa Barbosa, Mariana Paschoalini & Tatiane Tagliatti Maciel - 2014 - Boletim Do Observatório Ambiental Alberto Ribeiro Lamego 8 (1):75-82.
    This study aimed to survey wild species voluntarily received or rescued in the Lake District, State of Rio de Janeiro, in 2011. The research aimed to identify endangered species, quantify the groups and know the destination given to specimens. The records were obtained from the Instituto Ecológico Búzios Mata Atlântica, an NGO responsible for the Environmental Protection Area named Pau-Brasil and for the Lake District. The analysis showed that 181 animals were seized, 51% mammals (13 species), 25% reptiles (13 species), (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Urban Green Areas: History, Concepts and Ecological Importance.Tatiane Tagliatti Maciel & Bruno Corrêa Barbosa - 2015 - CES Revista 29 (1):30-42.
    The constant changes in the landscape caused mainly by the urban expansion process, have led to the destruction, fragmentation and isolation of natural habitats, with consequent damage to biodiversity. Recognized as potential "refuges" for biodiversity, urban areas have received great attention to the conservation of animals in addition to exercising functions of aesthetic and recreational. In this context, urban vegetation receives different nomenclatures are used interchangeably as synonyms, when in reality, in many cases, are not. In order to highlight the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Pêro Vaz de Caminha e a Figura da Repetição: Uma Revisitação Histórico-filosófica da Carta do Achamento do Brasil.Eurico Carvalho - 2021 - Portuguese Studies Review 29 (2):9-53.
    The Letter from Pero Vaz de Caminha to the King of Portugal, Manuel I, is a unique document because its account of first contact with a people unknown in Europe up to that time may be regarded as evidence of the anthropological impossibility of a neutral gaze. This is an asymmetric testimony, as we do not possess (for obvious reasons) the Amerindian counterpart of European discourse. Although the letter’s author is someone who fully assumes the objectivity claim, we must not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Relação e Efeitos Bioquímico-nutricionais Sobre a Involução Uterina Retardada em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE A INVOLUÇÃO UTERINA RETARDADA EM VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- 2. INVOLUÇÃO UTERINA RETARDADA -/- A involução uterina retardada é uma desordem reprodutiva parcialmente ocasionada por problemas nutricionais. Terminados os mecanismos do parto, os órgãos genitais da fêmea sofrerá alterações em seu tamanho, peso e forma, eles reduzem de tamanho até sua normalização, esse processo é conhecido como involução uterina (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  44
    Considerações legais e forenses do aborto infeccioso bovino na “Saúde Única”: Revisão (18th edition).Jackson Barros Do Amaral, Vinícius José Moreira Nogueira & Wendell da Luz Silva (eds.) - 2024 - Londrina: Pubvet.
    In Brazil, the social demand for veterinary expertise is growing. However, there is still a shortage of professionals trained in this area to apply specific knowledge to each case. Studies and research into forensic veterinary medicine are necessary for veterinary experts to assist in investigations and legal proceedings. Veterinary medicine has subjects on its curriculum that cover the knowledge needed to apply in the fields of animal health, public health and the environment. The interaction between human and veterinary medicine, as (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000