Re: [Logica-l] tradução entre linguagem natural e linguagem formal

[Francisco Miraglia Neto]

Caro João,

O livro do Kleene, “Mathematical Logic” (John Wiley) nas sessões 14 e 15 do
capítulo I tem exemplos e exercícios que achei pertinentes (Applications to
ordinary language, p. 58ff e 67ff.) Mas talvez eu esteja chovendo no
molhado.

Abraços,

Chico Miraglia

On Thu, 16 Nov 2023 at 10:29 Joao Marcos  wrote:

> PessoALL:
>
> Por razões pedagógicas, estive buscando por exercícios de _tradução_
> entre "a" linguagem natural (qualquer uma que eu seja capaz de ler) e
> linguagens formais de teorias lógicas apropriadas.  Também estive
> buscando exercícios na direção oposta, isto é, envolvendo _leituras
> naturais_ de asserções descritas em linguagens formais.  Ambas
> categorias de exercícios parecem ser extremamente importantes para os
> estudantes curiosos em saber *pra quê serve tudo isso*.
>
> Agradeço desde já por quaisquer sugestões que vocês puderem
> compartilhar comigo de material (de qualquer nível) para a prática
> destas tarefas.  Tenho interesse particular por materiais que *não*
> tratem de teorias matemáticas, mas que, ao invés, envolvam a
> formalização de outros fragmentos interessantes da linguagem natural.
> Materiais envolvendo _erros_ de tradução, numa direção ou na outra,
> são particularmente bem-vindos!
>
> Caso seja de interesse dos colegas, posso ao final compilar aqui as
> referências recebidas, na lista ou fora dela.
>
> Saudações lógico-naturais,
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgSXODHR0OMA6c-VUELwn3MrhOggxB8LgCoOwrCqJb-og%40mail.gmail.com
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAPRoxHZ_0_UPFFpihpwo0gD3_Yob0FjNT04SyG7nyW8qpVu4w%40mail.gmail.com.

[Logica-l] ‘Too greedy’: mass walkout at global science journal over ‘unethical’ fees | Peer review and scientific publishing | The Guardian

[Francisco Miraglia Neto]

https://www.theguardian.com/science/2023/may/07/too-greedy-mass-walkout-at-global-science-journal-over-unethical-fees

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAPRoxHwFUZGjZUg80G9z3Pkq_djsWONMdO2oBxfkwmWd4gVJQ%40mail.gmail.com.

Re: [Logica-l] 17 anos de LOGICA-L

[Francisco Miraglia Neto]

Faço minhas as palavras do Wslter!

Abraços,

Chico Miraglia
On Sat, 25 Mar 2023 at 21:57 Walter Carnielli  wrote:

> A Lista de Lógica quase maior de idade!
>
>  Parabéns ao João pela boa vontade em  administrar,  sem esquecer que a
> Carol foi também administradora.
>
> Parabéns a todos nós que fazemos parte-
> a Lista de Lógica ajudou a levantar a comunidade brasileira que trabalha
> no tema!
>
> Abçs,
>
> Walter
>
>
> Em sáb., 25 de mar. de 2023 16:45, Valeria de Paiva <
> valeria.depa...@gmail.com> escreveu:
>
>> Parabens, para o administrador e todos nos!
>> saudacoes logicas,
>> Valeria
>>
>> On Sat, Mar 25, 2023 at 10:02 AM O Administrador da LOGICA-L <
>> logica-l+own...@dimap.ufrn.br> wrote:
>>
>>> Não queria deixar passar esta data em branco:
>>> agradeço novamente a todos os (quase 700) membros desta lista, que fazem
>>> dela o que ela é!
>>>
>>> O Administrador da LOGICA-L
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjgnHDX1muBUheLU3ExD1Z1tD_x92Zag9x7TtTa8%2BoV7w%40mail.gmail.com
>>> 
>>> .
>>
>>
>>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXviMC3PjT_1Fh%2BTpdAmHPuMpFckM65uHufoYKQuE_VJEw%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdsdjwujuHNcJYLwFvzuY%3DEYG6NKRGKgg_pqD9J3otJpg%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAPRoxGVVRN02J9hBjP5U%2B8_r%2BVQcrSYC%3DV%3DubAX33wax25AEA%40mail.gmail.com.

Re: [Logica-l] Andrea Loparic

[Francisco Miraglia Neto]

Colegas,
Faço minhas as palavras da Ítala.  Mais uma amiga e companheira querida de
luta, que não está mais entre nós.

Chico Miraglia

On Mon, Oct 25, 2021 at 10:53 AM Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> wrote:

> Colegas, que notícia triste!
> Tempos tão difíceis, tantas perdas.
> Andrea querida, uma guerreira, militante incansável, exemplo de cidadã a
> ser preservado entre nós!
> Ítala
>
> Em seg., 25 de out. de 2021 às 10:49, Gisele Secco 
> escreveu:
>
>> Pessoal
>> Acabo de ser informada do falecimento de nossa querida Andrea.
>> Manifesto meus mais carinhosos sentimentos à sua memória e a seus
>> familiares e  amigos.
>> Um abraço,
>> G.
>>
>> --
>> Gisele Dalva Secco
>> UFSM/Brasil
>> +55 55 3220 8440
>>
>> --
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnpx5Y4Szck7VMK4Zc72%2BNvXHfNM%3DmAzufTki%3DJSj9_xLg%40mail.gmail.com
>> 
>> .
>>
> --
> Prof. Dr. Itala M. Loffredo D'Ottaviano
> Full Professor in Logic and the Foundations of Science
> Centre for Logic, Epistemology and the History of Science
> University of Campinas
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4BW_8y%3DezrvsF08EWy197x%2Br42d_G3_d-7qakyTsTpUA%40mail.gmail.com
> 
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAPRoxHwzGLGqDQMRnoE9k3cYT6iPKZONVuZ%2Bkpet8d3nQCfEg%40mail.gmail.com.

[Logica-l] Pesar

[Francisco Miraglia Neto]

Caros Colegas, Prezadas Colegas,

Meus sentimentos de profundo pesar aos familiares do Carlos, um amigo querido 
de tantos anos.

Abraços,

Chico Miraglia 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/C9876A31-351A-4FEF-9A75-7F4DC7127F54%40ime.usp.br.

Re: [Logica-l] [OFF] Nota da SBF sobre a troca de presidentes na Capes

[Francisco Miraglia Neto]

Car@s, 

Também apoio a proposta do Walter, endossada pela Ítala.

Abraços,

Chico Miraglia 

> On 16 Apr 2021, at 15:16, Walter Carnielli  wrote:
> 
> A SBL certamente deveria se posicionar também, como fez  (muito bem)
> em várias ocasiões.
> 
> Abs,
> 
> Walter
> 
>> Em sex., 16 de abr. de 2021 às 14:35, Joao Marcos  
>> escreveu:
>> 
>> http://www.sbfisica.org.br/v1/home/index.php/pt/acontece/1305-nota-em-defesa-da-capes
>> 
>> 
>> JM
>> 
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhJtPvLOxn84-V00NnG30LeuxhsrCVxLkcGFSmM81SzvA%40mail.gmail.com.
> 
> 
> 
> -- 
> ===
> Walter Carnielli, Professor
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy
> University of Campinas –UNICAMP
> 13083-859 Campinas -SP, Brazil
> Phone: (+55) (19) 3521-6517
> Institutional e-mail: walter.carnie...@cle.unicamp.br
> Website: http://www.cle.unicamp.br/prof/carnielli
> 
> -- 
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfFoeBYwu0FFVosBQmzKCY9HQvPmY2Xf1RcDOK18p6HmA%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7ABF1EFB-E02B-4A0B-8021-FBD853BDFFBE%40ime.usp.br.

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

[Francisco Miraglia Neto]

Caros e Caras Colegas,

Faço minhas as palavras e propostas da Ítala : meus parabéns à diretoria que 
termina seu mandato e meu total apoio à que vai assumir a direção da SBL.

Um grande abraço e cuidem-se bem nestes tempos dark.

Chico Miraglia 

> On 6 Mar 2021, at 15:52, C. Mortari  wrote:
> 
> Cara Itala, caras e caros colegas,
> 
> obrigado por sua mensagem, e pela sugestão de contabilizar o apoio à chapa 
> inscrita para a eleição da diretoria da SBL.
> 
> Estamos organizando as coisas de modo que a Assembleia seja também 
> transmitida por algum meio (Google Meet, Zoom, etc.). Não vejo problemas em 
> registrar em ata -- e concordo que seria importante -- que, além dos votos 
> dos fisicamente presentes e votos por correspondência, houve um número x de 
> manifestações informais de apoio à chapa eleita por parte de participantes 
> por videoconferência.
> 
> Obrigado pelas gentis palavras sobre o trabalho da atual Diretoria!
> 
> Abraços,
> 
> Cezar
> 
> 
> 
> 
> Em 2021-03-04 11:31, Itala Maria Loffredo D'Ottaviano escreveu:
>> Caras e Caros:
>> Face ao desencadeamento do processo eleitoral, à necessidade
>> estatutária do voto pelo correio e à dificuldade justificada do
>> encaminhamento dos votos, penso que a atual Diretoria pode adotar
>> medidas excepcionais e adaptativas.
>> Poucos associados poderão enviar seus votos.
>> Porém, o apoio à Chapa inscrita tem sido publicamente expresso.
>> Sugiro que a atual Diretoria passe a computar, em paralelo, o apoio
>> explicitado por nossas mensagens, como votos favoráveis à Chapa
>> inscrita.
>> No final do processo, criativamente, haverá uma forma de expressar o
>> apoio da SBL à Diretoria eleita, indicando o número total de apoios
>> recebidos.
>> De minha parte, desde já, quero manifestar meu total apoio à Chapa
>> candidata, além de meu apreço pessoal aos colegas que estão se
>> dispondo a assumir a responsabilidade pela direção da Sociedade.
>> Quero também agradecer aos colegas da Diretoria cujo mandato se
>> finda, cumprimentando-os pelo excelente trabalho desenvolvido.
>> Abraços,
>> da Itala
> 
> -- 
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/263adae1677d93124e701b58507886ff%40cfh.ufsc.br.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/F7E4A0F2-DEC0-447D-8348-5A537E0F5303%40ime.usp.br.

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

[Francisco Miraglia Neto]

Caros, 

Apoio à proposta do Marcelo, por exatamente a mesma razão. 

Abraços, 

Chico Miraglia 

> On 3 Mar 2021, at 15:18, Marcelo Finger  wrote:
> 
> 
> Caros.
> 
> Gostaria de sugerir mui respeitosamente que a próxima eleição da SBL 
> contemple a alternativa de votação eletrônica.  Estamos entrando na fase 
> vermelha e sei lá quando poderei ir ao correio.
> 
> Com meus votos de muita saúde a todos
> 
> []s
> 
> 
> -- 
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw371f6FkPyPBb2zMbZPZ%2BS_sNQQUKfiGFug%2BL9gY-SFBQ%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/F6C5E71D-DBFC-4045-AA24-3F8939344E34%40ime.usp.br.

Re: [Logica-l] uma pergunta sobre. wiki brasil

[Francisco Miraglia Neto]

Car@s,

Corroboro inteiramente as palavras do Walter. Além disso, dependendo do 
assunto, há outros lugares (Columbia, Stanford, Cambridge, etc.) que tratam bem 
esses assuntos.  Na realidade, nada como uma boa biblioteca e a conversa com 
quem é do ramo...

Abraços e cuidem-se bem!!

Chico Miraglia

> On 26 Nov 2020, at 18:19, Walter Alexandre Carnielli  
> wrote:
> 
> 
> Petrúcio,
> 
>  de minha parte, não tenho a mais remota ideia de quem seja responsável  pela 
> Wikipédia no Brasil 
> 
>  Sei que ha alguma ou outra  outra coisa boa  em lógica e matemática,  e um 
> monte de porcaria. A  mim nunca ninguém perguntou nada, e nem sei onde nem 
> como encontrar alguém da Wikipédia. 
> 
> 
> Abs,
> 
> Walter 
> 
> Em qui, 26 de nov de 2020 16:05, Jorge Petrucio Viana 
>  escreveu:
>> Boa tarde!
>> 
>> Uma amiga historiadora (da UFF) me escreveu perguntando sobre como são as 
>> relações dos pesquisadores da matemática com os responsáveis pela versão 
>> brasileira da Wiki.
>> Ela me disse que um desses responsáveis entrou em contato com ela e, durante 
>> a conversa, afirmou que a relação com os matemáticos é ótima.
>> Dadas algumas outras afirmações que ele fez, ela começou a achar que o que 
>> ele estava dizendo era pura propaganda para convencê-la a colaborar com eles 
>> *** da forma que ele queria ***.
>> 
>> Eu me recordo que alguns de vocês comentaram nesta lista que a relação com 
>> os lógicos é meio conturbada.
>> 
>> Alguém sabe dizer se houve alguma mudança nesse estado de coisas?
>> 
>> E se a relação com os matemáticos em geral é memso tranquila?
>> 
>> Obrigado,
>> Petrucio
>> 
>> 
>> 
>> 
>> -- 
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVSugzL3JqkuXFPpygjD%3DLe%2B%3Dg7VpF890pTZ4-ru7ssdrA%40mail.gmail.com.
> 
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLd7RAFJ2kf2Q00GaZ5xuQSXX4RfpJJ5Z2-N7ydBmSw9LQ%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/577AB650-62D2-4574-B19A-D046032BEE8D%40ime.usp.br.

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

[Francisco Miraglia Neto]

Perco um grande amigo e nós um intelectual de grande porte. Meus sentimentos à 
família e, em particular, à Sheila.

Chico Miraglia 


> On 14 Nov 2020, at 14:49, Bruno Lopes  wrote:
> 
> Caros,
> 
> Encaminho a nota da SBL em pesar pelo falecimento do Prof. Paulo Augusto 
> Veloso.
> 
> Abraços,
> 
> Bruno.
> 
> Caras e caros colegas,
>  
> Recebemos com grande pesar a notícia do falecimento, ocorrido 14 de novembro, 
> do Prof. Paulo Augusto Veloso. Em nome da Sociedade Brasileira de Lógica, 
> externamos nossas condolências a seus familiares. Veloso era professor 
> titular aposentado da Universidade Federal do Rio de Janeiro, tendo atuado 
> anteriormente na Pontifícia Universidade Católica do Rio de Janeiro e na 
> Universidade Federal Fluminense. Foi mestre de muitos membros da comunidade; 
> sua presteza, generosidade e seu caráter serão lembrados.
>  
> A Diretoria
> Sociedade Brasileira de Lógica
> 14 de novembro de 2020
> 
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CBEDD5A5-14B9-4597-AE12-EA694D10F170%40ic.uff.br.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/51FD3BEB-CE07-495A-851D-A8D791EF6CDD%40ime.usp.br.

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

[Francisco Miraglia Neto]

 Perco um grande amigo e nós um intelectual de grande porte. Meus sentimentos à 
família e, em particular, à Sheila.

Chico Miraglia 

> 
>> On Sat, Nov 14, 2020 at 10:30 AM nastassja pugliese 
>>  wrote:
>> Lembro com carinho do prof. Paulo Veloso, sempre presente nos eventos de 
>> lógica organizados pelo Luiz Carlos Pereira e em diversos Conesul de 
>> Ciências Formais. Um doce de pessoa e um intelectual brilhante, com quem 
>> tive as conversas mais interessantes sobre lógica e filosofia da lógica 
>> quando eu era aluna. Uma grande perda para nossa comunidade. Meus 
>> sentimentos à família. 
>> 
>> Nastassja Pugliese
>> Universidade Federal do Rio de Janeiro
>> 
>> > On 14 Nov 2020, at 15:08, Walter Carnielli  
>> > wrote:
>> > 
>> > Que notícia triste!  Meu profundo pesar. Veloso e eu fomos co-autores
>> > em  diversos trabalhos, eu o conhecia desde 1978. Tivemos muitos  bons
>> > momentos no CLE, para onde el viajava frequentes nos anos 90.
>> > Meus sentimentos à Sheila e filhas.
>> > 
>> > 
>> > Walter
>> > 
>> >> Em sáb., 14 de nov. de 2020 às 14:48, Sociedade Brasileira de Lógica
>> >> via Socios  escreveu:
>> >> 
>> >> Caras e caros colegas,
>> >> 
>> >> Recebemos com grande pesar a notícia do falecimento, ocorrido 14 de 
>> >> novembro, do Prof. Paulo Augusto Veloso. Em nome da Sociedade Brasileira 
>> >> de Lógica, externamos nossas condolências a seus familiares. Veloso era 
>> >> professor titular aposentado da Universidade Federal do Rio de Janeiro, 
>> >> tendo atuado anteriormente na Pontifícia Universidade Católica do Rio de 
>> >> Janeiro e na Universidade Federal Fluminense. Foi mestre de muitos 
>> >> membros da comunidade; sua presteza, generosidade e seu caráter serão 
>> >> lembrados.
>> >> 
>> >> A Diretoria
>> >> Sociedade Brasileira de Lógica
>> >> 14 de novembro de 2020
>> >> --
>> >> Sociedade Brasileira de Lógica
>> >> http://sbl.org.br
>> >> ___
>> >> Socios mailing list
>> >> soc...@sbl.org.br
>> >> http://sbl.org.br/mailman/listinfo/socios_sbl.org.br
>> > 
>> > 
>> > 
>> > -- 
>> > ---
>> > Walter Carnielli
>> > https://waltercarnielli.com/
>> > 
>> > Centre for Logic, Epistemology and the History of Science and
>> > Department of Philosophy
>> > University of Campinas –UNICAMP
>> > 13083-859 Campinas -SP, Brazil
>> > 
>> > CV Lattes : http://lattes.cnpq.br/105496835379
>> > 
>> > -- 
>> > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> > dos Grupos do Google.
>> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> > um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> > Para ver esta discussão na web, acesse 
>> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58ONqsHPyqCh9QOgX3T%2Bj%2BpUrLzWVL5dYbMo3ZWE-SSmjg%40mail.gmail.com.
>> 
>> -- 
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7FC98FB0-9CD3-423A-8BC5-88D45E246C71%40gmail.com.
> 
> 
> -- 
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
> 
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsdrzGad%3DHmPkc8vhXzKhrLg4mr0H5SjHG%3DwcsSf%3DC80w%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/F90B1A9D-42CC-461C-8C5E-CFB92E30278B%40ime.usp.br.

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

[Francisco Miraglia Neto]

Também apoio a posição da Elaine, assim como as do Marcelo, do Walter e as 
ponderações do Júlio.  Ça suffit! 

Abraços e cuidem-se bem! 

Chico Miraglia

> On 17 Sep 2020, at 12:04, Marcelo Finger  wrote:
> 
> 
> Apoio a posição da Elaine.
> 
> Na época em que essa newsletter rodava por email, eu até participei do 
> desafio de tentar adivinhar o autor da frase para/inconsistente.  Não mais.  
> 
> E  tb me incomoda a atitude hemisfério-norte-cêntrica.
> 
> A menos que a newsletter mude a sua orientação, será tratada como spam.
> 
> []s
> 
> Marcelo
> 
> Em qui., 17 de set. de 2020 às 09:59, Elaine Pimentel 
>  escreveu:
>> Prezados colegas,
>> 
>> Confesso que pretendia simplesmente ignorar mais essa provocação idiota. 
>> Mas, refletindo um pouco, achei que seria bom colocar aqui uma opinião -- 
>> que não é só minha, diga-se de passagem.
>> 
>> 1. Isso passa longe de ser apenas uma "estética questionável". Também já 
>> ouvi de um amigo uma vez que é apenas "um tipo diferente de humor" -- não há 
>> nada de humor e definitivamente não é um problema de estética. É ofensivo, 
>> repugnante e condenável.
>> 
>> 2. Acho que chega de "passar pano" para esse tipo de atitude. Como boicotes 
>> individuais parecem não funcionar e criar polêmica só alimenta o ego do 
>> pavão, daqui para frente vou ajudar a divulgar também as pessoas coniventes 
>> com essas iniciativas. Por exemplo, colaborar com essa newsletter é ser 
>> conivente. Quem sabe assim a comunidade internacional como um todo começa a 
>> perceber que não há mais espaço para esse tipo de coisa?
>> 
>> É realmente incrível! Com todo o trabalho e esforço que estamos fazendo para 
>> trazer a discussão sobre gênero para a pauta, temos que parar para discutir 
>> sobre "piadinhas" estilo 4a série... Se bem que é bem típico do momento que 
>> estamos vivendo aqui no Brasil :-/ 
>> 
>> A+,
>> 
>> Elaine.
>> 
>> On Thu, Sep 17, 2020 at 8:06 AM Joao Marcos  wrote:
>>> Neil Barton (@CantorsCoffee) tweeted at 5:57 AM on Wed, Sep 16, 2020:
>>> Hey folks writing the paraconsistent newsletter: Given that we have 
>>> something of a diversity problem in foundations of math, how about we don't 
>>> use sexualised images of women as the cover for our newsletters? cf. 
>>> https://t.co/OD16xkMzkn
>>> (https://twitter.com/CantorsCoffee/status/1306155120233676801?s=03)
>>> 
>>> -- 
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li_qUXyzDVfaDrrW4PWzSvTbACkFe%3DmaP27Fe-jMECNXw%40mail.gmail.com.
>> 
>> 
>> -- 
>> Elaine. 
>> - 
>> Elaine Pimentel  - DMAT/UFRN 
>> 
>> Address: Departamento de Matemática 
>> Universidade Federal do Rio Grande do Norte 
>> Campus Universitário - Av. Senador Salgado Filho, s/nº 
>> Lagoa Nova, CEP: 59.078-970 - Natal - RN 
>> 
>> Phone: +55 84 3215-3820 
>> 
>> http://sites.google.com/site/elainepimentel/ 
>> Lattes: http://lattes.cnpq.br/3298246411086415
>>  
>> -- 
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BX5%2B6KCLtgMO7FOD2RisT3g0nNd3zCfS7SyDSrADSzSug%40mail.gmail.com.
> 
> 
> -- 
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2cy4TRta1N-%2BOex84Ge5hw20QuyvcnB6ZbBHWpTVvn9w%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6550A42B-86DB-4D6C-A9C2-5A4DCAF3B042%40ime.usp.br.

Re: [Logica-l] [OFF TOPIC] governo de São Paulo destruindo a C

[Francisco Miraglia Neto]

Car@s,

Esse é o projeto de reforma administrativa do governo Dória, que foi cabo 
eleitoral de Bolsonaro e trará consequências gravíssimas para o desenvolvimento 
paulista e brasileiro. Precisamos reagir de forma unitária e enérgica a mais 
esse ataque às universidades, à Fapesp e aos serviços públicos em geral. É bom 
não imaginar que essa proposta, se passar, terá repercussões apenas em São 
Paulo. 

Tempos difíceis... votos de que todos e seus entes queridos estejam bem!

Abraços,

Chico Miraglia

> On 16 Aug 2020, at 12:08, Walter Alexandre Carnielli  
> wrote:
> 
> 
> Colegas uma informação que diz respeito a todos de São Paulo ,e certamente 
> aos demais desta lista:
> governo Dória na mesma toada do governo Bolsonaro só que mais  matreiro está 
> fazendo todo o possível para acabar com as universidades paulistas e com a 
> FAPESP.
> 
> Recebemos  isso de um colega da USP
> na  nossa lista de professores:
> -
> "Acabo de receber uma informação preocupante,  referente ao  Projeto de Lei 
> número 529 enviado recentemente pelo Governo Estadual de SP para Assembleia 
> Legislativa. Na essência, se o projeto de lei for aprovado, teremos como 
> consequência a retirada, ainda em 2020, de mais de um bilhão de reais das 03 
> universidades estaduais (USP, Unesp e Unicamp) e da FAPESP. 
> 
> Ainda, outra grave consequência será o impedimento da recuperação e ampliação 
> futura dos fundos de reserva próprios das universidades e da FAPESP.  Isto 
> porque a proposta permite ao Governo recolher o “superávit financeiro” (sobra 
> de recursos não utilizados no final do ano das autarquias e fundações do 
> Estado, isto sem ouvir seus conselhos ou órgãos diretivos internos). No caso 
> da FAPESP o valor a ser recolhido neste ano será de aproximadamente de R$ 580 
> milhões, outros R$ 480 milhões da USP, e valores significativos da Unesp e da 
> Unicamp. Os recursos serão recolhidos 10 dias após a aprovação da lei, em 
> final de setembro. No caso da FAPESP, o recolhimento de aproximadamente um 
> terço dos recursos da FAPESP vai afetar sua capacidade de conceder novas 
> bolsas e aprovar projetos. Ressalta-se que será a primeira vez na história da 
> FAPESP que haverá desrespeito da autonomia da FAPESP, garantida na 
> Constituição Estadual.
> 
> O projeto de lei já está na Assembleia e tramita em ambiente virtual, em 
> regime de urgência, ou seja, está tramitando mesmo sem a presença dos 
> deputados no plenário. Além destes pontos, se o projeto for aprovado, levará 
> a extinção e fusão de numerosas empresas e fundações, além de um plano de 
> demissão de servidores estaduais e outras ações.
> 
> Tomo a liberdade de sugerir que divulguem esta informação ao máximo  em suas 
> redes sociais."
> 
> Cansado de tantas más notícias,
> Walter
> 
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeH1cWKMXLy-exGrDmkdXcamdqZQy-P6BVcsQnW30OC4Q%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0B40D810-7D53-4977-A675-98983F598B53%40ime.usp.br.

Re: [Logica-l] [OFF TOPIC] Desinclusão em Lógica/ Ciência

[Francisco Miraglia Neto]

Car@s, 

Concordo inteiramente com as considerações do Walter. 

Com votos de que todos estejam bem, 

Abraços e cuidem-se!!

Chico Miraglia 

> On 24 Jul 2020, at 13:23, Walter Alexandre Carnielli  
> wrote:
> 
> Car@s colegas:
> 
> embora ninguém desta  lista tenha comentado minha mensagem ao Beth
> Prize, que reproduzo abaixo,   Minha indignação se deu porque o
> trabalho do noso colega Alfredo Roque Freite, excelente e
> extraordinário em todos os sentido, não foi sequer "short-listed" ou
> reconhecido como 'nominated". Shay Logan (um dos organizadores do
> Supergroup)  realmente compreendeu a situação e me autorizou a
> divulgar sua reação e sua intenção:
> 
> "Yes, you're free to quote me! I'm going to run a few ideas by some
> folks about how we might go about recognizing excellent work in logic
> in a more fair way."
> 
> ===
> "Hi Walter,
> 
> Thanks so much for looping me in on this. I had no idea the statistics
> were so bad! This is indeed embarrassing.
> 
> What would you think about us using the supergroup trying to organize
> some way of recognizing excellent theses in logic from non-Euro and
> non-Anglo areas? I don't have a clear idea of the best way to go about
> such a thing right now. But if you think it's an idea worth pursuing,
> let me know and I'll put more thought into it---or listen to any
> thoughts on the matter that you might have!
> 
> All the best,
> 
> Shay"
> =
> 
> Venho aqui instar a(o)s colegas  a se  pronunciarem sobre esta questão
> importantíssima para os jovens-- e para os  seniores-- da "desinclusão
> científica" que assola a todos nós.  Vejam quem ganha os prêmios,
> jovens ou mais velhos, e quem é citado nas  "esferas  do mainstream" .
> Eu me importo-- quem se  importar, por favor  se  posicione.
> 
> Abraços  desiludidos,
> 
> Waller
> =
> CARTA ENVIADA
> 
> Dear Mehrnoosh:
> c/c Board of the Association for Logic, Language and Information
> 
> Thanks for your message informing me that the  nomination of my
> ex-student  Alfredo Roque Friere  has not been chosen for the Beth
> Prize 2020. .
> 
> I have to confess that I feel a bit  disappointed with this decision.
> Of  course  we have to thank the  board  of  referees, who  work "pro
> bono"  in favor of science, and  undoubtedly do  their best, and I
> also  extend  my full compliments to all the  young scholars who have
> won this prize. I am absolutely sure  they deserve it ,
> 
> However, I see with  deep concerns that work from Africa, Latin
> America, Caribbean countries  Iran, Arabic countries, India, Oceania
> Southeast Asia, and other non-central european and non-anglo-centred
> regions have never been selected  for the Beth Prize.
> 
> For sure, good science is  not restricted to Center Europe and
> North-America--it's hard to believe that in 22 years the  Association
> for Logic, Language and Information  has  not been able to select  any
> PhD  thesis  outside Center Europe, US, and  Canada.
> 
> A sad evidence ot this is that the 32  winners since  1998, are
> distributed among Poland  (3), Germany (5), France (3), US (8), UK
> (2), Italy (1), Canada (2), Netherlands (4), Czech Republic (1),
> Austria (1), Spain(1) and  Russia  (1). I'm  afraid there  is no
> evidence that this will be  different in 2020.
> 
> To have their work recognized is of vital importance for young
> researchers  everywhere, but  specially for people in Africa, Latin
> America, Caribbean countries  Iran, Arabic countries, India,  Oceania,
> Southeast Asia,etc, for all the political reasons we  know.  In
> particular, I  ask you please to write a  letter confirming  that  my
> ex-student Alfredo Roque Freire, candidate for the 2020 prize was
> considered, or  short-listed,  to the 2020 Beth Prize - this will be
> of higher relevance for his future career.
> 
> I urge you to extend this letter to  the 2020 committee and to the
> leaders of the Association for Logic, Language and Information, with
> my appeal to create a committee to take care of this point.
> 
> 
> Yours sincerely,
> 
> Walter Carnielli
> 
> -- 
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcTvxT91Mq%2BNXqVVdF6EQ_Yk4NLhDk5WnYa5j9GDYMhiw%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0FAAECCC-F80F-4041-AADA-6511025FD4DD%40ime.usp.br.

[Logica-l] Yet Time

[Francisco Miraglia Neto]

Car@s,

Há também a possibilidade de que a teoria de hidden variables volte à moda. 
Nesse caso, talvez a lógica intuicionista e a teoria das espécies nos forneça 
alguma luz.

Estou quase arrependido de ter entrado nesta conversa, tão interessante... a 
“coceira” de pensar nela aumentou muito e há pouco a contribuir nesse momento.
Trata-se de um projeto muito grande e como disse antes, para mim um pouco 
“irresistível “...

Outro grande abraço a todos e cuidem-se , assim como de todos a sua volta! 
Vamos atravessar essa situação e talvez as questões mais urgentes sejam de 
outra natureza...

Chico Miraglia 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/99BD9277-D0B0-4B5F-BC05-B03749B36A1A%40ime.usp.br.

[Logica-l] Ainda o tempo

[Francisco Miraglia Neto]

Caro Rodrigo,

Obrigado pela tua mensagem.

 Apontaria que há outras questões envolvidas as quais me parece que a lógica 
intuicionista não pode dar conta: observáveis que não comutam (i.e., operadores 
que não comutam),o problema (não é um paradoxo) EPD (Einstein, Podolski e 
Rosenberg), as variadas possibilidades de “existência “ de fenômenos físicos, 
etc. 

Porém, como já disse, a essa altura, tudo em aberto, assim como os eventuais 
caminhos

Abração,

Chico Miraglia 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2AB4D572-D98C-4B4B-96F1-96B60398D8ED%40ime.usp.br.

[Logica-l] Ainda o tempo

[Francisco Miraglia Neto]

Caro Rodrigo ,

Em complemento à mensagem anterior, me lembro de St. Agostinho: o tempo; se me 
perguntares o que é, direi não sei. Se não for perguntado, então tenho a 
impressão de saber.

Outro abraço,

Chico Miraglia 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8BC88E41-8EEC-4267-879F-9E2E09BDAB60%40ime.usp.br.

Re: [Logica-l] intuitionistic math & quantum physics?

[Francisco Miraglia Neto]

Caro Rodrigo,

Permaneço com a minha “intuição” acerca do Lógica Linear intuicionista não 
comutativa que mencionei antes. Isso de forma alguma tem a intenção de se 
contrapor ou “desqualificar “ as referências que você  apropriadamente 
mencionou, que eu conheço. Porém, isso, a essa altura não passa de impressão. 
Um dia, que espero não esteja longe e na minha velhice irei voltar-me para essa 
questão...

Um grande abraço,

Chico Miraglia

> On 11 Apr 2020, at 21:57, Rodrigo Freire  wrote:
> 
> 
> Olá,
> 
> Minha impressão é que o autor propõe usar alguma versão dos números reais 
> intuicionistas para representar o tempo e resolver paradoxos relacionados, 
> portanto, que a ideia seria usar matemática intuicionista tipo análise e 
> geometria para representar aspectos da realidade (tempo ou espaço), não 
> lógica intuicionista. 
> 
> A ideia que uma análise/geometria intuicionista seria melhor para representar 
> aspectos realidade não é nova. Um dos principais proponentes da geometria 
> diferencial sintética, Anders Kock, deixa isso claro em seu segundo livro 
> sobre o assunto, pp. 275-276 
> ( https://users-math.au.dk/~kock/SGM-final.pdf ):
> 
> "Synthetic differential geometry is a (hopefully) consistent body of notions, 
> constructions, and assertions whose intended interpretation is geometric 
> aspects of the real world. In this respect, it does not differ from, say, 
> Euclid’s books. This is also the reason for the adjective “synthetic”. But 
> just as for Euclidean geometry, mathematicians today want to have a 
> mathematical semantics for the theory; typically in terms of an analytic 
> model, ultimately built on the field R of real numbers (which often is 
> thought to be even more real than the real world itself)."   
> 
> Os destaques são meus. 
> 
> É natural pensar que uma teoria em que o contínuo não é mera soma de pontos, 
> com infinitesimais nilpotentes, como a teoria do Kock, pode se encaixar muito 
> bem. Para entender com muito mais profundidade o problema filosófico do tempo 
> e do movimento, recomendo o artigo:
> 
> Boccardi, E.,  Change and contradiction: a criticism of the Hegelian account 
> of motion,  Seminário Lógica no Avião, 2019.
> (Disponível em http://lna.unb.br/lna_n01_10_eboccardi.pdf )
> 
> Para quem se interessa pelo problema do tempo presente no block-universe, 
> também mencionado no artigo, recomendo a seguinte leitura:
> 
> - Balashov, Yu., The common present in a block universe, Seminário Lógica no 
> Avião, 2019
> (Disponível em http://lna.unb.br/lna_01_09_ybalashov.pdf )
> 
> Abraço
> Rodrigo
> 
> 
> 
> 
> 
> 
>   
> 
> On Sat, Apr 11, 2020 at 8:11 PM Caio de Andrade Mendes  
> wrote:
>> Boa noite,
>> 
>> Chico, você me autoriza a compartilhar aqui na lista o PDF do teu artigo com 
>> o Coniglio?
>> 
>> Abraços,
>> 
>> Caio
>> 
>> Em sáb., 11 de abr. de 2020 às 19:45, Valeria de Paiva 
>>  escreveu:
>>> Obrigada Chico!
>>> intuicoes, motivacao e trabalho anterior, ja'  sao suficientes pra mim.
>>> abs
>>> Valeria
>>> 
>>> On Sat, Apr 11, 2020 at 3:29 PM Francisco Miraglia Neto 
>>>  wrote:
>>>> Car@s e Cara Valéria,
>>>> 
>>>> Assim que puder envio mais detalhes. Porém algumas indicações estão no meu 
>>>> artigo com o Marcelo Coniglio no Journal of Pure and Applied Álgebra 
>>>> acerca de módulos projetivos finitamente gerados sobre C^star álgebras.
>>>> Planejo voltar à essa questão in due time.  A indicação que fiz é, a essa 
>>>> altura uma forte impressão: & deveria dar conta da incerteza e do fato de 
>>>> que observar interfere no observável e  a ordem em que observações são 
>>>> feitas é importante; e seu join dual daria conta da impossibilidade de 
>>>> após escolha, mudar de ramo na árvore de escolha. Como escrever que um 
>>>> fóton é onda ou partícula? 
>>>> 
>>>> Por enquanto, ficamos por aqui. Saber mecânica quântica é meio essencial e 
>>>> a questão é difícil ...E irredutível! 
>>>> 
>>>> No momento estou envolvido em algumas questões, também interessantes. 
>>>> acerca de anéis, Lógica e formas quadráticas.  
>>>> 
>>>> Minhas desculpas por não conseguir resistir à provocação do João!!! 
>>>> 
>>>> Abraços ,
>>>> 
>>>> Chico Miraglia
>>>> 
>>>>> On 11 Apr 2020, at 18:27, Valeria de Paiva  
>>>>> wrote:
>>>>> 
>>>>> 
>>>>> >tenho indicações que Lógica

Re: [Logica-l] intuitionistic math & quantum physics?

[Francisco Miraglia Neto]

Cara Valéria,

Ok, obrigado!!

Abraços,

Chico Miraglia 

> On 11 Apr 2020, at 19:45, Valeria de Paiva  wrote:
> 
> 
> Obrigada Chico!
> intuicoes, motivacao e trabalho anterior, ja'  sao suficientes pra mim.
> abs
> Valeria
> 
>> On Sat, Apr 11, 2020 at 3:29 PM Francisco Miraglia Neto 
>>  wrote:
>> Car@s e Cara Valéria,
>> 
>> Assim que puder envio mais detalhes. Porém algumas indicações estão no meu 
>> artigo com o Marcelo Coniglio no Journal of Pure and Applied Álgebra acerca 
>> de módulos projetivos finitamente gerados sobre C^star álgebras.
>> Planejo voltar à essa questão in due time.  A indicação que fiz é, a essa 
>> altura uma forte impressão: & deveria dar conta da incerteza e do fato de 
>> que observar interfere no observável e  a ordem em que observações são 
>> feitas é importante; e seu join dual daria conta da impossibilidade de após 
>> escolha, mudar de ramo na árvore de escolha. Como escrever que um fóton é 
>> onda ou partícula? 
>> 
>> Por enquanto, ficamos por aqui. Saber mecânica quântica é meio essencial e a 
>> questão é difícil ...E irredutível! 
>> 
>> No momento estou envolvido em algumas questões, também interessantes. acerca 
>> de anéis, Lógica e formas quadráticas.  
>> 
>> Minhas desculpas por não conseguir resistir à provocação do João!!! 
>> 
>> Abraços ,
>> 
>> Chico Miraglia
>> 
>>>> On 11 Apr 2020, at 18:27, Valeria de Paiva  
>>>> wrote:
>>>> 
>>> 
>>> >tenho indicações que Lógica Linear intuicionista não comutativa poderia...
>>> Queremos mais informacoes, Chico!
>>> 
>>> espero que estejam todos bem,
>>> abracos,
>>> Valeria
>>> 
>>>> On Sat, Apr 11, 2020 at 9:46 AM Francisco Miraglia Neto 
>>>>  wrote:
>>>> Car@s,
>>>> 
>>>> Lógica intuicionista talvez não; mas tenho indicações que Lógica Linear 
>>>> intuicionista não comutativa poderia...
>>>> 
>>>> Abração,
>>>> 
>>>> Chico Miraglia 
>>>> 
>>>> 
>>>> > On 11 Apr 2020, at 13:10, Joao Marcos  wrote:
>>>> > 
>>>> > -- Forwarded message -
>>>> > From: "Kreinovich, Vladik"
>>>> > To: "f...@cs.nyu.edu"
>>>> > 
>>>> > https://www.quantamagazine.org/does-time-really-flow-new-clues-come-from-a-century-old-approach-to-math-20200407/
>>>> > 
>>>> > I am personally not (should it be not yet?) convinced, but a serious
>>>> > physicist Nicholas Gisin who in 2009, was awarded the First Biennial
>>>> > John Stewart Bell Prize
>>>> > <https://www.unige.ch/gap/quantum/news:20090816--pngatfbp> for
>>>> > Research on Fundamental Issues in Quantum Mechanics and their
>>>> > Applications, believes that intuitionistic math can help in quantum
>>>> > physics
>>>> > 
>>>> > -- 
>>>> > Você está recebendo esta mensagem porque se inscreveu no grupo 
>>>> > "LOGICA-L" dos Grupos do Google.
>>>> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, 
>>>> > envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>>> > Para ver esta discussão na web, acesse 
>>>> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljp%3DXVAAwcQBdZ4-3cgSO3ptzbpjxJpn8xR%3DPQPKr281Q%40mail.gmail.com.
>>>> 
>>>> -- 
>>>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>>>> dos Grupos do Google.
>>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>>>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>>> Para ver esta discussão na web, acesse 
>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FB10819E-7874-4AC8-8C64-19D94A0088E5%40ime.usp.br.
>>> 
>>> 
>>> -- 
>>> Valeria de Paiva
>>> http://vcvpaiva.github.io/
>>> http://www.cs.bham.ac.uk/~vdp/
>>> 
> 
> 
> -- 
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
> 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/67FA2A52-BCE1-4360-A5D1-7634C0B4238A%40ime.usp.br.

Re: [Logica-l] intuitionistic math & quantum physics?

[Francisco Miraglia Neto]

Car@s e Cara Valéria,

Assim que puder envio mais detalhes. Porém algumas indicações estão no meu 
artigo com o Marcelo Coniglio no Journal of Pure and Applied Álgebra acerca de 
módulos projetivos finitamente gerados sobre C^star álgebras.
Planejo voltar à essa questão in due time.  A indicação que fiz é, a essa 
altura uma forte impressão: & deveria dar conta da incerteza e do fato de que 
observar interfere no observável e  a ordem em que observações são feitas é 
importante; e seu join dual daria conta da impossibilidade de após escolha, 
mudar de ramo na árvore de escolha. Como escrever que um fóton é onda ou 
partícula? 

Por enquanto, ficamos por aqui. Saber mecânica quântica é meio essencial e a 
questão é difícil ...E irredutível! 

No momento estou envolvido em algumas questões, também interessantes. acerca de 
anéis, Lógica e formas quadráticas.  

Minhas desculpas por não conseguir resistir à provocação do João!!! 

Abraços ,

Chico Miraglia

> On 11 Apr 2020, at 18:27, Valeria de Paiva  wrote:
> 
> 
> >tenho indicações que Lógica Linear intuicionista não comutativa poderia...
> Queremos mais informacoes, Chico!
> 
> espero que estejam todos bem,
> abracos,
> Valeria
> 
>> On Sat, Apr 11, 2020 at 9:46 AM Francisco Miraglia Neto 
>>  wrote:
>> Car@s,
>> 
>> Lógica intuicionista talvez não; mas tenho indicações que Lógica Linear 
>> intuicionista não comutativa poderia...
>> 
>> Abração,
>> 
>> Chico Miraglia 
>> 
>> 
>> > On 11 Apr 2020, at 13:10, Joao Marcos  wrote:
>> > 
>> > -- Forwarded message -
>> > From: "Kreinovich, Vladik"
>> > To: "f...@cs.nyu.edu"
>> > 
>> > https://www.quantamagazine.org/does-time-really-flow-new-clues-come-from-a-century-old-approach-to-math-20200407/
>> > 
>> > I am personally not (should it be not yet?) convinced, but a serious
>> > physicist Nicholas Gisin who in 2009, was awarded the First Biennial
>> > John Stewart Bell Prize
>> > <https://www.unige.ch/gap/quantum/news:20090816--pngatfbp> for
>> > Research on Fundamental Issues in Quantum Mechanics and their
>> > Applications, believes that intuitionistic math can help in quantum
>> > physics
>> > 
>> > -- 
>> > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> > dos Grupos do Google.
>> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> > um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> > Para ver esta discussão na web, acesse 
>> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljp%3DXVAAwcQBdZ4-3cgSO3ptzbpjxJpn8xR%3DPQPKr281Q%40mail.gmail.com.
>> 
>> -- 
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FB10819E-7874-4AC8-8C64-19D94A0088E5%40ime.usp.br.
> 
> 
> -- 
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
> 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BDCDA2D9-CB38-45C1-8AA2-10A619EFFA8D%40ime.usp.br.

Re: [Logica-l] intuitionistic math & quantum physics?

[Francisco Miraglia Neto]

Car@s,

Lógica intuicionista talvez não; mas tenho indicações que Lógica Linear 
intuicionista não comutativa poderia...

Abração,

Chico Miraglia 


> On 11 Apr 2020, at 13:10, Joao Marcos  wrote:
> 
> -- Forwarded message -
> From: "Kreinovich, Vladik"
> To: "f...@cs.nyu.edu"
> 
> https://www.quantamagazine.org/does-time-really-flow-new-clues-come-from-a-century-old-approach-to-math-20200407/
> 
> I am personally not (should it be not yet?) convinced, but a serious
> physicist Nicholas Gisin who in 2009, was awarded the First Biennial
> John Stewart Bell Prize
>  for
> Research on Fundamental Issues in Quantum Mechanics and their
> Applications, believes that intuitionistic math can help in quantum
> physics
> 
> -- 
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljp%3DXVAAwcQBdZ4-3cgSO3ptzbpjxJpn8xR%3DPQPKr281Q%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FB10819E-7874-4AC8-8C64-19D94A0088E5%40ime.usp.br.

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

[Francisco Miraglia Neto]

Caro Hermógenes, 

Ambos os originais que mencionei, assim como o lembrado pelo Carlos são muito 
interessantes; considero os dois primeiros melhores que o livro de 1992, que é 
um ótimo texto.

Um grande abraço, 

Chico

> On 29 Dec 2019, at 16:57, Hermógenes Oliveira  wrote:
> 
> Olá, Chico.
> 
> Eu não li a tese de doutorado do Smullyan ou o artigo de 1959, mas
> conheço o livro de 1992, Gödel's Incompleteness Theorems.  De acordo
> com o prefácio, ideias daquelas obras anteriores estão incorporadas
> ali.
> 
> Dentre a literatura secundária sobre os teoremas de Gödel, esse livro
> do Smullyan é o meu predileto.  Me lembro de nós termos usado ele,
> juntamente com o artigo original do Gödel, num curso do mestrado na
> UFG em meados de 2011.  Um dos cursos mais divertidos dos quais eu já
> participei!
> 
> O livro apresenta codificações bem perspicazes que, na minha opinião,
> são melhores que as do artigo original.  Contudo, ele não abre mão da
> aritmetização em momento algum, ainda que em alguns momentos a
> pressuponha *explicitamente* quando apresenta formulações abstratas
> do resultado gödeliano.
> 
> --
> Hermógenes Oliveira
> 
> 
> From: Francisco Miraglia Neto 
> Sent: Sunday, 29 December 2019 12:47
> Cc: Lista brasileira
> Subject: Re:  [Logica-l] Kurt Gödel and the mechanization of mathematics
> 
> 
>> Car@s,
>> 
>> Me indago porque ninguém parece se lembrar da tese de doutorado do Smulian 
>> em Princeton, publicada naquela coleção de Princeton que tinha capa 
>> vermelha. Para quem não conhece , recomendo:
>> A theory of formal systems
>> Princeton Univ Press, 1961.
>> 
>> Há um artigo anterior de 1959, seu primeiro artigo, anterior à tese, em que 
>> os argumentos de Godel são analisados e simplificados consideravelmente.
>> 
>> De todo modo, o que chamamos de aritmetizacão , um caso particular de 
>> internalização de uma Teoria no sentido que fala o Rodrigo, possui muitas 
>> outras aplicações, como todo mundo sabe.  O mesmo se aplica à ideia de 
>> diagonalização, que trata-se, na minha opinião, de um método , uma ideia e 
>> não apenas uma técnica particular.
>> 
>> Um grande abraço a todas e todos e  Feliz Ano Novo !!
>> 
>> Chico Miraglia
> 
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CE2D8CD8-A246-42D6-8622-47C714C61337%40ime.usp.br.
> 
> -- 
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/AM6P192MB04885FBB7208427DFED25A43E9240%40AM6P192MB0488.EURP192.PROD.OUTLOOK.COM.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/AC31FEF5-DE6D-4BE7-A437-785F49E97810%40ime.usp.br.

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

[Francisco Miraglia Neto]

> Car@s,
> 
> Me indago porque ninguém parece se lembrar da tese de doutorado do Smulian em 
> Princeton, publicada naquela coleção de Princeton que tinha capa vermelha. 
> Para quem não conhece , recomendo: 
> A theory of formal systems
> Princeton Univ Press, 1961. 
> 
> Há um artigo anterior de 1959, seu primeiro artigo, anterior à tese, em que 
> os argumentos de Godel são analisados e simplificados consideravelmente. 
> 
> De todo modo, o que chamamos de aritmetizacão , um caso particular de 
> internalização de uma Teoria no sentido que fala o Rodrigo, possui muitas 
> outras aplicações, como todo mundo sabe.  O mesmo se aplica à ideia de 
> diagonalização, que trata-se, na minha opinião, de um método , uma ideia e 
> não apenas uma técnica particular.
> 
> Um grande abraço a todas e todos e  Feliz Ano Novo !!
> 
> Chico Miraglia

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CE2D8CD8-A246-42D6-8622-47C714C61337%40ime.usp.br.

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

[Francisco Miraglia Neto]

Car@s,

Pergunta: qual é a cardinalidade do conjunto das partes do naturais? 

0. É fácil ver que essa cardinalidade é igual à  do conjunto dos reais (ou do 
intervalo (0, 1), se preferirem);

1. Cantor fez a hipótese de que seria aleph_1, o primeiro cardinal não 
enumerável. Esta hipótese passou a se chamar a Hipótese do Contínuo;

2. Há duas limitações bem conhecidas sobre a cardinalidade da reta ( ou das 
partes dos naturais).  Bob Solovay mostrou que  é consistente com a teoria dos 
conjuntos que qualquer cardinal infinito de cofinalidade não enumerável  pode 
ser a cardinalidade da reta real. Assim, por exemplo, todos os aleph_n podem 
ser a cardinalidade da reta, mas aleph_{omega} não pode, pois tem cofinalidade 
enumerável.

3. Há axiomas de forcing (e.g.  maximal Martin’s axiom) que fornecem que a 
cardinalidade da reta seja aleph_2, algo que aparentemente, seria a opinião de 
Godel (entre outros). Há também axiomas de infinidade que decidem 
essa questão;

4. Uma questão interessante, que com o que conseguimos aceitar como “natural” 
na axiomática da teoria dos conjuntos ( e “ natural” está sujeito a muitas 
opiniões), permanece indecidível.  Na opinião do próprio Godel, faltam axiomas 
“naturais”, que decidam essa questão tão básica. Mas quais 

Abraços, 

Chico Miraglia 

> On 8 Oct 2019, at 22:16, Valeria de Paiva  wrote:
> 
> 
> oi Adolfo,
> >Eu não tenho ideia do que seja a hipótese do contínuo.
> >Onde encontro uma boa explicação?
> 
> Bom, eu sempre gosto das explicacoes do Samuel, que em geral sao bem diretas 
> e "indolores".
>  nesse caso da' pra ler
> https://www.researchgate.net/publication/334164513_REDUCTIONS_BETWEEN_CERTAIN_INCIDENCE_PROBLEMS_AND_THE_CONTINUUM_HYPOTHESIS
> que fala de passagem sobre a Hipotese do Continuo.
> Mas a gente tb pode pedir pra ele escrever um blog post pra gente copm o 
> basico sobre o assunto, ne?
> alias, 'e capaz dele ter um ja' feito pros alunos dele em algum lugar..
> que tal, Samuel?
> abracos neofitos,
> 
> Valeria
> 
> 
>> On Tue, Oct 8, 2019 at 1:23 PM Rodrigo Freire  wrote:
>> Pode-se começar uma explicação simplesmente negando o que essa infeliz 
>> tentativa que está divulgada na página principal do impa diz a respeito.
>> 
>> Primeiro, a hipótese do contínuo, não "hipótese contínua", não é um paradoxo 
>> lógico e não foi descoberta por Gödel, como dito no primeiro parágrafo. 
>> (Nem vou comentar a "definição" de paradoxo presente no segundo parágrafo) .
>> O terceiro parágrafo não é gramatical, mas em qualquer interpretação está 
>> errado.
>> O parágrafo seguinte, extremamente confuso, atribui a Cantor a hipótese do 
>> contínuo, negando o que ele disse antes sobre ser uma descoberta de Gödel. 
>> 
>> Depois ele tenta falar da independência com relação ao axiomas e ele solta 
>> isso:  
>> "Os estudos de Godel e Cohen sobre a hipótese do contínuo implicam que 
>> existem universos matemáticos paralelos. Em um deles, a hipótese do contínuo 
>> concorda com os axiomas da teoria dos conjuntos, sendo portanto verdadeira. 
>> No outro, ela contradiz os aximoas, sendo portanto falsa." 
>> Segundo o autor, satisfação em um modelo é "concordância com os axiomas". 
>> Tudo errado. Só para deixar claro o erro técnico cometido aqui:
>> Suponha que em um dos modelos a HC contradiz os axiomas, com nos diz o 
>> texto. Quer dizer que a HC é inconsistente com os axiomas em tal modelo, ou 
>> seja, que existe uma dedução de sua negação a partir dos axiomas neste 
>> modelo. Portanto, existe uma dedução da negação de HC por absolutidade, o 
>> que implicaria a inconsistência da teoria de conjuntos.
>> 
>> Há material abundante sobre o tema, ninguém precisa recorrer a isso.
>> 
>> 
>> 
>> 
>> 
>> 
>> 
>> 
>>> On Tue, Oct 8, 2019 at 4:56 PM Eduardo Ochs  wrote:
>>> Aqui:
>>> https://en.m.wikipedia.org/wiki/Continuum_hypothesis
>>> 
 On Tue, 8 Oct 2019, 16:32 Adolfo Neto,  wrote:
 Olá Doria e Rodrigo,
 
 Eu não tenho ideia do que seja a hipótese do contínuo.
 Onde encontro uma boa explicação?
 
 Abs.
 Adolfo
 
> On Tue, Oct 8, 2019, 16:30 Famadoria  wrote:
> Lixo, Adolfo. 
> 
> Sent from my iPhone
> 
>> On 8 Oct 2019, at 15:46, Adolfo Neto  wrote:
>> 
>> Por que?
>> 
>>> On Tue, Oct 8, 2019, 2:24 PM Rodrigo Freire  
>>> wrote:
>>> Artigo horroroso.
>>> 
>>> 
>>> https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html
>>>   
>>> 
>>> 
>>> 
>>> -- 
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, 
>>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAExWzU%2BOmaA%2BtJ1qFQwwJ3MRvBUyGV9zSO%2BaAjEo5zYy-hkQeQ%40mail.gmail.com.
>> 
>> -- 
>> 

Re: [Logica-l] Presheaves

[Francisco Miraglia Neto]

Caro Regivan,

Há muitos exemplos. Primeiro uma observação: todo perfeixe sobre um espaço 
topológico pode ser reescrito na abordagem proposta por Fourman e Scott (isto é 
meio imediato). 

1. 0 exemplo mais standard é o prefeixe, P, das funções reais contínuas e 
limitadas sobre a reta. 
A função x^2 é colagem de limitadas, mas não é seção global de P.  

2. Como generalização de (1), podemos tomar funções contínuas f, de um espaço 
topológico X em um espaço topológico Y, tal que o fecho da imagem de f é 
compacto em Y (X e Y Hausdorff, X não compacto)


3. Em geral, muitas construções originam-se em prefeixe, que depois são 
“completadas”  para feixes. Um exemplo é a construção de Grothendieck do 
prefeixe associado a um anel comutativo: na realidade o prefeixe é construído, 
originalmente apenas sobre abertos básicos da topologia de Zariski. 

4. Seja X um espaço Hausdorff, com base de abertos e fechados e não compacto 
(e.g. , retire apenas um ponto do espaço de Cantor, ou mais geralmente um 
fechado raro). 
O prefeixe Q das funções localmente constantes e de imagem finita de X em 
qualquer conjunto infinito A é um prefeixe que não é um feixe. Este exemplo é, 
claro, parente de (1) e (2). Aqui lembre-se que o complemento do ponto retirado 
do conjunto de Cantor é união disjunta enumerável de abertos e fechados não 
vazios...

Um grande abraço,

Chico Miraglia 


> On 6 Sep 2019, at 10:06, Regivan Hugo Nunes Santiago  
> wrote:
> 
> Caríssimos,
> 
> alguém conhece um exemplo de um presheaf que não seja um Sheaves. 
> Gostaria de um exemplo que  não fosse abordado categoricamente, 
> mas que seguisse a abordagem proposta pelo Scott e o Fourman.
> 
> Regivan
> 
> **
> Prof. Dr. Regivan Hugo Nunes Santiago
> Group for Logic, Language, Information, Theory and Applications - LoLITA
> Department of Informatics and Applied Mathematics - DIMAp
> Federal University of Rio Grande do Norte - UFRN
> Avenida Senador Salgado Filho, 3000,
> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
> Caixa Postal: 1679
> Phone: +55 84 3215-3814 Ext. 211
> Fax:  +55 84 3215-3813
> https://sites.google.com/site/regivanhnsantiago/
> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
> 
> Curriculum Lattes-CNPq
> **
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANLtSLinRUp2xAn1bBucxUcKT4vSCPwWRGe%2BfweiSC8XQijjcQ%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1592DBE5-2CA6-416C-91C3-0CE4B2AEC83F%40ime.usp.br.

Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou

[Francisco Miraglia Neto]

Cara Itala, 

Obrigado!

Beijos,

Chico Miraglia 

> On 17 Jul 2019, at 12:36, Itala M. Loffredo D'Ottaviano 
>  wrote:
> 
> Parabéns, Chico!
> É isso mesmo, para desalento e desespero nosso e desmonte do país!
> Itala
> 
>> Car@s,
>> Infelizmente, não é apenas fascismo e “burrizia†, como diz o Doria.
>> 
>> Trata-se de tentativa consciente e planejada de destruir toda possibilidade 
>> de produção de conhecimento crítico e reduzi-lo à conveniência do 
>> capital.
>> 
>> Minhas desculpas às sensibilidades que possa estar ofendendo; mas sou 
>> (provavelmente, morrerei) comunista, com absoluta convicção democrática. 
>> Hoje em dia parece ser necessário alguma coragem
>> para declarar afiliações; porém, estou muito velho para deixar de dizer o 
>> que penso (no dia 23/2/20 farei 74 anos).
>> 
>> Um grande e afetuoso abraço a todas e todos colegas!
>> 
>> Chico Miraglia
>> 
>>> On 16 Jul 2019, at 22:21, Famadoria  wrote:
>>> 
>>> Viva a burrizia!!!
>>> 
>>> 
>>> Sent from my iPhone
>>> 
 On 16 Jul 2019, at 14:55, Adolfo Neto  wrote:
 
 Lembrei do professor Doria e da fuga de cérebros.
 Vai aumentar.
 Link do Estadão sem paywall:
 https://outline.com/ZwCS2V
 
 
> On Tue, Jul 16, 2019 at 2:30 PM Walter Carnielli 
>  wrote:
> Colegas:
> 
> Gravíssimo "bote"  do Ministro da Educação ,já começando a  
> privatizar
> a  pós-graduação das federais.
> 
> Além  da "Cartilha de  Astrologia", o ministro ainda convence alguns
> beócios com a falácia " post hoc ergo propter hoc ":
> 
> "as universidades  americanas são de  primeira  linha, e são  pagas",
> portanto "pagar"  faz alguma a coisa ser de "primeira linha".
> 
> Pobre  Brasil!
> 
> W.
> =
> Programa para universidades será apresentado nesta 4ª
> 
> O presidente Jair Bolsonaro (PSL) afirmou na manhã desta terça-feira,
> 16, que o Ministério da Educação (MEC) apresentou o programa de
> autonomia das universidades federais na reunião do Conselho de
> Governo. O presidente, no entanto, não deu mais informações sobre o
> projeto, que se chamará Future-se, e deverá ser apresentado nesta
> quarta-feira, 17. (Eduardo Rodrigues e Mariana Haubert, O Estado de
> S.Paulo)
> 
> 
> https://educacao.estadao.com.br/noticias/geral,programa-de-autonomia-das-univertilhad
> a sidades-sera-apresentado-nesta-4,70002924079
> 
> Cartilha da Astrologia:
> 
> https://oglobo.globo.com/sociedade/mec-deleta-posts-depois-de-criticas-campanha-estudante-de-cada-signo-em-que-usava-astrologia-para-definir-alunos-23808223
> 
> --
> ---
> Walter Carnielli
> https://waltercarnielli.com/
> 
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy
> State University of Campinas –UNICAMP
> 13083-859 Campinas -SP, Brazil
> 
> CV Lattes : http://lattes.cnpq.br/105496835379
> 
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo 
> "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, 
> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Mxgptdo0OQuHH4_qP%2BU68TmPM7Ra8scjuWMezVBome6A%40mail.gmail.com.
 
 
 --
 ==
 Adolfo Neto
 Associate Professor - Federal University of Technology, Paraná
 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
 Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
 ==
 --
 Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
 Grupos do Google.
 Para cancelar inscrição nesse grupo e parar de receber e-mails dele, 
 envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
 Para ver essa discussão na Web, acesse 
 https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVFM0QstQx%2B%2Be5-dYSvyC_qrgaX%3Dp_FNpppFnSFczu6NA%40mail.gmail.com.
>>> 
>>> --
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, 
>>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/A2671CEA-B196-4D00-89CB-B9064D39DEDA%40gmail.com.
>> 
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail 

Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou

[Francisco Miraglia Neto]

Car@s,
Infelizmente, não é apenas fascismo e “burrizia”, como diz o Doria. 

Trata-se de tentativa consciente e planejada de destruir toda possibilidade de 
produção de conhecimento crítico e reduzi-lo à conveniência do capital. 

Minhas desculpas às sensibilidades que possa estar ofendendo; mas sou 
(provavelmente, morrerei) comunista, com absoluta convicção democrática. Hoje 
em dia parece ser necessário alguma coragem para declarar afiliações; porém, 
estou muito velho para deixar de dizer o que penso (no dia 23/2/20 farei 74 
anos).

Um grande e afetuoso abraço a todas e todos colegas!

Chico Miraglia 

> On 16 Jul 2019, at 22:21, Famadoria  wrote:
> 
> Viva a burrizia!!!
> 
> 
> Sent from my iPhone
> 
>> On 16 Jul 2019, at 14:55, Adolfo Neto  wrote:
>> 
>> Lembrei do professor Doria e da fuga de cérebros.
>> Vai aumentar.
>> Link do Estadão sem paywall:
>> https://outline.com/ZwCS2V
>> 
>> 
>>> On Tue, Jul 16, 2019 at 2:30 PM Walter Carnielli 
>>>  wrote:
>>> Colegas:
>>> 
>>> Gravíssimo "bote"  do Ministro da Educação ,já começando a  privatizar
>>> a  pós-graduação das federais.
>>> 
>>> Além  da "Cartilha de  Astrologia", o ministro ainda convence alguns
>>> beócios com a falácia " post hoc ergo propter hoc ":
>>> 
>>> "as universidades  americanas são de  primeira  linha, e são  pagas",
>>> portanto "pagar"  faz alguma a coisa ser de "primeira linha".
>>> 
>>> Pobre  Brasil!
>>> 
>>> W.
>>> =
>>> Programa para universidades será apresentado nesta 4ª
>>> 
>>> O presidente Jair Bolsonaro (PSL) afirmou na manhã desta terça-feira,
>>> 16, que o Ministério da Educação (MEC) apresentou o programa de
>>> autonomia das universidades federais na reunião do Conselho de
>>> Governo. O presidente, no entanto, não deu mais informações sobre o
>>> projeto, que se chamará Future-se, e deverá ser apresentado nesta
>>> quarta-feira, 17. (Eduardo Rodrigues e Mariana Haubert, O Estado de
>>> S.Paulo)
>>> 
>>> 
>>> https://educacao.estadao.com.br/noticias/geral,programa-de-autonomia-das-univertilhad
>>> a sidades-sera-apresentado-nesta-4,70002924079
>>> 
>>> Cartilha da Astrologia:
>>> 
>>> https://oglobo.globo.com/sociedade/mec-deleta-posts-depois-de-criticas-campanha-estudante-de-cada-signo-em-que-usava-astrologia-para-definir-alunos-23808223
>>> 
>>> -- 
>>> ---
>>> Walter Carnielli
>>>  https://waltercarnielli.com/
>>> 
>>> Centre for Logic, Epistemology and the History of Science and
>>> Department of Philosophy
>>> State University of Campinas –UNICAMP
>>> 13083-859 Campinas -SP, Brazil
>>> 
>>>  CV Lattes : http://lattes.cnpq.br/105496835379
>>> 
>>> -- 
>>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>>> dos Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver esta discussão na web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Mxgptdo0OQuHH4_qP%2BU68TmPM7Ra8scjuWMezVBome6A%40mail.gmail.com.
>> 
>> 
>> -- 
>> ==
>> Adolfo Neto
>> Associate Professor - Federal University of Technology, Paraná
>> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
>> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
>> ==
>> -- 
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVFM0QstQx%2B%2Be5-dYSvyC_qrgaX%3Dp_FNpppFnSFczu6NA%40mail.gmail.com.
> 
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/A2671CEA-B196-4D00-89CB-B9064D39DEDA%40gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/F418EBC2-3505-49FE-BBA9-321ACFE6B3AA%40ime.usp.br.

Re: [Logica-l] Nota de repúdio da SBL

[Francisco Miraglia]

Ótima nota! 
Abraços,
Chico Miraglia 

> On 27 Apr 2019, at 10:14, itala loffredo  wrote:
> 
> Obrigada, caros membros da Diretoria da SBL!
> Itala
> 
>> Em sex, 26 de abr de 2019 às 23:17, Cassiano Terra Rodrigues 
>>  escreveu:
>> Colegas, divulgo aqui a Nota de Repúdio elaborada pela Diretoria da SBL às 
>> últimas declarações do Presidente Bolsonaro e seu Ministro da Educação 
>> Abraham Weintraub sobre a filosofia e a sociologia no contexto da educação 
>> brasileira. 
>> 
>> Atenciosamente, 
>> Cassiano.
>> 
>> 
>> Nota de repúdio da Sociedade Brasileira de Lógica às declarações de Sua 
>> Excelência, Presidente da República Federativa do Brasil, Jair Bolsonaro, e 
>> Sua Excelência, Ministro de Estado da Educação, Abraham Weintraub
>> 
>>  
>> 
>> Em apoio à ANPOF – Associação Nacional de Pós-Graduação em Filosofia.
>> 
>> Em apoio à SBPC – Sociedade Brasileira para o Progresso da Ciência, ao 
>> movimento #CiênciaOcupaBrasília e à mobilização nacional de 8 e 9 de maio de 
>> 2019 contra os cortes orçamentários em Ciência, Tecnologia e Informação.
>> 
>>  
>> 
>>  
>> 
>>  
>> 
>>  
>> 
>>  
>> 
>> A Sociedade Brasileira de Lógica (SBL) repudia veementemente as recentes 
>> declarações, por parte de Sua Excelência, o Presidente Jair Bolsonaro, e de 
>> S. Exa., o Ministro da Educação Abraham Weintraub, a respeito do ensino e da 
>> pesquisa nas humanidades, particularmente a filosofia e a sociologia.
>> 
>>  
>> 
>> As declarações são desastrosas e ofensivas não só aos profissionais dessas 
>> áreas, como também deslegitimam toda a área das humanidades em todos os 
>> níveis da educação brasileira, sem excetuar o ensino mais básico da 
>> alfabetização mais chã, explicitamente mencionada por Sua Excelência o 
>> Presidente – como se fosse possível aprender a ler e a contar sem reflexão e 
>> autoconsciência. Chegando mesmo a dizer que apenas ricos deveriam se dedicar 
>> aos estudos filosóficos, S. Exa. o Ministro junta-se à Sua Excelência o 
>> Presidente na repetição de preconceitos rasos, caracterizados por um 
>> utilitarismo de vista curta e um atroz elitismo. Dos muitos problemas 
>> passíveis de ser levantados, ressaltamos dois erros nessas declarações.
>> 
>>  
>> 
>> O primeiro erro é supor que só tem valor o que é imediatamente útil. Como 
>> filosofia e sociologia não trazem “retorno de fato”, devem ser consideradas 
>> inúteis e, portanto, sem qualquer valor. Ora, a verdade é que esse discurso 
>> trai uma preocupação exagerada com o que é desqualificado – se filosofia e 
>> sociologia nada produzem de fato, por que então atacá-las? Se são inúteis e 
>> desprovidas de todo valor, por que interessariam justamente aos ricos? O 
>> ataque parece revelar justamente o oposto do que está dito: filosofia e 
>> sociologia realmente são valiosíssimas, a ponto de merecerem menção direta, 
>> e, por isso mesmo, devem ser eliminadas do currículo, ou reduzidas ao mínimo 
>> disponível apenas às classes mais favorecidas. Cabe perguntar, portanto, se 
>> as palavras de Sua Excelência o Presidente e de S. Exa. o Ministro revelam o 
>> que seus enunciadores pensam ou se há algo que pensam e não manifestam 
>> abertamente.
>> 
>>  
>> 
>> O segundo erro, apoiado numa rígida e insustentável separação entre teoria e 
>> prática, é tão grave quanto o primeiro. Se o valor de uma área de estudos é 
>> reduzido exclusivamente às suas aplicações e resultados imediatos, então a 
>> própria lógica do processo de conhecer é invertida: raciocinamos para chegar 
>> às conclusões, para depois buscar descobrir o que fazer com elas, e não o 
>> contrário. Se as aplicações práticas e os resultados imediatos tornam-se 
>> critérios normativos para avaliar o conhecimento, então podemos deixar de 
>> raciocinar, basta aplicar fórmulas já conhecidas. Por que pensar, se basta 
>> só repetir? “Trabalhe, não pense”, diz um lema de assujeitamento já 
>> conhecido.
>> 
>>  
>> 
>> É claro, seria ingenuidade supor que apenas a filosofia e a sociologia são 
>> capazes de produzir pensamento “consciente” ou “crítico”, da mesma forma 
>> como seria ingênuo tentar defender sua “utilidade”. O conhecimento, em 
>> qualquer área, é sobretudo inútil, contudo tão somente no sentido de que seu 
>> produto maior não é nada de imediato e material, mas sim a autonomia de 
>> pensamento e a criticidade de consciência, atingidos apenas no contato com o 
>> mundo real e na apropriação do saber produzido por outras pessoas, em todas 
>> as áreas.
>> 
>>  
>> 
>> A esse respeito, é impossível esquecer que o lema da nossa bandeira é uma 
>> adaptação de outro, de Auguste Comte: “O amor como princípio, a ordem como 
>> base e o progresso como meta”. Isso porque a Escola Militar do Rio de 
>> Janeiro, já durante o século XIX, foi o principal centro de ensino 
>> sistemático da doutrina de Comte, o positivismo. Com isso, toda uma geração 
>> de militares brasileiros tornou-se positivista, a mesma geração que, em 
>> 1889, protagonizaria a Proclamação 

Re: [Logica-l] OFF -TOPIC Abaixo ssinado

[Francisco Miraglia]

Assinado!
Chico Miraglia 

> On 17 Apr 2018, at 01:08, Walter Alexandre Carnielli 
>  wrote:
> 
> Assinado!
> Walter
> 
> 
>> Em 16 de abr de 2018, às 23:13, Cassiano Terra Rodrigues 
>>  escreveu:
>> 
>> Colegas, esta mensagem foi veiculada hoje pela ANPOF nas suas redes sociais. 
>> Trata-se especificamente da permanência de filosofia e sociologia. 
>> Eu já assinei e repasso a quem tenha o interesse em assinar. Se não, por 
>> favor desconsiderem.
>> Saudações,
>> cass.
>> 
>> VOTAÇÃO - PELA OBRIGATORIEDADE DAS DISCIPLINAS DE FILOSOFIA E SOCIOLOGIA NO 
>> ENSINO MÉDIO
>> 
>> Foi pouco divulgado, mas O Ministério da Educação (MEC) entregou ao Conselho 
>> Nacional de Educação (CNE) a 3º versão da Base Nacional Comum Curricular 
>> para o ensino médio no dia 03/04/18. Nesta versão consta que, entre outras, 
>> as disciplinas de FILOSOFIA E SOCIOLOGIA NÃO CONSTAM MAIS COMO DISCIPLINAS 
>> OBRIGATÓRIAS a partir da Reforma do Ensino Médio.
>> 
>> Convocamos todos e todas colegas da área de Ciências Humanas a apoiarem no 
>> Site Ecidadania (vinculado do Senado Federal) a proposta "Pela 
>> obrigatoriedade das disciplinas de Filosofia e Sociologia no Ensino Médio". 
>> Essa proposta pede pela reinserção das disciplinas de Filosofia e Sociologia 
>> como componentes obrigatórios do currículo do ensino médio. Visando uma 
>> carga horária de 12 períodos distribuídos nos 3 anos letivos.
>> 
>> http://www.anpof.org/portal/index.php/pt-BR/artigos-em-destaque/1576-pela-obrigatoriedade-das-disciplinas-de-filosofia-e-sociologia-no-ensino-medio
>> 
>> https://www12.senado.leg.br/ecidadania/visualizacaoideia?id=103041
>> 
>>> On Tuesday, April 10, 2018 at 9:33:17 PM UTC-3, Walter Carnielli wrote:
>>> Caros Colegas: 
>>> 
>>> Esta  mensagem não é OFF- TOPIC-- embora não se  refira  à  Lógica 
>>>  propriamente dita, refere-se  à  sua condição de existência. 
>>> 
>>>  Há  uma proposta. legislativa  assinada por um ativista das redes 
>>> sociais com 300 mil 
>>> cliques em seu perfil,  "Eu era direita e não sabia". O tal ativista 
>>> se diz hoje  defensor de Bolsonaro. 
>>> 
>>> Sua proposta é passa todas as áreas de Humanas--Lógica de roldão- 
>>> para as escolas  privadas, pois 
>>> "são baratas"  e " livraria o estado de gastar dinheiro nisso". 
>>> 
>>> 
>>> A  recém-divulgada BNCC do Ensino Médio já está tirando a Filosofia 
>>>  das áreas de humanas e sociais aplicadas, e tornando a Lógica mais 
>>> apagada  ainda. 
>>> 
>>>  Veja  aqui: 
>>>  
>>> http://agenciabrasil.ebc.com.br/educacao/noticia/2018-04/novo-curriculo-do-ensino-medio-exigira-mudanca-na-formacao-do-professor
>>>  
>>> 
>>> 
>>> Acho importante que todos assinemos essa consulta pública aberta sobre 
>>> a permanência das Humanidades 
>>> no site do Senado: 
>>> 
>>> === 
>>> Assine aqui!! 
>>> https://www12.senado.leg.br/ecidadania/visualizacaoideia?id=101909=favor
>>>  
>>> 
>>>  
>>> 
>>> Abraços, 
>>> 
>>> Walter 
>>> 
>>> -- 
>>> --- 
>>> Walter Carnielli 
>>> Centre for Logic, Epistemology and the History of Science and 
>>> Department of Philosophy 
>>> State University of Campinas –UNICAMP 
>>> 13083-859 Campinas -SP, Brazil 
>>> Phone: (+55) (19) 3521-6517 
>>> Institutional e-mail: walter.c...@cle.unicamp.br 
>>> Website: http://www.cle.unicamp.br/prof/carnielli 
>>> CV Lattes : http://lattes.cnpq.br/105496835379 
>> 
>> -- 
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em 
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0522e43b-e3d1-4296-9d72-31f25f2a7ca5%40dimap.ufrn.br.
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6EE2E0B9-1894-4336-9D34-5207E7BE2FA8%40gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em 

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

[Francisco Miraglia]

Car@s,
Os clássicos são, em geral, meus preferidos: Hartley Rogers. Da trabalho, mas 
não há tempo perdido com o trabalho necessário. 
Abraços ,
Chico Miraglia 

> On 13 Apr 2018, at 12:11, Antonio Marmo  wrote:
> 
> Além dessas indicações do Rodrigo, você pode também dar uma olhada na parte 
> histórica que é a melhor forma de penetrar as questões.
> 
> Veja, entre outros, o legado de Raimundo Lúlio e Leibniz para depois ir a 
> Church e Turing.
> 
>> On 13 Apr 2018, at 08:39, Rodrigo Freire  wrote:
>> 
>> Olá Ana,
>> 
>> Com mais informações sobre seu background e sobre como você se interessou 
>> por esse campo é mais fácil receber uma sugestão apropriada. Sobre sua 
>> primeira questão: É importante entrar em contato, inicialmente, com as 
>> noções de função, enumeração e indução finita. Além desse livro que seu 
>> professor indicou, você pode pegar o livro Computabilidade e Lógica, de 
>> Boolos, Burgess e Jeffrey, também traduzido para o português e publicado 
>> pela editora Unesp. 
>> 
>> Se me fosse pedido para elaborar um projeto de IC, eu faria um projeto 
>> articulado em torno da chamada tese de Church, portanto dando prioridade 
>> para a noção de função computável, respondendo sua outra pergunta. Claro que 
>> é uma resposta enviesada, não há resposta certa para isso, é perfeitamente 
>> cabível um outro projeto que inverte essa prioridade. 
>> 
>> Abraço 
>> Rodrigo
>> 
>> 
>> 
>> Em 12 de abr de 2018, à(s) 11:30, Ana Paula Dos Anjos Vitorasse 
>>  escreveu:
>> 
>>>  
>>>  
>>> Para quem tem interesse em começar uma IC na área de Teoria da Recursão 
>>> quais os conceitos que tenho bem definidos na cabeça para entender bem a 
>>> referida Teoria??
>>> Por enquanto meu professor me recomendou ler o Capítulo 10 
>>> do livro do Prof. Walter Carnielli e Richard L. Epstein. Mas estou sem 
>>> nenhuma base por onde começar. O professor que procurei para trabalhar numa 
>>> Iniciação Científica disse que preciso especificar o que pretendo estudar. 
>>> Para um iniciante o que seria mais adequado? Função recursiva Primitiva ou 
>>> Função Computável?
>>>  
>>> Desde já agradeço.
>>>  
>>> Enviado do Email para Windows 10
>>>  
>>> -- 
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>> Acesse esse grupo em 
>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>>> Para ver essa discussão na Web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BN6PR03MB3138403D71A99F010063E61FD4BC0%40BN6PR03MB3138.namprd03.prod.outlook.com.
>> -- 
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em 
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BECF5B32-4AEA-4EA3-9F77-89E2D7BC8AA9%40gmail.com.
> 
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/59E9D60F-7871-4937-9604-F132545F3019%40gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CEBFAB71-7F63-4545-9EDB-EF989801F08D%40ime.usp.br.

Re: [Logica-l] Interseção e Pullbacks

[Francisco Miraglia]

Caro Regivan,
É sempre um prazer poder ajudar.
Abraços,
Chico Miraglia 

> On 18 Mar 2018, at 17:27, Regivan Hugo Nunes Santiago 
> <regivan.santi...@gmail.com> wrote:
> 
> Perfeito Chico Miraglia!
> 
> Muito obrigado,
> Regivan
> **
> Prof. Dr. Regivan Hugo Nunes Santiago
> Group for Logic, Language, Information, Theory and Applications - LoLITA
> Department of Informatics and Applied Mathematics - DIMAp
> Federal University of Rio Grande do Norte - UFRN
> Avenida Senador Salgado Filho, 3000,
> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
> Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
> Fax:  +55 84 3215-3813
> https://sites.google.com/site/regivanhnsantiago/
> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
> 
> Curriculum Lattes-CNPq
> ******
> 
>> Em 18 de mar de 2018, à(s) 11:14, Francisco Miraglia <mirag...@ime.usp.br> 
>> escreveu:
>> 
>> Caro Regivan,
>> 
>> Sejam A, B,  C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e $\iota_B$ 
>> ---> $A \cup B$ as imersões canônicas.
>> SUPONHA que existam funções f : C ---> A, g : C ---> B, tais que
>> $\iota_A$ o f = $\iota_B$ o g e que A \cap B é vazio; se C fosse não-vazio, 
>> esta equação produziria um ponto
>> na interseção de A com B. Logo, C tem que ser vazio e claro que existe uma 
>> única flecha de C na interseção
>> de A e B (o próprio vazio). Assim, ainda neste caso, a afirmação é 
>> verdadeira.
>> 
>> Um grande abraço,
>> 
>> Chico Miraglia
>> 
>> Quoting Regivan Hugo Nunes Santiago <regivan.santi...@gmail.com>:
>> 
>>> Caríssimos,
>>> 
>>> me surgiu uma dúvida de um ponto que nunca tinha percebido e que não 
>>> consegui
>>> resolver com as referências que tenho.
>>> 
>>> Algumas referências, mostram que o pullback do par de funções:
>>> 
>>> A  >——> (A\cup B) <—— <  B (*)
>>> 
>>> é a intersecção A\cap B com as respectivas injeções em A e B.
>>> 
>>> Pois bem, pela definição de função e reforçado pelo último exercício do 
>>> livro do Halmos,
>>> Naive Set Theory, na parte de funções. Sabe-se que não existe função f: A 
>>> —> \emptyset
>>> quando $A$ não é vazio. Portanto, se $A$ e $B$ forem disjuntos, então não é
>>> possível se produzir uma função $K$ de qualquer conjunto não vazio, $X$, em 
>>> $A\cap B$.
>>> Assim,  $A\cap B$ não pode ser o pullback  de (*). Ou ainda, reescrevendo, 
>>> o pullback
>>> de (*) só faz sentido se $A$ e $B$ não forem disjuntos.
>>> 
>>> Abraços,
>>> Regivan
>>> **
>>> Prof. Dr. Regivan Hugo Nunes Santiago
>>> Group for Logic, Language, Information, Theory and Applications - LoLITA
>>> Department of Informatics and Applied Mathematics - DIMAp
>>> Federal University of Rio Grande do Norte - UFRN
>>> Avenida Senador Salgado Filho, 3000,
>>> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
>>> Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
>>> Fax:  +55 84 3215-3813
>>> https://sites.google.com/site/regivanhnsantiago/ 
>>> <https://sites.google.com/site/regivanhnsantiago/>
>>> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
>>> 
>>> Curriculum Lattes-CNPq 
>>> <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
>>> **
>>> 
>>> --
>>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>>> dos Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>> Visite este grupo em 
>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>>> Para ver esta discussão na web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/DFFE46BC-1887-495C-A58D-44E9EE917642%40gmail.com.
>> 
>> 
>> 
>> -- 
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para 

Re: [Logica-l] Interseção e Pullbacks

[Francisco Miraglia]

Cara Sheila,

Não penso que o Regivan inverteu as flechas; sua dúvida era com a  
PROVA de que a interseção era o pull-back em qualquer caso, mesmo se A  
e B são disjuntos. Por isto é que enviei para a lista as observações  
anteriores, mostrando que a prova ainda vale neste caso, pois o único  
cone possível sobre tal diagrama é duas vezes  do  
conjunto vazio em
A e B, respectivamente. Neste caso, a fatoração através de A \cap B é  
única (e de novo ), como deveria ser.


Abraços,

Chico Miraglia



Quoting sheila.murgel.vel...@gmail.com:


Regivan
Acho que você  inverteu as setas . No pullback as injeções sao da  
intercessao  de A e B para A e para B. Agora se A e B forem  
disjuntos a função vazia é a injeção para A e para B. Não há nenhum  
problema.

Abraços
Sheila

Envoyé de mon iPhone

Le 18 mars 2018 à 09:27, Regivan Hugo Nunes Santiago  
 a écrit :


Caríssimos,

me surgiu uma dúvida de um ponto que nunca tinha percebido e que  
não consegui

resolver com as referências que tenho.

Algumas referências, mostram que o pullback do par de funções:

A  >——> (A\cup B) <—— <  B (*)

é a intersecção A\cap B com as respectivas injeções em A e B.

Pois bem, pela definição de função e reforçado pelo último  
exercício do livro do Halmos,
Naive Set Theory, na parte de funções. Sabe-se que não existe  
função f: A —> \emptyset

quando $A$ não é vazio. Portanto, se $A$ e $B$ forem disjuntos, então não é
possível se produzir uma função $K$ de qualquer conjunto não vazio,  
$X$, em $A\cap B$.
Assim,  $A\cap B$ não pode ser o pullback  de (*). Ou ainda,  
reescrevendo, o pullback

de (*) só faz sentido se $A$ e $B$ não forem disjuntos.

Abraços,
Regivan
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq
**

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L"  
dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails  
dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Acesse esse grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/DFFE46BC-1887-495C-A58D-44E9EE917642%40gmail.com.


--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/F48E00BC-8AB3-40F6-AEC7-4765D8C095AD%40gmail.com.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20180318160414.Horde.swJsmDILtE8YNg5MqyPQxA1%40webmail.ime.usp.br.

Re: [Logica-l] Interseção e Pullbacks: Complemento

[Francisco Miraglia]

Caro Regivan,

Ou seja, os únicos pares <C,f>, <C,g> satisfazendo as equações  
mencionadas (isto é, que são "menores" que o diagrama em
questão, são ambos iguais a <vazio, vazio> e a flecha vazia de C em A  
\cap B é a única que faz o requerido diagrama

comutar, como necessário.

Outro abraço,

Chico Miraglia


Quoting Francisco  Miraglia <mirag...@ime.usp.br>:


Caro Regivan,

Sejam A, B,  C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e  
$\iota_B$ ---> $A \cup B$ as imersões canônicas.

SUPONHA que existam funções f : C ---> A, g : C ---> B, tais que
$\iota_A$ o f = $\iota_B$ o g e que A \cap B é vazio; se C fosse  
não-vazio, esta equação produziria um ponto
na interseção de A com B. Logo, C tem que ser vazio e claro que  
existe uma única flecha de C na interseção
de A e B (o próprio vazio). Assim, ainda neste caso, a afirmação é  
verdadeira.


Um grande abraço,

Chico Miraglia

Quoting Regivan Hugo Nunes Santiago <regivan.santi...@gmail.com>:


Caríssimos,

me surgiu uma dúvida de um ponto que nunca tinha percebido e que  
não consegui

resolver com as referências que tenho.

Algumas referências, mostram que o pullback do par de funções:

A  >——> (A\cup B) <—— <  B (*)

é a intersecção A\cap B com as respectivas injeções em A e B.

Pois bem, pela definição de função e reforçado pelo último  
exercício do livro do Halmos,
Naive Set Theory, na parte de funções. Sabe-se que não existe  
função f: A —> \emptyset

quando $A$ não é vazio. Portanto, se $A$ e $B$ forem disjuntos, então não é
possível se produzir uma função $K$ de qualquer conjunto não vazio,  
$X$, em $A\cap B$.
Assim,  $A\cap B$ não pode ser o pullback  de (*). Ou ainda,  
reescrevendo, o pullback

de (*) só faz sentido se $A$ e $B$ não forem disjuntos.

Abraços,
Regivan
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/  
<https://sites.google.com/site/regivanhnsantiago/>

e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq  
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>

**

--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails  
dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/DFFE46BC-1887-495C-A58D-44E9EE917642%40gmail.com.




--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20180318111453.Horde.SPNBPfalMNUdMP_Jy8WRIg3%40webmail.ime.usp.br.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20180318112322.Horde.uZRVFCqcUy62y00V9Ze-7Q7%40webmail.ime.usp.br.

Re: [Logica-l] Interseção e Pullbacks

[Francisco Miraglia]

Caro Regivan,

Sejam A, B,  C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e  
$\iota_B$ ---> $A \cup B$ as imersões canônicas.

SUPONHA que existam funções f : C ---> A, g : C ---> B, tais que
$\iota_A$ o f = $\iota_B$ o g e que A \cap B é vazio; se C fosse  
não-vazio, esta equação produziria um ponto
na interseção de A com B. Logo, C tem que ser vazio e claro que existe  
uma única flecha de C na interseção

de A e B (o próprio vazio). Assim, ainda neste caso, a afirmação é verdadeira.

Um grande abraço,

Chico Miraglia

Quoting Regivan Hugo Nunes Santiago :


Caríssimos,

me surgiu uma dúvida de um ponto que nunca tinha percebido e que não consegui
resolver com as referências que tenho.

Algumas referências, mostram que o pullback do par de funções:

A  >——> (A\cup B) <—— <  B (*)

é a intersecção A\cap B com as respectivas injeções em A e B.

Pois bem, pela definição de função e reforçado pelo último exercício  
do livro do Halmos,
Naive Set Theory, na parte de funções. Sabe-se que não existe função  
f: A —> \emptyset

quando $A$ não é vazio. Portanto, se $A$ e $B$ forem disjuntos, então não é
possível se produzir uma função $K$ de qualquer conjunto não vazio,  
$X$, em $A\cap B$.
Assim,  $A\cap B$ não pode ser o pullback  de (*). Ou ainda,  
reescrevendo, o pullback

de (*) só faz sentido se $A$ e $B$ não forem disjuntos.

Abraços,
Regivan
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/  


e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq  


**

--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/DFFE46BC-1887-495C-A58D-44E9EE917642%40gmail.com.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20180318111453.Horde.SPNBPfalMNUdMP_Jy8WRIg3%40webmail.ime.usp.br.

Re: [Logica-l] Re: [OUF] imposto de 20% sobre as taxas de inscricao

[Francisco Miraglia]

Caro Jean Yves,

Acabo de assinar a petição que voce iniciou.

Abraços,

Chico Mraglia


Quoting jyb :


Caro Cassiano

Grato pelo apoio.
Não conhece bem este site de peticao, é  aprimeira vez que estou usando ele
mas acredito que não deve ser tão difficil assinar a acrescentar um
comentarios.
Ja varias pessoas conseguiram a fazer isso.

Organizar um evento na França é muito difficil porque contraramente a que
se poderia imaginar,
o governo, o CNRS e as universidades quase não dão dinheiro.
Ja sabia isso porque quando eu organizei junto como Walter o WCP3 em
Toulouse
http://www.cle.unicamp.br/wcp3/
conseguimos muito pouco apoio.
Estamos entao dependendo muitos das taxas de inscricoes, é absurdamente tem
20% do governo,
e assim que decidi fazer essa peticao.

Na minha vida fiz agora so 2 peticoes e consegui vencer nos dois casos,
vamos ver o que da esta terceira vez...
A primeira peticao que eu fiz foi 30 anos atras quando era estudante de
logica na Sorbonne.
Tinha la uma professor da Argentina, a Susanna Berestovoy, que era muito
simpatica e dedicada, ela ensinava teoria da recursao e computacao:
https://owpdb.mfo.de/detail?photo_id=4782
As pessoas queriam acabar a posicao dela, a gente nem sabia bem exatamente
porque, tinha um rumo dizendo que a logica nao era importante,etc
Ai outro proferssor de logica de  la, o Michel Parigot nos ajudou -  depois
Parigot  ficou muito famoso na luta contra o amiamte, o que levou a
evacuacao do campus da cienca de Paris e agora continua a luta que talvez
vai levar a supressao da Tour Montparnasse:
https://www.irishtimes.com/news/world/europe/tour-montparnasse-contaminated-with-asbestos-1.1628848

No caso da Susana o Parigot diz que era muito simple, bastava fazer uma
peticao.
Entao junto com uma outra aluna fiz a peticao. A gente circulou na salas de
aulas e em pouco dias tivemos muito assinaturas tanto de professor que de
alunos e a vaga foi entao mentido, até hoje alias.
Acho este exemplo intressante porque acredito que as pessoas que queriema
acabar com esta posicao, era provavalemente para usar a outros fins e
tentar se aproveitar que suponhamente a logica nao era popular.

Nesta peticao atula contra a TVA sobre taxas de inscricoes
https://www.change.org/p/fr%C3%A9d%C3%A9rique-vidal-minister-of-higher-education-research-and-innovation-in-france-tax-free-scientific-congresses-in-france
conversei com varios colegas e parece obvio que a atual Ministra da
Pesquida, Educacao na França, não é a favor deste imposto.
Provavalemente ninguem sabe quando e como foi deicido, parece ue é  uma
coisa que foi feita automaticamente.

A difficuldade para fazer valer esta peticao e que o governo frances quer
vai facilitar qualquer facilitar reducao de imposto sobre quelquer coisa.
Daqui alguns dias pretendo escrever uma carta para Ministra explicando
todos os beneficios de organizer eventos cientifico, para este evento vamos
ter participantes do mundo inteiro que vao usar hoteis, restuarantes, etc.

Não é claro que esta peticao no site change.org ela mesmo pode ter muita
influencia. Porque podemos ver la peticoes sobre assunto popular que
facilemente chegam ha mais de 100.000 assinantes. Certamente nao ver ser o
caso da nossa peticao, mas acredito que a peticao pode funcionar
considerando a qualidade e variedade dos assinantes, e por isso que estou
incentivando oas assinantes a deixar um comentario e dizer quem eles sao.

Um abraço, JYB

Le vendredi 27 octobre 2017 14:11:30 UTC+2, Cassiano Terra Rodrigues a
écrit :


OI Jean-Yves, eu tentei assinar - aliás parabéns pela iniciativa - mas o
change.org diz q o abaixo-assinado está indisponível.
Um abraço,
cass.

On Friday, October 27, 2017 at 7:42:10 AM UTC-2, jyb wrote:


Na França, tem um imposto de 20% do governo sobre as taxas de inscricao.
Decidi então lançar uma petitção dirigida ao Minitsro de Pesquisa na
França para reverter esta taxa
Voce são bemvindos para assinar a peticao, acrescentando se possivel um
comentario
JYB


https://www.change.org/p/fr%C3%A9d%C3%A9rique-vidal-minister-of-higher-education-research-and-innovation-in-france-tax-free-scientific-congresses-in-france




--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1013bedb-c820-4b40-9479-6cfcc0b81e5a%40dimap.ufrn.br.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.

[Logica-l] Notas esparsas

[Francisco Miraglia]

Car@s,

Alguns esclarecimentos:

1) Nunca disse -- por que não é verdade -- que Brouwer não apreciou a  
contribuição de ex-estudante Arend Heyting. Falava das posiçoes (bem  
conhecidas) de Brouwer.


2)Sem prejuízo de outras, considero boas as seguintes referências  
acerca da história

da origem do Intuicionismo:

[R] W. Ruitenberg, "The unintended interpretatiuons of intuicionism",  
in: T. Drucker (ed.), Perspectives on the History of Mathematical  
Logic, Birkhäuser, Boston, 1991, 134-160.  (leitura muito  
interessante, contendo as variadas interpretações semânticas do  
intuicionismo).


[T] A. S. Troesltra, "On the early history of intuicionistic logic",  
in: P.P. Peetkov (ed.),

Mathematical Logic, Plenum Press, 1989, 3-18 (juntamente com a farta lista de
referências).

 3) Na pag. 2 da referência [T] lê-se:

In 1927, the Dutch Mathematical Association (“Hert Wiskundig  
Genootschap”) published the following prize question proposed by G.  
Mannoury (in a free translation):


“By its very nature, Brouwer’s set theory cannot be identified with  
(t)he conclusions formally derivable I a certain pasigraphic system.  
Nevertheless certain regularities may be observed in the language  
Brouwer uses to give expression to his mathematical intuition; the  
regularities may be codified in a formal mathematical system. It is  
asked to


1) construct such a system and to indicate its deviations from  
Brouwer’s theories;


2) to investigate whether from the system to be constructed a dual  
system may be obtained by (formally) interchanging the principium  
tertii exclusi and the principium contradictionis.’’


Foi a este problema que Heyting dirigiu a sua atenção e ganhou em  
1928, o prêmio da Wiskundig Genootschap.  Entretanto, importante notar  
a primeira frase do enunciado... E que o Próprio Heyting manifestou,  
depois, algum descontentamento

com a sua (e outras) encaminhamentos da questão.

Até certo ponto, Brouwer concordou que Arend havia capturado
algumas das regularidades de seu método e manifestou apreço pela  
contribuição, inclusive  em uma carta a Heyting que, curiosamente,  
inclui uma "bronca", pois o Arend queria de volta a cópia que enviara   
do trabalho a LEJ...


4) Transcrevo um trecho da referência [R]:

"Intuitionism was more than twenty years old before A. Heyting produced the
first complete axiomatizations for intuitionistic propositional and  
predicate logic:
according to L. E. J. Brouwer, the founder of intuitionism, logic is  
secondary to
mathematics. Some of Brouwer’s papers even suggest that formalization  
cannot be
useful to intuitionism. One may wonder, then, whether intuitionistic  
logic should
itself be regarded as an unintended interpretation of intuitionistic  
mathematics.


I will not discuss Brouwer’s ideas in detail (on this, see [Brouwer  
1975], [Hey-
ting 1934, 1956]), but some aspects of his philosophy need to be  
highlighted here.
According to Brouwer mathematics is an activity of the human mind, a  
product of
languageless thought. One cannot be certain that language is a perfect  
reflection
of this mental activity. This makes language an uncertain medium (see  
[van Stigt

1982] for more details on Brouwer’s ideas about language).

In “De onbetrouwbaarheid der logische principes” ([Brouwer 1981], pp. 253–259;
for English translations of Brouwer’s work on intuitionism, see  
[Brouwer 1975])
Brouwer argues that logical principles should not guide but describe  
regularities

that are observed in mathematical practice. The Principle of Excluded Third,
A ∨ ¬A, is an example of a logical principle that has become a guide  
for mathematical
practice instead of simply describing it: the Principle of Excluded  
Third is observed
in verifiable “finite” situations and generalized to a rule of  
mathematics. But
according to Brouwer mathematics is not an experimental science, in  
which one only
has to repeat an experiment sufficiently often to establish a law, so  
the Principle

of Excluded Third should be discarded.

All his life Brouwer avoided the use of a formal language or logic, perhaps
because of its unreliability, perhaps because of his personal style  
(see [Brouwer
1981a], p. xi). This does not imply that he did not believe in the  
possibility of a
useful place for logic in intuitionistic mathematics, but rather that  
Brouwer would
not himself resort to a formal language. This attitude was detrimental  
to the development of intuitionistic logic: it was not until 1923 that  
Brouwer discovered
the equivalence in intuitionistic mathematics of triple negation and  
single negation

[Brouwer 1925].

While Brouwer may have been uncompromising with respect to his philosophy,
his mathematical and philosophical talent was understood and  
appreciated by his

thesis adviser D. J. Korteweg. In 1908 Korteweg advised Brouwer, after Brouwer
completed his thesis, to devote some time to “proper” mathematics, as opposed
to foundations, so as to earn 

Re: [Logica-l] um probleminha com logica intuicionista...

[Francisco Miraglia]

Cara Valéria,

Infelizmente, não há atalhos para os anéis de Gelfand; entretanto,  
exemplares importantes são os anéis (ou álgebras) de funções reais  
contínuas sobre um espaço compacto Hausdorff. Só aí já da para ter uma  
idéia da complexidade. Por sinal, para estes a resposta à pergunta
que mencionei  é verdade e a longa prova consta do novo Memoirs meu e  
do Max  que saiu recentemente (nov/16) sobre a teoria abstrata de  
formas quadráticas e aplicações à Teoria de Anéis.


Em relação ao Cálculo Proposicional de 2ª ordem, a escola polonesa dos  
anos 20 considerava quantificação universal sobre proposições como  
completamente natural (veja a tese de doutorado de A. Tarski;  
orientador: Leśniewski). Há muita informação acerca do assunto no meu  
livro com o Ken López Escobar: "Definitions the primitive concepts of  
Logics the Leśniewski-Tarski legacy",  Dissertationes Math. 401,  
Polish Academy of Science, 2002.


Outro abraço,

Chico


Quoting Valeria de Paiva <valeria.depa...@gmail.com>:


Concordo completamente com o Marcelo: Chico, por favor  escreva mais!

(gostaria de entender o exemplo " anéis de Gelfand (aqueles comutativos com
unidade tais que que por cima de todo ideal há apenas um maximal) são,
intuicionisticamente, fielmente quadráticos (possuem uma teoria de formas
quadráticas "bem comportada" e satisfazem a conjectura de Milnor)", esta'
explicado em algum lugar facil?)


e obrigada Hermogenes  pela mensagem clara e pelo plug pra palestra da
Elaine.

e sim, Hermogenes  eu tb gosto muito dessa traducao que o Peter Aczel
chamou de "Russell-Prawitz" em
*The Russell–Prawitz modality*
(Author: Peter Aczel
<https://dl.acm.org/author_page.cfm?id=81100285875=DL=ACM=0=822206738=84188042>
Departments
of Mathematics and Computer Science, Manchester University, Manchester M13
9PL, England
<https://dl.acm.org/inst_page.cfm?id=60003771=822206738=84188042>
tem uma versao prepint no site do Aczel,
The Russell-Prawitz Modality - School of Computer Science - The ...
<https://www.google.com/url?sa=t=j==s=web=5=0ahUKEwiXrPfPsInXAhUjiVQKHYixAesQFghAMAQ=http%3A%2F%2Fwww.cs.man.ac.uk%2F~petera%2Fruss-praw.ps.gz=AOvVaw0R-2D-kiwKnCxmYNQ0bPtJ>
www.cs.man.ac.uk/~petera/russ-praw.ps.gz)

mas e' bem mais complicada ne? voce precisa achar facil falar de
quantificacao sobre todas as proposicoes,
o que eu nao acho muito facil nao.

finalmente obrigada Elaine pela discussao. estamos todos de acordo sobre o
que e' provavel
na logica propositional intuicionista do Heyting. so estamos discordando de
nomes,
(bom e eu estou reclamando pois sistemas de axiomas sempre confundem as
coisas colocando muitas ideias numa
formulinha so') e pelo menos o Hermogenes concorda comigo!

abs e obrigada,
Valeria

2017-10-24 6:24 GMT-07:00 Valeria de Paiva <valeria.depa...@gmail.com>:


oi Chico,

"typo" na primeira linha da sua mensagem
>O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo, (versão
Heyting);
voce quiz dizer
(A --> B) --> (Ng B --> Ng A),
certo?

e sim, gosto bastante das algebras de Heyting e claro que concordo
totalmente com:

>Como voce sabe muito bem, o modo mais adequado de tratar estes conceitos
é via adjunções: a implicação é  adjunta da conjunção, enquanto que a
disjunção é, classicamente, adjunta da diferença simétrica (o complementar
clássico da equivalência); porém esta última adjunção está longe de ser
intuicionisticamente válida.

mas e', a discussao sobre o adjunto da disjuncao 'e grande e dificil. e
pra mim nao faz parte dessa conversa menorzinha, do que 'e valido pro
Heyting e de que nomes devem ser usados pra que.

obrigada tb por
>A relação intucionista da disjunção com a implicação resume-se ao óbvio;
qualquer outra relação é FALSA
era isso mesmo que eu queria verificar.

abracos,
Valeria

2017-10-23 23:08 GMT-07:00 Francisco Miraglia <mirag...@ime.usp.br>:


Cara Valéria,

Observações que talvez possam ser úteis:

1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo,
(versão Heyting); as álgebras de Heyting fornecem uma semântica completa
para a versão do Intuicionismo do Arend;

2) Adicionar o esquema recíproco à axiomatização de Heyting da Lógica
Intucionista imediatamente fornece a Lógica Clássica; é semelhante ao que
acontece com a equivalência no sistema Intuicionista: se for distributiva,
a Lógica é clássica.

3) Estou insistindo em incluir o nome do Arend pois afinal nem sempre nos
lembramos que o Brower tinha a firme opinião que a sua visão da
Lógica era impossível (por definição, já que envolvia a "prática
quotidiana dos matemáticos") de ser axiomatizada.

4) Interessante observar que posições filosóficas não se materializam  na
"prática quotidiana dos matemáticos": um dos resultados mais conhecidos de
Brower (toda função contínua do disco de dimensão n em sí mesmo possui
ponto fixo) é estabelecido pelo próprio por cont

Re: [Logica-l] um probleminha com logica intuicionista...

[Francisco Miraglia]

Cara Valéria,

Voce tem razão acerca do "typo". Quanto à adjunção associada à  
disjunção, esta é a razão de ter te enviado o texto...


Um abraço,

Chico Miraglia


Quoting Valeria de Paiva <valeria.depa...@gmail.com>:


oi Chico,

"typo" na primeira linha da sua mensagem

O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo, (versão

Heyting);
voce quiz dizer
(A --> B) --> (Ng B --> Ng A),
certo?

e sim, gosto bastante das algebras de Heyting e claro que concordo
totalmente com:


Como voce sabe muito bem, o modo mais adequado de tratar estes conceitos é

via adjunções: a implicação é  adjunta da conjunção, enquanto que a
disjunção é, classicamente, adjunta da diferença simétrica (o complementar
clássico da equivalência); porém esta última adjunção está longe de ser
intuicionisticamente válida.

mas e', a discussao sobre o adjunto da disjuncao 'e grande e dificil. e pra
mim nao faz parte dessa conversa menorzinha, do que 'e valido pro Heyting e
de que nomes devem ser usados pra que.

obrigada tb por

A relação intucionista da disjunção com a implicação resume-se ao óbvio;

qualquer outra relação é FALSA
era isso mesmo que eu queria verificar.

abracos,
Valeria

2017-10-23 23:08 GMT-07:00 Francisco Miraglia <mirag...@ime.usp.br>:


Cara Valéria,

Observações que talvez possam ser úteis:

1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo,
(versão Heyting); as álgebras de Heyting fornecem uma semântica completa
para a versão do Intuicionismo do Arend;

2) Adicionar o esquema recíproco à axiomatização de Heyting da Lógica
Intucionista imediatamente fornece a Lógica Clássica; é semelhante ao que
acontece com a equivalência no sistema Intuicionista: se for distributiva,
a Lógica é clássica.

3) Estou insistindo em incluir o nome do Arend pois afinal nem sempre nos
lembramos que o Brower tinha a firme opinião que a sua visão da
Lógica era impossível (por definição, já que envolvia a "prática
quotidiana dos matemáticos") de ser axiomatizada.

4) Interessante observar que posições filosóficas não se materializam  na
"prática quotidiana dos matemáticos": um dos resultados mais conhecidos de
Brower (toda função contínua do disco de dimensão n em sí mesmo possui
ponto fixo) é estabelecido pelo próprio por contradição!
O primeiro passo da contradição já é de ordem grande: não há retração
contínua do disco em sua borda (em qualquer dimensão n maior ou igual a
1), o que exige métodos homológicos ou homotópicos); exibir o ponto fixo:
"para com isso"

5) Quanto à nomenclatura, tanto Heyting, quanto Kleene (e Vesley)  dão o
nome de contraposição ao esquema em (1), sempre chamando a atenção de que ,
no Intuicionismo segundo Arend, difere da regra de contraposição clássica,
que, em geral, é  enunciada como o esquema "contrapositivo", mencionado em
(2).

(6) Não me lembro de ler acerca dessas coisas no livro do Dummet (mas
também não foi lá que aprendi a lidar com o intuicionismo do Arend), porém
sabes como é: a memória não é mais o que era, sendo substituída pela
"prática quotidiana" de utilizar metateoria intuicionista para fazer
Matemática. Exemplo: anéis de Gelfand (aqueles comutativos com unidade tais
que que por cima de todo ideal há apenas um maximal) são,
intuicionisticamente, fielmente quadráticos (possuem uma teoria de formas
quadráticas "bem comportada" e satisfazem a conjectura de Milnor). Isto já
é meio complicado; o caso clássico (que penso também ser verdadeiro) parece
ser ainda mais complicado. Interessante que os meus colegas de formas
quadráticas e K-teoria não dão a menor importância para a informação
intuicionista...

(7) A relação intucionista da disjunção com a implicação resume-se ao
óbvio; qualquer outra relação é FALSA (experimente nos abertos da reta
real). Ou seja, na minha opinião, "barking up the wrong tree".

Como voce sabe muito bem, o modo mais adequado de tratar estes conceitos é
via adjunções: a implicação é  adjunta da conjunção, enquanto que a
disjunção é, classicamente, adjunta da diferença simétrica (o complementar
clássico da equivalência); porém esta última adjunção está longe de ser
intuicionisticamente válida. Aliás, se um reticulado distribitivo possui
uma operação parecida com a diferença simétrica, tem que ser uma álgebra de
Boole. Aqui começam a aparecer diferenças conceituais importantes e a
necessidade de empregar
outras noções, mais gerais (e.g., functores adjuntos), para construir
Lógicas. Já escrevi demais


Um grande abraço,

Chico Miraglia







On Oct 23, 2017 9:00 PM, "Valeria de Paiva" <valeria.depa...@gmail.com>
wrote:

prezados colegas,


estou com um probleminha na wikipedia e em vez de gastar o tempo que
precisaria pra achar minha copia do Dummett em casa, resolvi apelar pros
amigos.

Acho que  tem um "erro" em https://en.wikipedia.org/
wiki/Intuitionistic_logic

Re: [Logica-l] um probleminha com logica intuicionista...

[Francisco Miraglia]

Caro Marcelo,

Obrigado!!

Abraços,

Chico


Quoting Marcelo Finger <mfin...@ime.usp.br>:


Chico.

Adorei seu post.  Apenas 2 comentários rápidos


4) Interessante observar que posições filosóficas não se materializam  na

"prática quotidiana dos matemáticos":

Isso é um fenômeno humano, não apenas matemático.  O mundo das ideias e
práticas humanas é um campo fértil para a prática paraconsistente.


Já escrevi demais


Pelo contrário, escreva mais (vezes)!

[]s


2017-10-24 4:08 GMT-02:00 Francisco Miraglia <mirag...@ime.usp.br>:


Cara Valéria,

Observações que talvez possam ser úteis:

1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo,
(versão Heyting); as álgebras de Heyting fornecem uma semântica completa
para a versão do Intuicionismo do Arend;

2) Adicionar o esquema recíproco à axiomatização de Heyting da Lógica
Intucionista imediatamente fornece a Lógica Clássica; é semelhante ao que
acontece com a equivalência no sistema Intuicionista: se for distributiva,
a Lógica é clássica.

3) Estou insistindo em incluir o nome do Arend pois afinal nem sempre nos
lembramos que o Brower tinha a firme opinião que a sua visão da
Lógica era impossível (por definição, já que envolvia a "prática
quotidiana dos matemáticos") de ser axiomatizada.

4) Interessante observar que posições filosóficas não se materializam  na
"prática quotidiana dos matemáticos": um dos resultados mais conhecidos de
Brower (toda função contínua do disco de dimensão n em sí mesmo possui
ponto fixo) é estabelecido pelo próprio por contradição!
O primeiro passo da contradição já é de ordem grande: não há retração
contínua do disco em sua borda (em qualquer dimensão n maior ou igual a
1), o que exige métodos homológicos ou homotópicos); exibir o ponto fixo:
"para com isso"

5) Quanto à nomenclatura, tanto Heyting, quanto Kleene (e Vesley)  dão o
nome de contraposição ao esquema em (1), sempre chamando a atenção de que ,
no Intuicionismo segundo Arend, difere da regra de contraposição clássica,
que, em geral, é  enunciada como o esquema "contrapositivo", mencionado em
(2).

(6) Não me lembro de ler acerca dessas coisas no livro do Dummet (mas
também não foi lá que aprendi a lidar com o intuicionismo do Arend), porém
sabes como é: a memória não é mais o que era, sendo substituída pela
"prática quotidiana" de utilizar metateoria intuicionista para fazer
Matemática. Exemplo: anéis de Gelfand (aqueles comutativos com unidade tais
que que por cima de todo ideal há apenas um maximal) são,
intuicionisticamente, fielmente quadráticos (possuem uma teoria de formas
quadráticas "bem comportada" e satisfazem a conjectura de Milnor). Isto já
é meio complicado; o caso clássico (que penso também ser verdadeiro) parece
ser ainda mais complicado. Interessante que os meus colegas de formas
quadráticas e K-teoria não dão a menor importância para a informação
intuicionista...

(7) A relação intucionista da disjunção com a implicação resume-se ao
óbvio; qualquer outra relação é FALSA (experimente nos abertos da reta
real). Ou seja, na minha opinião, "barking up the wrong tree".

Como voce sabe muito bem, o modo mais adequado de tratar estes conceitos é
via adjunções: a implicação é  adjunta da conjunção, enquanto que a
disjunção é, classicamente, adjunta da diferença simétrica (o complementar
clássico da equivalência); porém esta última adjunção está longe de ser
intuicionisticamente válida. Aliás, se um reticulado distribitivo possui
uma operação parecida com a diferença simétrica, tem que ser uma álgebra de
Boole. Aqui começam a aparecer diferenças conceituais importantes e a
necessidade de empregar
outras noções, mais gerais (e.g., functores adjuntos), para construir
Lógicas. Já escrevi demais


Um grande abraço,

Chico Miraglia







On Oct 23, 2017 9:00 PM, "Valeria de Paiva" <valeria.depa...@gmail.com>
wrote:

prezados colegas,


estou com um probleminha na wikipedia e em vez de gastar o tempo que
precisaria pra achar minha copia do Dummett em casa, resolvi apelar pros
amigos.

Acho que  tem um "erro" em https://en.wikipedia.org/
wiki/Intuitionistic_logic
onde  na secao 9 alguem diz que:

Relation to classical logic[edit
<https://en.wikipedia.org/w/index.php?title=Intuitionistic_
logic=edit=9>
]

The system of classical logic is obtained by adding any one of the
following axioms:

   - {\displaystyle \phi \lor \lnot \phi }[image: \phi \lor \lnot \phi]
(Law
   of the excluded middle. May also be formulated as {\displaystyle (\phi
   \to \chi )\to ((\lnot \phi \to \chi )\to \chi )}[image: (\phi \to \chi
   ) \to ((\lnot \phi \to \chi ) \to \chi )].)
   - {\displaystyle \lnot \lnot \phi \to \phi }[image: \lnot \lnot \phi
   \to \phi] (Double negation elimination)
   - {\displaystyle ((\phi \to \chi )\to \phi )\to \phi }[image: ((\phi
   \to \chi ) \to \phi ) \to \phi] (Peirce's law)
   - {\d

Re: [Logica-l] um probleminha com logica intuicionista...

[Francisco Miraglia]

Cara Valéria,

Observações que talvez possam ser úteis:

1) O esquema (A --> B) --> (Ng A --> Ng B) é válido no Intucionismo,  
(versão Heyting); as álgebras de Heyting fornecem uma semântica  
completa para a versão do Intuicionismo do Arend;


2) Adicionar o esquema recíproco à axiomatização de Heyting da Lógica
Intucionista imediatamente fornece a Lógica Clássica; é semelhante ao  
que acontece com a equivalência no sistema Intuicionista: se for  
distributiva, a Lógica é clássica.


3) Estou insistindo em incluir o nome do Arend pois afinal nem sempre  
nos lembramos que o Brower tinha a firme opinião que a sua visão da

Lógica era impossível (por definição, já que envolvia a "prática
quotidiana dos matemáticos") de ser axiomatizada.

4) Interessante observar que posições filosóficas não se materializam   
na "prática quotidiana dos matemáticos": um dos resultados mais  
conhecidos de Brower (toda função contínua do disco de dimensão n em  
sí mesmo possui ponto fixo) é estabelecido pelo próprio por contradição!

O primeiro passo da contradição já é de ordem grande: não há retração
contínua do disco em sua borda (em qualquer dimensão n maior ou igual  
a 1), o que exige métodos homológicos ou homotópicos); exibir o ponto  
fixo: "para com isso"


5) Quanto à nomenclatura, tanto Heyting, quanto Kleene (e Vesley)  dão  
o nome de contraposição ao esquema em (1), sempre chamando a atenção  
de que , no Intuicionismo segundo Arend, difere da regra de  
contraposição clássica, que, em geral, é  enunciada como o esquema  
"contrapositivo", mencionado em (2).


(6) Não me lembro de ler acerca dessas coisas no livro do Dummet (mas  
também não foi lá que aprendi a lidar com o intuicionismo do Arend),  
porém sabes como é: a memória não é mais o que era, sendo substituída  
pela "prática quotidiana" de utilizar metateoria intuicionista para  
fazer Matemática. Exemplo: anéis de Gelfand (aqueles comutativos com  
unidade tais que que por cima de todo ideal há apenas um maximal) são,  
intuicionisticamente, fielmente quadráticos (possuem uma teoria de  
formas quadráticas "bem comportada" e satisfazem a conjectura de  
Milnor). Isto já é meio complicado; o caso clássico (que penso também  
ser verdadeiro) parece ser ainda mais complicado. Interessante que os  
meus colegas de formas quadráticas e K-teoria não dão a menor  
importância para a informação  intuicionista...


(7) A relação intucionista da disjunção com a implicação resume-se ao  
óbvio; qualquer outra relação é FALSA (experimente nos abertos da reta  
real). Ou seja, na minha opinião, "barking up the wrong tree".


Como voce sabe muito bem, o modo mais adequado de tratar estes  
conceitos é via adjunções: a implicação é  adjunta da conjunção,  
enquanto que a disjunção é, classicamente, adjunta da diferença  
simétrica (o complementar clássico da equivalência); porém esta última  
adjunção está longe de ser intuicionisticamente válida. Aliás, se um  
reticulado distribitivo possui uma operação parecida com a diferença  
simétrica, tem que ser uma álgebra de Boole. Aqui começam a aparecer  
diferenças conceituais importantes e a necessidade de empregar
outras noções, mais gerais (e.g., functores adjuntos), para construir  
Lógicas. Já escrevi demais



Um grande abraço,

Chico Miraglia







On Oct 23, 2017 9:00 PM, "Valeria de Paiva" 
wrote:


prezados colegas,

estou com um probleminha na wikipedia e em vez de gastar o tempo que
precisaria pra achar minha copia do Dummett em casa, resolvi apelar pros
amigos.

Acho que  tem um "erro" em https://en.wikipedia.org/
wiki/Intuitionistic_logic
onde  na secao 9 alguem diz que:

Relation to classical logic[edit

]

The system of classical logic is obtained by adding any one of the
following axioms:

   - {\displaystyle \phi \lor \lnot \phi }[image: \phi \lor \lnot \phi] (Law
   of the excluded middle. May also be formulated as {\displaystyle (\phi
   \to \chi )\to ((\lnot \phi \to \chi )\to \chi )}[image: (\phi \to \chi
   ) \to ((\lnot \phi \to \chi ) \to \chi )].)
   - {\displaystyle \lnot \lnot \phi \to \phi }[image: \lnot \lnot \phi
   \to \phi] (Double negation elimination)
   - {\displaystyle ((\phi \to \chi )\to \phi )\to \phi }[image: ((\phi
   \to \chi ) \to \phi ) \to \phi] (Peirce's law)
   - {\displaystyle (\lnot \phi \to \lnot \chi )\to (\chi \to \phi )}[image:
   {\displaystyle (\lnot \phi \to \lnot \chi )\to (\chi \to \phi )}] (Law
   of contraposition)


mas essa ultima assercao nao 'e o que eu chamaria de contraposicao.
Contraposicao  usual 'e valida em logical intuicionista.

o que acontece e' que essa assercao combina contraposicao com eliminacao
da negacao dupla, ou seja:

contraposicao devia ser

(A--> B) -->  (\neg B --> neg A)

mas quem escreveu o artigo em vez de dizer

(\neg A-->\neg B) --> (\neg\neg B --> \neg\neg A),
removeu a dupla negacao, ficando com
(\neg A-->\neg B) 

Re: [Logica-l] Recenseamento da comunidade brasileira de lógica

[Francisco Miraglia]

Caro Bruno,

As especialidades Lógica, Teoria dos Modelos, Teoria dos Conjuntos,  
etc. não constam do formulário. Minha área de atuação
não se encaixa nem em Filosofia, nem em Ciência da Computação,  nem é  
puramente Matemática (embora eu esteja ligado
ao Departamento de Matemática do IMEUSP). Imagino que isto se aplique  
a um número significativo de membros da SBL.



Um abraço,

Chico Miraglia




Quoting Bruno Lopes :


Caros,


A Sociedade Brasileira de Lógica (SBL) convida a comunidade para um
recenseamento. O objetivo é atualizar os dados sobre os membros antigos e
novos para que possam em ações futuras ajudar a identificar necessidades e
potencialidades da comunidade. Um efeito imediato de sua participação neste
censo é a inclusão na lista de e-mails oficial da SBL (soc...@sbl.org.br),
uma lista aberta a toda a comunidade para que possam receber notas e
boletins oficiais da Sociedade. Não se trata de uma lista para discussão
(diferentemente da logica-l), mas sim de uma lista para anúncios e
comunicações (a lista não será aberta a postagens dos membros). Em caso de
dúvidas, por favor entrem em contato como resposta a esse e-mail ou via
cont...@sbl.org.br .


Para acessar o formulário de recenseamento, por favor acesse
https://goo.gl/forms/gJMuYE2KSSSQSxv92 .


Att.,


A Diretoria

Sociedade Brasileira de Lógica

--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFfvUVgNarCfGww2Bxp2C0Y-kZ76aC53rLOxD8nFT03g10x3cQ%40mail.gmail.com.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20171017092742.Horde.LQ1_QxvmkHY8Wn9X6vbfuQ1%40webmail.ime.usp.br.

Re: [Logica-l] Uma noticia de profundissimo pesar

[Francisco Miraglia]

Car@s,

Acompanho os sentimentos de pesar do Walter.

Chico Miraglia


Quoting Walter Carnielli :


Colegas e amig@s:


Achei que me cabia, por estar sabendo, repassar a  estarrecedora   e
pesarorosa
noticia sobre a tragédia que envolveu
nossa querida  colega Carol Blasio, organizadora desta lista:


https://www.acidadeon.com/campinas/cotidiano/NOT,1,1,1270220,Vitimas+eram+
professora+e+estudante+do+IFCH+da+Unicamp.aspx

Estou sem palavras, manifesto aqui meu mais profundo pesar ao Joao,  que
estaria chegando da Suecia para Bochum,  à filhinha Maia, a familia e aos
colegas.

Walter

--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Ms9Bk9Wng4yGxm88mks-9uqfRuMuxk-zzY3pmtg7%2BPXA%40mail.gmail.com.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20170826141653.Horde.xGCzKFT6vWeGw-R-drAJpg3%40webmail.ime.usp.br.

Re: [Logica-l] Nova Diretoria da SBL

[Francisco Miraglia]

Caros,

Faço minhas as palavras da Ítala e de todos que me antecederam.

Um grande abraço,

Chico Miraglia


Quoting Itala M. Loffredo D'Ottaviano it...@cle.unicamp.br:


Caro Marcelo:

Em seu nome, cumprimento os amigos da nova Diretoria da SBL, desejando ao
grupo uma excelente gestão !

Itala

Caros colegas,

Gostaria de informá-los de que a Sociedade Brasileira de Lógica (SBL),
em Assembléia realizada na quinta-feira 10 de abril no contexto do
XVII Encontro Brasileiro de Lógica celebrado em Petrópolis, escolheu a
nova Diretoria para o período 2014-2016. A nova Diretoria é conformada
da maneira seguinte:

Presidente: Prof. Dr. Marcelo Esteban CONIGLIO
Universidade Estadual de Campinas (UNICAMP)

1º Vice-Presidente: Prof. Dr. Jean-Yves BÉZIAU
Universidade Federal do Rio de Janeiro (UFRJ)

2º Vice-Presidente: Prof. Dr. João Marcos DE ALMEIDA
Universidade Federal do Rio Grande do Norte (UFRN)

Secretário Geral: Prof. Dr. Samuel GOMES DA SILVA
Universidade Federal da Bahia (IM - UFBA)

Sub-Secretário: Prof. Dr. Frank Thomas SAUTTER
Universidade Federal de Santa Maria (UFSM)

Tesoureira: Profa. Dra. Juliana  BUENO-SOLER
Universidade Estadual de Campinas (UNICAMP)

Envio cordiais saudações,

Marcelo E. Coniglio
Presidente da SBL
http://www.cle.unicamp.br/sbl/index.php
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





ITALA M. LOFFREDO D'OTTAVIANO
Centre for Logic, Epistemology and the History of Science - CLE
State University of Campinas - UNICAMP
Sergio Buarque de Holanda, 251 Street
ZIP CODE 13083-859 - Campinas-SP, Brazil
Fax: +55-19-3289-3269 -- Tel.:+55–19-3521-6517
www.cle.unicamp.br

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/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] uma questão de terminologia

[Francisco Miraglia]

Car@s,

Não posso concordar com o Marcelo, pois na acepção usual função  
parcial é uma
coleção de pares ordenados. Por exemplo, uma função parcial dos  
naturais em 2 = {0, 1} é uma função cujo domínio é um subconjunto dos  
naturais, tomando valores em 2.


Como diz o Arthur, funcional também não é adequado, pois é, em  
particular, uma função, não necessariamente definida sobre funções  
(vem à mente o Teorema de Hahn-Banach, por exemplo).


Dito isto, não tenho a menor idéia do que chamar um conjunto como o  
Arthur menciona. Em geral, é o contexto no qual este tipo de  
construção é usado que

indica a nomenclatura adequada.

Um grande abraço,

Chico Miraglia


Quoting Marcelo Finger mfin...@ime.usp.br:


Função parcial.

[]s

Marcelo

2013/12/5 Arthur Buchsbaum arthu...@gmail.com:

Caros colegas:
Como denominar uma classe que não necessariamente é relação (isto é, a
mesma pode ter um elemento que não é par ordenado), mas cuja coleção de
seus pares ordenados é uma função?
Por exemplo, considere R = {5,3,7,9,3,2,5}. Considerando que 7 não é
par ordenado, então R não é uma relação, mas o subconjunto
{5,3,9,3,2,5} de R é uma função.
Tenho denominado em aulas classes como R de funcionais, mas talvez esta
não seja a terminologia mais indicada, visto que algo funcional em
matemática seria, se não me engano, uma função cujos argumentos são também
funções.
Att.,
Arthur Buchsbaum
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





--
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/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] Nota de profundo pesar

[Francisco Miraglia]

Car@s,

Faço minhas as palavras tanto do Walter quanto da Andrea.

Chico Miraglia

PS: Talvez fosse adequado alguma atividade de homenagem ao Elias no  
próximo EBL, um evento que ele sempre prestigiou e ajudou a construir.



Quoting Andrea Loparic alopa...@gmail.com:


Muito triste com a notícia que acabo de ler.
Elias foi um grande amigo. Homem simples,
generoso, afetivo, sempre do lado do bem.

Fico com muita saudade.

Andréa


Em 5 de novembro de 2013 17:30, Walter Carnielli walter.carnie...@gmail.com

escreveu:



Caros colegas,


trago aqui a triste notícia do falecimento do Prof. Elias Humberto
Alves, ex-professor do Departamento  de Filosofia da Unicamp, membro
do CLE e lógico da velha guarda, com décadas de trabalho em lógica
paraconsistente e várias outras áreas. Elias faleceu hoje,
terça-feira, 05 de novembro, e o corpo foi velado no Cemitério da
Saudade, das 6 às 12 horas em Campinas. Em seguida, o corpo foi
trasladado ao Cemitério da Vila Alpina, em São Paulo, onde seria
cremado.

Saudades de todos, que foram seus amigos, colaboradores e estudantes!


Walter

--
---
Prof. Dr. Walter Carnielli
Director
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Fax: (+55) (19) 3289-3269
Institutional e-mail: walter.carnie...@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


___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/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] Classificacao bolsistas de produtividade do CNPq

[Francisco Miraglia]

Caro Jean-Yves,

Penso que a lista não deveria incluir os nomes das pessoas que sequer
fizeram o pedido desta bolsa, como é o meu caso.

Um grande abraço,

Chico Miraglia

Quoting jean-yves beziau beziau...@gmail.com:


Este ano tive uma reavaliacao geral dos bolsistas de produtividade do CNPq.
Vem a seguir a classificacao de bolsistas ligados a logica - nao sei se o
site do CNPq ja foi atualizado em funcao da reavaliacao.
Talvez o Decio pode nos falar a respeito disso.
Desde de outobro 2012 o Decio e responsavel para Logica no comite de
assessoramente do CNPq da filosofia.

1A
Itala Maria Loffredo D'Ottaviano
Nelson Gonçalves Gomes
Newton Carneiro Affonso da Costa
Paulo Augusto Silva Veloso

1B
Decio krause
Luiz Carlos Pinheiro Dias Pereira
Luiz Henrique de Araujo Dutra
Marco Antonio Caron Ruffino
Oswaldo Chateaubriand
Walter Alexandre Carnielli

1C
Francisco Antonio de Moraes Accioli Doria
Jairo José da Silva
Marcelo Finger

1D
Gerson Zaverucha
Sheila Regina Murgel Veloso

2
Ana Teresa de Castro Martins
Dirk Greiman
Edward Hermann Haeusler
Guido Imaguire
Ivo Assad Ibri
Jean-Yves Béziau
Jorge Petrúcio Viana
Marcelo Esteban Coniglio
Mario Roberto Folhadela Benevides
Renata Pereira de Freitas
Renata Wassermann

Sem bolsas
Abilio Azambuja Rodrigues Filho
Alexandre Rademaker
Arthur Buchsbaum
Cassiano Terra Rodrigues
Cezar Augusto Mortari
Daniel Durante Pereira Alves
Francisco Miraglia Neto
Frank Thomas Sautter
Hércules de Araujo Feitosa
Hugo Luiz Mariano
Joao Marcos de Almeida
Maria da Paz Nunes de Medeiros
Ricardo Sousa Silvestre
Rodolfo Cristian Ertola Biraben
Ruy José Guerra Barretto de Queiroz
Samuel Gomes da Silva
Wagner de Campos Sanz
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l




___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Mensagem do Júlio

[Francisco Miraglia]

 Car@s, 

Concordo integralmente com o Júlio nas suas 

considerações de que campos obrigatórios  do tipo 

raça (um pseudo-conceito, fartamente desqualificado), 

religião, entre outros, não podem constar em questionários 

de instituições governamentais em uma República laica. 

Talvez fosse a hora de reagirmos a isto de forma enérgica; 

a experiência mostra que quando começa, tende a  

agravar-se. 

Um grande abraço, 

Chico Miraglia 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Mensagem do Júlio

[Francisco Miraglia]

Cara Ítala,

Pois ora muito bem !!

Um grande abraço,

Chico Miraglia

Quoting Itala M. L. D'Ottaviano it...@cle.unicamp.br:

 Pois é, Chico!

 Penso, sim, que devemos reagir, posicionando-nos fortemente pela imediata
 retirada do item do formulário.

 E de outros formulários semelhantes sobre os quais tivermos conhecimento.

 Itala


  Car@s,

 Concordo integralmente com o Júlio nas suas

 considerações de que campos obrigatórios  do tipo

 raça (um pseudo-conceito, fartamente desqualificado),

 religião, entre outros, não podem constar em questionários

 de instituições governamentais em uma República laica.

 Talvez fosse a hora de reagirmos a isto de forma enérgica;

 a experiência mostra que quando começa, tende a

 agravar-se.

 Um grande abraço,

 Chico Miraglia
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 ++
 Itala M. L. D'Ottaviano
 Centre for Logic, Epistemology and the History of Science - CLE
 State University of Campinas - UNICAMP
 Sergio Buarque de Holanda, 251 Street
 ZIP CODE 13083-859 - Campinas-SP, Brazil
 Fax: +55-19-3289-3269
 Tel.:+55–19-3521-6517





Francisco Miraglia mirag...@ime.usp.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Homenagem à Ofelia Teresa Alas

[Francisco Miraglia]

Car@s,

Uma excelente iniciativa; uma pena que lógicos não possam
participar, caso contrário teria algo a contribuir.

  Um grande abraço à Ofélia e aos organizadores!!

   Chico Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] 50o aniversário de E. Hermann Haeusler

[Francisco Miraglia]

Caro Hermann,

Foi um enorme parzer conhecer voce e a sua dedicação
ao, entre outras coisas, trablaho intelectual. Minhas mais
cordiais congratulações e votos de continuidade da tua atividade
social e científica.

   Um GRANDE abraço,

   Chico Miraglia

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

[Francisco Miraglia]

Cara Valéria,

Mas também tem o sentido de repetir o óbvio, com o objetivo
deixar de lado a questão central. Entretanto, talvez o mais
apropriado mesmo seja o nome utilizado por Ken Lopez-Escobar: a
lei da PROCRASTINAÇÃO (the procrastination law: from P one is
allowed to conclude P).

Este é um exemplo interessante de uma norma lógica que
parece desprezível, mas que, se omitida, transforma a vida
em um inferno...

  Um grande abraço,

   Chico



Quoting Valeria de Paiva valeria.depa...@gmail.com:


oi Chico,
obrigada pela messagem e pela explicacao sobre o way below.

mas agora encafifei com:

é posível aceitar que P corrobore P (a lei da tergiversação), mas não seria

razável que P fosse infintesimal em relação a si próprio.

tergiversação nao significa sair do assunto, de forma erudita?
P corroborando P 'e nao-sair-do-assunto, 'e nao-tergiversação absoluta, nao
'e nao?

e essa eu tb nunca tinha ouvido...

abracos tradutivos,
Valeria

essa estoria de traducao da' panos pra manga, nao e'?

abracos,
Valeria

2012/8/1 Francisco Miraglia mirag...@ime.usp.br


Cara Valéria,

Obrigado pela tua mensagem; penso que voce captou bem o jeitãoda minha
intuição. Na realidade, estou dividindo com voces de modo ainda muito
impreciso, uma idéia. Assim, infinetesimalé sugerido pela expressão
formal, onde C = P_1 + P_2 + ... + P_n é uma corroboração de P

C  P   implica  C + Q  P, para toda Q,

ou seja, na presença de C, nada que se some a C atinge P (por isso traz
à mente way below). Que relações e operações são estas? Quais suas
propriedades?  Resposta franca: não sei; mas penso que poderá haver
matematica e lógica interessantes por ai...

Voce percebeu bem porque havia me enganado na primeira mensagem, pois é
posível aceitar que P corrobore P ( a lei da tergiversação), mas não seria
razável que P fosse infintesimal em relação a si próprio.

O que isto tem haver com a pergunta original do Louis? Bom, dividi com
voces
idéias que envolvem posíveis significações ainda não exploradas e isto tem
correlação com a noção de tradução.

Interessante também a questão da característica (no sentido algébrico). Em
uma
grande variedades de lógicas  P +  + P = nP (n um natural  0) tem o
mesmo poder de corroboração que P; mas NÃO em lógicas lineares, onde, em
geral,
nP é distinto de mP, sempre que n for distinto de m.

Agradeço de novo tua leitura atenta das mal-traçadas; pode ser que venham
a servir para algo.


   Um grande abraço,

   Chico Miraglia







Citando Valeria de Paiva valeria.depa...@gmail.com:

 Caro Chico,

legal ler voce falando de corroboracoes,  o trabalho novo do Prawitz que
eu
ouvi em Nancy no ano passado.


Uma nota final: Provas (no sentido usual) são apenas UMA forma de


corroboração.

e concordo que fraco/forte sao nocoes que a gente esta' sempre tendo
problemas, pois as intuicoes sao diferentes. Tambem nao tenho nada contra
as tres traducoes que foram propostas: atenuacao, enfraquecimento e
diluicao, nem nada contra usar o termo em ingles mesmo.

Mas nao entendi a estoria do infinitesimal:


na presença de uma corroboração de P, toda Q é infinitesimal em relação


a P (algo como way below vem imediatamente a mente).

Visto que (lendo de baixo pra cima) se P ja foi corroborada pelo resto,
adicionar Q 'e desnecessario, mas correto em logica usual (que nao presta
atencao em recursos), portanto Q ser infinitesimal faz um certo sentido (Q
contribui zero pra corroboracao)  e a unica corroboracao que nao 'e
infinitesimal 'e quando P corrobora P mesmo no axioma basico. E' assim que
voce esta' pensando? por que way below?

abs
Valeria




--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/




Francisco Miraglia mirag...@ime.usp.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: Walter Carnielli: indicação para medalha de ouro

[Francisco Miraglia]

Caro Walter,

Minhas congratulações !!

  Um grande abraço,

   Chico Miraglia


Citando Décio Krause deciokra...@gmail.com:


Puxa, Walter, que bacana. Parabéns.
Reconhecimento é bom.
Congratulações.
Abraço
Décio



--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
We cannot define anything precisely! If we attempt to, we get into  
that paralysis of thought that comes to philosophers, who sit  
opposite each other, one saying to the other, 'You don't know what  
you are talking about!' The second one says 'What do you mean by  
know? What do you mean by talking? What do you mean by you?', and so  
on. (Richard Feynman)



Em 01/08/2012, às 13:50, Joao Marcos botoc...@gmail.com escreveu:


-- Forwarded message --
From: Juliana Bueno-Soler juliana.bu...@cle.unicamp.br
Date: 2012/8/1
Subject: Walter Carnielli: indicação para medalha de ouro


Caros colegas e amigos:

escrevo para comunicar que o Prof. Walter Carnielli foi indicado para
receber a medalha de ouro da Telesio Galilei Academy of Science (baseada
em Bellinzona, Suiça) para 2013 na área de Matemática, por suas
contribuições conjuntas à Matematica, Lógica e Filosofia

http://telesio-galilei.com/tg/index.php/academy-award-2013

O nome da academia homenageia Bernardino Telesio e Galileo Galilei, tidos
como heróis da resistência à autoridade contra a ciência livre.

A academia premiou desde 2008 diversos físicos, matemáticos e alguns
poucos filósofos, incluindo os brasileiros Fernando Galembeck (Química,
Unicamp) e Djairo Guedes de Figueiredo (Matemática, Unicamp).

Gostaria que alguém postasse esta mensagem na Lista dos Lógicos
Brasileiros (da qual eu não faço parte mais).

Att.,
Juliana

+
Juliana Bueno-Soler
Professor Adjunto I
Universidade Federal do ABC - CCNH
Rua Santa Adélia, 166 - Bangu
Santo André - SP
homepages: http://tinyurl.com/juliana-bueno-soler
  http://geocities.com/j_bueno13/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





Francisco Miraglia mirag...@ime.usp.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] weakening theorem - tradução(?); mais comentários

[Francisco Miraglia]

Car@s Colegas,

A mensagem anterior (talvez) tenha sido um pouco críptica e adiciono mais
alguns comentários:

1. Traduções precisam levar em conta a sintaxe, denotação e conotação  
das palavras e/ou expressões na língua original. Weakening é a  
substantivação

de um gerúndio, algo comum em ingles (mas não em portugues); a substantivação
permanece carregando a conotação de ação, enquanto que enfraquecimento,
como todo substantivo na língua portuguesa é passivo. Por outro lado,  
parece-me

que enfraquecendo está longe de satisfatório...

2. O conteúdo do enunciado (utilizando o que aprendi em uma  
conferência e conversa, ambas ótimas,  com Dag Prawitz em Paris há  
algum tempo) seria (as palavras foram escolhidas com o devido cuidado)


Se há uma corroboração de P, então qualquer extensão (finita) desta  
corroboração permanece sendo uma corroboração de P.


3. Para um working mathematician, dependendo de como isto é enunciado, pode
parecer meio estranho: se C = P_1 + P_2 +  + P_n é uma corroboração de P,
i.e.

 C = P_ 1 + P_2 + ... + P_n  P

então para todo Q

   C + Q = P_1 + P_2 +  + P_n + Q  P,

ou seja, na presença de uma corroboração de P, toda Q é infinitesimal em
relação a P; na realidade, toda corroboração de P seria infitesimal em
relação a P (algo como way below vem imediatamente a mente).

Será que há matemática e lógica interessantes em estudar estas ordens?

Desnecessário dizer que ordens não arquimedianas (as únicas com  
infinitesimais) são crucais no estudo da teoria fina de corpos, anéis  
e em Valuation Theory em geral.


Será que existem análogos de valuations e/ou places em lógica,
reticulados distributivos, álgebras de Heyting, Brouwer ou de Boole (estas,
como é sabido há tempos, com estrutura natural e interdefinível com uma
única de anel commutativo com unidade). Será que estas idéias poderiam ajudar
a entender lógicas, suas propriedades, semânticas e sintaxe?

4. A pergunta original foi muito produtiva; haveria mais a comentar, mas fico
por aqui, enviando a todos

   Um grande abraço,

  Chico Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

[Francisco Miraglia]

Caro Ruy,

Obrigado pelas tuas observações; entretanto não entendi a
discordância: a frase

Se há uma corroboração de P, então qualquer extensão (finita) desta
corroboração permanece sendo uma corroboração de P

pode ser iNTERPRETADA como um enfraquecimento do argumento; no
entanto é independente das noções de fraco e forte. Porque
considerar extensões como mais fracas do que a original? Concedo
que este é a utilização comum e, na realidade, não vejo problemas
graves com nenhuma das propostas apresentadas. Meus argumentos vão
em outra direção (embora tenha, como todos, preferências).

Aproveito para corrigir algo no item 3 da mensagem anterior:

* Onde se le: ou seja, na presença de uma corroboração de P, toda Q é  
infinitesimal em

relação a P; na realidade, toda corroboração de P seria infitesimal em
relação a P (algo como way below vem imediatamente a mente).

* Deveria ler-se: ou seja, na presença de uma corroboração de P,
toda Q é infinitesimal em relação a P (algo como way below vem  
imediatamente a mente).


ou seja, estou retirando a idéia de que toda corroboração de P seria
infinitesimal em relação a P.

Uma nota final: Provas (no sentido usual) são apenas UMA forma de
corroboração.


   Um grande abraço,

Chico Miraglia

%%
Quoting Ruy de Queiroz r...@cin.ufpe.br:


Caro Chico,

Tuas considerações são pertinentes, mas permita-me discordar das
conclusões: o sentido da regra em questão é o de enfraquecer um argumento,
como bem disse Valéria. Daí, é natural que a tradução em português utilize
a palavra enfraquecimento. Aliás, tenho a impressão de que o termo já
está razoavelmente consolidado, tal qual a terminologia teoria da prova..
Não vejo nada de errado em qualquer das duas formas de expressão no
português.

Abraço,
Ruy

Em 31 de julho de 2012 03:27, Francisco Miraglia  
mirag...@ime.usp.brescreveu:



Car@s Colegas,

A mensagem anterior (talvez) tenha sido um pouco críptica e adiciono mais
alguns comentários:

1. Traduções precisam levar em conta a sintaxe, denotação e conotação das
palavras e/ou expressões na língua original. Weakening é a substantivação
de um gerúndio, algo comum em ingles (mas não em portugues); a
substantivação
permanece carregando a conotação de ação, enquanto que enfraquecimento,
como todo substantivo na língua portuguesa é passivo. Por outro lado,
parece-me
que enfraquecendo está longe de satisfatório...

2. O conteúdo do enunciado (utilizando o que aprendi em uma conferência e
conversa, ambas ótimas,  com Dag Prawitz em Paris há algum tempo) seria (as
palavras foram escolhidas com o devido cuidado)

Se há uma corroboração de P, então qualquer extensão (finita) desta
corroboração permanece sendo uma corroboração de P.

3. Para um working mathematician, dependendo de como isto é enunciado,
pode
parecer meio estranho: se C = P_1 + P_2 +  + P_n é uma corroboração de
P,
i.e.

 C = P_ 1 + P_2 + ... + P_n  P

então para todo Q

   C + Q = P_1 + P_2 +  + P_n + Q  P,

ou seja, na presença de uma corroboração de P, toda Q é infinitesimal em
relação a P; na realidade, toda corroboração de P seria infitesimal em
relação a P (algo como way below vem imediatamente a mente).

Será que há matemática e lógica interessantes em estudar estas ordens?

Desnecessário dizer que ordens não arquimedianas (as únicas com
infinitesimais) são crucais no estudo da teoria fina de corpos, anéis e em
Valuation Theory em geral.

Será que existem análogos de valuations e/ou places em lógica,
reticulados distributivos, álgebras de Heyting, Brouwer ou de Boole (estas,
como é sabido há tempos, com estrutura natural e interdefinível com uma
única de anel commutativo com unidade). Será que estas idéias poderiam
ajudar
a entender lógicas, suas propriedades, semânticas e sintaxe?

4. A pergunta original foi muito produtiva; haveria mais a comentar, mas
fico
por aqui, enviando a todos

   Um grande abraço,

  Chico Miraglia
__**_
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-lhttp://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l






Francisco Miraglia mirag...@ime.usp.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] weakening theorem - tradução(?)

[Francisco Miraglia]

Caro Louis,

Para ser franco, nos meus cursos uso weakening mesmo,
explicando  a noção.  Afinal enfraquecimento e análogos
são, na minha opinião ruins. Mas pode ser que alguém tenha uma idéia
melhor...

   Um grande abraço,

   Chico Miraglia


Quoting Louis Lambda fso...@gmail.com:


Olá colegas!
Estou traduzindo para os meus alunos de lógica o livro *Logic Primer* que é
usado na MIT e foi escrito por Michael Hand e Colin Allen. Encontrei
problemas para traduzir o seguinte teorema:

? P?(Q?P)

No livro, o teorema recebe o bem conhecido nome Weakening. Qual seria a
melhor tradução para o nome deste teorema?

p.s: paga-se um certo preço por só ler material em inglês...

Obrigado para quem puder me ajudar!

--
*Luis Fernando Munaretti da Rosa*
Twitter: @fsopho
FsOpHo Epistemology Blog http://fsopho.wordpress.com/
Blog Distropia http://distropia.wordpress.com/
Greek van Peixe - Gamer Rock http://greekvanpeixe.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l




Francisco Miraglia mirag...@ime.usp.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: weakening theorem - tradução(?)

[Francisco Miraglia]

Car@s,

Tendo lido com atenção as contribuições colegas, continuo
preferindo weakening. Nâo seria a primeira vez que incorporaríamos
palavras de originárias de outras línguas ao portugues. Poupo-lhes os
abundantes exemplos.  Aliás, algo muito comum em todas as línguas!

  Um grande abraço,

   Chico Miraglia

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] TRADUÇÃO DE AUGMENTED

[Francisco Miraglia]

Car@s,

Sugestões sâo extendido, ampliado ou complementado, dependo do
contexto. Assim, uma tradução possível para

X is augmented if it contains its core and is supplemented

Seria

X é extendido se contém seu núcleo seguido da lista de suplementos
pertinentes.


  Um greande abraço,

   Chico Miraglia

PS: E.g., a extensão de uma linguagem (seja por constantes, ou quaisquer
outros símbolos (Skolemização)).

Quoting FAD 2 famado...@gmail.com:


Incrementado?

Sent from my iPhone

On 29/03/2012, at 00:25, Tony Marmo marmo.t...@gmail.com wrote:


Caríssimos Mestres, Amigos e Colegas,

O contexto envolve filtros, ultra-filtros, conjuntos, etc.
Augmented pode ser traduzido para aumentado, mas talvez não seja esse o
termo usual em Português.

Preciso de uma tradução para augmented na definição:

X is augmented if it contains its core and is supplemented.

Quem souber qual é o termo em Português, por favor me informe.

Muito obrigado.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l




Francisco Miraglia mirag...@ime.usp.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Volumes 1 e 2 de Principia: Newton 80anos

[Francisco Miraglia]

Caro Décio,

Meus cumprimentos pelo trabalho !!


  Um grande abraço,

   Chico Miraglia



  Caros todos
  Saiu o segundo volume de Principia homenageando os 80 anos do Prof.
  Newton da Costa, que pode ser visto em
  http://www.cfh.ufsc.br/~principi/olvol133.html
  O volume 1 está em  http://www.cfh.ufsc.br/%7Eprincipi/olvol132.html
  e o terceiro está em preparo.
  Abraços,
  Décio
 
  
  Decio Krause
  Departamento de Filosofia
  Universidade Federal de Santa Catarina
  88040-990 Florianópolis, SC -- Brasil
  deciokra...@gmail.com
  www.cfh.ufsc.br/~dkrause
  
  Doctor Bell say we?re connected,
  He called me on the phone,
  But if we?re really together baby,
  How can I feel so all alone?
  (Bell's Theorem Blues)
 
  ___
  Logica-l mailing list
  Logica-l@dimap.ufrn.br
  http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
 
 
 
 ++
 Itala M. L. D'Ottaviano
 Centre for Logic, Epistemology and the History of Science - CLE
 State University of Campinas - UNICAMP
 P.O. Box 6133
 13083-970 - Campinas-SP, Brazil
 
 Fax: +55-19-3289-3269
 Tel.:+55–19-3521-6517
 
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
 

Francisco Miraglia mirag...@ime.usp.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Pedido

[Francisco Miraglia]

Caros Colegas,

Dois pedidos:

1) Incluir na nossa lista um estudante meu de mestrado.
Seu endereco eletronico e [EMAIL PROTECTED]

2) O Eneas esta interesado em Logica de Segunda Ordem.
Agradeceria que as referencias e indicacoes que voces
possuam acerca do assunto sejam enviadas para ele, com
copia para mim. Tentei dissuadi-lo do projeto.
Felizmente, fui mal sucedido...

Um grande abraco p-ara todos e agradecimentos antecipados !!

   Chico Miraglia

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l