Discussion:
  1. [deleted]Information Dynamics and Uniform Substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2013 - Synthese (S1):1-25.
    The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
Back    All discussions

2013-07-11
to make the difference between a world before and after the learning act

Your article is very interesting.

In the same spirit I propose a more modal formalism to speak about "true announcements" and "learning" : http://philpapers.org/rec/MARFPS

This representation allow to make the difference between a world before and after the learning act. Then it becomes easier to deal with expression about knowledge and learning.