Dia mundial da lógica: de-marginalização da lógica e reforçando os laços entre lógicos/lógicas

[jean-yves beziau]

No site do evento Lógica e Representatividade, está escrito:

"De fato, em geral, nós lógicos nos enchemos de orgulho quando dizemos que lógica está numa linda interseção de áreas como Matemática, Filosofia, IA, Linguística e Computação. Mas nos esquecemos que essa é, na verdade, uma linha de pesquisa pária nessas áreas todas. Temos pouca voz e quase nenhum reconhecimento."

https://logicasbrasileiras.wordpress.com/logica-e-representatividade/

Concordo e espero que o dia mundial da lógica vai auxiliar  a mudar isso, dando maior visibilidade à lógica.

Como escrevi na página do primeiro dia mundial da lógica:

"The basic idea of a World Logic Day and other related projects such as the Logic Prizes Contest, an Encyclopædia of Logic, Word Logic Conferences, is to put logic in its right place, i.e the first place."

http://www.logica-universalis.org/wld

Estou otimista em particular porque de uma maneira inesperada e surpreendente a UNESCO está dando especial atenção a esse dia da lógica, com mensagem da diretora da UNESCO e através do CIPSH monitorando mundialmente a terceira edição deste dia da lógica o que a UNESCO não faz  para o dia mundial da filosofia e o dia mundial da matemática, que fazem também parte do calendário dos dias internacionais desta organização.

Tem um segundo problema na lógica:  além de ser marginalizada em cada ramo, os lógicos / as lógicas têm dificuldades a se reunir entre si, muitas vezes não há comunicação.

A ideia dos prêmios de lógica e do dia mundial da lógica é fortalecer os laços entre lógicos/lógicas a nível regional/nacional, com eu expliquei detalhadamente  nos artigos:

 “Logic Prizes et Cætera”

https://link.springer.com/article/10.1007/s11787-018-0215-6

"1st World Logic Day: 14 January 2019"

https://link.springer.com/article/10.1007/s11787-019-00221-5

Deste ponto de vista o Brasil tem um destaque particular porque sempre tive uma mistura de todas as tendências da lógica em particular no EBL já há muitos anos (meu primeiro EBL foi em Salvador em 1996).   Tem matemática, filosofia, computação e semiótica (contamos como o Cassiano para reforçar essa parte!)

O Brasil é um dos poucos países onde tem uma organização nacional de lógica reunindo todos os lógicos /as lógicas (a SBL) e com um evento regular (EBL).

Me parece importante preservar e reforçar isso.

E bom saber que o dia mundial da lógica foi reconhecido pela UNESCO graças a embaixadora do Brasil na UNESCO que gosta de lógica. Agora ela é embaixadora na Bulgária e convidada em Sofia para participar do dia mundial da lógica com a turma do Vakarelov.   

Também os prêmios de lógica começaram com o prêmio Newton da Costa de lógica em 2015. Na altura do UNILIOG'2018 em Vichy já tinha 10 prêmios criados e foi um brasileiro que ganhou o primeiro Logic Prizes Contest.

Para o segundo Logic Prizes Contest no próximo UNILOG

https://sites.google.com/view/unilog-2021/logic-prizes

esperamos concorrentes ganhadores de prêmios de  pelo menos 20 países diferentes.

Aproveito para dizer que em função da pandemia decidimos transferir este sétimo UNILOG que estava previsto para março de 2021 em março de 2022, porque queremos fazer um evento 100% presencial, na Crete,  que é um lugar bem  bonito.

JYB