An approach to intensional logic |
| |
Authors: | Imre Ruzsa |
| |
Institution: | (1) Department of Logic, E. L. University, Faculty of Arts, Budapest, Hungary |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|