Trends in Logic XIV

The Road Less Travelled: Off-Stream Applications of Formal Methods

Date: 8-11 July 2014

Venue: Faculty of Arts and Philosophy, Ghent University, Belgium

Organization: Centre for Logic and Philosophy of Science

for content matters: 

for practical matters: 


Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large. The focus of the workshop is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.

We plan three sessions with the following invited speakers:

Session 1 Applications of formal methods in philosophy
Diderik Batens, Centre for Logic and Philosophy of Science, Ghent University (Belgium)
Krister Segerberg, Uppsala University (Sweden)
Katie Steele, London School of Economics and Political Science (UK)

Session 2 Applications of formal methods in social philosophy
Gabriella Pigozzi, Université Paris-Dauphine (France)
Martin van Hees, University of Amsterdam (Netherlands)
John F. Horty, University of Maryland (USA)

Session 3 Applications of Bayesian methods in philosophy
Luc Bovens, London School of Economics and Political Science (UK)
Lara Buchak, University of California, Berkeley (USA)
Richard Pettigrew, Bristol University, (UK)


Abstract & paper submission: January 6, 2014
Acceptance notification: April 30, 2014
Commentary requests: May 16-19, 2014
Workshop: July 8-11, 2014


Students: free

Faculty: €80 (until June 8th)/ €95

Travel grants for Polish scholars

Prof. dr. hab. Grzegorz Węgrzyn, a vice-chancellor of Gdańsk University, has sponsored a certain number of travel grants for young scholars or graduate students coming from Poland, whose attendance will not be covered by any other grant. If you are eligible, please send an email at the time of your submission at  explaining your situation.

Related Events

There will be two Trends in Logic conferences in 2014. The other one, Gentzen's and Jaskowski's Heritage, is organized by Andrzej Indrzejczak and will take place in Poland.
Our Trends in Logic conference will take place in Ghent, back-to-back with two other events: HOPOS and DEON. The first one is devoted to history and philosophy of science, the second one focuses on deontic logics.