SBL - Sociedade Brasileira de Lógica

A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Dr. Oswaldo Porchat Pereira, coordenador do Centro de Lógica, Epistemologia e História da Ciência (CLE)

A SBL é filiada à:

International Union of History and Philosophy of Science
Division of Logic, Methodology and Philosophy of Science
International Council of Scientific Unions (ICSU )

Objetivos da SBL

A Sociedade Brasileira de Lógica tem por objetivos congregar lógicos e estudiosos da lógica em todos os seus aspectos do Brasil e também do exterior, estimular e manter um interesse ativo pela lógica e suas aplicações, incentivar a pesquisa e contribuir para o aperfeiçoamento neste ramo da ciência.

A Sociedade mantém estreita relação científica com os lógicos e grupos de pesquisa da América Latina e com o Committee on Logic in Latin America da Association for Symbolic Logic.