Thanks for stopping by. I take it that you're asking about the definition of knowledge found in my post On the logic of knowing:
M, s ╞ Kiφ iff for all t ~ i s : M, t ╞ φ
I wrote the post some time ago, but I believe the above formulation is actually taken from Johan van Benthem's paper "Epistemic Logic and Epistemology: the state of their affairs", though he gets it from Hintikka. Bibliographic details allude me now, but you may wish to check out van Benthem's paper.
Hi Avery
ReplyDeleteI just found your snip about Hintikka from this March, I would be interested in the source where he has written that.
Generally I find your blog great, and of course I disagree sometimes ;)
thus, see you later
Thanks
Klaus
Hey Klaus,
ReplyDeleteThanks for stopping by. I take it that you're asking about the definition of knowledge found in my post On the logic of knowing:
M, s ╞ Kiφ iff for all t ~ i s : M, t ╞ φ
I wrote the post some time ago, but I believe the above formulation is actually taken from Johan van Benthem's paper "Epistemic Logic and Epistemology: the state of their affairs", though he gets it from Hintikka. Bibliographic details allude me now, but you may wish to check out van Benthem's paper.
Best!