Logic List Mailing Archive

"Practive-based philosophy of logic and mathematics"

31 Aug - 2 Sep 2009
Amsterdam, The Netherlands

WORKSHOP: Practice-based philosophy of logic and mathematics
ILLC -- Amsterdam, August 31st to September 2nd 2009

http://www.illc.uva.nl/pplm/

Traditionally, the philosophy of logic pays little attention to the actual
practices of logicians. This is somewhat surprising, as the works of
several influential authors have shown the relevancy of attending to
actual scientific practices within the philosophy of the empirical
sciences as well as the philosophy of mathematics. But there is no hint of
a similar 'practical' turn in the philosophy of logic.

The workshop is intended to enable philosophers, logicians and
mathematicians to discuss the fruitfulness and viability of a
practice-based approach to logic. Within the philosophy of mathematics
this approach already has a certain standing, so practice-based philosophy
of mathematics can serve as a starting point for the development of a
practice-based philosophy of logic. We hope to offer a novel vantage point
into what is after all an essentially human and social activity, the
practice of logic. What do logicians do? How do they conduct their
researches, individually and within the scientific community? How do they
communicate with each other? Answers to these questions may offer new
insights into the most fundamental issues that the philosophy of logic
must address.

Confirmed speakers

Juliet Floyd (Philosophy - Boston University)

Rohit Parikh (Philosophy and Computer Science - City University of New York
)

Benedikt Lwe (ILLC - University of Amsterdam)

Martin Stokhof (Philosophy and ILLC - University of Amsterdam)

Wilfrid Hodges (Mathematics - University of London)

Samson Abramsky (Computer Science - Oxford University)

Jean Paul van Bendegem (Philosophy - Free University Brussels)

Thomas Mller (Philosophy - Utrecht University)

Gran Sundholm (Philosophy - Leiden University)

Mathieu Marion (Philosophy - University of Quebec - Montreal)

Johan van Benthem (ILLC - University of Amsterdam)

Catarina Dutilh Novaes (Philosophy and ILLC - University of Amsterdam)

Call for papers

Although the workshop will feature primarily invited speakers, there will
be about four slots for contributed papers. We are looking for papers
presenting a discussion of a particular issue in the philosophy of logic
from the viewpoint of the actual practices of logicians, in particular how
attention to such practices sheds new light on the issue in question.
Papers on practice-based philosophy of mathematics are also welcome,
provided that they clearly indicate how the insights presented in the
paper can contribute to the development of a practice-based philosophy of
logic.

Please send a two-page abstract to C.Dutilhnovaes [youknowwhat] uva.nl

Dates

First call for papers: 20 October 2008
Second call for papers:  10 January 2009
Submission deadline: 1 March 2009
Notification of acceptance: 1 April 2009
Workshop: 31 August to 2 September 2009


Scientific committee: Catarina Dutilh Novaes, Martin Stokhof, Benedikt L
we