Skip to main content
SpringerLink
Log in

An approach to intensional logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbols (for ‘sense’), extensional and intensional functor types are distinguished. A peculiarity of the semantics is the general acceptance of value-gaps (including truth-value-gaps): the possible semantic values (extensions) of extensional functors are partial functions. Some advantages of the system (relatively to R. Montague's intensional logic) are briefly indicated. Also, applications for modelling natural languages are illustrated by examples.

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. R. Montague,Universal grammar,Theoria 36 (1970), pp. 373–398.

    Article  Google Scholar 

  2. R. Montague,The proper treatment of quantification in ordinary English, in:Approaches to Natural Language (edg. K. J. Hintikka, J. M. E. Moravcsik, and P. Suppes), D. Reidel, Dordrecht, 1973, pp. 221–242.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Logic, E. L. University, Faculty of Arts, Budapest, Hungary

    Imre Ruzsa

Authors
  1. Imre Ruzsa
    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

Ruzsa, I. An approach to intensional logic. Stud Logica 40, 269–287 (1981). https://doi.org/10.1007/BF02584061

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation