Title: Wahrheit und logische Typisierung