Dette elementet gir en grundig innføring i nyere arbeid med bevis og modeller innen filosofisk logikk, med spesiell vekt på de semantiske paradokser, særlig sorites-paradokset. Boken presenterer og begrunner forskjellige bevissystemer, samt ulike typer modeller for et bredt spekter av logikker, inkludert klassisk logikk, intuitionistisk logikk, samt en rekke tre- og fireverdige logikker og substrukturelle logikker. Den sammenligner og kontrasterer ulike tilnærminger til substrukturell behandling av paradokser, og viser hvordan de strukturelle reglene for kontraksjon, kutting og identitet er involvert i paradoksale utledninger. Videre introduseres modellerteoretiske behandlinger av paradoksene, inkludert en enkel konstruksjon av fastpunktmodeller som genererer treverdige modeller for sannhetsteorier, noe som kan gi modeller for flere forskjellige ikke-klassiske logikker. Elementet avsluttes med en diskusjon om forholdet mellom bevis og modeller, og argumenterer for at begge har sin plass i verktøykassen til filosofer og logikere.
