David Lewis and the Future of Formal Methods

SYNTHESE ANNUAL CONFERENCE


Synthese - An International Journal for Epistemology, Logic and Philosophy of Science hosts its first annual conference at the Carlsberg Academy in Copenhagen, October 3- 5 , 2007. The conference is sponsored by PHIS - The Danish Research School in Philosophy, History of Ideas and History of Science and Springer.

Title / Between Logic and Intuition: David Lewis and the Future of Formal Methods in Philosophy

Abstract / David Lewis is one of the most important figures in contemporary philosophy. His approach balances elegantly between the use of rigorous formal methods and sound philosophical intuitions. The benefit of such an approach is reflected in the substantial impact his philosophical insights have had not only in many core areas of philosophy, but also in neighboring disciplines ranging from computer science to game theory and linguistics. The interplay between logic and intuition to obtain results of both philosophical and interdisciplinary importance makes Lewis' work a prime example of formal philosophy. Lewis' work exemplifies the fruitful interplay between logic and intuition that is central to contemporary philosophy. This conference serves as a tribute to Lewis and as a venue for adressing questions concerning the relationship between logic and philosophical intuition. This first Synthese Annual Conference is the venue for discussing the future of formal methods in philosophy.

Invited Speakers / John Collins, Hannes Leitgeb, Rohit Parikh, L.A. Paul, Brian Weatherson

Program Committee and Conference Chairs / Johan van Benthem, Vincent F. Hendricks, John Symons (SYNTHESE) , Stig Andur Pedersen (PHIS)

Conference Manager / Pelle Guldborg Hansen

Call for papers / Synthese invites papers on the work of David Lewis and formal philosophy in accordance with the conference abstract. The final papers should be sent electronically to Editor-in-Chief, Vincent F. Hendricks at vincent@ruc.dk, using "SAC"-submission in the subject entry. The deadline for submitting a paper for consideration is April 1, 2007. Notification of acceptance for presentation at the conference is August 1, 2007.

Publication / A selection of the best papers will be published as an anthology in the Synthese Library book series.

Website Link