British Logic Colloquium

Aims

The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields. Its constitution can be found here.

Activities

The BLC sponsors large international meetings (e.g. the Logic Colloquia [European meetings of the ASL held in Leeds (1997), Keele (1993), Hull (1986), Manchester (1984), Leeds (1979)). It also supports occasional smaller logic meetings. Proceedings of BLC-supported meetings have been published for many years and form an important record of the research activities and development of Logic in the UK. For details of these meetings, see here. The BLC organizes a national logic meeting each year with both invited and contributed talks in all areas of logic. For more details about these meetings, see here.

The BLC has three representatives on the British National Committee for Logic, Methodology and Philosophy of Science, the national body responsible for communication with the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science. Details of the committee and of the LMPS are available at the BLC members-area website.

A one-page summary of the aims and activies of the BLC can be found here.

Grants

Various kinds of financial support are offered to encourage logic meetings, visits by logicians from overseas and research visits within the UK by young logicians. Applicants for such support should consult the appropriate guidelines.

Membership

Membership is free to PhD students; otherwise, the annual subscription is 10 pounds p.a. Application forms are available here. The form includes a standing order mandate. A modified standing order form for those members who need to pay 5 pounds for 2009 and 10 pounds from 2010 onwards is also available.

The BLC distributes to members a newsletter by electronic mail, giving information about forthcoming meetings and conferences, and other news of interest to logicians. For past newsletters, see here..

Information for members

Special information for members, including discounts for selected books and journals published by OUP and Taylor & Francis can be found here

History

The BLC grew out of fairly regular meetings of British logicians, first organized by Professor A. N. Prior in the 1950s. The first steps towards formal organization were taken at a meeting in Leicester in 1965. The BLC was formally constituted in 1977, and registered as a charity in 1978. Dr Robin Gandy was the first President; he was succeeded by Professors John Shepherdson, Wilfrid Hodges, Stan Wainer and Jeff Paris. It is managed by a Committee.

Other logic (and logic-related) meetings in the UK and elsewhere

For a list of such meetings, see here .

Recent PhD theses in Logic

For a list with abstracts, see here..

Publications sponsored by the BLC

This section contains links to books co-authored by members of the British Logic Colloquium. In some cases they are available at a discount for members. For more details, see the members page.

Other related publications