A Evolução da Divulgação Científica e sua Importância Atual

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

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

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