Skip to main content
SpringerLink
Log in

Structured meanings and reflexive domains

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper is about the most important technical problem faced by Structured Meanings Semantics: the reiteration of hyperintensional functors (i.e., functors of Θ-categorial languages of the sort defined by Max Cresswell in [6]). A way to solve this problem in a general and natural way by using Scott's Domains is both suggested and shown. The result is a semantics which unrestrictedly allows reiterations of hyperintensional functors. The semantics is also extended to accommodate Θ-categorial languages with variables.

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

  1. H.P. Barendreght, The Lambda Calculus: Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, vol. 103, North-Holland, 1981.

  2. J.C. Bigelow, Semantics of Thinking, Saying and Translation, in M. Guenthner-Reutter and F. Guenthner (eds.), Meaning and translation: Philosophical and linguistic Approachs, London, Duckworth, 1978, pp. 109–135.

    Google Scholar 

  3. J.C. Bigelow, Believing in Semantics, Linguistics and Philosophy 2 (1978), pp. 101–144.

    Google Scholar 

  4. R. Carnap, Meaning and Necessity: A Study in Semantics and Modal Logic, Chicago, The University of Chicago Press, First edition 1947 (Second edition 1956).

    Google Scholar 

  5. M.J. Cresswell, Logics and Languages, London, Methuen, 1973.

    Google Scholar 

  6. M.J. Cresswell, Hyperintensional Logic, Studia Logica 34 (1975), pp. 25–38.

    Google Scholar 

  7. M.J. Cresswell, Structured Meanings: The Semantics of Propositional Attitudes, Cambridge, Mass., M.I.T. Press, 1985.

    Google Scholar 

  8. D. Lewis, General Semantics, Synthese 22 (1970), pp. 18–67.

    Google Scholar 

  9. L.E. Sanchis, Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus, The Journal of Symbolic Logic 52 (1987), pp. 243–275.

    Google Scholar 

  10. D. Scott, Continuous Lattices, in F.W. Lawere (ed.), Toposes, algebraic geometry and logic, Lecture Notes in Mathematics, vol. 274, Springer-Verlag, 1972, pp. 97–136.

  11. D. Scott, Models for Various Type-free Calculi, in P. Suppes, L. Henkin, J. Athanase and GR. C. Moisil (eds.), Logic, Methodology and Philosophy of Science IV, North-Holland, 1973, pp. 157–187.

  12. J.E. Stoy, Denotational Semantics: The Scott —Strachey Approach to programming Language Theory. Cambridge, Mass., London, England, M.I.T Press, 1977.

    Google Scholar 

  13. R. Turner, Montague Semantics, Nominalization and Scott's Domains, Linguistics and Philosophy 6 (1983), pp. 259–288.

    Google Scholar 

  14. R. Turner, Nominalization and Scott's Domains II, Notre Dame Journal of Formal Logic 26 (1985), pp. 463–478.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Montreal, C.P.6128, succursale A, H3C 3J7, Montreal, Qc, Canada

    Serge Lapierre

Authors
  1. Serge Lapierre
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

I would like to thank Johan van Benthem, Harold Shellinx, Willem Groenelveld and Bruce Toombs for their useful comments on earlier drafts of this paper. This work was supported in part by the Social Sciences and Humanities Research Council of Canada (doctoral fellowship 452-88-2518).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lapierre, S. Structured meanings and reflexive domains. Stud Logica 51, 215–239 (1992). https://doi.org/10.1007/BF00370114

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370114

Keywords

Search

Navigation