BLC Newsletter - March 2016


BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.blc-logic.org

President        Professor H Dugald MacPherson [Leeds]
Vice-President   Professor Philip Welch [Bristol]
Treasurer        Dr Charlotte Kestner [Lancashire]
Secretary        Dr Paulo Oliva [London]
                 Dr Ulrich Berger [Swansea]
                 Professor Alexandre Borovik [Manchester]
                 Professor Volker Halbach [Oxford]

** Please send any items you would like included in the next newsletter to Paulo Oliva (p.oliva@qmul.ac.uk)

Contents:
---------

1) E. W. Beth Dissertation Prize: 2016 call for nominations
2) 17th International Workshop on Logic and Computational Complexity - First Call for Papers
3) Logic Colloquium 2016: Gödel lecture and registration
4) Graduate bursaries: Plural Foundations, Leeds, 17th June

-------------------------------------------------------------------------------------

1) E. W. Beth Dissertation Prize: 2016 call for nominations

Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.info) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree awarded in 2015. 

Who qualifies.

Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2015 and December 31st, 2015. Theses must be written in English; however, the Committee accepts submissions of English translations of theses originally written in other languages, and for which a PhD was awarded in the preceding two years (i.e. between January 1st, 2013 and December 31st, 2014). There is no restriction on the nationality of the candidate or on the university where the Ph.D. was granted. 

Prize.

The prize consists of:
-a certificate
-a donation of 2500 euros provided by the E.W. Beth Foundation
-an invitation to submit the thesis (or a revised version of it) to the FoLLI Publications on Logic, Language and Information (Springer). 

How to submit. See http://www.folli.info/?page_id=213
Queries: Ian Pratt-Hartmann (ipratt@cs.man.ac.uk)

Important dates:

Deadline for Submissions: May 9th, 2016.
Notification of Decision: July 18th, 2016.
ESSLLI summer school: August 15th -- 26th, 2016

-------------------------------------------------------------------------------------

2) LCC 2016 - First Call for Papers

17th International Workshop on Logic and Computational Complexity
September 2-3, 2016, Marseille, France
collocated with CSL 2016
http://lcc2016.cs.unibo.it/

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in: implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The programme will consist of invited lectures as well as contributed talks selected by the Programme Committee.  

IMPORTANT DATES:

* submission     June 17th, 2016
* notification   July 4th, 2016
* workshop       September 2nd-3rd, 2016

PROGRAMME CHAIRS

Ugo dal Lago (Università degli Studi di Bologna)
Ian Pratt-Hartmann (University of Manchester)

INVITED SPEAKERS:

Anupam Das (Ecole Normale Supérieure de Lyon)
Hugo Férée (Technische Universität Darmstadt)
Yevgeny Kazakov (Ulm University )
Emanuel Kieroński (Wrocław University)

SUBMISSION:

We welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time.  There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings.  The Programme Committee will check relevance and may provide additional feedback.

Submissions must be in English and in the form of an abstract of about 3-4 pages.  All submissions should be made through Easychair at:

https://easychair.org/conferences/?conf=lcc2016

PROGRAMME COMMITTEE:

Clément Aubert (Appalachian State University)
Marc Bagnol (University of Ottawa)
Stéphane Demri (CNRS and ENS de Cachan)
Agi Kurucz (King's College, London)
Olivier Laurent (CNRS and ENS de Lyon)
Yavor Nenov (University of Oxford)
Aleksy Schubert (University of Warsaw)
Jakob Grue Simonsen (University of Copenhagen)
Lidia Tendera (University of Opole)

-------------------------------------------------------------------------------------

3) Logic Colloquium 2016: Gödel lecture and registration

University of Leeds
July 31st - August 6th, 2016

We are pleased to announce that Stevo Todorcevic (University of Toronto and CNRS Paris) will give the Gödel Lecture at Logic Colloquium 2016.

Registration for the conference is now open. Please visit the web page 

http://www.lc2016.leeds.ac.uk/registration.html

for details. Please note that the deadline for early registration (and guaranteed accommodation on campus) is May 15th, 2016.

Nicola Gambino (on behalf of the organizing committee)
E-mail: n.gambino@leeds.ac.uk

-------------------------------------------------------------------------------------

4) Graduate bursaries: Plural Foundations, Leeds, 17th June

Generous funding from the Analysis Trust allows us to make available a number of graduate student bursaries to offset some of the cost of travel to the Plural Foundations workshop in Leeds on 17th June. Details of this workshop are copied below.

Graduate students who wish to apply for a bursary should send a CV together with a short statement of their research topic and reasons for interest in the workshop to Jade Fletcher at ph10jf@leeds.ac.uk. We would particularly welcome applications from under-represented groups.

Enquiries about accessibility or the availability of childcare should be directed to Simon Hewitt at s.hewitt@leeds.ac.uk.

------

The systems of logic standardly used and taught in both philosophy and mathematics have quantifiers which quantify into singular nominal position. Similarly, their languages often contain devices of singular reference. They do not, however, contain plural quantifiers or the apparatus of plural reference. On the face of it, this is an expressive limitation relative to natural language. A natural question, then, concerns the potential for enriching first-order logic with plural quantification, and possibly plural reference.

The dominance of singular logic is historically recent: recognisably plural phenomena were discussed by medieval logicians. And even in the modern period there are cases of logicians taking plurals seriously, Russell's discussion of the 'class as many' and Lesniewski's system Ontology being the most prominent examples. Later in the 20th century, Max Black proposed that we might understand the claims made by set theorists in plural terms.

Recent interest in logics of plural quantification began with the work of George Boolos in the early 1980s, and has been consolidated by monographs by Oliver and Smiley (2013) and Williamson (2013). Recent and ongoing projects, notably Linnebo's 'Plurals, Predicates, and Paradox' ERC project and Boccuni's plural logicism, confirm this as an area in which current and interesting research is being conducted.

Although these logics have a wide range of applications in metaphysics and the philosophy of language, Boolos' original thought that plural quantification might be of use in the foundations of mathematics has persisted. This workshop will examine three focuses of current research in this field:

• The use of plural quantification to eliminate proper classes. This is implicit in Boolos' use of plural quantifiers to interpret second-order ZF (effectively Morse-Kelly class theory), and has more explicitly been proposed by Uzquiano.

• The relationship between pluralities and sets. We can use the language of a plural logic to state the 'naïve intuition' that any things whatsoever form a set. This intuition trivialises classically. Ought we to support logic revision in response to this (Priest)? Alternatively, Linnebo uses the naïve intuition to motivate a form of modal set theory formulated in a plural logic.

• Logicism about arithmetic. Boccuni proposes a form of logicism about arithmetic. How ought this project to be assessed? How does it relate to other versions of neo-logicism? Does it sit comfortably with the approach of Hossack, who takes numbers to be plural properties?

The workshop will appeal to both philosophers and mathematicians, as well as to logicians in other disciplines. It will be of particular interest to graduate students. The intention is to 'showcase' plural quantification logics – showing them 'in action' in the service of philosophical accounts of the foundations of mathematics. It will be suitable, then, for those unfamiliar with such logics, as well as for those engaged in research on plural logics.

Speakers

Neil Barton (Kurt Gödel Research Centre)
Francesca Boccuni (San Rafaelle)
Berta Grimau (Glasgow)
Øystein Linnebo (Oslo)

This workshop has been organised in accordance with the BPA/ SWIP guidelines.