Research Repository

Curry-Typed Semantics in Typed Predicate Logic

Fox, C (2014) 'Curry-Typed Semantics in Typed Predicate Logic.' In: Dancak, M and Puncochar, V, (eds.) The Logica Yearbook 2013. College Publications. ISBN 1848901445

[img]
Preview
Text
CFox-Curry-TPL-Logica2013-paper.pdf

Download (162kB) | Preview

Abstract

Various questions arise in semantic analysis concerning the nature of types. These questions include whether we need types in a semantic theory, and if so, whether some version of simple type theory (STT, Church, 1940) is adequate or whether a richer more flexible theory is required to capture our semantic intuitions. Propositions and propositional attitudes can be represented in an essentially untyped first-order language, provided a sufficiently rich language of terms is adopted. In the absence of rigid typing, care needs to be taken to avoid the paradoxes, for example by constraining what kinds of expressions are to be interpreted as propositions (Turner, 1992). But the notion of type is ontologically appealing. In some respects, STT seems overly restrictive for natural language semantics. For this reason it is appropriate to consider a system of types that is more flexible than STT, such as a Curry-style typing (Curry & Feys, 1958). Care then has to be taken to avoid the logical paradoxes. Here we show how such an account, based on the Property Theory with Curry Types (PTCT, Fox & Lappin, 2005), can be formalised within Typed Predicate Logic (TPL, Turner, 2009). This presentation provides a clear distinction between the classes of types that are being used to (i) avoid paradoxes (ii) allow predicative polymorphic types. TPL itself provides a means of expressing PTCT in a uniform language.

Item Type: Book Section
Subjects: P Language and Literature > P Philology. Linguistics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Jim Jamieson
Date Deposited: 03 Dec 2014 10:40
Last Modified: 17 Aug 2017 17:43
URI: http://repository.essex.ac.uk/id/eprint/11957

Actions (login required)

View Item View Item