A relational formulation of the theory of types

Linguistics and Philosophy 12 (3):325 - 346 (1989)
  Copy   BIBTEX

Abstract

This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.

Categories

Keywords

Reprint years

DOI

10.1007/bf00635639

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.
On the strength of dependent products in the type theory of Martin-Löf.Richard Garner - 2009 - Annals of Pure and Applied Logic 160 (1):1-12.
Natural-Language Predicates as Relations of the Relational Model of Data.Olga Poller - 2022 - Axiomathes 32 (3):993-1039.
The Theory of an Arbitrary Higher \(\lambda\)-Model.Daniel Martinez & Ruy J. G. B. de Queiroz - 2023 - Bulletin of the Section of Logic 52 (1):39-58.
Relational nouns, pronouns, and resumption.Ash Asudeh - 2005 - Linguistics and Philosophy 28 (4):375 - 446.
On the Dynamic Logic of Agency and Action.Chrysafis Hartonas - 2014 - Studia Logica 102 (3):441-478.
Weak negations and neighborhood semantics.David Ripley - unknown
The semantics of different: Comparison operator and relational adjective. [REVIEW]Sigrid Beck - 2000 - Linguistics and Philosophy 23 (2):101-139.

Analytics

Added to PP
2009-01-28

Downloads
125 (#174,606)

6 months
16 (#189,412)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Reinhard Muskens
University of Amsterdam

Citations of this work

Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Propositions and Cognitive Relations.Nicholas K. Jones - 2019 - Proceedings of the Aristotelian Society 119 (2):157-178.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
Categorial Grammar and Type Theory.Johan Van Benthem - 1990 - Journal of Philosophical Logic 19 (2):115-168.

View all 8 citations / Add more citations

References found in this work

Elements of symbolic logic.Hans Reichenbach - 1980 - London: Dover Publications.
Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Situations and Attitudes.Jon Barwise - 1981 - Journal of Philosophy 78 (11):668.
The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.

View all 31 references / Add more references