Британский коллоквиум по логике
Британский коллоквиум по логике ( BLC ) — зарегистрированная благотворительная организация, основанная в 1977 году с целью продвижения формальной и математической логики , а также предметов, связанных с формальной и математической логикой, в Великобритании. [1] [2]
BLC действует под руководством комитета, исполнительный директор которого состоит из президента, вице-президента, секретаря и казначея. Нынешний президент — Джонатан Кирби .
Целью БЛК является:
- поддерживать, продвигать и способствовать изучению логики . [3]
- поощрять общение логиков разных дисциплин в Великобритании. [3]
- для обеспечения финансовой поддержки конференций, семинаров, летних школ и исследовательских визитов по всей Великобритании, связанных с логикой. [4]
- провести ежегодное собрание с докладами по логике в математике, философии и информатике. [1]
Для достижения этих целей BLC организует ежегодную конференцию для исследователей логики . Центральным аспектом ежегодной конференции BLC является семинар для аспирантов , а поддержка аспирантов является ключевым критерием при предоставлении финансирования. В рамки ежегодной конференции BCTCS входят все аспекты логики, включая математическую логику , логику в информатике , философскую логику и историю логики. Чтобы представить широту логики в Великобритании, BLC всегда активно привлекает участников из всех вышеперечисленных областей, чтобы предложить среду, в которой члены различных логических сообществ могут встречаться и обмениваться идеями.
Кроме того, BLC предоставляет как членам, так и нечленам ресурсы, относящиеся к логике во всех ее формах. [5] и члены BLC имеют право на льготную подписку на журнал «История и философия логики» . [6]
История БЛК
[ редактировать ]BLC вырос из неформальных встреч логиков, впервые организованных Артуром Прайором в 1950-х годах. Эти встречи были впервые официально оформлены в 1965 году Робином Ганди и Джоном Шепердсоном . BLC был зарегистрирован как благотворительная организация в 1978 году. [1] [7] [8] [9]
Бывшие офицеры BLC
[ редактировать ]Президенты
[ редактировать ]- Робин Ганди
- Джон Шепердсон
- Уилфрид Ходжес [10]
- Стэн Вайнер
- Джефф Пэрис (2005–2007)
- Мартин Хайланд (2008–2013)
- Дугалд Макферсон (2014–2016)
- Филип Уэлч (2017–2022 гг.)
- Джонатан Кирби (2023-)
Вице-президенты
[ редактировать ]- Мартин Хайланд (2005–2007)
- Профессор Уильямсон (2008–2013 гг.)
- Филип Уэлч (2014–2016)
- Фолькер Хальбах (2017–2022 гг.)
- Сара Л. Акельман (2023-)
Секретари
[ редактировать ]- Дэвид Миллер (1999) [11]
- Мирна Джамоня (2005–2007) [12]
- Наташа Алечина (2008–2013)
- Пауло Олива (2014–2022 гг.)
- Пол Шафер (2023-)
Казначеи
[ редактировать ]- Рой Дайкхофф (-2005)
- Дугалд Макферсон (2005–2012)
- Шарлотта Кестнер (2014–2022)
- Йоханнес Штерн (2023-)
Конференции BLC
[ редактировать ]1996 г., Ежегодное собрание BLC, Оксфордский университет , 5–6 июля 1996 г.
1997, Ежегодное собрание BLC (совместно с коллоквиумом Logic 97 - ASL Европейским летним собранием ), Университет Лидса , 6–13 июля 1997 г.
1998 г., Ежегодное собрание BLC, Кембриджский университет , 21–22 сентября 1998 г.
1999 г., Ежегодное собрание BLC, Университет Грегиног , 23–25 сентября 1999 г.
2000 г., Ежегодное собрание BLC, Норвичский университет , 7–9 сентября 2000 г.
2001 г., Ежегодное собрание BLC, Манчестерский университет , 6–8 сентября 2001 г.
2002 г., Ежегодное собрание BLC, Бирмингемский университет , 12–14 сентября 2002 г.
2003 г., Ежегодное собрание BLC, Сент-Эндрюсский университет , 3–6 сентября 2003 г.
2004 г., Ежегодное собрание BLC, Университет Лидса , 6–8 сентября 2004 г. (Организатор: Дугалд Макферсон ).
2005 г., Ежегодное собрание BLC, Бристольский университет , 1–3 сентября 2005 г.
2006 г., Ежегодное собрание BLC, Оксфордский университет , 7–9 сентября 2006 г.
2007 г., Ежегодное собрание BLC, Лондон, 6–8 сентября 2007 г.
2008 г., Ежегодное собрание BLC, Ноттингемский университет , 4–6 сентября 2008 г.
2009 г., Ежегодное собрание BLC, Университет Суонси , 3–5 сентября 2009 г.
2010 г., Ежегодное собрание BLC, Бирмингемский университет , 2–4 сентября 2010 г.
2012 г., Ежегодное собрание BLC (совместно с коллоквиумом Logic 2012 - Европейской летней встречей ASL ), Манчестерский университет , 12–18 июля 2012 г.
2013, Ежегодное собрание BLC, Университет Лидса , 5–7 сентября 2013 г.
2014 г., Ежегодное собрание BLC, Университет Центрального Ланкашира , 3–5 сентября 2014 г.
2015, Ежегодное собрание BLC, Институт Ньютона , Кембридж, 1–4 сентября 2015 г.
2016, Ежегодное собрание BLC, Форум по информатике , Эдинбург, 6–9 сентября 2016 г.
2017, Ежегодное собрание BLC и День доктора философии , Университет Сассекса , 7–9 сентября 2017 г. (Организаторы: Панчо Элиотт, Василис Климис, Ибэй Ли (День доктора философии))
2019, Ежегодное собрание BLC, Оксфордский университет , 6–7 сентября 2019 г.
2021 г., Ежегодное собрание BLC и День доктора философии, Даремский университет (онлайн), 2–3 сентября 2021 г. (организатор: Сара Л. Акельман )
2023 г., Ежегодное собрание BLC, Бристольский университет.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Перейти обратно: а б с Благотворительная комиссия Англии и Уэльса. «БРИТАНСКИЙ КОЛЛОКВИУМ LOGIC - Благотворительность 275541» . Реестр благотворительных организаций . GOV.UK. Проверено 27 апреля 2024 г.
- ^ «Картирование искусств и гуманитарных наук» . Картирование искусств и гуманитарных наук . Гуманитарные науки.org . Проверено 2 мая 2024 г.
- ^ Перейти обратно: а б «Британский логический коллоквиум: цели» . Британский логический коллоквиум . Проверено 27 апреля 2024 г.
- ^ «Британский логический коллоквиум: деятельность» . Британский логический коллоквиум . Проверено 27 апреля 2024 г.
- ^ «Интернет-ресурсы: Философия: Логика, Философия математики, Философия науки» . Университетские библиотеки . Вирджинский технологический институт . Проверено 2 мая 2024 г.
- ^ «Общественная информация» . История и философия логики . Тейлор и Фрэнсис Онлайн . Проверено 2 мая 2024 г.
- ^ «Британский логический коллоквиум: история» . Британский логический коллоквиум . Проверено 27 апреля 2024 г.
- ^ Мошовакис и Майк Йейтс, Яннис (1996). «Памяти: Робин Оливер Ганди, 1919–1995» . Бюллетень символической логики . 2 (3): 368 . Проверено 2 мая 2024 г.
- ^ «Уведомления» . Бюллетень символической логики . 21 (4): 496. 2015 . Проверено 2 мая 2024 г.
- ^ «Уилфрид Ходжес» . Грешем-колледж . Грешем-колледж . Проверено 2 мая 2024 г.
- ^ Миллер, Дэвид (1999). «Быть абсолютным скептиком» . Наука . 284 (5420): 1625 . Проверено 2 мая 2024 г.
- ^ «Профиль автора: Мирна Джамоня» . Философские труды: математические, физические и технические науки . 364 (1849): 3182. 2006 . Проверено 2 мая 2024 г.