Trends in Logic XIV. The Road Less Travelled - Off-stream applications of formal methods

July 8, 2014 - July 11, 2014
Centre for Logic and Philosophy of Science, University of Ghent

Blandijnberg 2
Gent 900

View the Call For Papers


  • Fonds Wetenschappelijk Onderzoek - Vlaanderen, Belgium
  • Social Sciences and Humanities Research Council, Canada
  • University of Gdansk, Poland


Diderik Batens
Luc Bovens
London School of Economics
Lara Buchak
University of California, Berkeley
John F. Horty
University of Maryland, College Park
Richard Pettigrew
University of Bristol (UK)
Gabriella Pigozzi
Universite Paris-Dauphine (France)
Krister Segerberg
Uppsala University (Sweden)
Katie Steele
London School of Economics
Martin van Hees
University of Amsterdam


Inge De Bal
University of Ghent
Gillman Payette
Dalhousie University
Agnieszka Rostalska
University of Ghent
Rafal Urbaniak
University of Gdańsk
Erik Weber
University of Ghent

Topic areas

Talks at this conference

Add a talk


Trends in Logic XIV

Entia et NominA workshop

Ghent University, Belgium, July 8-11, 2014

The Road Less Travelled

Off-stream applications of formal methods


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, Universite 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)


Authors of contributed papers are asked to submit extended abstracts and full papers, prepared for blind-review by January 6, 2014. Extended abstracts should be no more than 2000 words. Authors of accepted papers will have 30-60 minutes to present their work, depending on the length of their papers. Each paper will be followed by two commentaries from other participants. Accepted participants might be asked to comment on at least one talk. 5-10 minute commentaries will be followed by 10-15 minutes of discussion. All accepted papers will be made available to the participants ahead of the conference.

More details

[email protected]

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.