Jump to content

Британский коллоквиум по логике

Британский коллоквиум по логике ( BLC ) — зарегистрированная благотворительная организация, основанная в 1977 году с целью продвижения формальной и математической логики , а также предметов, связанных с формальной и математической логикой, в Великобритании. [1] [2]

BLC действует под руководством комитета, исполнительный директор которого состоит из президента, вице-президента, секретаря и казначея. Нынешний президент — Джонатан Кирби .

Целью БЛК является:

  1. поддерживать, продвигать и способствовать изучению логики . [3]
  2. поощрять общение логиков разных дисциплин в Великобритании. [3]
  3. для обеспечения финансовой поддержки конференций, семинаров, летних школ и исследовательских визитов по всей Великобритании, связанных с логикой. [4]
  4. провести ежегодное собрание с докладами по логике в математике, философии и информатике. [1]

Для достижения этих целей BLC организует ежегодную конференцию для исследователей логики . Центральным аспектом ежегодной конференции BLC является семинар для аспирантов , а поддержка аспирантов является ключевым критерием при предоставлении финансирования. В рамки ежегодной конференции BCTCS входят все аспекты логики, включая математическую логику , логику в информатике , философскую логику и историю логики. Чтобы представить широту логики в Великобритании, BLC всегда активно привлекает участников из всех вышеперечисленных областей, чтобы предложить среду, в которой члены различных логических сообществ могут встречаться и обмениваться идеями.

Кроме того, BLC предоставляет как членам, так и нечленам ресурсы, относящиеся к логике во всех ее формах. [5] и члены BLC имеют право на льготную подписку на журнал «История и философия логики» . [6]

История БЛК

[ редактировать ]

BLC вырос из неформальных встреч логиков, впервые организованных Артуром Прайором в 1950-х годах. Эти встречи были впервые официально оформлены в 1965 году Робином Ганди и Джоном Шепердсоном . BLC был зарегистрирован как благотворительная организация в 1978 году. [1] [7] [8] [9]

Бывшие офицеры BLC

[ редактировать ]

Президенты

[ редактировать ]
  1. Робин Ганди
  2. Джон Шепердсон
  3. Уилфрид Ходжес [10]
  4. Стэн Вайнер
  5. Джефф Пэрис (2005–2007)
  6. Мартин Хайланд (2008–2013)
  7. Дугалд Макферсон (2014–2016)
  8. Филип Уэлч (2017–2022 гг.)
  9. Джонатан Кирби (2023-)

Вице-президенты

[ редактировать ]
  1. Мартин Хайланд (2005–2007)
  2. Профессор Уильямсон (2008–2013 гг.)
  3. Филип Уэлч (2014–2016)
  4. Фолькер Хальбах (2017–2022 гг.)
  5. Сара Л. Акельман (2023-)

Секретари

[ редактировать ]
  1. Дэвид Миллер (1999) [11]
  2. Мирна Джамоня (2005–2007) [12]
  3. Наташа Алечина (2008–2013)
  4. Пауло Олива (2014–2022 гг.)
  5. Пол Шафер (2023-)

Казначеи

[ редактировать ]
  1. Рой Дайкхофф (-2005)
  2. Дугалд Макферсон (2005–2012)
  3. Шарлотта Кестнер (2014–2022)
  4. Йоханнес Штерн (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, Бристольский университет.

См. также

[ редактировать ]
  1. ^ Перейти обратно: а б с Благотворительная комиссия Англии и Уэльса. «БРИТАНСКИЙ КОЛЛОКВИУМ LOGIC - Благотворительность 275541» . Реестр благотворительных организаций . GOV.UK. ​Проверено 27 апреля 2024 г.
  2. ^ «Картирование искусств и гуманитарных наук» . Картирование искусств и гуманитарных наук . Гуманитарные науки.org . Проверено 2 мая 2024 г.
  3. ^ Перейти обратно: а б «Британский логический коллоквиум: цели» . Британский логический коллоквиум . Проверено 27 апреля 2024 г.
  4. ^ «Британский логический коллоквиум: деятельность» . Британский логический коллоквиум . Проверено 27 апреля 2024 г.
  5. ^ «Интернет-ресурсы: Философия: Логика, Философия математики, Философия науки» . Университетские библиотеки . Вирджинский технологический институт . Проверено 2 мая 2024 г.
  6. ^ «Общественная информация» . История и философия логики . Тейлор и Фрэнсис Онлайн . Проверено 2 мая 2024 г.
  7. ^ «Британский логический коллоквиум: история» . Британский логический коллоквиум . Проверено 27 апреля 2024 г.
  8. ^ Мошовакис и Майк Йейтс, Яннис (1996). «Памяти: Робин Оливер Ганди, 1919–1995» . Бюллетень символической логики . 2 (3): 368 . Проверено 2 мая 2024 г.
  9. ^ «Уведомления» . Бюллетень символической логики . 21 (4): 496. 2015 . Проверено 2 мая 2024 г.
  10. ^ «Уилфрид Ходжес» . Грешем-колледж . Грешем-колледж . Проверено 2 мая 2024 г.
  11. ^ Миллер, Дэвид (1999). «Быть ​​абсолютным скептиком» . Наука . 284 (5420): 1625 . Проверено 2 мая 2024 г.
  12. ^ «Профиль автора: Мирна Джамоня» . Философские труды: математические, физические и технические науки . 364 (1849): 3182. 2006 . Проверено 2 мая 2024 г.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 2cedffcea0b0884a2db3410fb449c56f__1714739940
URL1:https://arc.ask3.ru/arc/aa/2c/6f/2cedffcea0b0884a2db3410fb449c56f.html
Заголовок, (Title) документа по адресу, URL1:
British Logic Colloquium - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)