Event Detail

Philosophical logic is often seen as the sole guardian of the interface of logic and philosophy. But classical results from mathematical logic also play a major role. We illustrate this for the case of the Beth Definability Theorem and the Craig Interpolation Theorem, and how these have occurred since the 1950s in different areas, from philosophy of science to epistemology, metaphysics, and philosophy of language. Reflecting on this encounter, we point out new results and issues, including connections with situation theory, logics of (in-)dependence, and translations between formal systems.