Associação para a Lógica Simbólica
Pontos principais
- Fundada em 1936, a ASL é a principal organização internacional de lógica matemática e filosófica.
- Publica três periódicos oficiais: Journal of Symbolic Logic, Bulletin of Symbolic Logic e Review of Symbolic Logic.
- Organiza a prestigiada Série de Palestras Gödel desde 1990.
- Concede o Prêmio Karp (quinquenal) e o Prêmio Sacks para teses de doutorado.
A Associação para a Lógica Simbólica (do inglês Association for Symbolic Logic, ASL) é uma organização internacional composta por especialistas em lógica matemática e lógica filosófica. Fundada em 1936, a associação visa promover o estudo e a pesquisa nessas áreas, servindo como um ponto de encontro global para acadêmicos e pesquisadores.
Publicações Acadêmicas
A ASL é responsável pela publicação de livros e periódicos científicos de alta relevância. A organização mantém três periódicos oficiais:
- Journal of Symbolic Logic: Fundado em 1936, é dedicado a pesquisas em todas as áreas da lógica matemática (ISSN 0022-4812).
- Bulletin of Symbolic Logic: Estabelecido em 1995, foca primordialmente em artigos expositivos e revisões críticas (ISSN 1079-8986).
- Review of Symbolic Logic: Criado em 2008, publica pesquisas que exploram a interseção entre a lógica, a filosofia e a ciência (ISSN 1755-0203).
Além disso, a associação patrocina o Journal of Logic and Analysis, fundado em 2009 como um sucessor de acesso aberto do periódico Logic and Analysis da Springer, focando na interação entre a lógica matemática e a análise pura e aplicada (ISSN 1759-9008).
Séries de Livros e Obras
A ASL também coordena séries de publicações, como as Lecture Notes in Logic e Perspectives in Logic. Entre suas obras notáveis está o livro Mathematical Logic, de Joseph R. Shoenfield. A organização também desempenhou um papel fundamental na publicação dos escritos coletos de Kurt Gödel.
Série de Palestras Gödel
Iniciada em 1990, a Série de Palestras Gödel consiste em apresentações anuais que reúnem alguns dos maiores expoentes da lógica contemporânea. A série cobre temas diversos, desde a teoria dos conjuntos e complexidade computacional até a semântica de verdade e a teoria de modelos.
Palestrantes Notáveis Recentes
- Thomas Scanlon (2024): Abordou a (in)decidibilidade em corpos.
- Carl Jockusch (2023): Discutiu algoritmos e graus de Turing como espaço métrico.
- Patricia Blanchette (2022): Explorou o formalismo na lógica.
- Matthew Foreman (2021): Palestrou sobre os difeomorfismos de Gödel.
Eventos e Encontros
A ASL organiza dois encontros principais anualmente: um na América do Norte e outro na Europa, este último conhecido como o Logic Colloquium. A associação também realiza reuniões conjuntas com a Sociedade Matemática Americana (AMS) e a Associação Filosófica Americana (APA), além de patrocinar eventos em diversos países.
Prêmios e Reconhecimentos
A organização concede periodicamente prêmios para reconhecer a excelência na área de lógica simbólica:
- Prêmio Karp: Estabelecido em 1973 em memória do Professor Carol Karp, é concedido a cada cinco anos por um livro ou artigo excepcional no campo da lógica simbólica.
- Prêmio Sacks: Destinado a premiar a tese de doutorado mais destacada em lógica matemática.
Perguntas frequentes
O que é a Associação para a Lógica Simbólica (ASL)?
É uma organização internacional de especialistas em lógica matemática e filosófica, fundada em 1936 para promover a pesquisa e a divulgação do conhecimento nessas áreas.
Quais são os principais periódicos publicados pela ASL?
Os periódicos oficiais são o Journal of Symbolic Logic, o Bulletin of Symbolic Logic e o Review of Symbolic Logic.
O que é a Série de Palestras Gödel?
É uma série de palestras anuais iniciada em 1990, onde pesquisadores renomados apresentam trabalhos avançados em lógica.
Quais prêmios a ASL concede?
A ASL concede o Prêmio Karp, para obras excepcionais em lógica simbólica, e o Prêmio Sacks, para a melhor tese de doutorado em lógica matemática.