The Logic of Knowledge
March 2, 2010
Bailey Hall 201
Refreshments will be served at 3:45 in Bailey Hall 204
Everyday logic is fine for stating and manipulating sentences like "If it is snowing, then it is cloudy," or "Every positive integer has a unique prime factorization." It is not so good if we want to work with sentences that involve knowledge, such as, "Alice knows that it is cloudy," or, more elaborately, "Alice knows that Bob knows that Alice stole Carl's lawnmower, she knows that Bob knows that she knows he cheated on his taxes, and she also knows that Bob knows that she knows he is the only person who knows she stole Carl's lawnmower" in which case she can be fairly confident that Bob won't tell Carl about the lawnmower, for fear of retaliation. We will look at epistemic logic, which is capable of capturing and reasoning about such statements. We will also look at how communication affects knowledge, and the peculiar fact that communication can in strange circumstances result in a loss of knowledge.
|Union College Math Department Home Page|
Comments to: email@example.com
Created automatically on: Sun Sep 23 23:29:15 EDT 2018