Hispanopedia WikiEl British Colloquium for Logic ( BLC ) es una organización benéfica registrada, fundada en 1977, con el objetivo de promover la lógica formal y matemática , y temas relacionados con la lógica formal y matemática en el Reino Unido. [1] [2]
La BLC funciona bajo la dirección de un comité, con un ejecutivo integrado por un presidente, un vicepresidente, un secretario y un tesorero. El presidente actual es Jonathan Kirby.
Objetivo
El propósito del BLC es:
- apoyar, promover y fomentar el estudio de la lógica . [3]
- Fomentar la comunicación de los lógicos de distintas disciplinas en el Reino Unido. [3]
- Proporcionar apoyo financiero para conferencias, talleres, escuelas de verano y visitas de investigación relacionadas con la lógica en todo el Reino Unido. [4]
- celebrar una Reunión Anual con charlas sobre lógica en matemáticas, filosofía y informática. [1]
Actividades
Para lograr estos objetivos, el BLC organiza una conferencia anual para investigadores en lógica . Un aspecto central de la conferencia anual del BLC es un taller para estudiantes de doctorado , y el apoyo a los estudiantes de doctorado es un criterio clave para la concesión de fondos. El alcance de la conferencia anual del BTCS incluye todos los aspectos de la lógica, incluida la lógica matemática , la lógica en la informática , la lógica filosófica y la historia de la lógica. Para representar la amplitud de la lógica en el Reino Unido, el BLC siempre solicita activamente participantes de todas las áreas mencionadas para ofrecer un entorno donde los miembros de las diversas comunidades lógicas puedan reunirse e intercambiar ideas.
Además, la BLC proporciona recursos, tanto a miembros como a no miembros, relacionados con la lógica en todas sus formas, [5] y los miembros de la BLC tienen derecho a tarifas de suscripción reducidas a la revista History and Philosophy of Logic . [6]
Historia del BLC
La BLC surgió de reuniones informales de lógicos organizadas por Arthur Prior en la década de 1950. Estas reuniones se formalizaron por primera vez en 1965, por Robin Gandy y John Shepherdson . La BLC se registró como organización benéfica en 1978. [1] [7] [8] [9]
Exoficiales del BLC
Presidentes
- Robin Gandy
- Juan Shepherdson
- Wilfrid Hodges [10]
- Stan Wainer
- Jeff París (2005-2007)
- Martín Hyland (2008-2013)
- Dugald Macpherson (2014-2016)
- Philip Welch (2017-2022)
- Jonathan Kirby (2023-)
Vicepresidentes
- Martín Hyland (2005-2007)
- Profesor Williamson (2008-2013)
- Philip Welch (2014-2016)
- Volker Halbach (2017-2022)
- Sara L. Uckelman (2023-)
Secretarias
- David Miller (1999) [11]
- Mirna Dzamonja (2005-2007) [12]
- Natasha Alechina (2008-2013)
- Paulo Oliva (2014-2022)
- Paul Shafer (2023-)
Tesoreros
- Roy Dyckhoff (-2005)
- Dugald Macpherson (2005-2012)
- Charlotte Kestner (2014-2022)
- Johannes Stern (2023-)
Conferencias BLC
Fuente: [13]
Véase también
Referencias
- ^ Comisión de beneficencia de abc para Inglaterra y Gales. "EL COLOQUIO BRITÁNICO DE LÓGICA - Organización benéfica 275541". Registro de organizaciones benéficas . GOV.UK . Consultado el 27 de abril de 2024 .
- ^ "Mapping the Arts and Humanities" ( Mapeando las artes y las humanidades ) . Humanities.org . Consultado el 2 de mayo de 2024 .
- ^ ab "British Logic Colloquium: Aims". British Logic Colloquium . Consultado el 27 de abril de 2024 .
- ^ "Colloquium británico de lógica: actividades". Colloquium británico de lógica . Consultado el 27 de abril de 2024 .
- ^ "Recursos de Internet: Filosofía: Lógica, Filosofía de las Matemáticas, Filosofía de la Ciencia". Bibliotecas Universitarias . Virginia Tech . Consultado el 2 de mayo de 2024 .
- ^ "Información de la sociedad". Historia y filosofía de la lógica . Taylor and Francis Online . Consultado el 2 de mayo de 2024 .
- ^ "Colloquium británico de lógica: Historia". Coloquio británico de lógica . Consultado el 27 de abril de 2024 .
- ^ Moschovakis y Mike Yates, Yiannis (1996). "In Memoriam: Robin Oliver Gandy, 1919-1995". El Boletín de Lógica Simbólica . 2 (3): 368. Consultado el 2 de mayo de 2024 .
- ^ "Avisos". Boletín de lógica simbólica . 21 (4): 496. 2015. Consultado el 2 de mayo de 2024 .
- ^ "Wilfrid Hodges". Gresham College . Gresham College . Consultado el 2 de mayo de 2024 .
- ^ Miller, David (1999). "Ser un escéptico absoluto". Science . 284 (5420): 1625 . Consultado el 2 de mayo de 2024 .
- ^ "Perfil del autor: Mirna Džamonja". Philosophical Transactions: Mathematical, Physical and Engineering Sciences . 364 (1849): 3182. 2006 . Consultado el 2 de mayo de 2024 .
- ^ "Colloquium británico de lógica". blc-logic.org . Consultado el 18 de septiembre de 2024 .
- ^ "British Logic Colloquium 2007". www.dcs.bbk.ac.uk . Archivado desde el original el 27 de marzo de 2007.
- ^ "blc2019". sites.google.com . 2019. Archivado desde el original el 22 de abril de 2021.
- ^ "Colloquium británico de lógica". blc-logic.org . Consultado el 18 de septiembre de 2024 .
Enlaces externos
- Sitio web del Coloquio Británico de Lógica