Trends in Logic XIV: The Road Less Travelled Off-stream applications of formal methods
Entia et NominA workshop
Ghent University, Belgium, July 8-11, 2014
trendsinlogic2014@gmail.com
Theme
Logicians have devoted considerable e ort 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…
View original post 626 more words
Leave a Reply