Skip to main content
SpringerLink
Log in

Active Agents

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

The purpose of this survey is twofold: (1) to place some centralthemes of epistemic logic in a general epistemological context,and (2) to outline a new framework for epistemic logic developedjointly with S. Andur Pedersen unifying some key ``mainstream''epistemological concerns with the ``formal'' epistemologicalapparatus.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Arló-Costa, H., 1998, “Qualitative and probabilistic models of full belief,” pp. 25–43 in Proceedings of Logic Colloquim'98, S. Buss, P. Hajék, and R. Pudlák, eds., Lecture Notes on Logic, Vol. 13, A.K. Peters, ASL.

  • Baltag, A., Moss, L.S., and Solecki, S., 1999, “The logic of public annoucement and common knowledge,” pp. 43–56 in Proceedings of TARK 1998, I. Gilboa, ed., San Mateo, CA: Morgan Kaufmann.

    Google Scholar 

  • Bonjour, L., 1976, “The coherence theory of empirical knowledge,” Philosophical Studies 30, 281–312. Reprinted as pp. 70–89 in Contemporary Readings in Epistemology, M.F. Goodman and R.A. Snyder, eds., Englewood Cliffs, NJ: Prentice Hall.

    Google Scholar 

  • Boyd, R., 1984, “The current state of scientific realism,” pp. 41–82 in Scientific Realism, J. Leplin, ed., Berkeley, CA: University of California Press.

    Google Scholar 

  • Braüner, T., Hasle, P., and Øhrstrøm, P., 1998, “Determinism and the origins of temporal logic,” pp. 116–133 in Proceedings of the Second International Conference on Temporal Logic, H. Barringer, M. Fisher, D. Gabbay, and G. Gough, eds., Applied Logic Series. Dordrecht: Kluwer Academic Publishers.

    Google Scholar 

  • Ditmarch, H.v., van der Hoek, W., and Kooi, B., 2003, “On epistemic action languages,” in Knowledge Contributors, V.F. Hendricks, S.A. Pedersen, and K.F. Jørgensen, eds., Dordrecht: Kluwer Academic Publishers, forthcoming.

    Google Scholar 

  • Dretske, F., 1970, “Epistemic operators,” The Journal of Philosophy 67, 1007–1022.

    Google Scholar 

  • Earman, J., 1992, Bayes or Bust? A Critical Examination of Bayesian Confirmation Theory, Cambridge, MA: MIT Press.

    Google Scholar 

  • Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press.

    Google Scholar 

  • Fagin, R., Halpern, J.Y., Moses, Y. and Vardi, M.Y., 1996, “Common knowledge revisited,” Annals of Pure and Applied Logic 96, 89–105.

    Google Scholar 

  • Fitting, M., 1983, “Moore's non-monotonic logic and S5,” CUNY.

  • Gettier, E., 1963, “Is knowledge justified true relief?,” Analysis 23, 121–123.

    Google Scholar 

  • Gochet, P. and Gribomont, P., 2003, “Epistemic logic,” in Handbook of the History and Philosophy of Logic, D.M. Gabbay and J. Woods, eds., Amsterdam: Elsevier, to appear.

    Google Scholar 

  • Gold, E.M., 1967, “Language identification in the limit,” Information and Control 10, 447–474.

    Google Scholar 

  • Goldman, A., 1979, “What is justified true belief,” pp. 1–23 in Justification and Knowledge, G.S. Pappas, ed., Dordrecht: D. Reidel.

    Google Scholar 

  • Goldman, A., 1986, Epistemology and Cognition, Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Goldman, A., 1992, “Epistemic folkways and scientific epistemology,” pp. 155–175 in Liaisons: Philosophy Meets Cognitive and Social Sciences, A. Goldman, ed., Cambridge, MA: MIT Press.

    Google Scholar 

  • Hendricks, V.F., 2001, The Convergenc of Scientific Knowledge – A View from the Limit, Studia Logica Library Series: Trends in Logic, Vol. 9, Dordrecht: Kluwer Academic Publishers.

    Google Scholar 

  • Hendricks, V.F., 2002, “Active agents,” ΦNEWS 2, 5–39.

    Google Scholar 

  • Hendricks, V.F., 2003, FORCING Epistemology, to appear.

  • Hendricks, V.F. and Pedersen, S.A., 1998, “Assessment and discovery in the limit scientific inquiry,” in Philosophical Dimensions of the Unity of Science – Proceedings of the XI International Congress on Logic, Methodology and the Philosophy of Science, J. Cachro, S. Hanuszewicz, G. Kurczewski, and A. Rojszczak, eds., Dordrecht: Kluwer Academic Publishers, to appear.

    Google Scholar 

  • Hendricks, V.F. and Pedersen, S.A., 2000a, “KK-ing diachronically,” presented at LC2000 – European Congress of the Association of Symbolic Logic, Paris, France, July 23–31, 2000.

  • Hendricks, V.F. and Pedersen, S.A., 2000b, “The companion to modal operator theory – A program in philosophy online,” Department of Philosophy and Science Studies, Roskilde University, Denmark, http://www.mot.ruc.dk

    Google Scholar 

  • Hendricks, V.F. and Pedersen, S.A., 2004, Operators in Philosophy of Science, in preparation.

  • Hendricks, V.F., Pedersen, S.A. and Jørgensen, K.F., eds., 2003, Knowledge Contributors, Synthese Library Series (special volume), Dordrecht: Kluwer Academic Publishers, forthcoming.

    Google Scholar 

  • Hintikka, J., 1962, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell: Cornell University Press.

    Google Scholar 

  • Hintikka, J., 2003, “A second generation epistemic logic and its general significance,” in Knowledge Contributors, V.F. Hendricks, S.A. Pedersen, and K.F. Jørgensen, eds., Dordrecht: Kluwer Academic Publishers, forthcoming.

    Google Scholar 

  • Hintikka, J. and Halonen, I., 1998, “Epistemic logic,” Routledge Encyclopedia of Philosophy, Volume 1, London: Routledge.

    Google Scholar 

  • Hintikka, J. and Hintikka, M., 1988, The Logic of Epistemology and the Epistemology of Logic: Selected Essays, Dordrecht: Kluwer Academic Publishers.

    Google Scholar 

  • Howson, C. and Urbach, P., 1989, Scientific Reasoning: The Bayesian Approach, La Salle, IL: Open Court.

    Google Scholar 

  • James, W., 1960, “The will to believe,” Essays in Pragmatism, Hafner Publishing Company.

  • Kelly, K., 1996, The Logic of Reliable Inquiry, New York: Oxford University Press.

    Google Scholar 

  • Kelly, K., Schulte, O., and Hendricks, V.F., 1996, “Reliable belief revision,” pp. 157–175 in Logic, Methodology, and Philosophy of Science X, M.L.D. Chiara, ed., Dordrecht: Kluwer Academic Publishers.

    Google Scholar 

  • Lenzen, W., 1978, “Recent work in epistemic logic,” Acta Philosophica Fennica 30, 1–219.

    Google Scholar 

  • Lenzen, W., 2003, “Knowledge, belief, and subjective probability – Outlines of a unified system of epistemic/doxastic logic,” in Knowledge Contributors, V.F. Hendricks, S.A. Pedersen, and K.F. Jørgensen, eds., Dordrecht: Kluwer Academic Publishers, forthcoming.

    Google Scholar 

  • Levi, I., 1997, “The logic of full belief,” pp. 40–69 in The Covenant of Reason: Rationality and the Commitments of Thought, A.K. Peters, ed., Cambridge: Cambridge University Press.

    Google Scholar 

  • Lewis, D., 1996, “Elusive knowledge,” Australasian Journal of Philosophy 7, 549–567.

    Google Scholar 

  • Malcolm, N., 1952, “Knowledge and belief,” Mind LXI, 242. Reprinted as pp. 272–279 in Contemporary Readings in Epistemology, M.F. Goodman and R.A. Snyder, eds., Englewood Cliffs, NJ: Prentice Hall (1993).

    Google Scholar 

  • Martin, E. and Osherson, D., 1998, Elements of Scientific Inquiry, Cambridge, MA: MIT Press.

    Google Scholar 

  • Meyer, J.-J.Ch. and van der Hoek, W., 1995, Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science, Cambridge: Cambridge University Press.

    Google Scholar 

  • Moore, R.C., 1995, Logic and Represenation, CSLI Lecture Notes, Vol. 39, Stanford, CA: CSLI.

    Google Scholar 

  • Nozick, R., 1981, Philosophical Explanations, Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Nozick, R., 1993, The Nature of Rationality, Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Peirce, C.S., 1958, Charles S. Peirce: Selected Writings, P. Wiener, ed., New York: Dover Publications.

    Google Scholar 

  • Rott, H., 2003, “Interpreting belief revision: What is ‘economic’ in the theory of belief change,” in Knowledge Contributors, V.F. Hendricks, S.A. Pedersen, and K.F. Jørgensen, eds., Dordrecht: Kluwer Academic Publishers, forthcoming.

    Google Scholar 

  • Sankey, H., 1999, “A realist approach to method and truth,” Lecture delivered to the Department of Philosophy and Science Studies, Roskilde University, Denmark, May 14.

    Google Scholar 

  • Scott, D., 1970, “Advice on modal logic,” pp. 143–173 in Philosophical Problems in Logic, K. Lambert, ed., Dordrecht: D. Reidel.

    Google Scholar 

  • Segerberg, K., 2003, “Two attempts at deconstructing epistemic logic,” in Knowledge Contributors, V.F. Hendricks, S.A. Pedersen, and K.F. Jørgensen, eds., Dordrecht: Kluwer Academic Publishers, forthcoming.

    Google Scholar 

  • Sowa, J.F., 2000, Knowledge Representation: Logical, Philosophical, and Computational Foundations, Pacific Grove, CA: Brooks/Cole.

    Google Scholar 

  • Sowa, J.F., 2003, “Laws, facts, and contexts: Foundations for multimodal reasoning,” in Knowledge Contributors, V.F. Hendricks, S.A. Pedersen, and K.F. Jørgensen, eds., Dordrecht: Kluwer Academic Publishers, forthcoming.

    Google Scholar 

  • Stalnaker, R., 1996, “Knowledge, belief and counterfactual reasoning in games,” Economics and Philosophy 12, 133–163.

    Google Scholar 

  • van Fraassen, B., 1980, The Scientific Image, New York: Oxford University Press.

    Google Scholar 

  • Wójcicki, R., 2003, “Referential semantics,” in Knowledge Contributors, V.F. Hendricks, S.A. Pedersen, and K.F. Jørgensen, eds., Dordrecht: Kluwer Academic Publishers, forthcoming.

    Google Scholar 

  • Zanardo, A., 1996, “Branching-time logic with quantification over branches: The point of view of modal logic,” Journal of Symbolic Logic 61, 1–39.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy and Science Studies, Roskilde University, P.O. Box 260, DK-4000, Roskilde, Denmark

    Vincent F. Hendricks

Authors
  1. Vincent F. Hendricks
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hendricks, V.F. Active Agents. Journal of Logic, Language and Information 12, 469–495 (2003). https://doi.org/10.1023/A:1025059002654

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1025059002654

Search

Navigation