British Logic Colloquium

Last updated

The British Colloquium for Logic (BLC) is registered charity, founded in 1977, with an aim for promoting formal and mathematical logic, and subjects related to formal and mathematical logic in the UK. [1] [2]

Contents

The BLC operates under the direction of a committee, with an executive consisting of a president, vice-president, secretary, and treasurer. The current president is Jonathan Kirby.

The purpose of the BLC is:

  1. to support, promote, and foster the study of logic. [3]
  2. to encourage the communication of logicians across disciplines within the UK. [3]
  3. to provide financial support for logic-related conferences, workshops, summer schools, and research visits across the UK. [4]
  4. to hold an Annual Meeting with talks on logic in mathematics, philosophy and computer science. [1]

In pursuit of these aims, the BLC organises an annual conference for researchers in logic. A central aspect of the annual BLC Conference is a workshop for PhD students, and support for PhD students is a key criterion in the awarding of funding. The scope of the annual BCTCS Conference includes all aspects of logic, including mathematical logic, logic in computer science, philosophical logic, and the history of logic. To represent the breadth of logic within the UK, the BLC always actively solicits participants from all of the above areas to offer an environment where members of the various logical communities can meet and exchange ideas.

Additionally, the BLC provides resources, to both members and non-members, relating to logic in all its forms, [5] and members of the BLC are entitled to reduced subscription rates to the journal History and Philosophy of Logic. [6]

History of the BLC

The BLC grew out of informal meetings of logicians first arranged by Arthur Prior in the 1950s. These meetings were first formalized in 1965, by Robin Gandy and John Shepherdson. The BLC was registered as a charity in 1978. [1] [7] [8] [9]

Past officers of the BLC

Presidents

  1. Robin Gandy
  2. John Shepherdson
  3. Wilfrid Hodges [10]
  4. Stan Wainer
  5. Jeff Paris (2005–2007)
  6. Martin Hyland (2008–2013)
  7. Dugald Macpherson (2014–2016)
  8. Philip Welch (2017–2022)
  9. Jonathan Kirby (2023-)

Vice-presidents

  1. Martin Hyland (2005–2007)
  2. Prof Williamson (2008–2013)
  3. Philip Welch (2014–2016)
  4. Volker Halbach (2017–2022)
  5. Sara L. Uckelman (2023-)

Secretaries

  1. David Miller (1999) [11]
  2. Mirna Džamonja (2005–2007) [12]
  3. Natasha Alechina (2008–2013)
  4. Paulo Oliva (2014–2022)
  5. Paul Shafer (2023-)

Treasurers

  1. Roy Dyckhoff (-2005)
  2. Dugald Macpherson (2005–2012)
  3. Charlotte Kestner (2014–2022)
  4. Johannes Stern (2023-)

BLC Conferences

1996, BLC Annual Meeting, Oxford University, 05 Jul - 06 Jul, 1996

1997, BLC Annual Meeting (in conjunction with Logic Colloquium 97 - the ASL European Summer Meeting), Leeds University, 06 Jul - 13 Jul, 1997.

1998, BLC Annual Meeting, Cambridge University, 21 Sep - 22 Sep, 1998.

1999, BLC Annual Meeting, Gregynog University, 23 Sep - 25 Sep, 1999.

2000, BLC Annual Meeting, Norwich University, 07 Sep - 09 Sep, 2000.

2001, BLC Annual Meeting, Manchester University, 06 Sep - 08 Sep, 2001.

2002, BLC Annual Meeting, Birmingham University, 12 Sep - 14 Sep, 2002.

2003, BLC Annual Meeting, University of St Andrews, 03 Sep - 06 Sep, 2003.

2004, BLC Annual Meeting, Leeds University, 06 Sep - 08 Sep, 2004. (Organiser: Dugald Macpherson.)

2005, BLC Annual Meeting, Bristol University, 01 Sep - 03 Sep, 2005.

2006, BLC Annual Meeting, Oxford University, 07 Sep - 09 Sep, 2006.

2007, BLC Annual Meeting, London, 06 Sep - 08 Sep, 2007.

2008, BLC Annual Meeting, University of Nottingham, 04 Sep - 06 Sep, 2008.

2009, BLC Annual Meeting, University of Swansea, 03 Sep - 05 Sep, 2009.

2010, BLC Annual Meeting, University of Birmingham, 02 Sep - 04 Sep, 2010.

2012, BLC Annual Meeting (in conjunction with Logic Colloquium 2012 - the ASL European Summer Meeting), Manchester University, 12 Jul - 18 Jul, 2012.

2013, BLC Annual Meeting, University of Leeds, 05 Sep - 07 Sep, 2013.

2014, BLC Annual Meeting, University of Central Lancashire, 03 Sep - 05 Sep, 2014.

2015, BLC Annual Meeting, Newton Institute, Cambridge, 01 Sep - 04 Sep, 2015.

2016, BLC Annual Meeting, Informatics Forum, Edinburgh, 06 Sep - 09 Sep, 2016.

2017, BLC Annual Meeting and PhD Day, University of Sussex, 07 Sep - 09 Sep, 2017. (Organisers: Pancho Eliott, Vasilis Klimis, Yibei Li (PhD Day))

2019, BLC Annual Meeting, University of Oxford, 06 Sep - 07 Sep, 2019.

2021, BLC Annual Meeting & PhD Day, Durham University (online), 2 Sep - 3 Sep, 2021 (Organiser: Sara L. Uckelman)

2023, BLC Annual Meeting, Bristol University.

See also

Related Research Articles

<span class="mw-page-title-main">Alonzo Church</span> American mathematician and computer scientist (1903–1995)

Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.

<span class="mw-page-title-main">Alfred Tarski</span> Polish–American mathematician (1901–1983)

Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.

<span class="mw-page-title-main">Yehoshua Bar-Hillel</span> Israeli philosopher, mathematician, and linguist

Yehoshua Bar-Hillel was an Israeli philosopher, mathematician, and linguist. He was a pioneer in the fields of machine translation and formal linguistics.

Richard Arnot Home Bett holds a joint appointment in Philosophy and Classics at Johns Hopkins University. He received his BA from Oxford University and his PhD from UC Berkeley. He spent 1994-5 as a Fellow at the Center for Hellenic Studies, Washington, D.C. From January 2000 to June 2001 he was Acting Executive Director of the American Philosophical Association, and he was Secretary-Treasurer of its Eastern Division from 2003 to 2013.

Douglas Paul Wiens is a Canadian statistician; he is a professor in the Department of Mathematical and Statistical Sciences at the University of Alberta.

<span class="mw-page-title-main">Ehud Hrushovski</span> Israeli mathematician (born 1959)

Ehud Hrushovski is a mathematical logician. He is a Merton Professor of Mathematical Logic at the University of Oxford and a Fellow of Merton College, Oxford. He was also Professor of Mathematics at the Hebrew University of Jerusalem.

Robin Oliver Gandy was a British mathematician and logician. He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge, where they worked together.

<span class="mw-page-title-main">Association for Symbolic Logic</span> International specialist organization

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.

Jack Lutz is an American theoretical computer scientist best known for developing the concepts of resource bounded measure and effective dimension; he has also published research on DNA computing and self-assembly. He is a professor of computer science and mathematics at Iowa State University.

<span class="mw-page-title-main">Martin Hyland</span> British mathematician

(John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science.

Michiel van Lambalgen is a professor of Logic and Cognitive Science at the Institute for Logic, Language and Computation and the Department of Philosophy, University of Amsterdam in the Netherlands.

<span class="mw-page-title-main">Verena Huber-Dyson</span> Swiss-American mathematician (1923–2016)

Verena Esther Huber-Dyson was a Swiss-American mathematician, known for her work on group theory and formal logic. She has been described as a "brilliant mathematician", who did research on the interface between algebra and logic, focusing on undecidability in group theory. At the time of her death, she was emeritus faculty in the philosophy department of the University of Calgary, Alberta.

<span class="mw-page-title-main">John Corcoran (logician)</span> American logician (1937–2021)

John Corcoran was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice.

Obligationes or disputations de obligationibus were a medieval disputation format common in the 13th and 14th centuries. Despite the name, they had nothing to do with ethics or morals but rather dealt with logical formalisms; the name comes from the fact that the participants were "obliged" to follow the rules. Typically, there were two disputants, one Opponens and one Respondens. At the start of a debate, both the disputants would agree on a ‘positum’, usually a false statement. The task of Respondens was to answer rationally to the questions from the Opponens, assuming the truth of the positum and without contradicting himself. On the opposite, the task of the Opponens was to try to force the Respondens into contradictions.

<span class="mw-page-title-main">Jouko Väänänen</span>

Jouko Antero Väänänen is a Finnish mathematical logician known for his contributions to set theory, model theory, logic and foundations of mathematics. He served as the vice-rector at the University of Helsinki, and a professor of mathematics at the University of Helsinki, as well as a professor of mathematical logic and foundations of mathematics at the University of Amsterdam. He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977 with the PhD thesis entitled "Applications of set theory to generalized quantifiers". He was elected to the Finnish Academy of Science and Letters in 2002. He served as a member of the Senate of the University of Helsinki from 2004 to 2006 and the Treasurer of the European Mathematical Society from 2007 to 2014, as well as the Treasurer of the European Set Theory Society since 2012. Jouko Väänänen received the Magnus Ehrnrooth Foundation Prize in mathematics on April 29, 2024.

<span class="mw-page-title-main">New York University Department of Philosophy</span> Division of New York University

The New York University Department of Philosophy offers B.A., M.A., and Ph.D. degrees in philosophy, as well as a minor in philosophy and a joint major in language and mind with the NYU Departments of Linguistics and Psychology. It is home to the New York Institute of Philosophy, a research center that supports multi-year projects, public lectures, conferences, and workshops in the field, as well as outreach programs to teach New York City high school students interested in philosophy.

<span class="mw-page-title-main">Lou van den Dries</span> Dutch mathematician

Laurentius Petrus Dignus "Lou" van den Dries is a Dutch mathematician working in model theory. He is a professor emeritus of mathematics at the University of Illinois Urbana-Champaign.

Philip David Welch is a British mathematician known for his contributions to logic and set theory. He is Professor of Pure Mathematics at the School of Mathematics, University of Bristol. He is currently President of the European Set Theory Society (2021) and the Coordinating Editor of the Journal of Symbolic Logic (2016), and was President of the British Logic Colloquium from 2017 to 2022.

<span class="mw-page-title-main">German Association for Mathematical Logic and for Basic Research in the Exact Sciences</span>

The German Association for Mathematical Logic and for Basic Research in the Exact Sciences is the learned society representing the interdisciplinary research area of Logic (within the disciplines of Mathematics, Philosophy, Computer Science, and Linguistics) in German-speaking countries. It was founded in 1962 by Wilhelm Ackermann, Gisbert Hasenjaeger, Hans Hermes, Jürgen von Kempski, Paul Lorenzen, Arnold Schmidt, and Kurt Schütte. Its members are researchers in Mathematical Logic, Philosophical Logic, and Theoretical Computer Science. Biannually, the DVMLG organises the Colloquium Logicum, an international research conference in logic. The DVMLG forms the National Committee for Logic, Methodology and Philosophy of Science representing the Ordinary Member Germany within the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST).

John Kenneth Truss is a mathematician and emeritus professor of pure mathematics at the University of Leeds where he specialises in mathematical logic, infinite permutation groups, homogeneous structures and model theory. Truss began his career as a junior research fellow at the University of Oxford before holding a series of academic positions and lastly joining the University of Leeds. He has written books on discrete mathematics (1991) and mathematical analysis (1997) and was co-editor in chief of the Journal of the London Mathematical Society until June 2003. He is the father of the former Prime Minister of the United Kingdom, Liz Truss.

References

  1. 1 2 3 Charity Commission for England and Wales. "THE BRITISH LOGIC COLLOQUIUM - Charity 275541". Register of Charities. GOV.UK. Retrieved 2024-04-27.
  2. ↑ "Mapping the Arts and Humanities". Mapping the Arts and Humanities. Humanities.org. Retrieved 2024-05-02.
  3. 1 2 "British Logic Colloquium: Aims". British Logic Colloquium. Retrieved 2024-04-27.
  4. ↑ "British Logic Colloquium: Activities". British Logic Colloquium. Retrieved 2024-04-27.
  5. ↑ "Internet Resources: Philosophy: Logic, Philosophy of Mathematics, Philosophy of Science". University Libraries. Virginia Tech. Retrieved 2024-05-02.
  6. ↑ "Society Information". History and Philosophy of Logic. Taylor and Francis Online. Retrieved 2024-05-02.
  7. ↑ "British Logic Colloquium: History". British Logic Colloquium. Retrieved 2024-04-27.
  8. ↑ Moschovakis and Mike Yates, Yiannis (1996). "In Memoriam: Robin Oliver Gandy, 1919-1995". The Bulletin of Symbolic Logic. 2 (3): 368. Retrieved 2024-05-02.
  9. ↑ "Notices". The Bulletin of Symbolic Logic. 21 (4): 496. 2015. Retrieved 2024-05-02.
  10. ↑ "Wilfrid Hodges". Gresham College. Gresham College. Retrieved 2024-05-02.
  11. ↑ Miller, David (1999). "Being an Absolute Skeptic". Science. 284 (5420): 1625. Retrieved 2024-05-02.
  12. ↑ "Author Profile: Mirna Džamonja". Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 364 (1849): 3182. 2006. Retrieved 2024-05-02.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.