An approach to intensional logic

Research output: Contribution to journalArticle

Abstract

A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbol s (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.

Original languageEnglish
Pages (from-to)269-287
Number of pages19
JournalStudia Logica
Volume40
Issue number3
DOIs
Publication statusPublished - Sep 1981

Fingerprint

Functor
Logic
Modeling Language
Natural Language
Iteration
Partial
Semantics
Intensional Logic
Extensional
Truth
Semantic Value
Acceptance
Truth Value
Intension
Modeling
Symbol
Intensional

ASJC Scopus subject areas

  • Logic

Cite this

An approach to intensional logic. / Ruzsa, I.

In: Studia Logica, Vol. 40, No. 3, 09.1981, p. 269-287.

Research output: Contribution to journalArticle

Ruzsa, I. / An approach to intensional logic. In: Studia Logica. 1981 ; Vol. 40, No. 3. pp. 269-287.
@article{ec192ce602744595ba40d38b13c0a49a,
title = "An approach to intensional logic",
abstract = "A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbol s (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.",
author = "I. Ruzsa",
year = "1981",
month = "9",
doi = "10.1007/BF02584061",
language = "English",
volume = "40",
pages = "269--287",
journal = "Studia Logica",
issn = "0039-3215",
publisher = "Springer Netherlands",
number = "3",

}

TY - JOUR

T1 - An approach to intensional logic

AU - Ruzsa, I.

PY - 1981/9

Y1 - 1981/9

N2 - A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbol s (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.

AB - A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbol s (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.

UR - http://www.scopus.com/inward/record.url?scp=84864890969&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84864890969&partnerID=8YFLogxK

U2 - 10.1007/BF02584061

DO - 10.1007/BF02584061

M3 - Article

AN - SCOPUS:84864890969

VL - 40

SP - 269

EP - 287

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 3

ER -