Abstract
We consider dialogues over both specific and general Kripke structures where individuals convey and acquire knowledge through statements. We show that conventional ‘proofs’ of the existence of knowledge actually correspond to optimal strategies (which may not occur when real individuals talk). Sometimes these optimal, (and hence all) strategies need to be transfinite in that knowledge can only be acquired at some infinite ordinal. However, the situation changes sharply when we consider dialogues geared not to acquiring knowledge but to taking a justified risk.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Article Note
“But how does he know where and how he is to look up the word ‘red’ and what he is to do with the word ‘five’ ?” Well, I assume he acts as I have described. Explanations come to an end somewhere. Ludwig Wittgenstein
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Chandy and J. Misra, How Processes Learn, Proceedings of 4th ACM Conference on Principles of Distributed Computing (1985) pp 204–214.
H. H. Clark and C. R. Marshall, Definite Reference and Mutual Knowledge, in Elements of Discourse Understanding, Ed. Joshi, Webber and Sag, Cambridge U. Press, 1981.
P. Emde Boas, J. Groenendijk and M. Stockhof, “The Conway paradox: its solu-tion in an epistemic framework” in J. Groenendijk, T.M.V. Janssen & M. Stokhof (eds.) Truth, Interpretation and Information, selected papers from the third Amsterdam Colloquium, Foris Publications, Groningen, Amsterdam studies in semantics (GRASS 2), Dordrecht 1984, pp 159–182. (appeared originally in J.A.G. Groenendijk, T.M.V. Janssen & M.B.J. Stokhof Formal methods in the study of language Mathematical Center Tracts 135, Amsterdam 1981, pp. 87–111.).
J. Halpern and Y. Moses, Knowledge and Commmon Knowledge in a Distributed Environment, Proc. 3rd ACM Symposium on Distributed Computing 1984 pp. 50–61.
D. Lewis, Convention, a Philosophical Study, Harvard U. Press, 1969.
J. E. Littlewood, A Mathematician’s Miscellany, Methuen and company, 1953.
Y. Moschovakis, Descriptive Set Theory, North-Holland 1980.
R. Parikh, Logics of Knowledge, Games and Dynamic Logic, FST-TCS 1984, Springer LNCS 181, pp. 202–222.
R. Parikh, Levels of Knowledge in Distributed Computing, IEEE LICS Symposium, 1986, pp. 314–321.
R. Parikh and P. Krasucki, “Communication, Consensus and Knowledge”, J. Economic Theory, 52 (1990), pp. 178–189.
R. Parikh and R. Ramanujam, Distributed Processes and the Logic of Knowledge, Logics of Programs, Springer Lecture Notes in Computer Science, 193, (1985), pp. 256–268.
J. Plaza, “Logics of Public Communications”, Proceedings of the fourth International Symposium on the Methodology of Intelligent Systems, poster session, Oak Ridge National Laboratory, 1989, pp. 201–216.
S. Schiffer, Meaning, Oxford U. Press, 1972.
C. Spector, “Recursive Well Orderings”, J. Symbolic Logic 20 (1955), 151–163.
C. Spector, “Hyperarithmetical Quantifiers”, Fundamenta Mathematica 48 (1959) pp. 313–320.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag New York, Inc
About this paper
Cite this paper
Parikh, R. (1992). Finite and Infinite Dialogues. In: Moschovakis, Y.N. (eds) Logic from Computer Science. Mathematical Sciences Research Institute Publications, vol 21. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-2822-6_18
Download citation
DOI: https://doi.org/10.1007/978-1-4612-2822-6_18
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-7685-2
Online ISBN: 978-1-4612-2822-6
eBook Packages: Springer Book Archive