27.07.2013 Views

Pre-supposing?

Pre-supposing?

Pre-supposing?

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Pre</strong>suppositions and Heimian semantics<br />

• PPs as preconditions<br />

• Admittance operators, e.g. ∂<br />

• Stalnaker–Heim–Veltman tradition: updates = eliminative operations<br />

on sets of sets of propositions (‘worlds’).<br />

(3) s ⊕ φ = {w : w ∈ s & w |= φ}<br />

14

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!