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

[Samuel Gomes]

(mensagem para público geral, enviada hoje para o Departamento de Matemática da UFBA)

*********************************************************************************

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