Pre-supposing?
Pre-supposing?
Pre-supposing?
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