Steven O. Kimbrough
ABSTRACT
Quotation and subsequent disquotation of propositional content sentences has been proposed for, and has some attractive features for, representing content sentences embedded in complex sentences by subordinating clauses. The meaning of and proper semantics for such representations, however, remain obscure, amid lurking worries that any such language will be inconsistent. This paper sketches an account of a semantics for quotation and disquotation. The key technical devices employed are (1) composing languages by federating two or more distinctly defined languages and (2) treating quotation as an invertible enumeration device, employed in the conventions governing use of the federated language.
- A. Abrahams. Developing and Executing Electronic Commerce Applications with Occurrences. PhD thesis, University of Cambridge Computer Laboratory, 2002.Google Scholar
- A. S. Abrahams and J. M. Bacon. A software implementation of Kimbrough's disquotation theory for representing and enforcing electronic commerce contracts. Group Decision and Negotiations Journal, 11(6):1--38, November 2002.Google Scholar
- A. S. Abrahams, D. M. Eyers, and J. M. Bacon. Practical contract storage, checking, and enforcement for business process automation. In S. O. Kimbrough and D. J. Wu, editors, Formal Modelling for Electronic Commerce, International Handbooks on Information Systems, pages 33--77. Springer, Berlin, Germany, 2004.Google Scholar
- H. K. Bhargava. A Logic Model for Model Management: An Embedded Languages Approach. PhD thesis, University of Pennsylvania, Philadelphia, PA, 1990. Available as a technical report from the Department of Operations and Information Management. Google ScholarDigital Library
- H. K. Bhargava and S. O. Kimbrough. Model management: An embedded languages approach. Decision Support Systems, 10:277--299, 1993. File: BharKimDSSDolk-final-fini. Google ScholarDigital Library
- H. K. Bhargava and S. O. Kimbrough. On embedded languages, meta-level reasoning and computer-aided modeling. In S. G. Nash and A. Sofer, editors, The Impact of Emerging Technologies on Computer Science and Operations Research, pages 27--44. Kluwer Academic Publishers, Boston, MA, 1995. ISBN 0-7923-9542-5. File: csts-94-meta-sok-hkb.Google ScholarCross Ref
- K. Bowen and R. Kowalski. Amalgamating language and meta-language in logic programming. In K. Clark and S.-A. Tarnlund, editors, Logic Programming, pages 153--172. Academic Press, 1982.Google Scholar
- B. F. Chellas. Modal Logic: An Introduction. Cambridge University Press, New York, NY, 1980.Google ScholarCross Ref
- D. Davidson. On saying that. Synthèse, 19:130--46, 1968-9.Google ScholarCross Ref
- D. Davidson. Inquiries into Truth and Interpretation, chapter On Saying That, pages 93--108. Clarendon Press, Oxford University Press, Walton Street, Oxford 0X2 6DP, United Kingdom, 1984. Originally published as {9}.Google Scholar
- E. Finegan. Language: Its Structure and Use. Harcourt Brace College Publishers, Fort Worth, TX, third edition, 1999.Google Scholar
- A. v. Gardner. An Artificial Intelligence Approach to Legal Reasoning. Artificial Intelligence and Legal Reasoning. MIT Press, Cambridge, MA, 1987. Google ScholarDigital Library
- G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, London, UK, 1968.Google Scholar
- G. E. Hughes and M. J. Cresswell. A Companion to Modal Logic. Methuen, London, UK, 1984.Google Scholar
- R. C. Jeffrey. Formal Logic: Its Scope and Limits. McGraw-Hill, New York, New York, third edition, 1991. ISBN: 0-07-032357-7.Google Scholar
- A. Jones. On the concept of trust. Decision Support Systems, 33(3):225--232, 2002. Google ScholarDigital Library
- A. J. Jones. Toward a formal theory of communication and speech acts. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, System Development Foundation Benchmark, chapter 8, pages 141--160. The MIT Press, Cambridge, Massachusetts, 1990.Google Scholar
- A. J. Jones. A logical framework. In J. Pitt, editor, Open Agent Societies: Normative Specifications in Multi-Agent Systems, chapter 3. John Wiley & Sons, Chichester, UK, 30 December 2004. ISBN: 047148668X.Google Scholar
- A. J. Jones and S. O. Kimbrough. A note on modelling speech acts as signalling conventions. In S. O. Kimbrough and D. J. Wu, editors, Formal Modelling in Electronic Commerce, International Handbooks on Information Systems, pages 325--342. Springer, Berlin, Germany, 2004. ISBN 3-540-21431-3.Google Scholar
- A. J. Jones and X. Parent. Conventional signalling acts and conversation. In F. Dignum, editor, Advances in Agent Communication, Lecture Notes in Artificial Intelligence, Volumn 2922, pages 1--17. Springer-Verlag, Berlin, Heidelberg, New York, 2004.Google Scholar
- A. J. Jones and M. J. Sergot. A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logic (IGPL), 4(3):427--443, 1996. Reprinted in {36, pages 349--367}.Google Scholar
- D. Kaplan and R. Montague. A paradox regained. Notre Dame Journal of Formal Logic, 1:79--90, 1960. Reprinted in {35}.Google ScholarCross Ref
- S. O. Kimbrough. Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content. In Proceedings of ICAIL '01, International Conference on Artificial Intelligence and Law, 2001. Google ScholarDigital Library
- S. O. Kimbrough. A note on the Good Samaritan paradox and the disquotation theory of propositional content. In J. Horty and A. J. Jones, editors, Proceedings of ΔEON'02, Sixth International Workshop on Deontic Logic in Computer Science, pages 139--148, May 2002.Google Scholar
- S. O. Kimbrough and Y.-H. Tan. On lean messaging with unfolding and unwrapping for electronic commerce. International Journal of Electronic Commerce, 5(1):83--108, 2000. Google ScholarDigital Library
- S. O. Kimbrough and Y. Yang. On representing special languages with flbc: Message markers and reference fixing in seaspeak. In S. O. Kimbrough and D. J. Wu, editors, Formal Modelling in Electronic Commerce, International Handbooks on Information Systems, pages 297--324. Springer, Berlin, Germany, 2004. ISBN 3-540-21431-3.Google Scholar
- J. L. Mackie. Problems of intentionality. In Joan and P. Mackie, editors, Logic and Knowledge: Selected Papers, Volume I, pages 102--116. Oxford University Press, Oxford, England, 1985. ISBN: 0 19 824679 X.Google Scholar
- R. Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Acta Philosophica Fennica, 16:153--67, 1963. Reprinted in {35}.Google Scholar
- S. A. Moore. Saying and Doing: Uses of Formal Languages in the Conduct of Business. PhD thesis, University of Pennsylvania, The Wharton School, Philadelphia, PA, 19104, USA, December 1993. Google ScholarDigital Library
- G. Priest and K. Tanaka. Paraconsistent logic. In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/archives/win2004/entries/logic-paraconsistent/, Winter 2004.Google Scholar
- S. Schocken and T. Finin. Meta-interpreters for rule-based inference under uncertainty. Decision Support Systems, 6(2):165--181, 1990. Google ScholarDigital Library
- J. R. Searle. Speech Acts. Cambridge University Press, Cambridge, England, 1969.Google Scholar
- J. R. Searle and D. Vanderveken. Foundations of Illocutionary Logic. Cambridge University Press, Cambridge, England, 1985.Google Scholar
- L. Sterling and E. Shapiro. The Art of Prolog: Advanced Programming Techniques. MIT Press, Cambridge, MA, second edition, 1994. Google ScholarDigital Library
- R. H. Thomason, editor. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven, CT, 1974.Google Scholar
- E. G. Valdés et al., editors. Normative Systems in Legal and Moral Theory -- Festschrift for Carlos E. Alchourrón and Eugenio Bulygin. Duncker & Humblot, Berlin, Germany, 1997.Google Scholar
- A note on interpretations for federated languages and the use of disquotation
Recommendations
Languages as libraries
PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and ImplementationProgramming language design benefits from constructs for extending the syntax and semantics of a host language. While C's string-based macros empower programmers to introduce notational shorthands, the parser-level macros of Lisp encourage ...
Languages as libraries
PLDI '11Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C's string-based macros empower programmers to introduce notational shorthands, the parser-level macros of Lisp encourage ...
Comments