The Computer
Science Colloquium
Thursday, February 1, 4:15pm,
room 9204/9205
Sergei Artemov
(Graduate Center, CUNY)
"Formalizing Plato's Theory of Knowledge"
Celebrated Plato's definition specifies knowledge as justified
true belief. We study this definition within a framework of recently
developed Justification Logic. It turns out that in this theory
knowledge can be reduced to justifications and vice versa. As a
demonstration of the new methods we provide a formal analysis of Gettier
examples in epistemology.
A joint meeting with the New York
Logic Colloquium
The Colloquium is supported by generous contributions from
the Bloomberg, Information Builders, Inc., and Netlogic,
Inc.
|
