O Grupo de Estudos em Lógica da UFMS tem como objetivo proporcionar uma formação fundamental em lógica, acessível a estudantes e interessados que desejam iniciar ou aprofundar seus conhecimentos na área. O percurso de estudos parte da silogística e da lógica proposicional, avançando gradualmente para a lógica de predicados, a álgebra booleana, a teoria dos conjuntos, a metalógica e as lógicas não clássicas. Por meio de encontros dedicados à exposição de conteúdos, à resolução de exercícios e à discussão coletiva, o grupo busca construir uma base sólida para o estudo autônomo e o aprofundamento posterior em lógica.