Back Association for Symbolic Logic German Association for Symbolic Logic English Association for Symbolic Logic French Асоціація символьної логіки Ukrainian
| 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.