Journal of Logic, Language and Information

, Volume 26, Issue 1, pp 21–43 | Cite as

A Proof-Theoretic Semantics for Adjectival Modification

  • Nissim Francez


The paper introduces a proof-theoretic semantics (PTS) for adjectival modification (adjective–noun combination) as an alternative to the traditional model-theoretic semantics basing meaning on truth-conditions. The paper considers the proof-theoretic meaning of modification by means of the three traditional adjective classes: intersective, subsective and privative. It does so by introducing a meaning-conferring natural-deduction proof system for such modification. The PTS theory of meaning is not polluted by ontological commitments, for example, a scale for beauty and a yardstick for being beautiful. It only uses syntactic artefacts of the proof language. The paper also defines, by suitable rules, iterated modification, shedding light on the relationship between iteration and adjectival classes. Modification via coordinated adjectives is covered too. An appendix delineates briefly the main ingredients of PTS.


Proof-theoretic semantics Adjectival modification Intersective, subsective and privative adjectives Iterated adjectival modification Natural-deduction 



I thank Itamar Francez and Chris Kennedy for various discussions and clarifications about the topics of the paper. I thank Ivo Pezlar for spotting and correcting some errors in an earlier version of the manuscript.


  1. Bankston, P. (2003). Modelling nonintersective adjectives using operator logics. Review of Modern Logic, 9(1–2), 9–28.Google Scholar
  2. Francez, N. (2014a). Harmony in multiple-conclusions natural-deduction. Logica Universalis, 8(2), 215–259. doi: 10.1007/s11787-014-0103-7.CrossRefGoogle Scholar
  3. Francez, N. (2014b). A proof-theoretic semantics for contextual domain restriction. Journal of Language modelling, 2(2), 249–283.CrossRefGoogle Scholar
  4. Francez, N. (2014c). Views of proof-theoretic semantics: Reified proof-theoretic meanings. Journal of Computational Logic. Special issue in honour of Roy Dyckhoff. doi: 10.1093/logcom/exu035.
  5. Francez, N. (2015a). On distinguishing proof-theoretic consequence from derivability. Logique et Analysis (to appear).Google Scholar
  6. Francez, N. (2015b). On semi-fusions and semi-negations. South American Journal of Logic (SAJL) (accepted).Google Scholar
  7. Francez, N. (2015c). On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics. Review of Symbolic Logic, 8(2), 296–305. doi: 10.1017/S1755020315000027.CrossRefGoogle Scholar
  8. Francez, N. (2015d). Proof-theoretic semantics. London: College Publications.Google Scholar
  9. Francez, N., & Ben-Avi, G. (2015). A proof-theoretic reconstruction of generalized quantifiers. Journal of Semantics, 32(3), 313–371. doi: 10.1093/jos/ffu001.CrossRefGoogle Scholar
  10. Francez, N., & Ben-Avi, G. (2011). Proof-theoretic semantic values for logical operators. Review of Symbolic Logic, 4(3), 337–485.CrossRefGoogle Scholar
  11. Francez, N., & Dyckhoff, R. (2010). Proof-theoretic semantics for a natural language fragment. Linguistics and Philosophy, 33(6), 447–477.CrossRefGoogle Scholar
  12. Francez, N., Dyckhoff, R., & Ben-Avi, G. (2010). Proof-theoretic semantics for subsentential phrases. Studia Logica, 94, 381–401.CrossRefGoogle Scholar
  13. Francez, N., & Wieckowski, B. (2014). A proof-theoretic semantics for contextual definiteness. In E. Moriconi & L. Tesconi (Eds.), Second Pisa colloquium in logic, language and epistemology. Pisa: ETS.Google Scholar
  14. Morzycki, M. (2015). Modification., Key topics in semantics and pragmatics series. Cambridge: Cambridge University Press.Google Scholar
  15. Paoli, F. (1999). Comparative logic as an approach to comparison in natural language. Journal of Semantics, 16, 67–96.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2016

Authors and Affiliations

  1. 1.Computer Science DepartmentTechnion-IITHaifaIsrael

Personalised recommendations