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:
Philosophy Department (primary), UConn Logic Group Colloquium, UConn Master Calendar