Join us for a talk by Roy T. Cook (Minnesota):

"Indeterminacy and Intuitionistic Logic"

Abstract: In this paper I will present a novel semantics for indeterminacy, based loosely on the idea that indeterminacy is semantic indecision (but quite distinct from standard super-valuational semantics). We will then note that the semantics is a variant of Kripke semantics for intuitionistic logic, and use the semantics to distinguish between two kinds of indeterminacy:

(1) Shallow indeterminacy, which on the present account involves the failure of a theory T to entail a classical logic truth.

(2) Deep indeterminacy, which on the present account involves a theory T entailing a classically inconsistent formula.

I will then sketch (but not develop in detail) how the basic account can be extended to (i) vague predicates, (ii) vague singular terms, and (iii) indefinite extensibility.