Historical Development
Many papers were written in the fifties that spoke of a logic of knowledge in passing, but it was Finnish philosopher von Wright's paper An Essay in Modal Logic from 1951 that is seen as a founding document. It was not until 1962 that another Finn, Hintikka, would write Knowledge and Belief, the first book-length work to suggest using modalities to capture the semantics of knowledge rather than the alethic statements typically discussed in modal logic. This work laid much of the groundwork for the subject, but a great deal of research has taken place since that time. For example, epistemic logic has been combined recently with some ideas from dynamic logic to create public announcement logic and product update logic, which attempt to model the epistemic subtleties of conversations. The seminal works in this field are by Plaza, van Benthem, and Baltag, Moss, and Solecki.
Read more about this topic: Epistemic Modal Logic
Famous quotes containing the words historical and/or development:
“Some minds are as little logical or argumentative as nature; they can offer no reason or “guess,” but they exhibit the solemn and incontrovertible fact. If a historical question arises, they cause the tombs to be opened. Their silent and practical logic convinces the reason and the understanding at the same time. Of such sort is always the only pertinent question and the only satisfactory reply.”
—Henry David Thoreau (1817–1862)
“For decades child development experts have erroneously directed parents to sing with one voice, a unison chorus of values, politics, disciplinary and loving styles. But duets have greater harmonic possibilities and are more interesting to listen to, so long as cacophony or dissonance remains at acceptable levels.”
—Kyle D. Pruett (20th century)