Belief Revision Workshop at UNILOG 2022

Since the first edition in 2005 in Montreux, Switzerland, UNILOG has gathered many renowned researchers. This series of world events promotes logic in all its aspects: mathematical, philosophical, computational, semiological, historical, and the relation between logic and other fields: physics, biology, economics, law, politics, religion, music, literature, pedagogy, color theory, medicine, psychology, psychoanalysis, cognitive science,… 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

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

Revisão de Crenças no Projeto LógicaMX

Revisã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ógicaMX

Fonte: 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