Professional Documents
Culture Documents
(Download PDF) Enriched Meanings Natural Language Semantics With Category Theory Ash Asudeh Online Ebook All Chapter PDF
(Download PDF) Enriched Meanings Natural Language Semantics With Category Theory Ash Asudeh Online Ebook All Chapter PDF
https://textbookfull.com/product/an-introduction-to-the-language-
of-category-theory-steven-roman/
https://textbookfull.com/product/elements-of-formal-semantics-an-
introduction-to-the-mathematical-theory-of-meaning-in-natural-
language-yoad-winter/
https://textbookfull.com/product/significance-in-language-a-
theory-of-semantics-1st-edition-jim-feist/
https://textbookfull.com/product/natural-language-processing-and-
computational-linguistics-2-semantics-discourse-and-
applications-1st-edition-mohamed-zakaria-kurdi/
The Science of Meaning: Essays on the Metatheory of
Natural Language Semantics First Edition Derek Ball
https://textbookfull.com/product/the-science-of-meaning-essays-
on-the-metatheory-of-natural-language-semantics-first-edition-
derek-ball/
https://textbookfull.com/product/basic-category-theory-and-topos-
theory-jaap-van-oosten/
https://textbookfull.com/product/basic-category-theory-1st-
edition-tom-leinster/
https://textbookfull.com/product/natural-language-processing-
with-python-cookbook-1st-edition-krishna-bhavsar/
https://textbookfull.com/product/getting-started-with-natural-
language-processing-meap-v06-ekaterina-kochmar/
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
Enriched Meanings
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
General Editors
Chris Barker, New York University, and Chris Kennedy, University of Chicago
Enriched Meanings
Natural Language Semantics with Category Theory
A SH A SU D E H A N D G IA N LU C A G IO R G O L O
1
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
3
Great Clarendon Street, Oxford, OX2 6DP,
United Kingdom
Oxford University Press is a department of the University of Oxford.
It furthers the University’s objective of excellence in research, scholarship,
and education by publishing worldwide. Oxford is a registered trade mark of
Oxford University Press in the UK and in certain other countries
© Ash Asudeh and Gianluca Giorgolo 2020
The moral rights of the authors have been asserted
First Edition published in 2020
Impression: 1
All rights reserved. No part of this publication may be reproduced, stored in
a retrieval system, or transmitted, in any form or by any means, without the
prior permission in writing of Oxford University Press, or as expressly permitted
by law, by licence or under terms agreed with the appropriate reprographics
rights organization. Enquiries concerning reproduction outside the scope of the
above should be sent to the Rights Department, Oxford University Press, at the
address above
You must not circulate this work in any other form
and you must impose this same condition on any acquirer
Published in the United States of America by Oxford University Press
198 Madison Avenue, New York, NY 10016, United States of America
British Library Cataloguing in Publication Data
Data available
Library of Congress Control Number: 2020941615
ISBN 978–0–19–884785–4 (hbk.)
978–0–19–884786–1 (pbk.)
Printed and bound by
CPI Group (UK) Ltd, Croydon, CR0 4YY
Links to third party websites are provided by Oxford in good faith and
for information only. Oxford disclaims any responsibility for the materials
contained in any third party website referenced in this work.
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
Contents
General preface ix
Acknowledgements xi
List of figures xv
List of tables xvii
List of symbols and conventions xix
1. Introduction 1
1.1 Computational tool and exercises 3
PA RT I . BAC KG R O U N D
2. Enriched meanings in semantics and pragmatics 7
2.1 Introduction 7
2.2 Semantics and pragmatics 7
2.3 Enriched meanings 10
2.4 The phenomena 11
2.4.1 Multidimensionality 12
2.4.2 Perspectives 13
2.4.3 Uncertainty 15
2.5 Conclusion 16
3. Category theory 19
3.1 Introduction 19
3.2 Categories 19
3.2.1 Category of linguistic meanings 23
3.3 Functors 24
3.4 Natural transformations 26
3.5 Monads 28
3.6 A logic for working with monads 32
3.7 Glue Semantics 36
3.8 Categorial Grammar 36
3.9 Exercises 37
PA RT I I . C A SE S T U D I E S
4. Conventional implicature 41
4.1 Introduction 41
4.2 Interdimensional backflow 44
4.3 Conventional implicatures and compositionality 48
4.4 A monad for conventional implicature 50
4.5 Analysis 53
4.5.1 Lexicon 54
4.5.2 Interpretation 56
4.6 Conclusion 57
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
viii contents
4.7 Exercises 57
5. Perspectival reference 59
5.1 Introduction 59
5.2 The true scope of the problem 60
5.2.1 No embedding: simple sentences 60
5.2.2 Non-distinct terms: the Paderewski puzzle 64
5.2.3 Identity statements: delusions and mathematical truths 67
5.2.4 Summary: the space of possibilities 70
5.3 Formalization 70
5.3.1 A non-monadic formalization in Logical Form semantics 70
5.3.2 A monadic formalization 75
5.3.2.1 A monad for perspectives 75
5.3.2.2 Composition 76
5.4 Analysis 78
5.5 Previous approaches 87
5.6 Conclusion 91
5.7 Exercises 92
6. Uncertainty and conjunction fallacies 95
6.1 Introduction 95
6.2 Background 95
6.3 Monads and uncertainty 100
6.4 Conjunction fallacies, compositionally 105
6.5 One process, two representations 107
6.6 Analysis 108
6.7 Implications for the semantics/pragmatics boundary 112
6.7.1 Grice is nice? 112
6.7.2 Let’s get tropical 113
6.8 Conclusion 121
6.9 Exercises 122
PA RT I I I . C OM P O SI T IO N A N D I N T E R AC T IO N S
7. Monad combinatorics 127
7.1 Introduction 127
7.2 Mixing phenomena 128
7.3 Distributive laws 130
7.4 Interpretation 137
7.5 Uncertainty 140
7.5.1 Uncertainty and conventional implicatures 140
7.5.2 Uncertainty and perspectives 143
7.6 Why do we need monads? 146
7.7 Conclusion 148
7.8 Exercises 148
7.9 Appendix A: Expanded terms 150
7.10 Appendix B: Natural deduction proofs 156
8. Conclusion 161
References 165
Author index 173
Subject index 175
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
General preface
x general preface
mathematically challenging work of integrating the three case studies into a unified
grammar. As a result, this volume, as lucid as it is concise, will serve both as an
introduction and a touchstone for future work exploring the analytical potential of the
monadic approach.
Chris Barker
New York University
Christopher Kennedy
University of Chicago
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
Acknowledgements
This book grew out of some papers we wrote and the lecture notes for our 2015 ESSLLI
course. We thank (blame?) Chris Barker for the notes becoming this book. He came up
to us at an ESSLLI dinner and said, ‘You wrote a book.’ We exchanged brief, alarmed
looks that said, ‘We did?!’ Well, now we finally did. We also thank Chris’s co-editor and
co-Chris, Chris Kennedy, for co-believing in the project. And we are very grateful to
Julia Steer and Vicki Sunter at OUP.
We have presented aspects of this work to various audiences. We thank students,
faculty, and participants at the following venues for their feedback and questions: the
2014 Annual Meeting of the Cognitive Science Society; the 2014 EACL Workshop on
Type Theory and Natural Language Semantics at the University of Gothenburg; the
International Symposium on Brain and Cognitive Science at Boğaziçi University; the
2011 and 2012 LFG Conferences at the University of Hong Kong and Udayana Uni-
versity; the 2014 Philosophical Linguistics and Linguistical Philosophy Conference;
the February 2014 South of England Lexical Functional Grammar Meeting at SOAS;
the Institute of Cognitive Science at Carleton University; the Canadian Linguistics
First Annual Undergraduate Symposium at Concordia University; the Institute of
Linguistics at the University of Minnesota; the Quantum Group at the Department
of Computer Science, University of Oxford; the Department of Linguistics at the
University of Rochester.
We are grateful for the financial support of the Ministry of Research and Innovation
(as it was then called) of the Province of Ontario, the Natural Sciences and Engineering
Research Council of Canada, and the John Fell Oxford University Press Research Fund,
through grants to Ash, and the European Commission, for awarding a Marie Curie
Fellowship to Gianluca.
We are also immensely thankful to Shalom Lappin for releasing Gianluca from a
postdoctoral fellowship at King’s College London to take up the Marie Curie. We
thank John Baez for taking the time to talk to us about category theory during a
visit to Oxford, even though we waylaid him after his talk. We thank Blair Tinker at
the University of Rochester’s Digital Scholarship Lab for helping us to find a hosting
solution for the Glue logic theorem prover that Gianluca developed. We would also
like to thank the following folks for taking the time for one-to-one (or two) discussions
in person or over email: Avery Andrews, Doug Arnold, Ashley Atkins, Chris Barker,
Arno Bastenhof, David Beaver, Matteo Capelletti, Simon Charlow, Eros Corazza, Mary
Dalrymple, Jan van Eijck, Kai von Fintel, Philippe de Groote, Daniel Gutzmann, Dag
Haug, Ron Kaplan, Elin McCready, Michael Moortgat, Jim Pryor, Geoff Pullum, Louisa
Sadler, Vijay Saraswat, Rob Stainton, Christina Unger, and Yoad Winter. They bear no
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
xii acknowledgements
responsibility for any misrepresentation of their views or comments. Any errors are
our own—we are to blame for all bad things.
We would also like to thank members of the Glue Group, a virtual gathering
organized by Mary Dalrymple at the University of Oxford, but involving participants
from all over the globe: Avery Andrews, Doug Arnold, Oleg Belyaev, Mary Dalrymple,
Jamie Findlay, Matthew Gotham, Dag Haug, John Lowe, Moritz Messmer, Andrew
Morrison, Agnieszka Patejuk, Adam Przepiórkowski, Louisa Sadler, Vijay Saraswat,
and Mark-Matthias Zymla. They likewise bear no responsibility for any errors in this
book.
This work would have been impossible without the institutional support of Carleton
University, particularly the Institute of Cognitive Science and the School of Linguistics
and Language Studies, the University of Oxford, particularly the Faculty of Linguistics,
Philology, and Phonetics, Jesus College, and the University of Rochester, particularly
the Department of Linguistics. Our thanks to Deans Wallace Clement, Gloria Culver,
Catherine Khordoc, John Osborne, and Pauline Rankin.
There are so many colleagues to thank at these institutions for their support,
insight, collegiality, and companionship: Maya Ravindranath Abtahian, Victor Acedo-
Matellán, Sol Armoskaite, Richard Ashdowne, Peter Barber, David Barron, Leo
Bertossi, Lev Blumenfeld, Martin Booth, Richard Bosworth, Andy Brook, Mark
Brouard, Phil Burrows, Lisa Bylinina, Debbie Cameron, Greg Carlson, Thomas
Charles-Edwards, Patricia Clavin, Roi Cohen Kadosh, John Coleman, Eros Corazza,
Tim Coulson, David Cram, Molly Crockett, Patricia Daley, Mary Dalrymple, Andrew
Dancer, Armand D’Angour, Jim Davies, Wolfgang de Melo, Hugh Doherty, Sue
Doran, Jakub Dotlačil, Gillian Douglas, Simon Douglas, Luca Ducceschi, Hanne
Eckhoff, Paul Elbourne, Péter Esö, Robin Evans, Jan Fellerer, Louisiane Ferlier, Bennett
Foddy, Colleen Fulton, Alex Gajda, Berit Gehrke, Joan Grant, Rich Grenyer, Nino
Grillo, Nadine Grimm, Scott Grimm, Peter Guekguezian, Sander van der Harst,
Chris Herdman, Kerstin Hoge, Dan Holloway, Sarah Howle, Matt Husband, Miles
Jackson, Nick Jacobs, Anthea Jones, Sarah Jones, Yvonne Jones, Deepthi Kamawar,
Paulina Kewes, Jens Kipper, Katrin Kohl, John Krebs, Aditi Lahiri, Christine Lane,
Ann Laubstein, Steffen Lauritzen, Dave Leal, Bert Le Bruyn, Jo-Anne Lefevre,
Vili Lehdonvirta, John Logan, John Lowe, Alex Lumbers, Ian Maclachlan, Beth
MacLeod, Mark MacLeod, Mary MacRobert, John Magorrian, Martin Maiden, Joyce
McDonough, Peter Mirfield, Anna Morpurgo Davies, Steve Morris, Beth Mortimer,
Richard Moxon, Kumiko Murasugi, Louise Mycock, Myrto Mylopoulos, Samu
Niskanen, Rick Nouwen, Jim Oliver, Daniela Omlor, Tim Palmer, Andreas Pankau,
Ivan Panović, Sandra Paoli, Steve Parkinson, Elinor Payne, Janet Pierrehumbert, Ray
Pierrehumbert, Asia Pietraszko, Dave Popplewell, Philomen Probert, Steve Pulman,
Min Que, Peggy Renwick, Markus Röser, Jeff Runner, Pam Sammons, Eleanor Scerri,
Marieke Schouwstra, Len Schubert, Nigel Shadbolt, Josh Shepherd, Amanda Sherry,
Dan Siddiqi, Raj Singh, JC Smith, Nick Southwood, Zeynep Soysal, Shankar Srinivas,
David Stevenson, Kathy Sylva, Johanneke Sytsema, Mike Tanenhaus, Karen Tarrant,
Fred Taylor, Graham Taylor, Roberta Tedeschi, Ros Temple, Jonathan Thacker, James
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
acknowledgements xiii
Tilley, Ida Toivonen, John Tracey, Marion Turner, Michael Vickers, Kylie Vincent,
Sailesh Vyas, Connie Wall, Caroline Warman, Ian Watson, Rob West, Aaron White,
Stuart White, Sarah Wild, Dominic Wilkinson, Andreas Willi, Sam Wolfe, Ralf Wölfer,
David Wood, Stephen Wright, and Tracey Wright.
This book is proof that it’s not all fun and games, as party poopers sometimes
like to remind you, but we have had lots of fun and games on the way, for which
we thank our family and friends: Alda e Simo, Alfred Asudeh, Alli Asudeh, Harry
Asudeh, Isa Asudeh, Isak Asudeh, Thora Asudeh, il Bedo, Anna Birnbaum, Bruno,
Phil Burrows, Cesco, Kate Clark, Sonya Clegg, Tim Coulson, Mary Dalrymple, Stevie
DeVille, Simon Douglas, Robin Evans, George Ferguson, Francesco Fermani, Fo, il
Fresh, Arno Giorgolo, Matt Husband, Ken Kahn, Deepthi Kamawar, Alison Kennedy,
Shahnaz Khorshidi, Anita Kothari, Bruce Lawrence, Gonzalo Lazo, Matteo Legrenzi,
Elisa Lugli, Alex Lumbers, Mark MacLeod, Alberto Mameli, Jean-Philippe Marcotte,
James Neenan, Samu Niskanen, Elinor Payne, Rafael Perera, Anna Retulainen, Behin
Safavi, Tom Sanders, Erin Saupe, Ludo Serratrice, Dan Siddiqi, Julie Siddiqi, Nicole
Sierra, the Snake Oil Abusers, Rob Stainton, Elliott Strikefoot, Gun Toivonen, Karl-
Johan Toivonen, Tolyi, and Başak Yakış-Douglas.
Most of all, we thank Dora Biro and Linda Lo Truglio for so much (too much, really),
not least for tremendous patience and for putting up with absent bodies and minds.
La porta!
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
OUP CORRECTED PROOF – FINAL, 17/8/2020, SPi
List of figures
The first two sentences have different truth-conditions. Since the only difference is cat
versus turtle, these words must be the source of the difference. Therefore, cat and turtle
have different truth-conditional meanings, and this is conventionalized in their lexical
meanings. The second two sentences have the same truth-conditions, yet also differ
in one word: couch versus sofa. Therefore, couch and sofa must have the same truth-
conditional meaning, and this is also conventionalized in their lexical meanings.2
Next let’s turn to pragmatic enrichment. This is a phenomenon in which non-
conventionalized aspects of meaning seem to contribute to truth-conditions of
utterances.
In terms of its conventional meaning, this sentence just seems to express the propo-
sition that it is not the case that the speaker has eaten anything before the utterance
time. In most contexts, this would obviously be false, but the sentence is taken instead
to be true, based on (something like) the pragmatically enriched proposition I have not
eaten today. Pragmatic enrichment thus seems to have truth-conditional effects.
1 Whether the Principle of Compositionality should be attributed to Frege himself is contentious (Janssen
2011), but it certainly seems that Frege’s philosophy was instrumental in its germination.
2 This is not to say that the fact that they are synonyms is necessarily directly part of their conventional meaning.
That depends on your theory of lexical semantics (Cruse 1986, Geeraerts 2010).
Another random document with
no related content on Scribd:
accessible by the widest array of equipment including outdated
equipment. Many small donations ($1 to $5,000) are particularly
important to maintaining tax exempt status with the IRS.
Most people start at our website which has the main PG search
facility: www.gutenberg.org.