Philosophy of Mathematics seminar

Stephen Yablo, MIT

How and Why to be Logically Non-Omniscient 

Some ideas from aboutness theory are applied to the problem of logical omniscience.