[Logica-l] RES: Negativa a moderar a Lista
Walter: Permitam-me esclarecer a todos, em particular o Arthur que levantou a proposta, que a Sociedade Brasileira de Lógica não é proprietária da Lista. Apenas decidiu há tempos usar oficialmente a Lista para seus comunicados. Arthur: Não é proprietária, mas avalizou o funcionamento da mesma em reunião ocorrida em Assembleia durante o Encontro em Itatiaia. A Sociedade Brasileira de Lógica poderia, por exemplo, retirar o aval desta lista e avalizar outra com uma proposta de funcionamento que não endosse ameaças e ofensas. Não confundam isto com censura, que é algo completamente diferente. Com o aval da SBL, eu confiei nesta Lista, e jamais esperava ser alvo de ofensas e ameaças. Walter: De todo modo, como presidente da Sociedade Brasileira de Lógica, seria contrário a qualquer medida restritiva nesse sentido. Se a Lista não consegue manter seu estatuto de interesse e passar ao largo das disputas pessoais, isso é problema da Lista. Há listas que se extinguem - apenas espero que isso não aconteça com esta. Arthur: Então o senhor continua avalizando uma lista na qual têm ocorrido casos de ofensas e ameaças. São formas válidas de argumento ou falácias? Então, como lógico que és, avalizas uma lista de Lógica na qual falácias são admitidas, aceitas, e sequer são reconhecidas como falácias, e do tipo mais grosseiro. Walter: Lamento essa desinteligência entre apenas dois usuários, e espero logo mais voltar à Lista respondendo a um tópico interessante sobre loterias. Arthur: O senhor e muitos outros parecem não ter lido com atenção a mensagem original que enviei. Eu é que lamento que, nesta desatenção, estás me igualando com o autor das ameaças e ofensas a mim dirigidas, apenas por eu ter expresso pontos de vista pessoais que parecem ter desagradado bastante o autor de tais ofensas. Quero saber que inteligência é esta, em oposição a uma suposta desinteligência, que avaliza falácias e sequer as reconhece? Uma lista como esta, então, apenas cultiva um tipo de teorização da Lógica e Filosofia, sem qualquer práxis, sem reconhecer a necessidade de um mínimo de ética em qualquer convivência social. Ou seja, parece que a maioria prefere apenas um tipo de degustação intelectual, na qual um tipo de teorização lógica ou filosófica dá um tipo de prazer, um tipo de excitação, sem qualquer comprometimento ou engajamento com um sentido maior da existência e da vida. É por isto que tenho dito que a Filosofia das academias não é genuína, não tem quase nada a ver, a não ser como uma grotesca caricatura, com a Filosofia praticada, por exemplo, por expoentes tais como Pitágoras e Platão. O comportamento quase sempre omisso de muitos filósofos ilustra muito bem o quanto não é Filosofia o que os pretensos filósofos acadêmicos apregoam em sua degustação constante. Isto sem tirar o mérito das ideias de muitos de seus trabalhos; são um bom exercício intelectual, muitas vezes, mas não constituem filosofia genuína, pois esta inclui um tipo de engajamento e enamoramento, os quais transcendem as meras construções intelectuais. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] RES: Negativa a moderar a Lista
Prezados colegas lógicos: Com relação ao tópico da moderação e com relação ao suposto endosso da lista LOGICA-L a certos temas *extra-lógicos*, vimos recordar que a última palavra continua sendo: http://www.dimap.ufrn.br/pipermail/logica-l/2009-May/003638.html Nossa proposta de funcionamento, como todos sabem, está descrita na nossa página de entrada, e não há muito a acrescentar: http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Discussões que transcendam os interesses gerais deste fórum às vezes acontecem, com efeito, e temos tentando controlá-las, como o fazem tantas outras listas de discussão, seguindo as regras básicas de NETiqueta: http://www.dimap.ufrn.br/pipermail/logica-l/2006-October/000875.html É claro que o descontentamento com o presente estado das coisas pode levar qualquer um dos nossos membros a abrir uma nova lista de discussão ---hoje é relativamente fácil fazer isso---, mais alinhada talvez com a forma como este membro gostaria que as discussões fossem alinhadas. Só podemos esperar, contudo, que tal medida não seja necessária, e que possamos sempre resolver as nossas diferenças (um conceito de segunda ordem!) da forma apropriada, e no fórum apropriado. Saudações lógicas, O Administrador da LOGICA-L ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Paper
Caríssimos, muito obrigado pelo retorno. Regivan 2010/5/11 Regivan Hugo Nunes Santiago regi...@dimap.ufrn.br Caríssimos, alguém tem o paper do A. Pnueli The Temporal Logic of Programs. Proc. of the 18th IEEE Symposium of Foundations of CS, pp. 46-57. 1977? Grato, Regivan -- ** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil Phone: +55 84 3215-3814 Ext. 228 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ** -- ** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil Phone: +55 84 3215-3814 Ext. 228 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ** ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Problema da geracao finita
Caros filolistas, a solucao -- demasiadamente elegante:-) -- para o problema da geraco finita apresentada pelo Francicleber me parece correta, do modo que o problema foi enunciado!!! Mas nao se aplica, pelo que vejo, ao caso em que temos como entrada que R e S sao distintos. Alguma nova ideia? abracos, P. -- Original Message --- From: Francicleber M. Ferreira francicleber.ferre...@gmail.com To: Jorge Petrucio Viana petru...@cos.ufrj.br Cc: logica-l@dimap.ufrn.br Sent: Thu, 13 May 2010 10:04:56 -0300 Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam deliberadamente ofendendo e ameaçando algum do s demais participantes, tais como o Eduardo Ochs Olá Petrúcio, Pelo que entendi, a entrada do Problema da Geração Finita é um programa Pr qualquer que decide R, um programa Ps qualquer que decide S (onde S é um subconjunto de R), um número natural n e programas P1, ..., Pn quaisquer que computam op1, ..., opn (tais que qualquer elemento de R pode ser obtido a partir de elementos de S através de um número finito de aplicações das operações op1, ..., opn). A saída é sim caso exista um subconjunto finito F de S cujo fecho com relação a op1, ..., opn é igual a R e não caso contrário. Note que se esse problema for decidível, também é decidível o Problema da Finitude, cuja entrada é um programa Pr qualquer que decide R. A saída é sim se R for finito e não caso contrário. Ou seja, esse problema é o de decidir se R é finito olhando apenas para um programa que decide R. Para ver isso, basta fazer Ps = Pr, n = 1 e op1 a função identidade. Então rodar o programa que decide o Problema da Geração Finita. A partir do Problema da Finitude, dá para resolver o Problema da Parada. Seja P um programa qualquer e m uma entrada qualquer para P. Considere o conjunto R(P,m) = { i \in N | P não para em i passos na entrada m}. Esse conjunto é decidível. Além disso é fácil construir um programa que decide R(P,n) a partir de P e m. Também é verdade que R(P,m) é finito se e somente se P pára na entrada m. Logo, poderíamos resolver o problema da parada da seguinte forma. Dados P e m, construímos um programa Prpm que decide R(P,m) e passamos como entrada para o Problema da Finitude. Esse por sua vez utiliza a solução do Problema da Geração Finita e resolve o Problema da Parada. A solução acima mostra que o Problema da Geração Finita não é decidível. Não sei se ele é sequer semi-decidível. Por favor, confira se a solução que eu sugiro resolve o problema. Abraços, Francicleber 2010/5/12 Jorge Petrucio Viana petru...@cos.ufrj.br: Caros filolistas, Esqueci de dizer no meu email que a pergunta que me interessa diretamente e a de se o Problema da geracao finita e decidivel ou nao... Ele tem a maior cara de indecidivel, mas eu nao consegui um argumento. abracos, Petrucio -- Original Message --- From: Marcelo Finger mfin...@ime.usp.br To: Jorge Petrucio Viana petru...@cos.ufrj.br Cc: logica-l@dimap.ufrn.br Sent: Wed, 12 May 2010 12:21:47 -0300 Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam deliberadamente ofendendo e ameaçando algum do s demais participantes, tais como o Eduardo Ochs Oi Petrúcio. Considere a R= aritmética de pressburguer (0,',+) e S = a aritmética só com 0 e ' (sucessor). Ambos são recursivos. V aplica + a S e obtem R, mas não de uma forma finita. Ou seja, acho que a resposta é não, se bem que precisa elaborar bem o argumento acima. []s Marcelo Considere R como AP, o cj de fórmulas verdadeiras na Artimética da Peano. Considere Q o cj que a artimética (acho que devido a Kleene, vere.g. Boolos Jeffrey ou Carnielli Epstein), que é o seu S. Tanto V obtem AP adicionando infinitas fórmulas 2010/5/12 Jorge Petrucio Viana petru...@cos.ufrj.br: Ola para todos, gostaria de obter referencias ou comentarios sobre o seguinte problema: É dado um conjunto R e um conjunto S que gera R. Existe um subconjunto finito F de S que tambem gera R? Em outras palavras, (*, **, *** e remetem a explicacoes intuivas das nocoes empregadas): PROBLEMA da geracao finita Dados: Um conjunto universo U*, um subconjunto recursivo** R de U, um subconjunto recursivo S de R, e operacoes recursivas*** op1, op2, ..., opn de R em R, tais que qualquer elemento u de R pode ser obtido a partir de elementos de S por um numero finito de aplicacoes das operacoes op1, op2, ..., opn. Questao: Existe um subconjunto finito F de S, tal que, para todo elemento u de U: u pertence a R se e somente se u pode ser obtido a partir de elementos de F por um numero finito de aplicacoes das operacoes op1, op2, ..., opn? * cada elemento de U possui uma representacao finita;
[Logica-l] A SBL e a Lista Acadêmica Brasileira dos Profissionais e Estudantes da Área de Lógic a ( LOGICA -L)
Prezado Artur e demais interessados: a Sociedade Brasileira de Lógica decidiu em assembleia unir esforços à louvável iniciativa de se manter esta lista, e de utilizar a Lista Acadêmica Brasileira dos Profissionais e Estudantes da Área de Lógica. Somente uma decisão plenária pode reverter essa decisão. Qualquer membro da SB -- , e se o Artur for membro ele próprio poderá fazê'lo -- pode obviamente levar uma proposta contrária na próxima assembleia ( que deverá ocorrer em abril ou maio de 2011 por ocasião do próximo EBL). É óbvio que da decisão da SBL em fazer uso da lista não decorre que a SBL sancione o bom uso da iista por parte dos usuários, membros da SBL ou não. E é também óbvio que dissensões entre membros podem e devem ser discutidos fora da lista, até por meios judiciais de for o caso. De resto, o Administrador da Lista já respondeu de forma a complementar o que mais se pudesse dizer a respeito. Atenciosamente, por enquanto, Walter Carnielli * * enquanto Presidente da SBL From: Arthur Buchsbaum arthurrovabu-log...@yahoo.com.br Subject: [Logica-l] RES: Negativa a moderar a Lista Walter: Permitam-me esclarecer a todos, em particular o Arthur que levantou a proposta, que a Sociedade Brasileira de Lógica não é proprietária da Lista. Apenas decidiu há tempos usar oficialmente a Lista para seus comunicados. Arthur: Não é proprietária, mas avalizou o funcionamento da mesma em reunião ocorrida em Assembleia durante o Encontro em Itatiaia. A Sociedade Brasileira de Lógica poderia, por exemplo, retirar o aval desta lista e avalizar outra com uma proposta de funcionamento que não endosse ameaças e ofensas. Não confundam isto com censura, que é algo completamente diferente. Com o aval da SBL, eu confiei nesta Lista, e jamais esperava ser alvo de ofensas e ameaças. Walter: De todo modo, como presidente da Sociedade Brasileira de Lógica, seria contrário a qualquer medida restritiva nesse sentido. Se a Lista não consegue manter seu estatuto de interesse e passar ao largo das disputas pessoais, isso é problema da Lista. Há listas que se extinguem - apenas espero que isso não aconteça com esta. Arthur: Então o senhor continua avalizando uma lista na qual têm ocorrido casos de ofensas e ameaças. São formas válidas de argumento ou falácias? Então, como lógico que és, avalizas uma lista de Lógica na qual falácias são admitidas, aceitas, e sequer são reconhecidas como falácias, e do tipo mais grosseiro. Walter: Lamento essa desinteligência entre apenas dois usuários, e espero logo mais voltar à Lista respondendo a um tópico interessante sobre loterias. Arthur: O senhor e muitos outros parecem não ter lido com atenção a mensagem original que enviei. Eu é que lamento que, nesta desatenção, estás me igualando com o autor das ameaças e ofensas a mim dirigidas, apenas por eu ter expresso pontos de vista pessoais que parecem ter desagradado bastante o autor de tais ofensas. Quero saber que inteligência é esta, em oposição a uma suposta desinteligência, que avaliza falácias e sequer as reconhece? Uma lista como esta, então, apenas cultiva um tipo de teorização da Lógica e Filosofia, sem qualquer práxis, sem reconhecer a necessidade de um mínimo de ética em qualquer convivência social. Ou seja, parece que a maioria prefere apenas um tipo de degustação intelectual, na qual um tipo de teorização lógica ou filosófica dá um tipo de prazer, um tipo de excitação, sem qualquer comprometimento ou engajamento com um sentido maior da existência e da vida. É por isto que tenho dito que a Filosofia das academias não é genuína, não tem quase nada a ver, a não ser como uma grotesca caricatura, com a Filosofia praticada, por exemplo, por expoentes tais como Pitágoras e Platão. O comportamento quase sempre omisso de muitos filósofos ilustra muito bem o quanto não é Filosofia o que os pretensos filósofos acadêmicos apregoam em sua degustação constante. Isto sem tirar o mérito das ideias de muitos de seus trabalhos; são um bom exercício intelectual, muitas vezes, mas não constituem filosofia genuína, pois esta inclui um tipo de engajamento e enamoramento, os quais transcendem as meras construções intelectuais. + Walter Carnielli Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3521-6515 Fax: (+55) (19) 3289-3269 e-mail: carni...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l