Maleczki Márta

On the nature of meaning

Two main types of formal approaches to the semantics of natural languages will be compared: the one is the well-known truth conditional approach with possible worlds, and the other is the proof-theoretic approach where meaning is defined by derivability conditions. Some arguments for and against the two approaches will be considered, with emphasis on the question how sense and denotation and their relation can be defined without models.