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). A SBL 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.
