This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.