King's College London

Research portal

Compositional Meaning in Logic

Research output: Contribution to journalArticle

Carlos Caleiro, Luca Vigano

Original languageEnglish
Pages (from-to)283-295
Number of pages14
JournalLogica Universalis
Issue number3
Early online date8 Aug 2017
Accepted/In press27 Jul 2017
E-pub ahead of print8 Aug 2017


King's Authors


The Fregean–inspired Principle of Compositionality of Meaning (PoC) for formal languages asserts that the meaning of a compound expression is analysable in terms of the meaning of its constituents, taking into account the mode in which these constituents are combined so as to form the compound expression. From a logical point of view, this amounts to prescribing a constraint — that may or may not be respected — on the internal mechanisms that build and give meaning to a given formal system. Within the domain of formal semantics and of the structure of logical derivations, the PoC is often directly reflected by metaproperties such as truth-functionality and analyticity, characteristic of computationally well-behaved logical systems.

Download statistics

No data available

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454