University of Connecticut

Events Calendar

Roy T. Cook (UMN): Indeterminacy and Intuitionistic Logic

Monday, November 12, 2018
3:30pm – 5:30pm

Storrs Campus
Manchester Hall, basement lounge

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.


Philosophy Department (primary), UConn Logic Group Colloquium, UConn Master Calendar

Control Panel