Some uses of type theory in the analysis of language
| dc.contributor.author | Rennie, M. K. | |
| dc.date.accessioned | 2026-04-24T04:14:14Z | |
| dc.date.available | 2026-04-24T04:14:14Z | |
| dc.date.issued | 1974 | |
| dc.description | Bibliography: p. 159-166. | |
| dc.description.abstract | In this monograph, Church’s formulation of the simple theory of types is applied to two areas of current concern in logic, namely the theory of predicate modifiers and the logic of intensional discourse. In such a formulation, the theory of predicate modifiers becomes both more general and more ramified than in previous formulations, and the notation and theory provided for intensional logics has considerable generality and utility in philosophical applications. A number of problems are posed throughout the monograph: in these cases the system used allows formal presentation of philosophical problems and should aid in their solution | |
| dc.format.extent | 166 p. illus. 29 cm. | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.isbn | 0708106404 | |
| dc.identifier.other | 991003755669707631 | |
| dc.identifier.other | b10790433 | |
| dc.identifier.uri | https://hdl.handle.net/1885/733808668 | |
| dc.language.iso | en | |
| dc.provenance | Digitised by The Australian National University in 2026. | |
| dc.publisher | Canberra, Dept. of Philosophy, Research School of Social Sciences, Australian National University, 1974 | |
| dc.relation.ispartofseries | Australian National University. Department of Philosophy. Monograph series no. 1 | |
| dc.rights | ©1974 The authors | |
| dc.rights | © Dept. of Philosophy, Research School of Social Sciences, Australian National University, 1974 | |
| dc.subject | Language and languages |--Philosophy. | |
| dc.title | Some uses of type theory in the analysis of language | |
| dc.type | Book | |
| dspace.entity.type | Publication | |
| local.bibliographicCitation.lastpage | 166 | |
| local.type.status | Published Version |