The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic makes to philosophical progress, both by the application of formal methods to traditional philosophical problems and by opening up new avenues of inquiry as philosophers sort out the implications of new and often surprising technical results. Contributions include new technical results rich with philosophical significance for contemporary metaphysics, attempts to diagnose the philosophical significance of some recent technical results, philosophically motivated proposals for new approaches to negation, investigations in the history and philosophy of logic, and contributions to epistemology and philosophy of science that make essential use of logical techniques and results. Where the work is formal, the motives are obviously philosophical, not merely mathematical. Where the work is less formal, it is deeply informed by the relevant formal material. The volume includes contributions from some of the most interesting philosophers now working in philosophical logic, philosophy of logic, epistemology and metaphysics.

Impressive list of contributors from many parts of the world

Externalism, Anti-Realism, and the KK-Thesis.- Choice Principles in Intuitionistic Set Theory.- Assertion, Proof, and the Axiom of Choice.- Montague's Modal Completeness Theorem of 1955.- On the Rational Reconstruction of Our Theoretical Knowledge.- Do We have the Right Limitative Theorems?.- Empirical Negation in Intuitionistic Logic.- Negation's Holiday: Aspectival Dialetheism.- Monism: The One True Logic.