[go: up one dir, main page]
More Web Proxy on the site http://driver.im/Ir al contenido

Association for Symbolic Logic

De Wikipedia, la enciclopedia libre
Association for Symbolic Logic
Acrónimo ASL
Tipo Organismo internacional
Campo lógica filosófica y lógica matemática
Industria educación superior
Género Lógica y Lógica matemática
Forma legal asociación voluntaria
Fundación 1936
Sede central Poughkeepsie (Estados Unidos)
Área de operación mundial
Presidente Julia Knight
Presidente Penelope Maddy
Servicios Publicación de libros y revistas científicas
Organización de congresos anuales
Sitio web página oficial

La Association for Symbolic Logic (ASL) es el organismo internacional de especialistas en lógica y lógica matemática de mayor prestigio a nivel mundial. Reconocido a nivel mundial en el campo de la teoría de modelos, fue fundado en 1936, un año crucial en el desarrollo de la lógica moderna, y su primer presidente fue Alonzo Church. Su presidente actual es Penelope Maddy.

Publicaciones

[editar]

La ASL publica libros y revistas académicas. Sus revistas oficiales son la Journal of Symbolic Logic (JSL), el Bulletin of Symbolic Logic, y el Review of Symbolic Logic. La organización también ha jugado un importante papel en la publicación de los escritos recolectados de Kurt Gödel.

Reuniones

[editar]

La ASL organiza anualmente dos grandes congresos, uno en los Estados Unidos y el otro en Europa (este último es conocido como el Logic Colloquium). Adicionalmente, la ASL organiza regularmente congresos en conjunto con la American Mathematical Society (AMS) y la American Philosophical Association (APA), y auspicia anualmente otros congresos en diversos países.

Enlaces externos

[editar]