Munich Center for Mathematical Philosophy (MCMP)
print


Breadcrumb Navigation


Content

Talk: Peter Verdée (Leuven)

Location: Ludwigstr. 31, ground floor, Room 021.

16.05.2019 18:00  – 20:00 

Title:

Exact truthmaker semantics for classical non-transitive relevance.

Abstract:

In this talk I define an exact truthmaker semantics for a relevant logic very close to classical consequence, without implicitly using forms of inexact or loose verification. In this way we point at some philosophically important links between relevance, exact semantics and classical logic.