CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part I: Syntax & Formal Semantics of CANDID

  • Ronald M. Lee
Part of the International Handbooks on Information Systems book series (INFOSYS)


The formal language CANDID is presented as a knowledge representation formalism for artificially intelligent decision support systems. The language is specifically oriented to representation of concepts in finance, commerce and administration. Later parts of the paper demonstrate the application of CANDID to explication of corporate entities and contractual objects, as well as to various concepts in elementary finance.


Object Language Formal Semantic Lower Case Letter Character String Semantic Rule 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [CK73]
    C.C. Chang and H.J. Keisler, Model theory, A. Heyting, et al. (eds.) Studies in Logic and The Foundations of Mathematics, vol. 73, North-Holland and American Elsevier Publishing Co. Inc., Amsterdam and New York, NY, 1973.Google Scholar
  2. [Cre73]
    M.J. Cresswell, Logics and languages, Nethuen & Co. Ltd., London, UK, 1973.Google Scholar
  3. [Dow78]
    D.R. Dowty, A guide to Montague’s PTQ, Indiana University Linguistics Club, 1978.Google Scholar
  4. [Fre93]
    Gottlob Frege, Grundgesetze der arithmetik, Verlag Hermann Pohle, Jena, Germany, 1893, Partial translation as The Basic Laws of Arithmetic by M. Furth, Berkeley: U. of California Press, 1964.Google Scholar
  5. [KMM80]
    D. Kalish, R. Montague, and G. Mar, Logic: Techniques of formal reasoning, second edition ed., Harcourt Brace Jovanovich, Inc., New York, 1980.Google Scholar
  6. [Kri63]
    S. Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica, Modal and Many-Valued Logics (1963), 83–94.Google Scholar
  7. [Lee80]
    Ronald M. Lee, CANDID: a logical calculus for describing financial contracts, Ph.D. thesis, The Wharton School, University of Pennsylvania, Philadelphia, PA, 1980, Available as WP-80-06-02, Department of Operations and Information Management (née Decision Sciences).Google Scholar
  8. [Mon02]
    Richard Montague, The proper treatment of quantification in ordinary English, Formal Semantics: The Essential Readings (Barbara H. Partee Paul Portner, ed.), Blackwell Publishers, 2002, pp. 17–34.Google Scholar
  9. [Res75]
    N. Rescher, A theory of possibility, University of Pittsburgh Press, 1975.Google Scholar
  10. [RU71]
    N. Rescher and A. Urquhart, Temporal logic, Springer-Verlag, 1971.Google Scholar
  11. [vF71]
    B.C. van Fraasen, Formal semantics and logic, Macmillan, 1971.Google Scholar
  12. [VW65]
    G.H. Von Wright, And next, Acta Philosophica Fennica Fasc. XVIII (1965), 293–301.Google Scholar
  13. [VW67]
    —, The logic of action — a sketch, The Logic of Decision and Action (N. Rescher, ed.), University of Pittsburgh Press, 1967, pp. 121–136.Google Scholar
  14. [VW68]
    —, An essay in deontic logic and the general theory of action, Acta Philosophica Fennica Fasc. XXI (1968).Google Scholar
  15. [Wit21]
    Ludwig Wittgenstein, Tractatus logico-philosophicus, Routledge and Keegan Paul, 1921, English translation by D.F. Pears & B.F. McGuinness, 1961.Google Scholar
  16. [Wit58]
    —, Philosophical investigations, third ed., Macmillan, New York, NY, 1953/1958, Translated by G.E.M. Anscombe.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Ronald M. Lee
    • 1
  1. 1.Florida International University (FIU)MiamiUSA

Personalised recommendations