Existential closure
id:
existential-closure-197-10840228
title:
Existential closure
text:
In formal semantics, existential closure is an operation which introduces existential quantification. It was first posited by Irene Heim in her 1982 dissertation, as part of her analysis of indefinites. In her formulation, existential closure is a form of unselective binding which binds any number of variables of any semantic type. In alternative semantics and related frameworks, the term is often applied to a closely related operation which existentially quantifies over a set of propositional a
brand slug:
wiki
category slug:
encyclopedia
description:
Operation which introduces existential quantification
original url:
https://en.wikipedia.org/wiki/Existential_closure
date created:
date modified:
2023-12-28T12:34:43Z
main entity:
{"identifier":"Q105615241","url":"https://www.wikidata.org/entity/Q105615241"}
image:
fields total:
13
integrity:
14