Diferencia entre revisiones de «Association for Symbolic Logic»
Rescatando 1 referencia(s) y marcando 0 enlace(s) como roto(s) #IABot (v2.0beta10ehf1) |
m Mantenimiento de Control de autoridades |
||
| Línea 25: | Línea 25: | ||
* [https://web.archive.org/web/20060204000304/http://www.aslonline.org/index.htm Sitio oficial de la ASL] |
* [https://web.archive.org/web/20060204000304/http://www.aslonline.org/index.htm Sitio oficial de la ASL] |
||
{{Control de autoridades}} |
|||
[[Categoría:Sociedades científicas]] |
[[Categoría:Sociedades científicas]] |
||
[[Categoría:Lógicos]] |
[[Categoría:Lógicos]] |
||
Revisión del 18:14 10 jul 2019
| Association for Symbolic Logic | ||
|---|---|---|
| Acrónimo | ASL | |
| Tipo | Organismo internacional | |
| Campo | lógica filosófica y lógica matemática | |
| 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
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
La ASL organiza anualmete 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.
