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.

Contact:

marcus.rossberg@uconn.edu

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

Control Panel