Sociedade Brasileira de Lógica

A Sociedade Brasileira de Lógica (SBL) busca congregar lógicos de todas as áreas do Brasil e de outros países, encorajar e estimular o interesse em lógica e suas aplicações, estimulando a pesquisa e contribuindo para o progresso dessa área na ciência.

Mantemos uma forte relação científica com lógicos e grupos de pesquisa da América Latina e com o Comitê de Lógica na América Latina da Associação de Lógica Simbólica.

Objetivos

  • Promover conferências, cursos, seminários, workshops e atividades similares para difundir e desenvolver a lógica;
  • Publicar artigos científicos e boletins com contribuições de lógicos;
  • Promover o intercâmbio com instituições científicas de todo o mundo;
  • Manter uma biblioteca especializada;
  • Fomentar o aperfeiçoamento do conhecimento em lógica.

Instituições filiadas

  • Association for Symbolic Logic (ASL)
  • International Union of History and Philosophy of Science (IUHPST)
  • Division of Logic, Methodology and Philosophy of Science (DLMPST)
  • International Council of Scientific Unions (ICSU)
  • Sociedade Brasileira para o Progresso da Ciência (SBPC)