The University of Sussex

Reasoning about properties

Allan Ramsay

Investigations of the semantics of natural language suggest that it would be useful to be able to represent and reason about "intensional objects" (properties, propositions, and so on). Recent attempts to axiomatise the behaviour of truth have led to the development of first-order languages in which it is possible to represent such objects. The author discusses the use of standard theorem, proving techniques for solving problems stated in one of the languages.

This paper is not available online