A 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
Blog
IV Encontro de Pós-Graduação em Filosofia da Unicamp
O 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 LEGO
O 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ência
Paraconsistê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 2022
Chania – 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@EPIA2022
The 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 Carroll
Lewis 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 Inconsistency
Book 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 formal
Bertrand 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