Results for 'Giselle Valarezo'

11 found
Order:
  1. History of logic in Latin America: the case of Ayda Ignez Arruda.Gisele Dalva Secco & Miguel Alvarez Lisboa - 2022 - British Journal for the History of Philosophy 30 (2):384-408.
    Ayda Ignez Arruda was a key figure in the development of the Brazilian school of Paraconsistent logic and the first person to write a historical survey of the field. Despite her importa...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Epistemologia e Currículo: registro do II Workshop de Filosofia e Ensino da UFRGS.Gisele Dalva Secco, Ronai Pires da Rocha, Daniel Simão Nascimento, Nastassja Pugliese, Frank Thoma Sautter, Marta Vitória de Alencar & Renato Matoso Brandão - 2015 - Porto Alegre, RS, Brasil: Federal University of Rio Grande do Sul.
    O livro reúne textos apresentados no II Workshop de Filosofia e Ensino, realizado na UFRGS em 2015, com a temática "Epistemologia e Currículo" -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  3. Aritmética e conhecimento simbólico: notas sobre o Tractatus Logico-Philosophicus e o ensino de filosofia da matemática.Gisele Dalva Secco - 2020 - Perspectiva Filosófica 47 (2):120-149.
    Departing from and closing with reflections on issues regarding teaching practices of philosophy of mathematics, I propose a comparison between the main features of the Leibnizian notion of symbolic knowledge and some passages from the Tractatus on arithmetic. I argue that this reading allows (i) to shed a new light on the specificities of the Tractarian definition of number, compared to those of Frege and Russell; (ii) to highlight the understanding of the nature of mathematical knowledge as symbolic or formal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Filosofia no Ensino Médio: distinções preliminares para uma didática mínima da lógica.Gisele Dalva Secco - 2013 - Controvérsia 9 (2):89-102.
    O texto fornece distinções conceituais engendradas desde uma perspectiva para o ensino de filosofia que contempla, em seu horizonte, o projeto a construção de uma didática mínima da lógica para o ensino médio. Após a apresentação de alguns aspectos positivos da referida perspectiva são indicadas duas maneiras usuais de compreender e praticar o ensino de lógica. O objetivo central do texto é mostrar como, desde a perspectiva inicialmente esboçada, os esclarecimentos conceituais propostos podem sugerir caminhos interdisciplinares para a didática da (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Diálogos que nossos alunos podem ler.Gisele Dalva Secco - 2015 - Porto Alegre: Sci Books.
    Download  
     
    Export citation  
     
    Bookmark  
  6. Anotações sobre Quando ninguém educa – questionando Paulo Freire. [REVIEW]Gisele Dalva Secco - 2017 - Revista Sofia 6 (3):175-191.
    Trata-se de uma análise do livro Quando ninguém educa (Rocha, 2017), visando expor uma contextualização, uma estruturação e uma avaliação dos principais eixos e propostas do livro.
    Download  
     
    Export citation  
     
    Bookmark  
  7. Anotações acerca de Symbolic Knowledge from Leibniz to Husserl. [REVIEW]Gisele Dalva Secco - 2015 - Revista Latinoamericana de Filosofia (2):239-251.
    This note presents an analysis of Symbolic Knowledge from Leibniz to Husserl, a collection of works from some members of The Southern Cone Group for the Philosophy of Formal Sciences. The volume delineates an outlook of the philosophical treatments presented by Leibniz, Kant, Frege, and the Booleans, as well as by Husserl, of some questions related to the conceptual singularities of symbolic knowledge –whose standard we find in the arts of algebra and arithmetic. The book’s unity of themes and (at (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. 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  
  9.  43
    Desempeño actoral en la teleserie peruana Mil oficios (2001-2003). Entrevista a la actriz Giselle Collao.Jesús Miguel Delgado Del Aguila - 2023 - Bordes. Revista de Estudios Culturales 26 (26):174-180.
    Esta entrevista está orientada a desentrañar la participación actoral de Giselle Collao con su personaje de Lucía en la serie televisiva Mil oficios (2001- 2003). Los temas que se desarrollarán para confrontar esa realidad serán la formación y la vocación que tuvo, así como la actitud que debió adoptar por las mismas pautas y los parlamentos del guion. De ese modo, su papel sería más verosímil y acogido con simpatía por la audiencia. Su interpretación en sí ha sido singular (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Review of Paul Ricoeur's Evil: A Challenge to Philosophy and Theology. [REVIEW]Subhasis Chattopadhyay - 2016 - Prabuddha Bharata or Awakened India 121 (June (6)):529-30.
    This review shows how Pierre Gisel's comments on Ricoeur are redundant; how Graham Ward gets Ricoeur's understanding of evil clearly; but then it goes on to show how both Gisel and Ward do not understand/mention the influence of St. Paul and Jürgen Moltmann on Ricoeur.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Métodos de Formulação e Balanceamento de Rações para Bovinos.Emanuel Isaque Cordeiro da Silva - manuscript
    INTRODUÇÃO A maioria dos alimentos que os bovinos de corte e leite consomem são os alimentos volumosos (forragens, gramíneas ou leguminosas) que é um alimento que possui teor de fibra detergente neutra (FDN) ≥ 25% da matéria seca (MS), ou teor de fibra ≥ 18% da MS. Por possuir grande quantidade de fibra em sua composição é um alimento que possui menor concentração de proteínas, carboidratos não estruturais (CNE) e lipídios. Para que um animal possa manter-se com alimentação volumosa, é (...)
    Download  
     
    Export citation  
     
    Bookmark