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 J
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
Grupo
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 f
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.
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 par
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
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:
>
>
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 en
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 Miragli
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,
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 organiz
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
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úb
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 Be
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á
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 variad
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
o?
>>
>> 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
>>> V
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
os 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...
>>
>&g
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"
>
tratas
> 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,
>&
>> 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 a
> 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 d
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
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
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
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 so
Caros,
Peço licença à Andrea para fazer minhas as suas palavras.
Abraços com pesar,
Chico Miraglia
> On 11 Jun 2019, at 19:28, Andrea Loparic wrote:
>
> Ficamos todos um pouco orfãos quando partem figuras como essa, que foram
> tão marcantes nos nossos tempos de juventude. Meu abraço de pesa
Ó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 d
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 espe
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
> his
n AT DOMAIN=dimap,ufrn,br.
>
> Curriculum Lattes-CNPq
> **
>
>> Em 18 de mar de 2018, à(s) 11:14, Francisco Miraglia
>> escreveu:
>>
>> Caro Regivan,
>>
>> Sejam A, B, C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e $\iota_B$
>> ---> $A \
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
o Miraglia
Quoting 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;
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
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
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 orige
s 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;
qual
ificar.
abracos,
Valeria
2017-10-23 23:08 GMT-07:00 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
má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 :
Cara Valéria,
Observações que talvez possam ser úteis:
1) O esquema (A -->
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
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). I
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
elebrações iniciadas no Workshop "Logic and Applications: in honor
to Francisco Miraglia by the occasion of his 70th birthday" realizado
no IME-USP em setembro de 2016, e reúne 16 artigos de destacados
colegas do Brasil e do exterior (ver informações abaixo).
A versão impressa do volume
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" :
Caro Marcelo:
Em seu nome, cumprimento os amigos da nova Diretoria da SBL, desejando ao
grupo uma excelente gestão !
Itala
Caros colegas,
Gos
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é
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 :
Muito triste com a notícia que acabo de ler.
eitas
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 d
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.:+5519-3521-6517
>
>
>
>
Francisco Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
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
Car@s,
Como raramente faço intervenções em nossa lista, talvez tenham
paciência de ler as mal-traçadas que seguem.
1. Em geral, fixada uma certa lógica, ou até mesmo teoria,
enunciados validados por este sistema são equivalentes. Este fato
geral, é, evidentemente, do conhecimento de todos.
2.
mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l>
--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/c
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.
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
___
ergiversaçã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
Cara Valéria,
Obrigado pela tua mensagem; penso que voce captou bem o "jeitã
z 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
2012/7/31 Francisco Miraglia
Caro Ruy,
Obrigado pelas t
r/cgi-bin/mailman/listinfo/logica-l
Francisco Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
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
escreveu:
Car@s Colegas,
A mensagem anterior (talvez) tenha sido um pouco críptica e adiciono mais
alguns co
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 in
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,
C
;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
_
Car@s Colegas,
Independente da minha opinião acerca da "produtivite"
(uma inflamação) e suas consequências (muito) danosas
ao trabalho intelectual, gostaria de registrar meu reconhecimento e
apreço, tanto ao esforço de produção do documento, quanto ao resultado
obtido. Resistir é preciso. ONDE E
l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Francisco Miraglia
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
gt;
> ++
> 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
&
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
cop
66 matches
Mail list logo