Recent Projects
LogLibras (ongoing)
The objective of LogLibras is to didactically transpose Logic contents for High School, inserted in the Philosophy discipline, considering the cognitive perspective of deaf students in their particularities. Thus, the material is elaborated as a specific gestural-visual content, considering the philosophical thought, especially Logic, with all its conceptual richness and rigor.
Funded by National Council for Scientific and Technological Development (CNPq) – Ministry of Science, Technology and Innovation (Brazil).
TEDxJundiaí (ongoing)
TEDx is a grassroots initiative, created in the spirit of TED’s overall mission to research and discover “ideas worth spreading.” TEDx brings the spirit of TED to local communities around the globe through TEDx events. These events are organized by passionate individuals who seek to uncover new ideas and to share the latest research in their local areas that spark conversations in their communities.
Group for Popularization and Education in Logic and Artificial Intelligence – ideIA+ (2020-2021)
Project “Artificial Intelligence: Logic and Humanities”. Funded by National Council for Scientific and Technological Development (CNPq) – Ministry of Science, Technology and Innovation (Brazil).
FOCA no ENEM (2020-2021)
In an innovative activity in the region of Jundiaí-SP, Brazil, MOV8 has prepared a project that involves more than 20 volunteer teachers to produce preparatory courses to ENEM (a Brazilian test similar to SAT that allows the enrollment in free public Universisties) in order to mitigate the impacts of Covid-19 pandemic in education. Aired by Rádio Difusora (810AM) and available on digital platforms of streaming (like Spotify).
Communication and Popularization of Science
Links to some recent activities
Blog
- TEDxJundiaí: OlharesNo TEDxJundiaí deste ano, escolhemos o tema “Olhares” para explorar como nossas vivências e perspectivas moldam a forma como percebemos o mundo. Desde seu início, o TEDxJundiaí (evento local com uma licença TED oficial) se propôs a reunir pessoas de diversas áreas, cada uma trazendo um olhar único sobre questões que nos afetam profundamente. Em… Continue reading TEDxJundiaí: Olhares
- Desvendando a Lógica com “Cavaleiros” e “Patifes”Imagine que você está em uma ilha peculiar onde todos os habitantes são ou cavaleiros – que sempre dizem a verdade – ou patifes – que sempre mentem. Durante uma caminhada, você encontra dois desses ilhéus e, sabendo que um deles é cavaleiro e o outro é patife, um deles declara: “Nós dois somos patifes!”… Continue reading Desvendando a Lógica com “Cavaleiros” e “Patifes”
- Como Aristóteles criou o ComputadorOs filósofos que ele influenciou prepararam o terreno para a revolução tecnológica que refez o nosso mundo. Por Chris Dixon. Tradução por Rafael R. Testa (com hyperlinks para referências). A história dos computadores é frequentemente contada como uma história de objetos, desde o ábaco até a máquina de Babbage e as máquinas de decifrar códigos… Continue reading Como Aristóteles criou o Computador
- “Revisão de Crenças” e o papel da Lógica na FilosofiaA Lógica sempre desempenhou um papel central na Filosofia, servindo como uma ferramenta crucial para a análise, avaliação e construção de argumentos. Na edição especial da revista Principia, organizada pelo meu colega David Suárez-Rivero, diversos artigos colaboram com a discussão sobre a utilidade da lógica no fazer filosófico, apresentando argumentos históricos e contemporâneos que reforçam… Continue reading “Revisão de Crenças” e o papel da Lógica na Filosofia
- A Verdade na Era das Redes SociaisVivemos em uma era onde as redes sociais transformaram radicalmente nossa interação com a informação. Essas plataformas, movidas por algoritmos, moldam nossas percepções de realidade e influenciam comportamentos em massa. Durante a pandemia de Covid-19, vimos como teorias negacionistas se disseminaram rapidamente, ilustrando o potencial dessas redes para distorcer a verdade. Mas a manipulação informacional… Continue reading A Verdade na Era das Redes Sociais
- Contagem de Público por IA: Entrevista com Márcio Moretto RibeiroRecentemente, o Professor Márcio Moretto Ribeiro, um dos coordenadores do Monitor do Debate Político no Meio Digital, participou do Programa Francamente para falar sobre o projeto. Nesta conversa esclarecedora, o professor explicou sobre a metodologia de contagem de público utilizando Inteligência Artificial (IA). O Que é o Monitor do Debate Político no Meio Digital? Para… Continue reading Contagem de Público por IA: Entrevista com Márcio Moretto Ribeiro
- CALL FOR PAPERS – KRR@EPIA2024Knowledge Representation and Reasoning 23rd EPIA Conference on Artificial Intelligence – EPIA 2024 September 3-6, 2024Viana do Castelo, Portugal The aim of this track is to gather and discuss novel research in the area of Knowledge Representation and Reasoning, both for theoretical results as well as implemented systems and applications. EPIA is a well-established international… Continue reading CALL FOR PAPERS – KRR@EPIA2024
- LogLibras no I Encontro sobre Acessibilidade na UnicampRecentemente participei do I Encontro de Pesquisadores em Acessibilidade na Unicamp, um evento que marcou um momento significativo na minha jornada acadêmica. Este encontro reuniu especialistas de diversas áreas para dialogar sobre a inserção educacional e profissional das pessoas com deficiência, suas vivências pessoais e as dificuldades enfrentadas no contexto acadêmico. O objetivo do evento… Continue reading LogLibras no I Encontro sobre Acessibilidade na Unicamp
- Projeto LogLibras no site HumanamenteÉ com grande entusiasmo e satisfação que compartilho com todos vocês a reportagem especial sobre o nosso projeto, o LogLibras, veiculada no site Humanamente. Esta plataforma digital é um verdadeiro marco na divulgação científica em Humanidades no Brasil, pois tem como propósito ampliar a visibilidade da pesquisa e das diversas atuações dos grupos de pesquisa… Continue reading Projeto LogLibras no site Humanamente
- Do sonho à realidade: os bastidores do TEDxJundiaíDesde que iniciei minha trajetória como pesquisador acadêmico, sempre acreditei na potência de compartilhar conhecimento e ideias. E, embora a academia seja uma plataforma poderosa para isso, sempre houve uma pulga atrás da orelha que me dizia que havia mais a se explorar, maneiras diferentes de levar conhecimento às pessoas. Foi assim que, há cerca… Continue reading Do sonho à realidade: os bastidores do TEDxJundiaí
- A Evolução da Divulgação Científica e sua Importância AtualA história da divulgação científica e popularização do conhecimento é marcada por uma série de iniciativas que moldaram a maneira como enxergamos o mundo e compreendemos as complexidades que nos cercam. Desde os primórdios da educação formal em instituições como a Casa da Sabedoria de Bagdá no século VIII, até as revolucionárias publicações da Royal… Continue reading A Evolução da Divulgação Científica e sua Importância Atual
- IV Encontro de Pós-Graduação em Filosofia da UnicampO IV Encontro de Pós-Graduação em Filosofia é organizado por estudantes de pós-graduação do Departamento de Filosofia com o intuito de divulgar e compartilhar as pesquisas de mestrado e doutorado de dentro e fora da UNICAMP. A ideia é proporcionar um espaço pensado para que aconteçam boas trocas entre os/as pesquisadores/as e professores e professoras… Continue reading IV Encontro de Pós-Graduação em Filosofia da Unicamp
- Cubo Mágico solucionado com Robô de LEGOO Cubo Mágico (Cubo de Rubik) é um quebra-cabeça tridimensional inventado em 1974 pelo escultor e professor de arquitetura Ernő Rubik. Lançado internacionalmente em 1980, o cubo se tornou um dos ícones mais reconhecidos da cultura popular, sendo o brinquedo mais vendido do mundo. Matemática O puzzle foi originalmente anunciado como tendo “mais de 3.000.000.000 (três bilhões) de combinações, mas apenas… Continue reading Cubo Mágico solucionado com Robô de LEGO
- ParaconsistênciaParaconsistência é o estudo de sistemas lógicos com uma negação não explosiva tal que, a partir de um par de fórmulas contraditórias (em relação àquela negação), não derivamos uma trivialização, ao contrário do que seria esperado pela ortodoxia lógica contemporânea. Texto adaptado de Testa, R. (2023). Paraconsistency. In J. Mattingly (Ed.), The SAGE encyclopedia of… Continue reading Paraconsistência
- Belief Revision Workshop at UNILOG 2022Chania – Crete, Greece April 7, 2022 Opening: Belief Revision in a nutshell Rafael Testa (Unicamp and UFRJ, Brazil) Belief revision is the process of changing beliefs to take into account a new piece of information. The properties of these models are investigated in order to improve our understanding of how beliefs can be changed, with… Continue reading Belief Revision Workshop at UNILOG 2022
- KRR@EPIA2022The EPIA Conference on Artificial Intelligence (AI) is a well-established European conference in the field of AI. The 21st edition of the EPIA conference will take at Instituto Superior Técnico of the University of Lisbon, from August 31st to September 2nd, 2022. As in previous editions, this international conference is hosted with the patronage of the Portuguese Association for Artificial… Continue reading KRR@EPIA2022
- O paradoxo da barbearia‘Um paradoxo Lógico’ (A Logical Paradox) foi publicado na renomada revista científica Mind na edição de julho de 1894. No ensaio, Lewis Carroll explica (sim, o autor de Alice no país das Maravilhas também era um lógico e matemático), por meio de um conto ilustrativo, um paradoxo no âmbito da lógica formal que veio a… Continue reading O paradoxo da barbearia
- O que a Tartaruga disse a Aquiles, de Lewis CarrollLewis Carroll, apesar de mundialmente conhecido pelo clássico Alice no país das Maravilhas e sua sequência Alice Através do Espelho, também foi professor de matemática na Faculdade de Christ Church – Universidade de Oxford. Carroll ocultou inúmeros enigmas e problemas de matemática e lógica em seus livros infantis, muitos dos quais quase que imperceptíveis para os leitores em geral pois… Continue reading O que a Tartaruga disse a Aquiles, de Lewis Carroll
- Contradictions, from Consistency to InconsistencyBook Review Manuscrito 42 (1) • Jan-Mar 2019 https://doi.org/10.1590/0100-6045.2019.V42N1.RT In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science. Most of them are developed around a fine-grained investigation on the principle of non-contradiction and the concept of consistency, inquired mainly… Continue reading Contradictions, from Consistency to Inconsistency
- Implicação e implicação formalBertrand Russell, The Principles of Mathematics, Chapter III §38 At this point, it is necessary to consider a very difficult logical problem, namely, the distinction between a proposition actually asserted, and a proposition considered merely as a complex concept. One of our indemonstrable principles was, it will be remembered, that if the hypothesis of an… Continue reading Implicação e implicação formal
- A casa que Jack construiu“The house that Jack built” é uma popular canção de ninar britânica e um conto cumulativo – que não narra exatamente a história da casa de Jack, ou mesmo de Jack que construiu a casa, mas mostra como a casa está indiretamente ligada a outras coisas e pessoas. Através da narrativa cumulativa, o conto narra… Continue reading A casa que Jack construiu
- SBL no Dia Mundial da Lógica 2022Em 26 de novembro de 2019, a 40ª Conferência Geral da UNESCO proclamou 14 de janeiro como o Dia Mundial da Lógica (World Logic Day – WLD), um dia global de apoio ao desenvolvimento da lógica por meio do ensino e da pesquisa, bem como à divulgação pública da disciplina. A data escolhida para celebrar… Continue reading SBL no Dia Mundial da Lógica 2022
- Revisão de Crenças no Projeto LógicaMXRevisão de Crenças é uma área de pesquisa em filosofia formal que utiliza a Lógica para produzir modelos de como agentes humanos e artificiais mudam suas crenças em resposta a novas informações. As propriedades de tais modelos são investigadas a fim de melhorar nossa compreensão de como as crenças podem ser alteradas, com ênfase particular… Continue reading Revisão de Crenças no Projeto LógicaMX
- LógicaMXFonte: https://logicamx.wixsite.com/logicamx/sobrenosotros LógicaMX é um projeto sem fins lucrativos que promove a difusão da lógica, sua filosofia e suas aplicações, junto ao público de língua espanhola. LógicaMX visa promover o acesso gratuito a conteúdos educacionais de alta qualidade, a visibilidade das mulheres e a inclusão de outros grupos marginalizados na lógica e filosofia da ciência,… Continue reading LógicaMX
- Lógica no FiloLibrasO objetivo do FiloLibras é transpor didaticamente conteúdos de Filosofia para o Ensino Médio considerando a perspectiva cognitiva do estudante surdo em suas particularidades. Desta forma, o roteiro é pensado de modo a não ser uma simples tradução de uma aula, mas sim um conteúdo gesto-visual específico, considerando o pensamento filosófico em sua toda riqueza… Continue reading Lógica no FiloLibras
- MILWEEK 2021: CENÁRIOS DE UM BRASIL PANDÊMICO24 a 31 de outubro de 2021 (Fonte: https://pt.coursera.org/learn/alfabetizacao-midiatica) Ao vivo no Youtube. A ideia de um evento para refletir sobre o Brasil na pandemia vem de três necessidades: 1) a necessidade de elaborarmos juntos redefinições e ampliações de nossos interesses a ponto de atender às reivindicações de outros grupos, contribuindo inclusive para o alargamento… Continue reading MILWEEK 2021: CENÁRIOS DE UM BRASIL PANDÊMICO
- FiloLibras – Filosofia para surdos.O Projeto FiloLibras é realizado pelo Instituto Federal de São Paulo, Campus Votuporanga (IFSP-Votuporanga), sob coordenação de meu colega e amigo Prof. Dr. João Antonio de Moraes, em parceria com o Prof. Dr. Lucimar Bizio. O principal objetivo do projeto é produzir materiais inéditos de Filosofia acessíveis para os surdos, visando melhorias no processo de ensino aprendizagem. O direito ao… Continue reading FiloLibras – Filosofia para surdos.
- O real perigo das IAs hoje!Janelle Shane é uma cientista, engenheira pesquisadora na área da Ótica e da Inteligência Artificial, além de manter um blog de divulgação e popularização de ciência chamado AI Weirdness, onde documenta as ‘peripécias’ de vários algoritmos de aprendizado de máquina. ‘Esquisitices’ da IA Em conferência na “Talks at Google“ intitulada “You Look Like a Thing… Continue reading O real perigo das IAs hoje!
- IdeIA+ na mídiaGrupo torna a Inteligência Artificial acessível a alunos e professores do ensino básico IdeIA+ reúne pesquisadores da Unicamp e da Unesp e discute desde aplicações tecnológicas até implicações éticas da IA Reprodução: Jornal da Unicamp | SEG, 22 MAR 2021 | 11:51 O nome “inteligência artificial” pode ainda soar como algo que só encontramos em… Continue reading IdeIA+ na mídia
- Fake News e a Lógica FuzzySaber identificar uma notícia falsa é fundamental na sociedade atual. A educação tem um papel importante no combate à desinformação e propagação de notícias falsas, também conhecidas como Fake News. Por outro lado, com o advento das tecnologias, também fica clara a limitação de sistemas computacionais baseados em lógica clássica, que por sua vez não são capazes de lidar com… Continue reading Fake News e a Lógica Fuzzy
- Carros autônomos -máquinas morais?Você provavelmente já ouviu falar sobre cenários em que carros autônomos precisam tomar decisões em situações-limite de vida ou morte: o que deveria fazer um carro autônomo, com o freio quebrado, se tivesse que decidir entre a vida de um passageiro ou de outras pessoas? O carro deve considerar quantidade de pessoas envolvidas, e suas… Continue reading Carros autônomos -máquinas morais?
- Pensamento Crítico no contexto educacionalO pensamento crítico, científico e criativo é a segunda das dez competências gerais da nova BNCC (Base Nacional Comum Curricular), que determina os direitos de aprendizagem de todo aluno cursando a Educação Básica no Brasil (que compreende a educação infantil, o ensino fundamental e o ensino médio). Para a construção da BNCC, o MEC considerou… Continue reading Pensamento Crítico no contexto educacional
- Pensamento CríticoPensamento Crítico pode ser definido como o processo de formar novas crenças e opiniões através da conceituação, aplicação, análise, síntese ou avaliação de novas informações coletadas ou geradas pela observação, experiência, reflexão, raciocínio ou comunicação, fundamentando assim possíveis ações futuras. Em linhas gerais, o pensamento crítico envolve três elementos fundamentais (Glaser 1941): (1) uma atitude… Continue reading Pensamento Crítico
- IA: da Lógica às HumanidadesA Inteligência Artificial é muito mais do que simples algoritmos – ela envolve um alto grau de criatividade, de raciocínios verbais e lógico-matemáticos, e de uma aproximação com a Filosofia não somente por seus aspectos éticos mas também ligados à filosofia da ciência (incluindo as noções de evidência, verdade e causalidade). Especialistas afirmam que a… Continue reading IA: da Lógica às Humanidades
- Um robô escreveu este texto!Construída pela OpenAI , um laboratório de pesquisa com sede em San Francisco, o GPT-3 (Generative Pre-Training Transformer 3) é um modelo de linguagem autoregressivo (em linhas gerais, um algoritmo) que usa deep learning treinado por milhares de textos, na sua maior parte retirados da internet. O The Guardian pediu ao GPT-3 que escrevesse um ensaio… Continue reading Um robô escreveu este texto!
- Discursive dilemma from a paraconsistent point of viewThe aim of this essay is to investigate the so-called discursive dilemma, sometimes referred to in the literature as the doctrinal paradox, which is a related but less general concept. This impossibility theorem generalizes Condorcet’s classic voting paradox from the eighteenth century. Our focus is to highlight certain properties of the dilemma within a very… Continue reading Discursive dilemma from a paraconsistent point of view