Logotipo e Símbolo do Grupo de Lógica da UFBA

[samuel]

(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-)

[Elaine Pimentel]

Parabéns, Samuel e colegas da UFBA, pela maioridade e pelo logotipo.

Longa vida ao Grupo de Lógica da UFBA!!!

Abraços,

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@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/
-----------------------------------

[Walter Carnielli]

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 

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.

[Samuel Gomes da Silva]

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

Obrigado Walter e Elaine,

Abraços

[]s Samuel

----- Mensagem original -----
De: Walter Carnielli <walt...@unicamp.br>
Para: Elaine Pimentel <elaine....@gmail.com>
Cc: samuel <sam...@ufba.br>, LOGICA-L <logi...@dimap.ufrn.br>
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

>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br?utm_medium=email&utm_source=footer>
>> .

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

> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>