Trends in Logic XIV
Entia et Nomina workshop
Ghent University, Belgium, July 8-11, 2014
http://m-phi.blogspot.com.br/2013/10/cfp-trends-in-logic-xiv-off-stream.html

The Road Less Travelled
Off-stream applications of formal methods

Theme

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)

Format

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.
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a