Dante Cardoso, estudante de mestrado do IFCH/CLE Unicamp
TÍTULO: Paradoxo da Cognoscibilidade em cenários multiagentes.
TÍTULO: Paradoxo da Cognoscibilidade em cenários multiagentes.
31.3.11
13/04 - Dante Cardoso
11.3.11
Cronograma
Pessoal, segue os dias dos próximos seminários:
23/03 Márcio; 30/03 Walter; 13/04 Dante; 27/04 Jairo; 04/05 Ricardo; 25/05 Bicudo; 08/06 Pedro; 22/06 Roberto; 29/06 S. Nobre; 06/07 Fábio.
Títulos e resumos serão enviados em momento oportuno.
23/03 Márcio; 30/03 Walter; 13/04 Dante; 27/04 Jairo; 04/05 Ricardo; 25/05 Bicudo; 08/06 Pedro; 22/06 Roberto; 29/06 S. Nobre; 06/07 Fábio.
Títulos e resumos serão enviados em momento oportuno.
7.3.11
30/03 - Walter Carnielli
Prof. Dr. Walter Carnielli
Instituto de Filosofia e Ciências Humanas - IFCH-UNICAMP
Diretor do Centro de Lógica, Epistemologia e História da Ciência - CLE-UNICAMP
Website: http://www.cle.unicamp.br/prof/carnielli
"O problema 'ax + b': a generalização mais natural possível do Problema de Collatz"
Resumo:
A Conjecture de Collatz ou ``Problema 3x + 1'' é talvez o problema numérico mais simples de se enunciar e o mais difícil de ser resolvido: uma de suas generalizações é inclusive indecidível. Este tipo de problema tem interessado a especialistad em Teoria dos Números, a lógicos e mesmo a alguns filósofos interessados em questões heurísticas.
Pretendo mostrar como descobri uma generalização do problema que leva a uma classe infinita de novos problemas, ainda mais intrigantes, e como este enfoque pode ser usado para novas generalizações de outra vertentes do problema.
Um programa de simulação desenvolvido pelo Prof. Keith Matthews (Brisbane, Austrália) encontra-se em:
http://www.numbertheory.org/php/carnielli.html
e uma versão preliminar de um artigo expositório a respeito está em:
W. Carnielli. The problem ax + b: the most natural generalization
of Collatz problem.
CLE e-Prints vol. 11(1), 2011
ftp://logica.cle.unicamp.br/pub/e-prints/vol.11,n.1,2011.pdf
Instituto de Filosofia e Ciências Humanas - IFCH-UNICAMP
Diretor do Centro de Lógica, Epistemologia e História da Ciência - CLE-UNICAMP
Website: http://www.cle.unicamp.br/
"O problema 'ax + b': a generalização mais natural possível do Problema de Collatz"
Resumo:
A Conjecture de Collatz ou ``Problema 3x + 1'' é talvez o problema numérico mais simples de se enunciar e o mais difícil de ser resolvido: uma de suas generalizações é inclusive indecidível. Este tipo de problema tem interessado a especialistad em Teoria dos Números, a lógicos e mesmo a alguns filósofos interessados em questões heurísticas.
Pretendo mostrar como descobri uma generalização do problema que leva a uma classe infinita de novos problemas, ainda mais intrigantes, e como este enfoque pode ser usado para novas generalizações de outra vertentes do problema.
Um programa de simulação desenvolvido pelo Prof. Keith Matthews (Brisbane, Austrália) encontra-se em:
http://www.numbertheory.org/
e uma versão preliminar de um artigo expositório a respeito está em:
W. Carnielli. The problem ax + b: the most natural generalization
of Collatz problem.
CLE e-Prints vol. 11(1), 2011
ftp://logica.cle.unicamp.br/
23/03 - Márcio Moretto Ribeiro
Márcio Moretto Ribeiro, pesquisador de pós doutorado do CLE-UNICAMP
Título: Revisão de Crenças em lógicas não classicas
Título: Revisão de Crenças em lógicas não classicas
Resumo: A área de revisão de crenças trata do problema de como agentes racionais ideais mudam suas crenças. O trabalho mais influente na área de revisão de crenças é chamado de paradigma AGM. Seguindo esse paradigma o estado de crenças de um agente é representado por um conjunto de sentenças fechado por consequência lógica (conjunto de crenças). Ainda seguindo o paradigma AGM, operações (expansão, revisão e contração) são definidas sobre conjuntos de crenças através de postulados de racionalidade. O paradigma AGM, apesar de amplamente aceito, não é compatível com diversas lógicas não-classicas. No seminário apresentaremos o paradigma AGM e os problemas em aplicá-lo às lógicas não clássicas. Depois disso mostraremos como adaptar os postulados de forma que eles sejam compatíveis com uma vasta classe de lógicas. Por fim, apontaremos para trabalhos futuros cujo principal tema é a aplicação de revisão de crenças em lógicas de inconsistência formal.
18.2.11
Prof. Frode Bjørdal, Univ. de Oslo, Noruega - "Elements of Librationism", dia 02/03
Colloquium Logicae, dia 02 de março de 2011, às 16h00 no CLE-Unicamp
Professor Frode Bjørdal
Instituto de Filosofia, História da Arte e Línguas Clássicas
Universidade de Oslo, Noruega
Elements of Librationism
Abstract:
"Librationist Closures" is a title i think recommends itself not only for poetical reasons, but also for reasons connected with content. Librationism is the name I have given the foundational system I want to convey some information about. It serves to reconstruct classical mathematics in a system that fully respects classical logic, though it does this while at the same time integrating paradoxical phenomena in a peculiar way reminiscent of though not replicating traditional paraconsistent approaches. The inference rules are novel in librationism. The name librationism is one i coined from "libration", which one may wikipedia for explanation. I found it appropriate because it captures a phenomenon of oscillation in connection with the theory's treatment of paradox. As for closures, these are some we sometimes have also concerning phenomena which do not go away. I may come to a closure concerning my grief of having lost someone. But this does not mean that the grief has passed away, or will pass away, but rather that I manage to roncile with it and live with it. This is one sense in which librationism offers a closure of paradox, and not a resolution or explaining away. As librationism both has it that Russell's sort is a member of itself and also that it is not a member of itself, paradoxicality is not, one sees, relegated. As both these complementary sentences are true, librationism offers closureS. The notion of closure can also be brought into play in connection with other librationist aspects like with the distinction one can make between what can be shown (at a meta level) and what can be said (in the object language. Also, I think of the librationist evasion of Cantor's conclusion that there are over-denumerable infinities as a CLOSURE OFF off of the hierarchy of infinite cardinalities at the lowest possible point, so that there are just denumerably many objects.
Professor Frode Bjørdal
Instituto de Filosofia, História da Arte e Línguas Clássicas
Universidade de Oslo, Noruega
Elements of Librationism
Abstract:
"Librationist Closures" is a title i think recommends itself not only for poetical reasons, but also for reasons connected with content. Librationism is the name I have given the foundational system I want to convey some information about. It serves to reconstruct classical mathematics in a system that fully respects classical logic, though it does this while at the same time integrating paradoxical phenomena in a peculiar way reminiscent of though not replicating traditional paraconsistent approaches. The inference rules are novel in librationism. The name librationism is one i coined from "libration", which one may wikipedia for explanation. I found it appropriate because it captures a phenomenon of oscillation in connection with the theory's treatment of paradox. As for closures, these are some we sometimes have also concerning phenomena which do not go away. I may come to a closure concerning my grief of having lost someone. But this does not mean that the grief has passed away, or will pass away, but rather that I manage to roncile with it and live with it. This is one sense in which librationism offers a closure of paradox, and not a resolution or explaining away. As librationism both has it that Russell's sort is a member of itself and also that it is not a member of itself, paradoxicality is not, one sees, relegated. As both these complementary sentences are true, librationism offers closureS. The notion of closure can also be brought into play in connection with other librationist aspects like with the distinction one can make between what can be shown (at a meta level) and what can be said (in the object language. Also, I think of the librationist evasion of Cantor's conclusion that there are over-denumerable infinities as a CLOSURE OFF off of the hierarchy of infinite cardinalities at the lowest possible point, so that there are just denumerably many objects.
7.2.11
Primeira Reunião - 1o semestre 2011
A partir de agora as informações dos Seminários de Lógica serão postadas neste blog - além da usual lista de e-mails. Pelo blog tornamos mais eficientes e dinâmicas nossas conversas, além de podermos divulgar as mensagens facilmente por e-mail ou redes sociais. Além disso, é possível se inscrever no feed de notícias.
De acordo com o calendário, as aulas da pós na Unicamp começam dia 22 de fevereiro.
http://www.dac.unicamp.br/portal/pos/calendarios/calpos2011/index.html
Nossa primeira reunião será dia 23 de fevereiro - na qual marcaremos nosso cronograma.
Até breve...
De acordo com o calendário, as aulas da pós na Unicamp começam dia 22 de fevereiro.
http://www.dac.unicamp.br/portal/pos/calendarios/calpos2011/index.html
Nossa primeira reunião será dia 23 de fevereiro - na qual marcaremos nosso cronograma.
Até breve...
Assinar:
Postagens (Atom)