[Logica-l] Chamada Aberta para Apoio da SBL, para participação de estudantes em eventos (de 01/10/24 a 30/03/2025)

['Samuel Gomes da Silva' via LOGICA-L]

Caros, 

Está aberta a Chamada para Apoio (a Estudantes associados) da SBL, para 
participação em eventos de 01/10/24 a 30/03/2025. 

Como de costume, quem se inscreve é "o evento", a partir de seu coordenador 
(que também tem que ser 
associado da SBL). 

Vejam o texto completo da chamada, assim como link para inscrição, em 

https://sbl.org.br/pmwiki.php/Main/Apoio 

Abraços 

[]s Samuel 

-- 
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/1370028341.2445677.1728060743309.JavaMail.zimbra%40ufba.br.

Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA

['Samuel Gomes da Silva' via LOGICA-L]

... Caindo do alto do elevador ainda, imagine !

Obrigado Walter e Elaine,

Abraços

[]s Samuel

- Mensagem original -
De: Walter Carnielli 
Para: Elaine Pimentel 
Cc: samuel , LOGICA-L 
Enviadas: Fri, 23 Feb 2024 15:47:57 -0300 (BRT)
Assunto: Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA

Parabéns aos  colegas da UFBA, um grupo poderoso, lindo logo!

Só  da um pouco de medo que a Lógica escorregue sobre a  Topologia. :-)


Abraços,

Walter
Em sex., 23 de fev. de 2024 14:35, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:

> Parabéns, Samuel e colegas da UFBA, pela maioridade e pelo logotipo.
>
> Longa vida ao Grupo de Lógica da UFBA!!!
>
> Abraços,
>
> On Fri, Feb 23, 2024 at 6:20 PM 'samuel' via LOGICA-L <
> logica-l@dimap.ufrn.br> wrote:
>
>> (abaixo, segue mensagem repassada para público geral, docentes do nosso
>> Departamento de Matemática)
>>
>> *
>>
>> Prezados,
>>
>> Saudacoes,
>>
>> A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA
>> de Lógica e Fundamentos da
>> Matemática e a Homenagem aos 60 anos do Prof. Andreas Brunner,
>>
>> Marca também o início do ano em que completam-se 18 anos do Grupo de
>> Lógica da UFBA, reconhecido como
>> um dos mais importantes grupos de Lógica sediados em Departamentos de
>> Matemática no país.
>>
>> Nesse caminho à maioridade, foram criados: um logotipo e um símbolo para
>> o grupo de Lógica.
>>
>> Estao ambos baseados no Elevador Lacerda, porém, como "duplo sentido", o
>> elevador pode ser mentalmente
>> encarado como uma "catraca" (turnstile), cujo símbolo em Latex é \vdash.
>>
>> O símbolo da catraca é o símbolo da "prova" em Lógica Matemática
>> ("logical entailment", ou consequência
>> lógica), o qual denota que a partir de determinadas premissas chegamos a
>> determinadas conclusões.
>>
>> Diz a lenda que trata-se de uma catraca pois, ao passarmos das premissas
>> para as conclusões, deixamos
>> como pagamento o nosso raciocínio, o nosso pensamento.
>>
>> Saudacoes a todos os colegas,
>>
>> []s  Samuel
>>
>> 
>>
>> As imagens podem ser visualizadas no seguinte link aberto:
>>
>> https://drive.google.com/drive/folders/1P_PU-VNivp_zf8DyqeOdH4PApkkWqra8
>>
>> PS: "A lenda" aí da mensagem eu retirei de mensagens antigas desta lista,
>> com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho
>> uma predilecao especial por catracas. 8-)
>>
>> --
>> 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 acessar essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br
>> 
>> .
>>
>
>
> --
> Elaine.
> ---
> Elaine Pimentel
> Associate Professor in Programming Principles, Logic, and Verification
> Department of Computer Science
> University College London
> https://sites.google.com/site/elainepimentel/
> ---
>
> --
> 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 acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%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/760582865.2688022.1708714383631.JavaMail.zimbra%40ufba.br.

[Logica-l] Link corrigido - evento UFBA

['Samuel Gomes da Silva' via LOGICA-L]

Caros,

Por problemas técnicos tivemos que trocar o link do evento da UFBA nesta semana.

É o mesmo link para todas as sessões agora.

https://meet.google.com/ecs-yvek-mmz

Abraços

[]s Samuel

-- 
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/2115294748.7120006.1708467083853.JavaMail.zimbra%40ufba.br.

[Logica-l] Links das apresentações remotas - Temática UFBA + Encontro USP UFBA + Homenagem Andreas Brunner

['Samuel Gomes da Silva' via LOGICA-L]

Prezados,

Seguem os links para as apresentações remotas do evento na UFBA desta semana, 
em homenagem ao colega e amigo Andreas Brunner.

TERCA 20 Á TARDE

meet.google.com/hny-koqq-aaf


QUARTA 21 À TARDE

meet.google.com/mzr-mise-oth

QUINTA 22 À TARDE

meet.google.com/hzi-mxmh-jnw


SEXTA 23 À TARDE

meet.google.com/zkb-ghoe-abf

A programação completa está disponível em

https://sites.google.com/view/semanatematicalogica2024/programa%C3%A7%C3%A3o

Observo que no link da quinta à tarde será possível participar da homenagem ao 
Andreas, a partir das 17hs.

Abraços

[]s Samuel

-- 
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/706979730.6126444.1708382278751.JavaMail.zimbra%40ufba.br.

[Logica-l] Auxílios para participação de estudantes no II Encontro USP UFBA de Lógica e Fundamentos/Semana Temática de Lógica da UFBA (Verão 2024)

['Samuel Gomes da Silva' via LOGICA-L]

Caros, 

Repassando a pedido da Comissão Organizadora. 

*
 

Prezadas(os), 

Estão abertas inscrições para seleção de 02 auxílios da Sociedade Brasileira de 
Lógica (SBL) para estudantes, para participação no II Encontro USP-UFBA de 
Lógica e Fundamentos, que vai acontecer junto à Semana Temática de Lógica, 
Conjuntos e Topologia que se realizará entre os dias 19 e 23 de fevereiro de 
2024, no Instituto de Matemática e Estatística da Universidade Federal da 
Bahia, Campus Ondina, Salvador, Bahia. 

A Semana Temática de Lógica ocorrerá durante toda a semana de 19 a 23 de 
Fevereiro, sendo o II Encontro USP-UFBA realizado entre os dias 21 a 23 de 
Fevereiro. 

Auxílios ofertados: 

- 02 auxílios de R$ 500. 


Período de inscrição: 

- de 15 de dezembro de 2023 a 15 de janeiro de 2024. 


Requisitos pra candidatura: 

As vagas estão abertas para qualquer estudante de graduação e pós-graduação em 
Lógica ou área afim de alguma Universidade do Brasil, que atenda aos seguintes 
requisitos: 

- seja membro da SBL com anualidade 2024 paga; e 
- seja regularmente inscrito em algum programa de graduação ou pós-graduação em 
alguma Universidade no Brasil. 


Responsabilidades da/o bolsista: 

- participar *presencialmente* no II Encontro UFBA-USP de Lógica e 
Fundamentos/Semana Temática de Lógica, Conjuntos e Topologia da UFBA, entre os 
dias 19 e 23 de fevereiro de 2024 (serão consideradas submissões de estudantes 
que só possam participar a partir do dia 21 de fevereiro); e 
- apresentar o próprio trabalho de pesquisa em um dos dois eventos (ou na 
modalidade poster ou na modalidade de comunicação oral) 


Critérios de avaliação: serão considerados, em ordem de prioridade, 

1) Afinidade do trabalho a ser apresentado com as áreas de Lógica, Teoria dos 
Conjuntos, Topologia, Fundamentos da Matemática, Lógica Filosófica e Lógica 
para Computação; e 
2) Existência de outro financiamento para participar no evento. 


Inscrição: 

Para a inscrição é suficiente responder as perguntas do formulário no endereço: 

https://forms.gle/WyWPZCfLFqugi4NF9 

Perguntas e dúvidas podem ser encaminhadas para o endereço 
math.logic.u...@gmail.com 

Para participar da seleção, antes do encerramento do período de inscrição, os 
candidatos deverão enviar para o mesmo endereço de email ( 
math.logic.u...@gmail.com ) o comprovante de pagamento da anuidade 2024 na SBL. 
Notar que o pagamento da anuidade de 2024 deve ser realizado em 2024. 

Atenciosamente, 

A Comissão Organizadora 

-- 
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/1462596319.4606804.1702628631534.JavaMail.zimbra%40ufba.br.

Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

['Samuel Gomes da Silva' via LOGICA-L]

Olá

Obrigado pelos comentários! E pela referência principalmente.

Este fio de mensagens ficou bem interessante, obrigado a todos de novo.

Em tempo: eu agradeci a Lídia pela palestra mas esqueci de agradecer a Gisele e 
ao Encontro Brasileiro de Filosofas Analíticas pela organização da mesa, muito 
bom ver jovens lógicas trabalhando.

Abraços

[]s Samuel


- Mensagem original -
De: Juan Carlos Agudelo Agudelo 
Para: Samuel Gomes da Silva 
Cc: Daniel Durante , Walter Carnielli 
, Lista Lógica , Joao Marcos 

Enviadas: Tue, 10 Oct 2023 10:52:50 -0300 (BRT)
Assunto: Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

Bom dia para tod@s,

Acho que de fato o "axioma do vazio" (existe o conjunto vazio) não é
necessário em ZF, por conta de que a lógica clássica pressupõe domínios não
vacios. O que fica evidente na definição de modelo, onde se exige que os
domínios dos modelos sejam não vazios, e levando em consideração que ZF é
uma teoria pura (como já falaram anteriormente), qualquer domínio de
interpretação deve ter pelo menos um conjunto, e pelo axioma de
separação

A dedução do axioma do vazio pode se obter particularizando sobre o axioma
de separação, usando qualquer variável (que representa um conjunto
arbitrário) e usando uma fórmula contraditória (por exemplo P(x) := x \neq
x).

No livro do Mendelson ("Introduction to Mathematica Logic", 5ed, 2010), a
sessão 2.16 fala sobre "Quantification Theory Allowing Empty Domains". Acho
que essa sessão pode ser de interesse para o que se está discutindo aqui.

Abraços,
Juan Carlos


On Mon, Oct 9, 2023 at 1:47 PM 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:

> Obrigado Henrique, obrigado Daniel,
>
> Achei legal isso de "teoria impura" (!!!), vou pensar depois com calma.
>
> Obrigado mesmo !
>
> Pelo visto a observação do aluno tem sim "alguma graça", hehe.
>
> Abraços
>
> []s  Samuel
>
> --
> *De: *"Daniel Durante" 
> *Para: *"Walter Carnielli" 
> *Cc: *"samuel" , "Lista Lógica" ,
> "Joao Marcos" 
> *Enviadas: *Segunda-feira, 9 de outubro de 2023 15:38:01
> *Assunto: *Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica
>
> Fala Samuel, Walter e Henrique,
>
> O estudante é criativo ,mas está enganado: una das leis da Igualdade diz
> que "qualquer coisa é igual a si própria",  mas não diz que existe algo.
>
>
> É Walter, mas se esta lei da igualdade está na lógica clássica, então tem
> uma prova de duas linhas do argumento
>
> Vx(x=x)  |–  Ex(x=x)
>
> Aliás, na lógica clássica em geral vale:
>
> (1) |-VxPx => |-ExPx
>
> Ou seja, na lógica clássica, se uma dada propriedade 'P' vale para
> qualquer um, então existe alguém que a instancia.
>
> Aí, então, eu acho que o estudante está certo em dispensar o axioma, desde
> que aceite a lógica clássica.
>
> Mas o que eu acho mais interessante ainda que isso é pensar no contrário.
> Será que tem algum teorema existencial que não é universal na lógica
> clássica? Será que vale:
>
> (2) |-ExPx => |-VxPx
>
> Na lógica clássica, “infelizmente”, (2)  não vale. Existem teoremas
> clássicos existenciais cujas contrapartes universais não são teoremas
> clássicos. E  digo infelizmente  porque eu acho isso é MUITO estranho.
>
> Não deveria ser papel da  lógica postular a existência de coisas
> específicas. Esse, me parece, é um papel das teorias, não das lógicas. A
> teoria de conjuntos (ou qualquer outra  teoria), me parece, pode postular a
> existência de alguma coisa que seja diferente de todas as outras. (Existe o
> conjunto vazio, existem unicórnios,...). Mas se alguma lógica faz isso, me
> parece que ela está extrapolando seu papel. A lógica deveria cuidar do que
> é comum a todos, do que é universal.
>
> É como se a lógica clássica fosse meio elitista, preconceituosa, como se
> ela discriminasse os indivíduos.
>
> A lógica intuicionista, por exemplo, não é assim elitista. Nela vale (2).
> Todo teorema existencial é também universal. Não existe discriminação
> intuicionista entre os indivíduos, só discriminação clássica.
>
> Então, todos os exemplos de teoremas existenciais ExP(x) tais que a
> contraparte universal VxP(x) não é teorema, são aqueles casos estranhos (e
> duvidosos ?) de teoremas clássicos que não são teoremas intuicionistas.
>
> Aqui  um exemplo que o João Marcos me mostrou certa vez:
>
> (3) Ex(P(x) -> VyP(y))
>
> (4) Vx(P(x) -> VyP(y))
>
> (3) é teorema clássico, mas (4) não é.
>
> Só que (3) não é teorema intuicionista. Então (3) não é nada mais que um
> modo estranho de afirmar o princípio do terceiro excluído.
>
> Enfim, voltando pa

Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica

['Samuel Gomes da Silva' via LOGICA-L]

Oi Henrique,

Obrigado.

Esse predicado Sx que diz que x é conjunto, me parece algo mais de teoria de 
classes não ? Em que os objetos formalmente são classes
e "alguns" objetos são conjuntos (os mais cuidadosamente construídos, digamos).

Sim, ajudou no sentido de bagunçar mais, hehe, é assim mesmo a coisa. 

Até mais

[]s  Samuel

PS: Eu na prática tomo como inicial o Axioma do Vazio e evito tda essa 
discussão, eu só estou querendo descobrir se tem
algo mais justificável do que minha prática - cuja única justificativa que 
tenho para ela é que "é mais fácil" dado que
empurra toda a discussão pra baixo do tapete. 


- Mensagem original -
De: "Henrique Antunes" 
Para: "samuel" 
Cc: "LOGICA-L" , "Joao Marcos" 
Enviadas: Segunda-feira, 9 de outubro de 2023 14:31:23
Assunto: Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica

Oi, Samuel e colegas

A minha impressão é que o aluno tinha razão, mas com as seguintes
qualificações: a teoria de conjuntos em questão tem de ser pura e
inclusiva, ou seja, não permitir domínios vazios.

Agora, se a teoria for impura, então o fato de Ex(x = x) ser um teorema
clássico não garante a existência do vazio, já que o objeto em questão
pode não ser um conjunto.

Na apresentação do Suppes, por exemplo, ele toma o predicado Sx, para "x
é um conjunto", como primitivo. Nesse caso, o axioma ExSx, "existe um
conjunto", é necessário para provar a existência do conjunto vazio a
partir do axioma da separação, já que alguns quantificadores que ocorrem
nos demais axiomas são condicionalizados ao predicado S. Por exemplo, o
axioma da separação é formulado assim: 

(z){ Sz -> (Ey)[ Sy & (x)(x \in y <-> (x \in z & A(x)) ] } 

(Mas o Suppes usa variáveis diferentes para conjuntos para abreviar). 

Espero ter ajudado mais do que bagunçado.

Abraços,


-- 
Henrique Antunes


On Mon, Oct 09, 2023 at 09:57:04AM -0700, 'samuel' via LOGICA-L wrote:
> Oi gente,
> 
> Aproveitando pra comentar da dúvida que eu apresentei na apresentação da Lidia
> Batinga (que pro framework dela
> deu pra ver que a resposta era "sim").
> 
> Aí, todo mundo pode dar aqui um pitaco que eu estou curioso com isso já faz 
> uns
> três anos.
> 
> Lá vai:
> 
> O primeiro axioma de Teoria dos Conjuntos, em muitos livros, é o Axioma do
> Vazio:
> 
> "Existe x tal que para todo y, y não pertence a x"
> 
> (que depois é provado ser o único nessas condições pelo Axioma da Separação).
> 
> Pois bem: no livro do Kunen dos anos 80 (referência clássica em conjuntos), o
> primeiro axioma
> é um "axioma de existência de conjuntos":
> 
> "Existe x tal que x = x"
> 
> (como qualquer coisa é igual a si mesmo, o axioma essencialmente diz que 
> existe
> uma "qualquer coisa" pra ser igual a si mesma).
> 
> Dada a existência de um conjunto, dada pelo axioma acima, e o Axioma de
> Separação, obtemos o conjunto vazio separando,
> nesse x que foi dito existir digamos, o subconjunto
> 
> y = {z pertencente a x   | z é diferente de z   }
> 
> e aí esse y não tem elementos (dado que nenhum z satisfaz o pedido) e por
> unicidade (dada por Separação) ele é o vazio, OK.
> 
> Em resumo, pelo que vocês vêm acima, na presença do Axioma de Separação, dizer
> que "existe um conjunto qualquer"
> ou que "existe um conjunto vazio" dá na mesma, seriam axiomáticas 
> equivalentes.
> 
> ... Mas aí vem a pegadinha.
> 
> Numa banca de mestrado que participei, o aluno "se recusou" a aceitar o axioma
> do Kunen, "Existe x tal que x = x",
> com o seguinte argumento:
> 
> ---> Essa asserção segue de um axioma lógico sobre igualdade, que é "Para todo
> x, x = x", logo, se ela
> segue de um axioma, essa asserção é um teorema e não deveria ser um outro
> axioma.
> 
> ... Touché ! Dizer o quê pro aluno numa situação dessas ???
> 
> Depois de matutar um pouco a questão toda (pelo menos até onde eu vejo) é: ao
> tratarmos de uma teoria,
> NÓS TEMOS QUE PRESSUPOR QUE O DOMÍNIO DE DISCURSO É NÃO-VAZIO ?
> 
> Porque se o domínio de discurso é não-vazio para a Teoria dos Conjuntos, de
> fato, para todo x deveríamos
> ter x = x, então em particular existe x tal que x = x. Seria então um teorema,
> não axioma.
> 
> Ao ver essa apresentação da Lidia, e uma apresentação que o Henrique Antunes
> fez pra nós aqui na Matemática da UFBA,
> 
> Foi apresentada essa diferença entre a Lógica clássica e a lógica livre, no
> qual, resumidamente
> 
> ---> Na lógica clássica os termos se referem a coisas que são supostas
> existentes
> 
> ---> Na lógica livre isso não vale necessariamente, então podemos falar de
> Pégaso e de outros entes imaginários...
> 
> Então eu penso, ok, na lógica classe os termos se referem a coisas que 
> existem.
> 
> Mas - antes disso (de definir o que os termos fazem) nós teríamos que decidir
> se existem coisas para que os termos possam se 
> referir a elas, não ? Seria uma espécie de discussão anterior ao papel dos
> termos, eles têm coisas existentes pra denotar ?
> 
> Então eu perguntei pra Lidia que estava apresentando sobre i

Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica

['Samuel Gomes da Silva' via LOGICA-L]

... interessante que esse axioma não aparece em outras teorias né... Bom, 
talvez em outras teorias coloquem "disfarçado" nas definições. 

Em alguns casos a teoria pressupõe de saída a existência de alguns elementos 
(elemento neutro em grupos, vetor nulo em espaços vetoriais... 
e aí os casos triviais só tem esses caras mesmo). 

De vez em quando, em certas referências, pra se definir espaço métrico se diz 
que o conjunto M de suporte é não-vazio. 

OK, mas lá na frente se fala que a intersecção de subconjuntos convexos tem que 
ser convexo, e tem que se olhar para o subespaço vazio 
pra que a coisa não desabe logicamente né, no caso da intersecção de convexos 
disjuntos... 

Elucubrações, enfim. 

De alguma forma "prática" eu acho que, pelo menos em Matemática, se assume 
sempre que o universo de discurso é não-vazio, eu só 
não sei se sempre há o cuidado de se colocar isso como axioma, nos casos em que 
não ganhamos de graça um elemento "trivial". 

Até mais, obrigado ! 

[]s Samuel 


- Mensagem original -

De: "Walter Carnielli"  
Para: "samuel"  
Cc: "LOGICA-L" , "Joao Marcos"  
Enviadas: Segunda-feira, 9 de outubro de 2023 14:10:00 
Assunto: Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica 

Ola Samuel, 


O estudante é criativo ,mas está enganado: una das leis da Igualdade diz que 
"qualquer coisa é igual a si própria", mas não diz que existe algo. 

O axioma de Kunen assevera a existência. 

Abs, 

W. 


Em seg., 9 de out. de 2023 13:57, 'samuel' via LOGICA-L < 
logica-l@dimap.ufrn.br > escreveu: 


Oi gente, 

Aproveitando pra comentar da dúvida que eu apresentei na apresentação da Lidia 
Batinga (que pro framework dela 
deu pra ver que a resposta era "sim"). 

Aí, todo mundo pode dar aqui um pitaco que eu estou curioso com isso já faz uns 
três anos. 

Lá vai: 

O primeiro axioma de Teoria dos Conjuntos, em muitos livros, é o Axioma do 
Vazio: 

"Existe x tal que para todo y, y não pertence a x" 

(que depois é provado ser o único nessas condições pelo Axioma da Separação). 

Pois bem: no livro do Kunen dos anos 80 (referência clássica em conjuntos), o 
primeiro axioma 
é um "axioma de existência de conjuntos": 

"Existe x tal que x = x" 

(como qualquer coisa é igual a si mesmo, o axioma essencialmente diz que existe 
uma "qualquer coisa" pra ser igual a si mesma). 

Dada a existência de um conjunto, dada pelo axioma acima, e o Axioma de 
Separação, obtemos o conjunto vazio separando, 
nesse x que foi dito existir digamos, o subconjunto 

y = {z pertencente a x | z é diferente de z } 

e aí esse y não tem elementos (dado que nenhum z satisfaz o pedido) e por 
unicidade (dada por Separação) ele é o vazio, OK. 

Em resumo, pelo que vocês vêm acima, na presença do Axioma de Separação, dizer 
que "existe um conjunto qualquer" 
ou que "existe um conjunto vazio" dá na mesma, seriam axiomáticas equivalentes. 

... Mas aí vem a pegadinha. 

Numa banca de mestrado que participei, o aluno "se recusou" a aceitar o axioma 
do Kunen, "Existe x tal que x = x", 
com o seguinte argumento: 

---> Essa asserção segue de um axioma lógico sobre igualdade, que é "Para todo 
x, x = x", logo, se ela 
segue de um axioma, essa asserção é um teorema e não deveria ser um outro 
axioma. 

... Touché ! Dizer o quê pro aluno numa situação dessas ??? 

Depois de matutar um pouco a questão toda (pelo menos até onde eu vejo) é: ao 
tratarmos de uma teoria, 
NÓS TEMOS QUE PRESSUPOR QUE O DOMÍNIO DE DISCURSO É NÃO-VAZIO ? 

Porque se o domínio de discurso é não-vazio para a Teoria dos Conjuntos, de 
fato, para todo x deveríamos 
ter x = x, então em particular existe x tal que x = x. Seria então um teorema, 
não axioma. 

Ao ver essa apresentação da Lidia, e uma apresentação que o Henrique Antunes 
fez pra nós aqui na Matemática da UFBA, 

Foi apresentada essa diferença entre a Lógica clássica e a lógica livre, no 
qual, resumidamente 

---> Na lógica clássica os termos se referem a coisas que são supostas 
existentes 

---> Na lógica livre isso não vale necessariamente, então podemos falar de 
Pégaso e de outros entes imaginários... 

Então eu penso, ok, na lógica classe os termos se referem a coisas que existem. 

Mas - antes disso (de definir o que os termos fazem) nós teríamos que decidir 
se existem coisas para que os termos possam se 
referir a elas, não ? Seria uma espécie de discussão anterior ao papel dos 
termos, eles têm coisas existentes pra denotar ? 

Então eu perguntei pra Lidia que estava apresentando sobre isso e deu pra ver 
que ela pressupõe que o 
universo de discurso é não-vazio, 

E no livro do Kunen tem alguns momentos lá na frente que ele fala que "na 
prática" tem que se supor que 
o universo de discurso é não-vazio (posso achar a página exata se alguém 
pedir), 

Então minha dúvida é essa: ainda em oposição à lógica livre talvez, 

Numa apresentação de uma teoria em lógica clássica, 

Devemos, ou é preferível, ou é saudável, ou é do gosto pessoal de cada um, 

-> Supor que

[Logica-l] Re: ao

['Samuel Gomes da Silva' via LOGICA-L]

uction, and Falibilist Deduction: A Threefold Contrast.  *Information*,  
>> 2, 4, 635-650. 
>> <https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/10/Ste11Axi.pdf>  
>> doi:10.3390/info2040635 <http://doi.org/10.3390/info2040635> 
>>
>> Como referencia fundamentais (pun intended) para esta posicao, cito: 
>>
>> Arpad Szabo (1978). The Beginnings of Greek Mathematics; Akademiai 
>> Kiado:  Budapest, Hungary.  
>>
>> Imre Lakatos, J. Worall, E. Zahar, eds. (1976). Proofs and Refutations: 
>> The Logic of Mathematical Discovery;  Cambridge University Press: 
>> Cambridge, UK. 
>>
>> Imre Lakatos (1978). Philosophical Papers. V.1 -- The Methodology of 
>> Scientific Research Programmes. V.2. -- Mathematics, Science, and 
>> Epistemology. Cambridge University Press: Cambridge, UK. 
>>
>> -- 
>>
>> Notem ainda que Logica tem varios papeis relevantes nesta discussao. 
>>
>> - Um papel, aceito e tradicional, da Logica e teoria dos conjuntos eh 
>> justamente o de construir ferramentas para Fundamentos Axiomaticos da 
>> Matematica, sendo ZFC o paradigma mais conhecido. 
>>
>> Outros papeis relevantes (na minha opiniao) da Logica seriam os de: 
>>
>> > Estudar os processos -- Indutivos -- (sim, sim; Indutivos, nao 
>> dedutivos!) que levam a abstracao de estruturas matematicas a partir da 
>> formalizacao de teorias Fisicas (ou em outras ciencias empiricas), e 
>>  
>> > Estudar a melhor forma de construir e oganizar Ontologias da (ou de 
>> partes da) Matematica e a melhor forma para sua  insercao nas ou 
>> interacao com as ontologias de ciencias empiricas.   
>>  
>> Tudo de bom, 
>> ---Julio Stern 
>> 
>>
>> --
>> *From:* 'Samuel Gomes da Silva' via LOGICA-L 
>> *Sent:* Monday, August 7, 2023 5:45 PM
>> *To:* Daniel Durante 
>> *Cc:* LOGICA-L ; marciopalmares <
>> marciop...@gmail.com>; LOGICA-L ; Petrucio Viana <
>> petruci...@id.uff.br>; Marcos Silva ; Grupo de 
>> pesquisa CLEA ; valeria.depaiva <
>> valeria...@gmail.com>; Cassiano Terra Rodrigues 
>> *Subject:* [Logica-l] Re: ao 
>>  
>> Caros,
>>
>> A mensagem do Cassiano eu preciso digerir mais, hehe,
>>
>> Daniel, sua analogia com "geometria é álgebra" é pertinente sim,
>>
>> E na verdade me lembrou do prefácio de um excelente livro de graduação de 
>> Teoria dos Conjuntos, o do Enderton: se não me falha a memória, vai na 
>> seguinte linha:
>>
>> "Todo matemático, em geral, escolhe uma das seguintes alternativas:
>>
>> A matemática está inteiramente internalizada na Teoria dos Conjuntos;
>>
>> A matemática pode ser inteiramente internalizada na Teoria dos Conjuntos;
>>
>> A matemática deve ser inteiramente internalizada na Teoria dos Conjuntos"
>>
>> Apesar do que alguém poderia pensar, mesmo com o meu "matemática é ZFC", 
>> eu tendo a pensar mais pela segunda alternativa, talvez nesse espírito de 
>> "ambiente de trabalho".
>>
>> (E como pintura do cachimbo, claro...)
>>
>> Abraços
>>
>> []s Samuel 
>>
>> PS: Ah sim, isso de "geometria é álgebra"
>> tem a haver com a internalização da geometria dentro da álgebra, aí da 
>> mesma forma a pessoa pode decidir entre "está", "pode ser", "deve ser"...
>>
>>
>>
>>
>>
>>  
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>> - Mensagem original -
>> De: Daniel Durante 
>> Para: LOGICA-L 
>> Cc: marciopalmares , LOGICA-L <
>> logi...@dimap.ufrn.br>, samuel , Petrucio Viana <
>> petruci...@id.uff.br>, Daniel Durante , Marcos Silva <
>> marcos...@gmail.com>, Grupo de pesquisa CLEA , 
>> valeria.depaiva , Cassiano Terra Rodrigues <
>> cassian...@gmail.com>
>> Enviadas: Mon, 07 Aug 2023 10:41:05 -0300 (BRT)
>> Assunto: Re: ao
>>
>> Oi Marcio e colegas,
>>
>> Eu acho, Marcio, que quando Samuel fala que a matemática é ZFC, ele não 
>> está querendo dizer isso literalmente, no sentido de que os números são 
>> certos conjuntos e que as funções são conjuntos de pares com certas 
>> propriedades,... Ele está falando de um jeito menos literal. Os números 
>> são 
>> qualquer coisa que se comporte como aqueles conjuntos se comportam em ZFC 
>> e 
>> as funções são qualquer coisa que se comporte co

[Logica-l] Re: ao

['Samuel Gomes da Silva' via LOGICA-L]

Caros,

A mensagem do Cassiano eu preciso digerir mais, hehe,

Daniel, sua analogia com "geometria é álgebra" é pertinente sim,

E na verdade me lembrou do prefácio de um excelente livro de graduação de 
Teoria dos Conjuntos, o do Enderton: se não me falha a memória, vai na seguinte 
linha:

"Todo matemático, em geral, escolhe uma das seguintes alternativas:

A matemática está inteiramente internalizada na Teoria dos Conjuntos;

A matemática pode ser inteiramente internalizada na Teoria dos Conjuntos;

A matemática deve ser inteiramente internalizada na Teoria dos Conjuntos"

Apesar do que alguém poderia pensar, mesmo com o meu "matemática é ZFC", eu 
tendo a pensar mais pela segunda alternativa, talvez nesse espírito de 
"ambiente de trabalho".

(E como pintura do cachimbo, claro...)

Abraços

[]s Samuel 

PS: Ah sim, isso de "geometria é álgebra"
tem a haver com a internalização da geometria dentro da álgebra, aí da mesma 
forma a pessoa pode decidir entre "está", "pode ser", "deve ser"...





 











- Mensagem original -
De: Daniel Durante 
Para: LOGICA-L 
Cc: marciopalmares , LOGICA-L 
, samuel , Petrucio Viana 
, Daniel Durante , Marcos Silva 
, Grupo de pesquisa CLEA , 
valeria.depaiva , Cassiano Terra Rodrigues 

Enviadas: Mon, 07 Aug 2023 10:41:05 -0300 (BRT)
Assunto: Re: ao

Oi Marcio e colegas,

Eu acho, Marcio, que quando Samuel fala que a matemática é ZFC, ele não 
está querendo dizer isso literalmente, no sentido de que os números são 
certos conjuntos e que as funções são conjuntos de pares com certas 
propriedades,... Ele está falando de um jeito menos literal. Os números são 
qualquer coisa que se comporte como aqueles conjuntos se comportam em ZFC e 
as funções são qualquer coisa que se comporte como aqueles conjuntos de 
pares se comportam em ZFC.

Porque veja, junto com dizer que a matemática é ZFC ele diz também que ZFC 
não tem modelo canônico e que a matemática não são nem as regras do jogo, 
nem os diversos tabuleiros onde o jogo é jogado - nem os axiomas de ZFC, 
nem seus muitos modelos.

A matemática não é a formalização de ZFC e também não é cada uma das 
possíveis estruturas que verificam os axiomas. A matemática seria aquilo 
que todas as estruturas que verificam os axiomas têm em comum.

Aí, cabe tanto os matemáticos contemporâneos que nem sabem quais são os 
axiomas de ZFC, mas que os respeitam, porque vivem em (jogam) versões desse 
jogo, ainda que talvez nem saibam disso. E cabe também, em certo sentido, 
os matemáticos do passado que também jogavam versões desse jogo sem saber.

Talvez, se a gente procurar na história, a gente encontre os momentos em 
que as regras do jogo foram se estabelecendo, e o jogo foi sendo 
consolidado. Nessa visão dá para entender até o protesto de Valéria, por 
exemplo, que nos lembrou que muitos matemáticos se recusam a utilizar o 
axioma da escolha e se limitam a jogadas que cabem em ZF, uma versão 
simplificada do jogo.  

E protestos desse tipo ajudam também a explicar e acomodar as abordagens 
fundacionais alternativas. Qual seria a principal motivação de quem pensa 
em fundar a matemática na Teoria das Categorias, ou na Teoria dos Tipos? Eu 
acho que a principal motivação é ajustar o JOGO para alguma divergência que 
não se encaixa perfeitamente em ZFC.

Acho que um bom exemplo para entender isso é a relação da geometria com a 
álgebra. Veja, não sou matemático e se eu tiver falando bobagem, vocês 
simplesmente desconsiderem. Mas vejo a afirmação de que a matemática é ZFC 
de um modo paralelo à afirmação de que a geometria é álgebra.

Em um certo sentido, isso está correto. Que eu saiba, não há nada na 
geometria que não caiba na álgebra, no sentido de que não há nenhum 
resultado geométrico que não tenha contrapartida algébrica. Então, em um 
sentido matemático, de resultados, geometria é álgebra. Mas é claro que 
Euclides, ou os geômetras de régua e compasso não são algebristas e não 
estavam fazendo álgebra. É claro que conseguimos entender certas 
estruturas, relações e conceitos muito melhor e mais claramente na 
geometria que na álgebra, que todos temos intuições geométricas, mas que só 
alguns poucos de nós, matematicamente treinados, têm as intuições 
algébricas equivalentes.

Então, em um outro sentido muito forte, geometria não é álgebra. Mas esse 
outro sentido muito forte, não é o sentido matemático. Em um sentido 
matemático, de resultados matemáticos, geometria é álgebra.

Então, pensando nesses termos, eu concordo com a tese de Samuel de que a 
matemática é ZFC. Mas isso não me impede de concordar se o Eduardo Ochs ou 
alguém da teoria das categorias me disser que a matemática é Teoria das 
Categorias ou outra teoria qualquer, desde que as eventuais divergências 
extensionais entre a teoria nova e ZFC sejam convincentemente justificadas.

Não sei se o Samuel, que é o "pai da criança", enxerga sua própria 
abordagem desse jeito. Mas é assim que eu vejo. E nesses termos, eu 
concordo com ela.

Saudações,
Daniel.

Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

['Samuel Gomes da Silva' via LOGICA-L]

Oi Petrucio,

Da mesma forma que ninguém lê as letrinhas pequenas de nenhum contrato,

O matemático establishment sabe (na maioria das vezes) que trabalha em ZFC, 
mesmo que só saiba dar como exemplo o Axioma da Escolha.

(Muitos deles acham que a Hipótese do Continuo vale "na prática", mas isso é 
ainda outra história...)

Sobre a coisa de ordem, pelo menos nisso o matemático establishment tem sorte, 
pois como os subconjuntos dos conjuntos são conjuntos, as (subfamilias das) 
famílias de subconjuntos são conjuntos, etc., dá pra fazer tudo em primeira 
ordem.

Atés

[]s Samuel 
- Mensagem original -
De: Jorge Petrucio Viana 
Para: Samuel Gomes da Silva 
Cc: Valeria de Paiva , Daniel Durante 
, Marcos Silva , 
pin...@googlegroups.com , Grupo de pesquisa CLEA 

Enviadas: Sat, 05 Aug 2023 14:54:05 -0300 (BRT)
Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e 
provas

Boa tarde!

Uma dúvida honesta (não é, simplesmente, uma provocação):
O que vocês estão chamando de ZFC?

Se for o que está, por exemplo, no livro do Devlin (ou seja, First Order
Logic ZFC), não concordo que "para um matemático-padrão ZFC e' a medida, o
básico" (ou algo semelhante).

Pelo que vejo, matemáticos padrão trabalham, pelo menos, em terceira ordem
e usam "naive set theory" (uma versão mais próxima de Cantor do que de
Zermelo).

Um adendo:
Uma vez eu desafiei uma plateia de matemáticos (uns 40 mais ou menos) a
listarem 3 (apenas 3) axiomas da Teoria dos Conjuntos.
O máximo que consegui foi: Axioma da Escolha.

P

Em sáb., 5 de ago. de 2023 às 13:20, 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> Oi Valéria,
>
> Pois é, em ambiente de pesquisa eu concordo que a teoria básica é ZF
> (ainda mais se a pesquisa é lógico orientada, digamos),
>
> Porém, porém, porém, para o tal matemático establishment que eu sempre
> falo,
>
> O Axioma da Escolha está lá, mesmo que o matemático establishment não
> perceba (porque muitas vezes ele usa o Axioma da Escolha sem perceber, é
> preciso um certo "treino" e esforço pra ver quando o Axioma da Escolha foi
> necessário ou não).
>
> Por exemplo: pra quem nunca pensou nisso, procure ver exatamente onde se
> usa o Axioma da Escolha para mostrar que "a reunião enumeravel de
> enumeraveis é enumeravel", é um uso um pouco sutil.
>
> Aí, nos livros de graduação em matemática, o Axioma da Escolha está lá
> escondido. "Todo espaço vetorial tem base" - não só usa lá um Leminha de
> Zorn na prova padrão, como foi mostrado que é uma equivalência do Axioma da
> Escolha (Blass, 1984).
>
> Então, para o matemático establishment, acaba sendo ZFC sim.
>
> Abraços
>
> []s Samuel
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
> - Mensagem original -
> De: Valeria de Paiva 
> Para: Samuel Gomes da Silva 
> Cc: Daniel Durante , Marcos Silva <
> marcossilv...@gmail.com>, pin...@googlegroups.com ,
> Grupo de pesquisa CLEA 
> Enviadas: Sat, 05 Aug 2023 12:38:19 -0300 (BRT)
> Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números
> e provas
>
> oi Samuel,
> Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta.
> Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o
> básico. MAS com o abaixo não concordo não.
>
> >Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos
> os tabuleiros (e reciprocamente).
> Nossos cursos de graduação em Análise, Topologia, Geometria... Esses valem
> em todos os tabuleiros porque estão todos em ZFC puro. É o básico...
> Então talvez nessa visão semantista, ZFC tem mais a cara de "o que é comum
> a todos os tabuleiros" do que uma lista de axiomas e a teoria
> correspondente.
>
> ZF e' básico, o C(choice) tem muita gente que não quer não, que prefere
> botar um asterisco numa prova qdo precisa de choice, pra alertar os
> distraídos. e o número dessas pessoas, que se preocupam com resultados mais
> construtivos, ou baseados em formulações alternativas de fundamentos e'
> cada vez maior. não sei se significativamente maior no "rank and file" dos
> matemáticos tradicionais, mas certamente bem maior nessa comunidade entre
> matemática e informática que diz q trabalha com ciência da computação.
>
> Tem muita gente, que nem você, cuja pesquisa só faz sentido se certas
> premissas tradicionais não valem: a maioria do pessoal de "teoria de tipos"
> se enquadra nessa. (pra não falar dos sub-estruturalistas!) E mesmo todo
> mundo nessa nova onda de 'Proof Assistants' pra uma nova matemática "(
>
> https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-l

Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

['Samuel Gomes da Silva' via LOGICA-L]

Oi Valéria,

Pois é, em ambiente de pesquisa eu concordo que a teoria básica é ZF (ainda 
mais se a pesquisa é lógico orientada, digamos),

Porém, porém, porém, para o tal matemático establishment que eu sempre falo,

O Axioma da Escolha está lá, mesmo que o matemático establishment não perceba 
(porque muitas vezes ele usa o Axioma da Escolha sem perceber, é preciso um 
certo "treino" e esforço pra ver quando o Axioma da Escolha foi necessário ou 
não).

Por exemplo: pra quem nunca pensou nisso, procure ver exatamente onde se usa o 
Axioma da Escolha para mostrar que "a reunião enumeravel de enumeraveis é 
enumeravel", é um uso um pouco sutil.

Aí, nos livros de graduação em matemática, o Axioma da Escolha está lá 
escondido. "Todo espaço vetorial tem base" - não só usa lá um Leminha de Zorn 
na prova padrão, como foi mostrado que é uma equivalência do Axioma da Escolha 
(Blass, 1984).

Então, para o matemático establishment, acaba sendo ZFC sim.

Abraços

[]s Samuel 




















- Mensagem original -
De: Valeria de Paiva 
Para: Samuel Gomes da Silva 
Cc: Daniel Durante , Marcos Silva 
, pin...@googlegroups.com , 
Grupo de pesquisa CLEA 
Enviadas: Sat, 05 Aug 2023 12:38:19 -0300 (BRT)
Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e 
provas

oi Samuel,
Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta.
Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o
básico. MAS com o abaixo não concordo não.

>Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos
os tabuleiros (e reciprocamente).
Nossos cursos de graduação em Análise, Topologia, Geometria... Esses valem
em todos os tabuleiros porque estão todos em ZFC puro. É o básico...
Então talvez nessa visão semantista, ZFC tem mais a cara de "o que é comum
a todos os tabuleiros" do que uma lista de axiomas e a teoria
correspondente.

ZF e' básico, o C(choice) tem muita gente que não quer não, que prefere
botar um asterisco numa prova qdo precisa de choice, pra alertar os
distraídos. e o número dessas pessoas, que se preocupam com resultados mais
construtivos, ou baseados em formulações alternativas de fundamentos e'
cada vez maior. não sei se significativamente maior no "rank and file" dos
matemáticos tradicionais, mas certamente bem maior nessa comunidade entre
matemática e informática que diz q trabalha com ciência da computação.

Tem muita gente, que nem você, cuja pesquisa só faz sentido se certas
premissas tradicionais não valem: a maioria do pessoal de "teoria de tipos"
se enquadra nessa. (pra não falar dos sub-estruturalistas!) E mesmo todo
mundo nessa nova onda de 'Proof Assistants' pra uma nova matemática "(
https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-learning.html
)
 faz parte da turma.

Então concordo sim que a matemática e' o jogo e não os tabuleiros ou os
campos ou as regras, mas essa essência do jogo muda, se os jogadores
mudarem.

abraços,
Valeria

On Sat, Aug 5, 2023 at 5:23 AM 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:

> Salve Daniel,
>
> Incrível como entre nós, brasileiros, o FUTEBOL consegue explicar tantas
> coisas né?
>
> Você pegou a ideia, sim é isso mesmo.
>
> Matemática é um trabalho, e os ambientes de trabalho são os modelos... Os
> matemáticos, somos jogadores profissionais de futebol (com o BOM e o RUIM
> da sua mensagem, é a tal coisa da dor e a delícia de ser o que é...).
>
> Mas pra além daquele BOM e RUIM tem mais uma coisa: existem esses momentos
> (e na verdade os matemáticos fora da área de fundamentos sempre vivem esse
> tipo de momentos) nos quais o teorema que provamos vale em todos os
> tabuleiros, em todos os campos de jogo.
>
> Isso acontece quando provamos algo "ZFC puro", sem hipóteses adicionais.
>
> Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos
> os tabuleiros (e reciprocamente).
>
> Nossos cursos de graduação em Análise, Topologia, Geometria... Esses valem
> em todos os tabuleiros porque estão todos em ZFC puro. É o básico...
>
> Então talvez nessa visão semantista, ZFC tem mais a cara de "o que é comum
> a todos os tabuleiros" do que uma lista de axiomas e a teoria
> correspondente.
>
> Eu, por exemplo, por minha área de atuação, normalmente trabalho
> diretamente em modelos onde a Hipótese do Continuo não vale (meus
> resultados, nem que seja por uma questão de contexto, fazem muito mais
> sentido se HC não vale - minha dissertação de mestrado começava com um
> diagrama com 6 cardinais entre aleph_1 e c (que agora são 5 depois do
> recente p = t, um salve a Malliaris e Shelah) os quais, se vale HC,
> colapsam tudo para um ponto só, de modo que minha dissertação de mestrado

Re: [Logica-l] re-contando números

['Samuel Gomes da Silva' via LOGICA-L]

Oi Eduardo,

Os nomes (curtos ou longos) que você diz são as notações né? Cheguei a achar 
que você tinha sugestões de palavras mesmo...

É, vamos ficar devendo opções de lexico a nomes compostos como "inteiros 
positivos".

Abraços

[]s Samuel 

- Mensagem original -
De: Eduardo Ochs 
Para: Claudio Callejas 
Cc: samuel , LOGICA-L , Marcelo Finger 

Enviadas: Tue, 04 Jul 2023 03:59:49 -0300 (BRT)
Assunto: Re: [Logica-l] re-contando números

Sejam:

  A = {0,1,2,3,...}
  B =   {1,2,3,...}

Esses dois conjuntos, A e B, são bem úteis e eu quero ter bons nomes
curtos pra eles. Aí tem duas opções "naturais": ou

  1) A=ℕ e B=ℕ^+, ou
  2) A=ℕ∪{0} e B=ℕ.

Se eu escolho a opção 1 eu fico com bons nomes curtos pros dois, e se
eu escolho a opção 2 um dos nomes fica muito comprido.

Quando eu dava aula de Matemática Discreta eu usava esse argumento,
mas na verdade eu considerava ele como a parte mais visível de um
iceberg enorme. As partes menos visíveis do iceberg eram: a) alguns
livros preferem a opção 1 e outros preferem a opção 2; b) existem bons
motivos pra ambas as escolhas; c) a gente quer aprender a lidar com
livros de ambos os tipos; d) a gente quer aprender a lidar com
_definições_; e) "quando vocês crescerem você vão ter que saber fazer
as suas próprias definições".

Aliás, faz anos que eu não dou aula de MD mas eu tenho dado aula de
Cálculo 2, em que aparece um problema parecido... esse aqui:

https://en.wikipedia.org/wiki/Constant_of_integration
https://golem.ph.utexas.edu/category/2012/03/reader_survey_logx_c.html

e eu uso isso como desculpa pra forçar os alunos a lerem vários livros
e pra forçar eles a entenderem que várias contas que a gente faz em
Cálculo 2 são "contas formais" nas quais faltam detalhes... em algumas
poucas situações a gente vai ter tempo pra checar todos os detalhes e
acrescentar as hipóteses que faltam, mas em geral a gente ou vai
deixar esses detalhes "pra depois" ou vai deixar eles "pra lá"...

...ah, e uma das coisas que eu repito com mais frequência nas minhas
aulas de Cálculo 2 é "Releia a Dica 7". A Dica 7 está aqui:

  http://anggtwu.net/LATEX/2023-1-C2-Tudo.pdf#page=4

Reparem que ela tem esse trecho aqui:

  Se as outras pessoas acharem que ler a sua solução é um sofrimento,
  isso é mau sinal; se as outras pessoas acharem que a sua solução
  está claríssima e que elas devem estudar com você, isso é bom sinal.

Esse trecho tem um monte de idéias escondidas nas entrelinhas.
Imaginem um aluno, o Alex, que acho que o certo é ℕ={1,2,3,...}, e que
toda vez que ele encontra uma pessoas que usa ℕ={0,1,2,3,...} ele
ridiculariza ela e chama ela de burra; e imaginem que na turma também
tem um outro aluno, o Beto, que considera que o certo é
ℕ={0,1,2,3,...} e que toda vez que ele vê alguém usando ℕ={1,2,3,...}
ele ridiculariza essa pessoa e chama ela de burra, e imaginem que além
disso na turma também tem o Carlos, que sabe lidar com as duas
definições e não fica chamando ninguém de burro. As pessoas vão acabar
preferindo evitar o Alex e o Beto e vão tentar ficar amigas do Carlos
e estudar com ele... né? Então é melhor a gente tentar ser que nem o
Carlos, e não que nem o Alex ou o Beto...

  [[]],
Eduardo


On Tue, 4 Jul 2023 at 02:14, Claudio Callejas 
wrote:

> Bom dia,
>
> Só um pequeno comentário referente a uma notação mencionada por Samuel: em
> computabilidade também é utilizado \omega para denotar o conjunto dos
> números naturais incluindo o zero.
>
> Abraços,
> Claudio.
>
> El lun, 3 jul 2023 a las 15:20, 'samuel' via LOGICA-L (<
> logica-l@dimap.ufrn.br>) escribió:
>
>> ... como teorista de conjuntos, fico contente de não estar sozinho nesta
>> então !!! Mesmo que seja entre os "não-humanos"...
>>
>> Abraço, hehe,
>>
>> []s  Samuel
>>
>> Em segunda-feira, 3 de julho de 2023 às 13:56:53 UTC-4, Marcelo Finger
>> escreveu:
>>
>>> Olá, Samuel.
>>>
>>>>> PS: Acrescento uma piada. Eu costumo dizer aos meus alunos que
>>> "nós teoristas dos conjuntos  começamos a contar pelo zero",
>>>>> usando que n = {0,1,2,...,n-1}, ou seja, usando o n para contar os
>>> conjuntos de cardinalidade n, começamos no zero e terminamos
>>>>> no n-1... Mas isso é apenas uma piada, obviamente. 8-)
>>>
>>> Eu conto essa piada, com outro viés.  Eu falo que "contar como
>>> computeiro" é contar de 0 a n-1, enquanto que "contar como humano" é contar
>>> de 1 a n.
>>>
>>> []s
>>>
>>>
>>> On Mon, Jul 3, 2023 at 9:50 AM 'samuel' via LOGICA-L <
>>> logi...@dimap.ufrn.br> wrote:
>>>
 Oi João,

 Como "inteiros positivos" não vale como resposta... Não tenho resposta
 válida pra sua pergunta não. Eu sempre uso "inteiros positivos"
 quando quero me referir aos... inteiros positivos.

 Só observo que a sua pergunta tangencia (ou mais do que tangencia...) a
 famosa polêmica (?) do zero ser natural ou não (que até pra Maya
 parece ser importante...).

 Pela sua mensagem inicial, dá pra ver (ou inferi errado) que você
 considera o zero como natu

Re: [Logica-l] Um "paradoxo verdadeiro" em Física

['Samuel Gomes da Silva' via LOGICA-L]

Olá

Pelo que vi também há o registro disso, e chamam de anti-Mbpemba !!!

Até

[]s Samuel

- Mensagem original -
De: josé carlos cifuentes 
Para: samuel 
Cc: LOGICA-L 
Enviadas: Wed, 28 Jun 2023 20:05:15 -0300 (BRT)
Assunto: Re: [Logica-l] Um "paradoxo verdadeiro" em Física

E o contrario e' tambem um fenomeni? Isto e', o frio e' mais rapido de
ferver que o quente?

Em qua, 28 de jun de 2023 13:52, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> Oi gente,
>
> Quase "off topic" mas pra quem se interessa por exemplos interessantes em
> Ciência,
>
> Hoje, muito por acaso, eu ouvi falar pela primeira vez do "Efeito Mpemba":
>
> https://en.wikipedia.org/wiki/Mpemba_effect
>
> Esse efeito é nomeado em homenagem a um jovem estudante de colegial da
> Tanzania em 1963 que, para assombro do seu professor de Física (que a
> princípio não acreditou no  estudante mas depois "replicou a experiência" e
> viu que dava certo...), descobriu que
>
> "Água quente congela mais rapidamente do que água fria"
>
> Parece que é muito difícil explicar porque isso acontece (e só acontece em
> certas condições, ou seja, pode ser que pequenas variações nas condições
> iniciais impedem
> o fenômeno).
>
> Pra nós lógicos... É mais um desses exemplos que alguém poderia chamar de
> "paradoxos verdadeiros".
>
> Abraços
>
> []s  Samuel
>
>
> --
> 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/a65afd49-090f-47e6-aa96-8ee639cae941n%40dimap.ufrn.br
> 
> .
>


-- 
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/1317364119.1125531.1687996090991.JavaMail.zimbra%40ufba.br.

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

['Samuel Gomes da Silva' via LOGICA-L]

Oi Hugo, 

OK, mas sobre a coisa da unificação do Qualis pra todas as áreas, você sabe 
algo se deve continuar ? 

Tipo, acha mesmo que é só alguém de Matemática publicar no Studia Logica que 
deveria numa próxima vez unificar 
com Filosofia e Computação ? 

Até, obrigado 

[]s Samuel 



- Mensagem original -

De: "Hugo Luiz Mariano"  
Para: "Samuel Gomes da Silva"  
Cc: "Walter Carnielli" , "Francisco Miraglia Neto" 
, "Ricardo Bianconi" , "Cc: Vinicius 
C. L." , "Lucia Renato Junqueira" , 
"Artur Hideyuki Tomita" , "Rogerio Augusto dos Santos 
Fajardo" , "Gabriel Zanetti Nunes Fernandes" 
, "Ana Luiza da Conceição Tenorio" , 
"Caio de Andrade Mendes" , "José Goudet Alvim" 
, "Juan Ferrer Meleiro" , "Fernando 
Yamauti" , "Thiago Alexandre" , 
"James Miller Simeão Toledo da Silva" , "Kaique 
Matias de Andrade Roberto" , "Kaique Ribeiro Prates 
Santos" , "Hugo Ribeiro" , 
"Jean Cerqueira Berni" , "Luan Alberto Ferreira" 
, "Mayk Alves de Andrade" , "Alfredo 
Roque Freire" , "José Siqueira" , 
"Valeria de Paiva" , "Rodrigo Figueiredo" 
, "Rodrigo Freire" , "Darllan 
Conceicao Pinto" , "Andreas Brunner" , 
"ciro.russo" , "Marcelo Passos" , 
"Rodrigo Roque Dias" , "Leandro Aurichi" 
, "LOGICA-L"  
Enviadas: Quarta-feira, 22 de março de 2023 17:12:33 
Assunto: Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações 
no CNPq 

Olá Samuel e colegas, 

Vamos ver/torcer para que exista ao menos alguma folha de rosto mais formal 
para o encaminhamento à Capes (vi na lista da mensagem que há algebristas com 
conexões antigas com a Capes, talvez isto já esteja rolando nos bastidores 
algébricos...). 

Vou procurar documentos oficiais, mas o "folclore" (pelo menos no Qualis da 
Matemática) é que uma revista só entra na lista de um período (quadriênio, em 
geral) se ocorreu algum registro pelo Coleta-Capes de alguma publicação na 
revista no período anterior. 

Não creio que isto seja sempre respeitado (por exemplo, vi que o Annals of 
Math. está na lista atual, mas não creio que tenha havido algum "brasileiro" 
que tenha publicado lá nos últimos anos) 

De toda forma, é um critério muito bizarro e que certamente na prática joga 
para desorientar a produção científica (ou melhor, a publicação científica). Em 
particular, penso que para o Qualis Matemática atual, o Studia Logica não 
estaria contando nada! 

Desta forma, o melhor Qualis, para a Ciência, seria não haver mais Qualis... 

Abraços, 
Hugo 

Em qua., 22 de mar. de 2023 às 18:02, 'Samuel Gomes da Silva' via LOGICA-L < 
logica-l@dimap.ufrn.br > escreveu: 



Caros, 


Walter, você viu o link para um .pdf na mensagem né ? Fiquei na dúvida se você 
viu. De todas as formas, porém, está bastante informal esse texto do .pdf 
do link também, com comparações e simulações e tal... Passa a mensagem, mas não 
tem cara de documento oficial. Já ouvi falar que as 
comissões de Matemática não gostam de informalidade nessas horas. 

Aproveitando: Hugo, você sabe se no atual Qualis, 2017-2020, está se 
mantendo/tentando manter a coisa da unificação dos Qualis em diferentes áreas ? 
Pergunto especificamente sobre a Studia Logica, o que interessa a todos aqui 
porque é a revista do próximo Proceedings do EBL. 
A Studia Logica está A1 em Computação e em Filosofia mas não aparece em 
Matemática. 

Aí eu comentei isso com Darllan aqui na UFBA, e ele me disse que você teria 
dito a ele que casos assim ocorrem porque não teve 
ninguém de Matemática publicando na Studia Logica, mas que quando publicasse o 
procedimento seria ser A1 também. 
É isso mesmo, você confirma essa informação ? Ela está oficial em algum lugar ? 

Abraços 

[]s Samuel 






De: "Hugo Luiz Mariano" < hugo...@ime.usp.br > 
Para: "Walter Carnielli" < walte...@unicamp.br > 
Cc: "Logica l" < logica-l@dimap.ufrn.br >, "Francisco Miraglia Neto" < 
mirag...@ime.usp.br >, "Ricardo Bianconi" < bianc...@ime.usp.br >, "Cc: 
Vinicius C. L." < vinic...@ufabc.edu.br >, "Lucia Renato Junqueira" < 
lu...@ime.usp.br >, "Artur Hideyuki Tomita" < tom...@ime.usp.br >, "Rogerio 
Augusto dos Santos Fajardo" < faja...@ime.usp.br >, "Gabriel Zanetti Nunes 
Fernandes" < fernan...@ime.usp.br >, "Ana Luiza da Conceição Tenorio" < 
ana.teno...@usp.br >, "Caio de Andrade Mendes" < caio.men...@usp.br >, "José 
Goudet Alvim" < jose.al...@usp.br >, "Juan Ferrer Meleiro" < 
juanmele...@ime.usp.br >, "Fernando 

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

['Samuel Gomes da Silva' via LOGICA-L]

Caros, 


Walter, você viu o link para um .pdf na mensagem né ? Fiquei na dúvida se você 
viu. De todas as formas, porém, está bastante informal esse texto do .pdf 
do link também, com comparações e simulações e tal... Passa a mensagem, mas não 
tem cara de documento oficial. Já ouvi falar que as 
comissões de Matemática não gostam de informalidade nessas horas. 

Aproveitando: Hugo, você sabe se no atual Qualis, 2017-2020, está se 
mantendo/tentando manter a coisa da unificação dos Qualis em diferentes áreas ? 
Pergunto especificamente sobre a Studia Logica, o que interessa a todos aqui 
porque é a revista do próximo Proceedings do EBL. 
A Studia Logica está A1 em Computação e em Filosofia mas não aparece em 
Matemática. 

Aí eu comentei isso com Darllan aqui na UFBA, e ele me disse que você teria 
dito a ele que casos assim ocorrem porque não teve 
ninguém de Matemática publicando na Studia Logica, mas que quando publicasse o 
procedimento seria ser A1 também. 
É isso mesmo, você confirma essa informação ? Ela está oficial em algum lugar ? 

Abraços 

[]s Samuel 





- Mensagem original -

De: "Hugo Luiz Mariano"  
Para: "Walter Carnielli"  
Cc: "Logica l" , "Francisco Miraglia Neto" 
, "Ricardo Bianconi" , "Cc: Vinicius 
C. L." , "Lucia Renato Junqueira" , 
"Artur Hideyuki Tomita" , "Rogerio Augusto dos Santos 
Fajardo" , "Gabriel Zanetti Nunes Fernandes" 
, "Ana Luiza da Conceição Tenorio" , 
"Caio de Andrade Mendes" , "José Goudet Alvim" 
, "Juan Ferrer Meleiro" , "Fernando 
Yamauti" , "Thiago Alexandre" , 
"James Miller Simeão Toledo da Silva" , "Kaique 
Matias de Andrade Roberto" , "Kaique Ribeiro Prates 
Santos" , "Hugo Ribeiro" , 
"Jean Cerqueira Berni" , "Luan Alberto Ferreira" 
, "Mayk Alves de Andrade" , "Alfredo 
Roque Freire" , "José Siqueira" , 
"Valeria de Paiva" , "Rodrigo Figueiredo" 
, "Rodrigo Freire" , "Darllan 
Conceicao Pinto" , "Andreas Brunner" , 
"Samuel Gomes da Silva" , "ciro.russo" , 
"Marcelo Passos" , "Rodrigo Roque Dias" 
, "Leandro Aurichi"  
Enviadas: Quarta-feira, 22 de março de 2023 12:31:37 
Assunto: Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações 
no CNPq 

Olá Walter e colegas! 


Realmente o pdf -- que aparentemente será encaminhado ao CA-MA -- tem um tom 
pouco formal. 

E como a proposta é baseada em uma utilização o SJR-Scimago, esta importa de lá 
algumas discrepâncias (me avisaram no privado de pelo menos uma, na aba da 
lógica) . 

Não sei se há muito o que fazer neste curto espaço de tempo. Mas também encaro 
como um pontapé inicial... 

Abraços, 
Hugo 

Em qua., 22 de mar. de 2023 às 13:43, Walter Carnielli < walte...@unicamp.br > 
escreveu: 



Olá Hugo, Cara(o)s toda(o)s: 


Eu assinei o formulário, estou em princípio de acordo com esse tipo de mudança 
mais racional . 
Mas não ficou claro para mim qual é a carta exata que vai ser enviada ao CA-MA. 

Deve ser alguma coisa melhor redigida do que as meras ponderações que aparecem 
na mensagem, imagino. 

Você já tem essa carta, digamos assim, em um tom mais oficialesco? 

Penso que algo semelhante deveria ser enviado ao CA-FI. 

Abraços, 

Walter 

Em qua., 22 de mar. de 2023 05:02, Hugo Luiz Mariano < hugo...@ime.usp.br > 
escreveu: 



Caros colegas, 

Encaminho mensagem recebida através de um colega algebrista contendo uma 
proposta da alteração do sistema de avaliação de revistas da área de matemática 
no CNPq. 

A proposta de alteração (ver 2 anexos) beneficiaria não apenas a área de 
álgebra, mas também áreas mais abstratas da matemática, como lógica e 
fundamentos. 

Noto que a manifestação de cada um que estiver de acordo, teria que ocorrer 
através do formulário abiaxo, até o dia 25 de março. 


https://docs.google.com/forms/d/e/1FAIpQLSeBXQNr7jAEsT4kkWKjzEDL35L4RVTyOVYeJvUO5Rl4qKrDoA/viewform?usp=sharing
 

Abraços, 

Hugo 


-- Forwarded message - 
De: Plamen Emilov Kochloukov < pla...@unicamp.br > 
Date: ter., 21 de mar. de 2023 11:59 
Subject: Critérios do CA-MA para avaliação das solicitações no CNPq 
To: < dricawag...@gmail.com >, < adrianaxavier2...@yahoo.com.br >, < 
adrielly@gmail.com >, < ferr...@fc.unesp.br >, < ailfon...@hotmail.com >, < 
alessandradelguing...@gmail.com >, < alebagat...@yahoo.com.br >, < 
alexc...@gmail.com >, < alex.freitas.cam...@usp.br >, < 
alexandr.kor...@ufabc.edu.br >, < ale...@unb.br >, < amkuz...@ya.ru >, < 
aline.vandrad...@gmail.com >, < pinto.al...@gmail.com >, < 
alonso.castella...@ufu.br >, Altair S O T < altair...@gmail.com >, < 
amandacv...@gmail.com >, < amandalima.2...@hotmail.com >, Ana Cristina Vieira < 
anac...@ufmg.br >, < ampa...@ime.usp.br >, < anapaulasilva.matemat...@gmail.com 
>, < ana3...@gmail.com >, < conti...@ufmg.br >, < andrefble...@gmail.com >, < 
acbian...@unifesp.br >, < annae...@hotmail.com >, < andr...@ibilce.unesp.br >, 
< acsouzafi...@usp.br >, < anto...@mat.unb.br >, < ayde...@outlook.com >, < 
bmirz...@icmc.usp.br >, < brunamc.mira...@yahoo.com.br >, < 
cags_guimar...@hotmail.com

[Logica-l] Enc: RAMiCS 2023 - Call for participation

['Samuel Gomes da Silva' via LOGICA-L]

- Mensagem encaminhada -
De: Michael Winter 
Para: Michael Winter 
Enviadas: Thu, 02 Feb 2023 11:55:28 -0300 (BRT)
Assunto: RAMiCS 2023 - Call for participation

(Apologies for multiple posting)



CALL FOR PARTICIPATION



20th International Conference on

Relational and Algebraic Methods in Computer Science

RAMiCS 2023



3 to 6 April 2023, Technologiezentrum Augsburg, Germany

https://ramics20.lis-lab.fr/



IMPORTANT DATES:

Registration deadline: February 28, 2023

RAMiCS 2021: 3 to 6 April 2023



GENERAL INFORMATION:



Since 1994, the RAMiCS conference series has been the main venue for

research on relation algebras, Kleene algebras and similar algebraic

formalisms, and their applications as conceptual and methodological

tools in computer science and beyond.



RAMiCS 2023 will take place at the Technologiezentrum Augsburg, as a

physical conference. There are no conference fees but, due to limited

resources, it is subject to approval by the conference organisers.



REGISTRATION



Participating at the conference dinner can take place at cost price

(to be paid on site). To register for the conference please refer to the

registration section of  https://ramics20.lis-lab.fr/#registration.



PROGRAM AND INVITED TALKS



The RAMiCS 2023 program features 3 invited talks, 17 contributed

talks, and 7 short talks. The invited talks are:



Alexander Knapp,  Augsburg University, Germany

Specifying Event/Data-based Systems



John Stell, University of Leeds, UK

Algebra and Logic in Granularity



Valeria Vignudelli, CNRS/ENS Lyon, France

Equational Theories and Distances for Computational Effects



For more details, see



https://ramics20.lis-lab.fr/accepted.html





ORGANIZING COMMITTEE:



Conf. & PC Co-Chair: Roland Glück, German Aerospace Center, Germany

Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France

Conf. & PC Co-Chair: Michael Winter, Brock University, Canada



For more information, see https://ramics20.lis-lab.fr/


-- 
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/689663260.37685075.1675353344050.JavaMail.zimbra%40ufba.br.

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

['Samuel Gomes da Silva' via LOGICA-L]

... vai estar disponível no YouTube!!!

- Mensagem original -
De: Eduardo Ochs 
Para: Walter Carnielli 
Cc: Clodomir Neto , Samuel Gomes da Silva 
, LOGICA-L 
Enviadas: Tue, 20 Dec 2022 00:15:12 -0300 (BRT)
Assunto: Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

Vou fazer uns comentários meio aleatórios...

1. Esse Felipe Gonçalves tem uma webpage BEM bacana. Vou me focar
   nisso aqui:

 https://w3.impa.br/~goncalves/teaching.html

2. Em 2022 ele deu um curso - em Bonn - sobre artigos do J.H. Conway,
   em que cada aluno apresentava um seminário sobre um artigo:

 https://w3.impa.br/~goncalves/conwayisgod.html
 https://w3.impa.br/~goncalves/erikslides.pdf
 https://w3.impa.br/~goncalves/marvinslides.pdf

3. Quando eu crescer eu quero trabalhar num lugar em que os alunos
   a) tenham acesso a computadores, b) tenham colegas que saibam
   Beamer e Tikz, c) consigam fazer slides como esses, qdz, sem
   precisarem aprender tudo sozinhos.

4. Um amigo meu que eu não posso dizer quem é uma vez fez um curso
   numa universidade que eu não posso dizer qual é e que tinha uma
   ementa ambiciosíssima, mas no qual o professor - que eu não lembro
   quem era - botava os alunos pra fazerem seminários sobre os tópicos
   da ementa... "e só".

Bom, tou bem curioso sobre como esse curso do IMPA vai ser! =P

  Abraços,
Eduardo Ochs
http://angg.twu.net/eepitch.html

On Tue, 20 Dec 2022 at 00:07, Walter Carnielli  wrote:
>
> Olá Clodomir,
>
> Obrigado, vi o CV dele.
>
> Tem umas 20 boas publicações,  mas nada no tema do curso. Sem duvida é  
> competente,  mas  vai ter um trabalhão com esse curso..
>
>
> Abs
> Walter
>
>
> Em seg., 19 de dez. de 2022 23:44, Clodomir Neto  
> escreveu:
>>
>> Boa noite!
>>
>> O professor será Felipe Gonçalves: será: https://w3.impa.br/~goncalves/
>>
>> At.te,
>> --
>> Clodomir Silva Lima Neto
>> Professor EBTT Matemática
>> IFCE Campus Maranguape
>>
>> Em seg., 19 de dez. de 2022 23:35, Walter Carnielli  
>> escreveu:
>>>
>>> Oi Samuel, oi pessoal:
>>>
>>> Sem dúvida,  um programa  muito ambicioso pars tao pouco yrmpo.
>>>
>>> E deveriam convidar um lógico,  mas acharam um "number theorist" entre eles.
>>>
>>> Mas eu não sei quem é,  vc conseguiu  saber?
>>>
>>> Abs
>>> Walter
>>>
>>> Em seg., 19 de dez. de 2022 20:10, 'Samuel Gomes da Silva' via LOGICA-L 
>>>  escreveu:
>>>>
>>>> Caros,
>>>>
>>>> Acabou de aparecer no Twitter,
>>>>
>>>> Haverá no Verão do IMPA uma disciplina de Lógica (mais precisamente, 
>>>> Computação, Lógica e Teoria dos Conjuntos (!!!),
>>>> com uma ementa deveras ambiciosa...),
>>>>
>>>> E as surpresas continuam, quem vai ministrar nem é de Lógica, é um 
>>>> pesquisador que trabalha na interface entre Análise e Teoria
>>>> dos Números.
>>>>
>>>> Interessante.
>>>>
>>>> Abraços
>>>>
>>>> []s  Samuel
>>>>
>>>> --
>>>> 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/1175938501.20821532.1671491403083.JavaMail.zimbra%40ufba.br.
>>>
>>> --
>>> 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/CAOrCsLfksKOj1YoX6bAtx3awjKO9xvgtvyNZaM-MEpxewde5Qw%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/CAOrCsLdPN%3DAcKjej0ovaz8iNykhjuPaoB8bRsPPP3gCy2jmn2g%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/472844398.20870725.1671515815503.JavaMail.zimbra%40ufba.br.

[Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

['Samuel Gomes da Silva' via LOGICA-L]

Caros, 

Acabou de aparecer no Twitter, 

Haverá no Verão do IMPA uma disciplina de Lógica (mais precisamente, 
Computação, Lógica e Teoria dos Conjuntos (!!!), 
com uma ementa deveras ambiciosa...), 

E as surpresas continuam, quem vai ministrar nem é de Lógica, é um pesquisador 
que trabalha na interface entre Análise e Teoria 
dos Números. 

Interessante. 

Abraços 

[]s Samuel 

-- 
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/1175938501.20821532.1671491403083.JavaMail.zimbra%40ufba.br.

[Logica-l] Fwd: RAMiCS 2023 - Call for short contributions / posters

['Samuel Gomes da Silva' via LOGICA-L]

... repassando para o pessoal de Lógica Algébrica, Álgebra de Relações, etc... 

- Mensagem original -

De: "Michael Winter"  
Para: "Michael Winter"  
Enviadas: Sexta-feira, 16 de dezembro de 2022 15:02:48 
Assunto: RAMiCS 2023 - Call for short contributions / posters 



(Apologies for multiple posting) 



CALL FOR SHORT CONTRIBUTIONS / POSTERS 



20th International Conference on 

Relational and Algebraic Methods in Computer Science 

RAMiCS 2023 



3 to 6 April 2023, Technologiezentrum Augsburg, Germany 

https://ramics20.lis-lab.fr/ 



Additionally to the standard CfP, RAMiCS is also calling for short 

contributions and posters. We are hence calling for presentations of 

original, unfinished, already published, or otherwise interesting work 

within the topics of the RAMiCS conferences. The submission can be in 

the form of a poster, an abstract, a paper submitted to or published 

at another conference, etc. Short contributions will *not* be 

published in the conference proceedings. 



IMPORTANT DATES: 



Submission: January 27, 2023 

Notification: February 03, 2023 

RAMiCS 2023: April 03-06, 2023 





INVITED SPEAKERS: 



Alexander Knapp, Augsburg University, Germany 

John Stell, University of Leeds, UK 

Valeria Vignudelli, CNRS/ENS Lyon, France 



GENERAL INFORMATION: 



Since 1994, the RAMICS conference series has been the main venue for 

research on relation algebras, Kleene algebras and similar algebraic 

formalisms, and their applications as conceptual and methodological 

tools in computer science and beyond. 



TOPICS: 



We invite short submissions in the general fields of algebras relevant 

to computer science and applications of such algebras. Topics include 

but are not limited to: 



* Theory 

- algebras such as semigroups, residuated lattices, semirings, 

Kleene algebras, relation algebras and quantales 

- their connections with program logics and other logics 

- their use in the theories of automata, concurrency, formal languages, 

games, networks and programming languages 

- the development of algebraic, algorithmic, category-theoretic, 

coalgebraic and proof-theoretic methods for these theories 

- their formalisation with theorem provers 



* Applications 

- tools and techniques for program correctness, specification and 

verification 

- quantitative and qualitative models and semantics of computing 

systems and processes 

- algorithm design, automated reasoning, network protocol analysis, 

social choice, optimisation and control 

- industrial applications 



SUBMISSION INSTRUCTIONS: 



Please send your short submission as a single pdf file to 



ramics2...@easychair.org 



by January 27, 2023. 



ORGANIZERS: 



Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany 

Luigi Santocanale, LIS, Aix-Marseille University, France 

Michael Winter, Brock University, Canada 

-- 
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/140336068.20078653.1671231909188.JavaMail.zimbra%40ufba.br.

Re: [Logica-l] twin primes

['Samuel Gomes da Silva' via LOGICA-L]

Como dizem os jovens, "algo de errado não está certo"

- Mensagem original -
De: Joao Marcos 
Para: Samuel Gomes da Silva 
Cc: Walter Carnielli , LOGICA-L 
Enviadas: Thu, 03 Nov 2022 08:15:39 -0300 (BRT)
Assunto: Re: [Logica-l] twin primes

https://dailynous.com/2022/11/02/logic-journal-retracts-two-articles-after-refutation-in-online-discussion/

Ambos os papers seguem online, sem nenhum aviso visível nas páginas em que
estão publicados.

JM


On Sun, Oct 30, 2022, 11:39 Joao Marcos  wrote:

> Public announcement
>
>
> Recently two articles on the applications of Rasiowa-Sikorski Lemma to
> arithmetic were published online in Studia Logica without proper
> examination and beyond reasonable standards of scholarly rigor. As it
> turned out, they contained an irreparable mistake and, consequently, have
> been retracted from the journal’s website. The papers will not appear in
> print.
>
>
> I want to thank all our readers who alerted us to this unfortunate
> incident. I feel responsible for the reputation damage caused by these
> publications, and I want to offer my sincere apologies to the scientific
> community and the author.
>
> Studia Logica editors have examined the journal's review procedure to
> ensure that a similar situation will not happen again.
>
>
> *Jacek Malinowski*
>
> *Studia Logica*
>
> *Editor-in-Chief*
>
> On Sat, Oct 29, 2022, 13:42 'Samuel Gomes da Silva' via LOGICA-L <
> logica-l@dimap.ufrn.br> wrote:
>
>> ... desse imbroglio sobre a twin prime conjecture, o que vai ficar pra
>> mim é o seguinte blog post, que achei bem interessante: "dez razões para
>> acreditar que uma demonstração de um resultado divisor de águas em
>> matemática está errado"...
>>
>> https://scottaaronson.blog/?p=304
>>
>> Atés
>>
>> []s Samuel
>>
>> Ps: Detratores do Latex pulem a primeira razão, hehe...
>> - Mensagem original -
>> De: Walter Carnielli 
>> Para: samuel 
>> Cc: LOGICA-L 
>> Enviadas: Sat, 29 Oct 2022 12:24:30 -0300 (BRT)
>> Assunto: Re: [Logica-l] twin primes
>>
>> Ois,
>>
>>
>> Os artigos vão ser retirados do Sudia Logica. O próprio Janusz
>> Czelakowski pediu para retirar.
>>
>> Abs,
>>
>> Walter
>> Em sáb., 29 de out. de 2022 11:56, 'samuel' via LOGICA-L <
>> logica-l@dimap.ufrn.br> escreveu:
>>
>> >
>> > Olás
>> >
>> > Na verdade é uma série de quatro artigos, estão os quatro no perfil
>> > ResearchGate do autor.
>> >
>> > Além da Conjectura dos Primos Gêmeos e da Infinitude dos Primos de
>> > Mersenne, um deles resolve também
>> > a Conjectura de Goldbach !!!
>> >
>> > Nessa discussão no MathOverFlow que o Aldo mandou o link, ontem já tinha
>> > um contra-exemplo explícito para
>> > um dos teoremas do paper III - usando, vejam só, que 3^{20} + 8 é um
>> > número primo - e, nas últimas 15 horas,
>> > foi acrescentado um post onde supostamente se encontra onde estaria o
>> erro
>> > nesse paper II.
>> >
>> > Esses lançamentos da Studia Logica vão ser muito discutidos nas próximas
>> > semanas.
>> >
>> > Abraço
>> >
>> > []s  Samuel
>> >
>> >
>> > Em sexta-feira, 28 de outubro de 2022 às 22:41:01 UTC-4, aldofigallo
>> > escreveu:
>> >
>> >> Os dois trabalhos  Czelakowski  estão sendo questionados na comunidade
>> >> lógica.
>> >>
>> >> There are Infinitely Many Mersenne Prime Numbers. Applications of
>> >> Rasiowa–Sikorski Lemma in Arithmetic (II)
>> >> <https://link.springer.com/article/10.1007/s11225-022-10015-4>
>> >> Studia Logica (2022)
>> >> Janusz Czelakowski
>> >>
>> >>
>> >>
>> https://mathoverflow.net/questions/433278/czelakowskis-claimed-proof-of-the-twin-prime-conjecture
>> >>
>> >>
>> >>
>> >>
>> >>
>> >> El vie, 28 oct 2022 a la(s) 22:28, Joao Marcos (boto...@gmail.com)
>> >> escribió:
>> >>
>> >>> The Twin Primes Conjecture is True in the Standard Model of Peano
>> >>> Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I)
>> >>> Janusz Czelakowski
>> >>> Studia Logica (2022)
>> >>> https://link.springer.com/article/10.1007/s11225-022-10017-2
>> >>>
>> >>>
>> >>> JM
>> >>>
>> >>> --
>>

Re: [Logica-l] twin primes

['Samuel Gomes da Silva' via LOGICA-L]

... desse imbroglio sobre a twin prime conjecture, o que vai ficar pra mim é o 
seguinte blog post, que achei bem interessante: "dez razões para acreditar que 
uma demonstração de um resultado divisor de águas em matemática está errado"...

https://scottaaronson.blog/?p=304

Atés

[]s Samuel

Ps: Detratores do Latex pulem a primeira razão, hehe...
- Mensagem original -
De: Walter Carnielli 
Para: samuel 
Cc: LOGICA-L 
Enviadas: Sat, 29 Oct 2022 12:24:30 -0300 (BRT)
Assunto: Re: [Logica-l] twin primes

Ois,


Os artigos vão ser retirados do Sudia Logica. O próprio Janusz
Czelakowski pediu para retirar.

Abs,

Walter
Em sáb., 29 de out. de 2022 11:56, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

>
> Olás
>
> Na verdade é uma série de quatro artigos, estão os quatro no perfil
> ResearchGate do autor.
>
> Além da Conjectura dos Primos Gêmeos e da Infinitude dos Primos de
> Mersenne, um deles resolve também
> a Conjectura de Goldbach !!!
>
> Nessa discussão no MathOverFlow que o Aldo mandou o link, ontem já tinha
> um contra-exemplo explícito para
> um dos teoremas do paper III - usando, vejam só, que 3^{20} + 8 é um
> número primo - e, nas últimas 15 horas,
> foi acrescentado um post onde supostamente se encontra onde estaria o erro
> nesse paper II.
>
> Esses lançamentos da Studia Logica vão ser muito discutidos nas próximas
> semanas.
>
> Abraço
>
> []s  Samuel
>
>
> Em sexta-feira, 28 de outubro de 2022 às 22:41:01 UTC-4, aldofigallo
> escreveu:
>
>> Os dois trabalhos  Czelakowski  estão sendo questionados na comunidade
>> lógica.
>>
>> There are Infinitely Many Mersenne Prime Numbers. Applications of
>> Rasiowa–Sikorski Lemma in Arithmetic (II)
>> 
>> Studia Logica (2022)
>> Janusz Czelakowski
>>
>>
>> https://mathoverflow.net/questions/433278/czelakowskis-claimed-proof-of-the-twin-prime-conjecture
>>
>>
>>
>>
>>
>> El vie, 28 oct 2022 a la(s) 22:28, Joao Marcos (boto...@gmail.com)
>> escribió:
>>
>>> The Twin Primes Conjecture is True in the Standard Model of Peano
>>> Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I)
>>> Janusz Czelakowski
>>> Studia Logica (2022)
>>> https://link.springer.com/article/10.1007/s11225-022-10017-2
>>>
>>>
>>> JM
>>>
>>> --
>>> 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+u...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh9jXoooa7XGQUryh1QRjCMZGypmfASYCZjYGL32ycMyQ%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/47ce2341-35bb-4724-aa54-bbcd793e17ffn%40dimap.ufrn.br
> 
> .
>

-- 
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/1769119716.42262857.1667061713543.JavaMail.zimbra%40ufba.br.

[Logica-l] Programação Provisória do EBL

['Samuel Gomes da Silva' via LOGICA-L]

Prezados,

Vocês podem encontrar a programação provisória do EBL Salvador no seguinte link:

https://drive.google.com/file/d/1ljHOFpmJjbRqzeqE1OSjC_bkOVOXFV9k/view?usp=sharing

Solicitamos que nos avisem sobre qualquer inconsistência.

Como essa é uma programação provisória, estamos reservando a semana que vem 
para realizar eventuais mudanças. Pessoas que necessitariam de alguma 
alteração, podem escrever a mim e/ou Ciro (off lista), assim que possível!

Abraços e até breve

[]s Samuel

-- 
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/1256275082.5600800.1660927957872.JavaMail.zimbra%40ufba.br.

[Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

['Samuel Gomes da Silva' via LOGICA-L]

Prezados, 

Seguindo com a presença da Lógica na recente tradição dos encontros bilaterais 
da Sociedade Brasileira de Matemática com as respectivas sociedades de 
outros países, em encontros organizados no Brasil (Brasil-Espanha 2015, 
Brasil-Itália 2016 e Brasil-França 2019), 

Teremos também uma Sessão de Lógica Matemática no Encontro Conjunto 
Brasil-Portugal de Matemática 

https://sites.google.com/view/ecbpm/ 

o qual vai ser realizado aqui mesmo em Salvador, na semana que vem, de 14 a 19 
de agosto. 

A sessão de Lógica ocorrerá em duas tardes, na quinta dia 18 (apresentações 
presenciais) e sexta dia 19 (apresentações online). 

Mesmo as apresentações presenciais, tentaremos viabilizar a transmissão ao vivo 
pelo Canal de YouTube do Grupo de 
Lógica da UFBA, mando mensagem na semana que vem confirmando isso (além de 
divulgar o link para a sessão da sexta-feira 
que vai ser online de todas as formas). 

Também temos uma página própria para a Sessão de Lógica: 

https://sites.google.com/view/logica-brasil-portugal 

Segue a descrição da sessão: 

== 

Tópicos: 

Decidability, Proof Theory, Type Theory, Model Theory, Complexity, Algebraic 
Logic, Categorical 
Logic, Non-Classical Logics, Set Theory. 

Organizadores da Sessão Temática: 

Alfredo Roque Freire 
Elaine Pimentel 
João Marcos 
Manuel Martins 
Samuel G. da Silva 


** 
Quinta-feira, 18 de Agosto 
** 

13:50–14:00 Abertura da sessão (Elaine & João Marcos - organização) 

14:00–14:20 Pedro Quaresma - Coimbra, Portugal 

New and interesting theorems 

14:20–14:40 Renata de Freitas - Niterói, Brasil 

Graph logic in use 

14:40–15:00 Samuel Gomes da Silva - Salvador, Brasil 

Kolmogorov-Veloso Problems, Dialectica Categories and Choice Principles 

15:00–15:20 Alfredo Roque Freire - Aveiro, Portugal 

Modalities in worlds with different logics 

15:20–15:40 Ciro Russo - Salvador, Brasil 

Coproducts and amalgamation of deductive systems by means of ordered algebras 

15:40–16:00 Darllan Pinto - Salvador, Brasil 

Horn filter pairs and Craig interpolation in propositional logics 

* 
Sexta-feira, 19 de Agosto 
* 

14:00–14:15 Marcelo Coniglio - Campinas, Brasil 

A new decision method for da Costa’s C-systems by means of restricted 
non-deterministic matrix semantics 

14:15–14:30 Luís Pinto - Braga, Portugal 

Call-by-name and call-by-value lambda-calculi as modal calculi 

14:30–14:45 Mário Florido - Porto, Portugal 

Substructural logics: less rules mean more expressiveness 

14:45–15:00 Cristina Sernadas - Lisboa, Portugal 

Schema complexity in propositional-based logics 

15:00–15:15 Mário Jorge Edmundo - Lisboa, Portugal 

Logic and algebraic varieties in non-Archimedean fields 

15:15–15:30 Isabel Oitavem - Lisboa, Portugal 

A logical approach to the Polynomial Hierarchy 

15:30–15:45 Alexandre Madeira - Aveiro, Portugal 

Towards the generation of graded modal logics: parametric methods and 
applications 

15:45–16:00 Hugo Mariano - São Paulo, Brasil 

Algebraic and model-theoretical contributions to the theory of algebraically 
closed multifields 

16:00–16:10 Manuel & Alfredo (organização) 

Encerramento 

=== 


Uma versão completa dos resumos está na página do Brasil-Portugal, junto com 
todas as outras sessões 

https://sites.google.com/view/ecbpm/sess%C3%B5es-tem%C3%A1ticas 

e de todos os modos os resumos de Lógica estão disponíveis no Drive abaixo: 

https://drive.google.com/file/d/1VDq4QbModS7udFIqrh3CCg1ofbno1Zk6/view 

Abraços 

[]s Samuel 

PS: Temos colegas lógicos também na Sessão de Teoria das Categorias, a qual vai 
ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte 
da manhã. 


-- 
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/1614967870.1741939.1660246216221.JavaMail.zimbra%40ufba.br.

[Logica-l] Jantar da Conferência (por adesão) - XX EBL em Salvador - Quarta, 14 de setembro, às 20hs

['Samuel Gomes da Silva' via LOGICA-L]

Prezados, 

Já está disponível na página do EBL 

(aba Registration ---> Conference Dinner) 

o formulário de adesão ao Jantar da Conferência, que será num restaurante de 
tradicional comida baiana (moquecas para todos !) 
na quarta-feira da conferência, como é de costume. 

O custo é de 130 reais, não incluindo nem o serviço (10%) e nem bebidas 
alcóolicas. 

No formulário, você terá três opções de declaração: 

--> tenho interesse em ir e já vou pagar agora, anexando o comprovante de 
transferência bancária; 

--> tenho interesse em ir e vou pagar depois, nesse caso o seu pagamento de 
130,00 será solicitado no dia da sua "registration" na chegada; 

--> não tenho interesse em ir. 

Em particular, se você já estiver seguro de que não tem interesse, ainda assim 
é importante que você preencha o formulário 
e declare não estar interessado, para que tenhamos uma noção da quantidade de 
pessoas para o jantar. 

Muito grato ! 

[]s Samuel 


-- 
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/424768870.79549.1658843645599.JavaMail.zimbra%40ufba.br.

[Logica-l] Prorrogação do Early Bird (até 31/07) - XX EBL, Salvador

['Samuel Gomes da Silva' via LOGICA-L]

Prezados colegas, 

Como nesta semana, até o dia 31 de julho, estamos todos entregando os arquivos 
.tex da versão final dos trabalhos aceitos para 
o XX EBL, 

Enquanto que o Early Bird para inscrições mais baratas venceu ontem, 24 de 
julho, 

Decidimos, a organização e a Diretoria da SBL, prorrogar por MAIS UMA SEMANA o 
prazo do Early Bird. 

Assim, as condições especiais para inscrição antecipada serão válidas até o 
próximo domingo, dia 31 de julho. 

A organização já está enfrentando algumas despesas inadiáveis e o dinheiro das 
inscrições é fundamental 
para viabilizar o evento. Estamos cientes dos custos atuais (principalmente 
passagens aéreas) mas exortamos toda 
a comunidade de lógicos brasileiros a um esforço para retomarmos nossa saudável 
prática dos encontros presenciais ! 

Muito grato, 

[]s Samuel 

-- 
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/2015808579.7231792.1658758366692.JavaMail.zimbra%40ufba.br.

[Logica-l] Albergue a 50 reais para os estudantes interessados - XX EBL, Salvador

['Samuel Gomes da Silva' via LOGICA-L]

Prezados, 

Saudações, 

Favor espalhar a informação para todos os estudantes interessados, 

Conseguimos negociar com um albergue próximo à UFBA com um valor de 50 reais 
por dia (em quarto compartilhado), incluindo café da manhã. 

Como a Escola de Lógica iniciará no sábado anterior ao evento, as estadias 
podem começar no dia 10 de setembro. 

Os estudantes interessados podem passar os seus dados para nós, preenchendo um 
formulário na página do evento 
- aba "Students", procurar o texto abaixo, e obrigado a todos. 

PS: Esse acordo se destina a *todos* os estudantes interessados, não apenas aos 
15 que já foram agraciados com o apoio da SBL. 
(sendo muito recomendado para esses 15, obviamente). Basta preencher o 
formulário com datas de entrada e saída, se estão com certeza que virão, e o 
albergue receberá esses dados e efetivará a reserva. 

Student Accomodation 


Students interested in staying at the partner hostel at discount rates may fill 
the Student Accomodation Form . 

Our Partner Hostel ( Barra Hostel is located in the Barra neighberhood, close 
to several touristic attractions, as well as restaurants and bars, and at 10 
min ride from the Event Venue. 

EBL participants can stay in Barra Hostel at the discount rate of R$50,00 per 
day in a shared room with breakfast included. 














-- 
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/1596065616.4824087.1658240441944.JavaMail.zimbra%40ufba.br.

[Logica-l] Overleaf - opção para preencher o template EBL online

['Samuel Gomes da Silva' via LOGICA-L]

Caros,

Quem tiver zero experiência de Latex e estiver sofrendo na última hora com sua 
submissão para o EBL,

Abra uma conta instantaneamente no overleaf.com, copie e cole o template lá 
(abra um projeto pra fazer isso) e pronto, edite o abstract online.

Até, abraços

[]s Samuel

-- 
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/1604924348.19497591.1655680881622.JavaMail.zimbra%40ufba.br.

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

['Samuel Gomes da Silva' via LOGICA-L]

Olá, 

O livro do Kunen, "Set Theory - An Introduction to independence proofs" usa 
essa notação de pred(a,x,r) (em geral para ordens lineares, como eu comentei). 

Abraço 

[]s Samuel 

- Mensagem original -

De: "Claudio Callejas"  
Para: "samuel"  
Cc: "Joao Marcos" , "Lista acadêmica brasileira dos 
profissionais e estudantes da área de LOGICA"  
Enviadas: Sexta-feira, 3 de junho de 2022 10:10:41 
Assunto: Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem 

Bom dia, 

Obrigado Samuel e João Marcos pelas respostas. 

Samuel, você poderia, por favor, me enviar uma referência da área de teoria dos 
conjuntos onde esteja definido o termo predecessores de x no conjunto ordenado 
(a,r)? Gostaria de citar essa referência no meu trabalho. 

O termo predecessores de x no conjunto ordenado (a,r) e a notação pred(a,x,r) 
fogem muito da terminologia das área de reticulados e teoria dos domínios, mas 
à falta de nome e notação para esse conceito nestas duas últimas áreas eu 
gostaria de sinalizar no meu trabalho que na área de teoria dos conjuntos o 
termo é chamado de predecessores de x, mas que eu irei chamá-lo de "right-open 
principal ideal generated by x" (estou adaptando a proposta de nome de João 
Marcos e trazendo a atenção que se parece ao conceito de ideal principal gerado 
por x). Enquanto à notação vou ter que pensar em algum tipo de seta, porque é a 
práxis da área. 

De toda forma, se outro membro da lista conhece algum nome e notação para o 
conjunto {y \in P : y) escribió: 


Olá, 

Sim, por isso eu comentei que era uma notação bastante usada em teoria de 
conjuntos. Quando a gente vai pra topologia por exemplo a gente costuma chamar 
esse tipo de coisas de semi-retas ! E aí gera a topologia da ordem tomando a 
família das semi-retas, nos dois sentidos, como subbase. 

Possivelmente no contexto que o Claudio procura já tenha uma terminologia 
específica. 

Até 

[]s Samuel 

Em sexta-feira, 3 de junho de 2022 às 09:03:25 UTC-4, Joao Marcos escreveu: 






Em teoria dos conjuntos costumamos usar pred(a,x,r), predecessores de x no 
conjunto ordenado (a,r), para esse conjunto ao qual você 
se refere. 

Fazemos isso mais normalmente para ordens lineares, mas não vejo porque não 
usar a mesma notação se a ordem não for linear. 




No caso de uma ordem linear r isto também poderia ser chamado (mais comumente?) 
de "right-open interval (bounded on x)", não? 

[]s, 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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/59186890.8736379.1654266863356.JavaMail.zimbra%40ufba.br.

[Logica-l] Posters do EBL disponíveis para download

['Samuel Gomes da Silva' via LOGICA-L]

Prezados, 

Estão disponíveis na página do XX EBL (Salvador, Bahia, 12 a 16 de setembro), 

www.ebl2021.ufba.br 

os posters oficiais do evento, para quem quiser imprimir e colocar na porta da 
sua sala ! 

(Aba Support, Seção Communications). 

A arte, autorizada pelo Instituto Carybé, segue na identidade visual do evento, 
presente também 
na página Internet e no logotipo, que é baseada nos dois XX de "vigésimo EBL" 
sendo representados 
por dois capoeiristas. 

Abraços 

[]s Samuel 

-- 
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/1512767857.7917771.1654172854560.JavaMail.zimbra%40ufba.br.

[Logica-l] XX EBL Salvador - Apoio a Estudantes

['Samuel Gomes da Silva' via LOGICA-L]

Caros, 

Favor divulgar e compartilhar, 

Está aberta a chamada para apoio a estudantes para participação no XX EBL em 
Salvador, Bahia, com Escola de Lógica 
ocorrendo nos dias 10 e 11 de setembro de 2022 e o evento em si ocorrendo entre 
os dias 12 a 16 de setembro de 2022. 

Os estudantes (que devem necessariamente ser associados à SBL e não morarem em 
Salvador e Região Metropolitana) 
devem preencher um formulário na página do evento, ver aba "Students" em 
ebl2021.ufba.br 

A Diretoria da SBL irá decidir sobre quais estudantes serão apoiados e sobre 
qual será o valor do apoio. As taxas 
de inscrição dos estudantes agraciados também serão isentadas. 

Espera-se que possam ser mantidos, pelo menos, os mesmos montantes de apoio do 
último EBL em 2019. No XIX EBL foram 
apoiados 16 estudantes, cada um com BRL 500. 

Abraços e os vejo em breve em Salvador, 

[]s Samuel 






-- 
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/1155440249.3548308.1652536020771.JavaMail.zimbra%40ufba.br.

[Logica-l] Acomodações XX EBL

['Samuel Gomes da Silva' via LOGICA-L]

Prezados, 

Outra parte do evento XX EBL cujas informações já estão disponíveis na página, 

Temos uma agência de turismo receptivo que fez negociações com hotéis 
especificamente para o EBL, com tarifas especiais, 

Na aba "Acommodations" da página ebl2021.ufba.br vocês encontram o link para 
contatar essa agência (Empório de Turismo) que pode fazer 
as reservas para vocês. 

Abraços, 

[]s Samuel 

-- 
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/806128138.14385676.1651873668414.JavaMail.zimbra%40ufba.br.

[Logica-l] Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022

['Samuel Gomes da Silva' via LOGICA-L]

Caros, 

Após os tempos difíceis da pandemia, e com a melhora nas condições sanitárias, 
neste ano teremos o nosso querido EBL presencial, em Salvador ! 

As inscrições já estão abertas, vejam detalhes/valores/prazos na página do 
evento 

http://ebl2021.ufba.br/ 

na aba "Registration". Como de costume, existe o desconto para associados da 
SBL, que pagam a inscrição com desconto 
junto com a anuidade 2022 por transferência bancária (estrangeiros vão pagar 
suas inscrições via PayPal). 

Em mais algumas semanas será lançada a chamada para apoio a estudantes de 
graduação por parte da SBL, também como de costume. 
Os estudantes apoiados pela chamada deverão ter trabalho aceito no evento e 
terão isenção de inscrição, além de um limitado 
apoio financeiro. 

Lembrando que o Call for Contributions também já está aberto há algumas semanas 
(deadline 05 de junho), ver aba "Call for Contributions". 

A titulo de informação, comunicamos que duas práticas de EBLs passados serão 
retomadas desta vez: 

---> A Escola de Lógica ocorrerá no final de semana anterior ao evento; e 

---> Para que todos possam economizar uma diária de hotel, vamos marcar o 
início do evento para a segunda de tarde, assim 
vocês podem programar seus vôos para chegar em Salvador na segunda de manhã se 
assim o desejarem. 

Esperando vê-los todos em Salvador em breve, 

Abraços 

[]s Samuel - co-chair do CO 




-- 
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/1120352068.12132838.1651669806684.JavaMail.zimbra%40ufba.br.

Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)

['Samuel Gomes da Silva' via LOGICA-L]

Olá,

Com quase toda certeza. Só não dou 100 por cento de certeza porque o contrato 
da UFBA com o Google não permite mais gravações então estamos todos aqui ainda 
se acostumando com as alternativas, mas acho que vamos gravar sim.

Até

[]s Samuel
- Mensagem original -
De: Adolfo Neto 
Para: Samuel Gomes da Silva 
Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA 

Enviadas: Fri, 18 Mar 2022 06:50:46 -0300 (BRT)
Assunto: Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL 
(Carol Blasio pela Diversidade da Lógica)

Ótima iniciativa. Será gravado?

On Thu, Mar 17, 2022, 20:40 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:

> Prezados,
>
> Em parceria com o coletivo Lógicas Brasileiras (
> https://logicasbrasileiras.wordpress.com/),
>
> Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do
> Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL
> - Carol Blasio* por Diversidade na Lógica.
>
> Seguem dados da palestra:
>
>
> **
>
> Título: Dialectica e os Problemas de Kolmogorov-Veloso
>
> Palestrante: Valeria de Paiva (Topos Institute)
>
> Segunda, 21 de março, 19hs
>
> Entrar com o Google Meet
> <https://meet.google.com/fcy-dxmy-hdd?authuser=0&hs=122>
> meet.google.com/fcy-dxmy-hdd
>
>
> Resumo:
>
> Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir 
> abstrações de problemas e de raciocínio, assumindo que problemas são sempre o 
> que queremos resolver, quer em matemática, quer em computação ou mesmo na 
> filosofia.
> Esse trabalho, conjunto com o Prof Samuel Gomes da Silva,
> é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos
> 80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal 
> do artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", 
> que apesar do título, trata de problemas, e não de lógica.
>
>
> Queremos conectar os problemas de Kolmogorov aos objetos da construção 
> Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos 
> problemas de Kolmogorov, fornecendo os morfismos das categorias que 
> Kolmogorov não
> possuia em 1932. Então quero tentar convencê-los de que essa coincidência de 
> estruturas algébricas ocorre em vários exemplos matemáticos e pode até 
> apontar para uma boa maneira de pensar sobre multi-sistemas de agentes.
>
>
>
> 
>
> Por favor, sintam-se à vontade para repassar este convite a possíveis
> interessados.
>
> Grato,
>
> []s  Samuel G. da Silva - UFBA
>
>
>
> * Carolina Blasio da Silva (1984-2017)
>
> Carolina Blasio da Silva era uma brilhante lógica brasileira que,
> infelizmente, morreu em 2017
> aos 33 anos de Idade.
>
> Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e
> tinha também
> um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora.
> Antes de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e
> obteve o seu doutoramento em Filosofia (Lógica).
>
> --
> 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/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br?utm_medium=email&utm_source=footer>
> .
>

-- 
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/470207501.13703016.1647612023559.JavaMail.zimbra%40ufba.br.

[Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)

['Samuel Gomes da Silva' via LOGICA-L]

Prezados, 

Em parceria com o coletivo Lógicas Brasileiras ( 
https://logicasbrasileiras.wordpress.com/ ), 

Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do 
Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL - 
Carol Blasio* por Diversidade na Lógica. 

Seguem dados da palestra: 

**
 

Título: Dialectica e os Problemas de Kolmogorov-Veloso 

Palestrante: Valeria de Paiva (Topos Institute) 

Segunda, 21 de março, 19hs 

Entrar com o Google Meet 
meet.google.com/fcy-dxmy-hdd 


Resumo: 
Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir 
abstrações de problemas e de raciocínio, assumindo que problemas são sempre o 
que queremos resolver, quer em matemática, quer em computação ou mesmo na 
filosofia. 
Esse trabalho, conjunto com o Prof Samuel Gomes da Silva, 
é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos 
80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal do 
artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", que 
apesar do título, trata de problemas, e não de lógica. 

Queremos conectar os problemas de Kolmogorov aos objetos da construção 
Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos problemas 
de Kolmogorov, fornecendo os morfismos das categorias que Kolmogorov não 
possuia em 1932. Então quero tentar convencê-los de que essa coincidência de 
estruturas algébricas ocorre em vários exemplos matemáticos e pode até apontar 
para uma boa maneira de pensar sobre multi-sistemas de agentes. 

 
Por favor, sintam-se à vontade para repassar este convite a possíveis 
interessados. 

Grato, 

[]s Samuel G. da Silva - UFBA 



* Carolina Blasio da Silva (1984-2017) 

Carolina Blasio da Silva era uma brilhante lógica brasileira que, infelizmente, 
morreu em 2017 
aos 33 anos de Idade. 

Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e tinha 
também 
um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora. Antes 
de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e obteve o 
seu doutoramento em Filosofia (Lógica). 

-- 
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/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br.