Results for 'Gisele Dalva Secco'

13 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. 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  
  3. 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  
  4. Diálogos que nossos alunos podem ler.Gisele Dalva Secco - 2015 - Porto Alegre: Sci Books.
    Download  
     
    Export citation  
     
    Bookmark  
  5. 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  
  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. Proofs Versus Experiments: Wittgensteinian Themes Surrounding the Four-Color Theorem.G. D. Secco - 2017 - In Marcos Silva (ed.), How Colours Matter to Philosophy. Cham: Springer. pp. 289-307.
    The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Sobre os sentidos e os lugares interdisciplinares da Filosofia.G. D. Secco & Priscilla Tesch Spinelli - 2021 - Anais Do I Encontro de Filosofia E Ensino Do Rio Grande Do Sul.
    Download  
     
    Export citation  
     
    Bookmark  
  10. 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  
  11. 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  
  12. 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  
  13. Gametogênese Animal: Espermatogênese e Ovogênese.Emanuel Isaque Cordeiro da Silva - manuscript
    GAMETOGÊNESE -/- Emanuel Isaque Cordeiro da Silva Instituto Agronômico de Pernambuco Departamento de Zootecnia – UFRPE Embrapa Semiárido -/- • _____OBJETIVO -/- Os estudantes bem informados, estão a buscando conhecimento a todo momento. O estudante de Veterinária e Zootecnia, sabe que a Reprodução é uma área de primordial importância para sua carreira. Logo, o conhecimento da mesma torna-se indispensável. No primeiro trabalho da série fisiologia reprodutiva dos animais domésticos, foi abordado de forma clara, didática e objetiva os mecanismos de diferenciação (...)
    Download  
     
    Export citation  
     
    Bookmark