tel. 16 33 60,

Dag Westerståhl was born in Stockholm 1946, and got his PhD at the University of Gothenburg with Per Lindström as supervisor. Since 2011 he is Professor of Theoretical Philosophy and Logic at Stockholm University; from 1998 to 2010 he was August Rhöös Professor of Theoretical Philosophy at the University of Gothenburg. Between 2005 and 2010 he held a Special Grant for Excellent Researchers by the Swedish Council for Research (VR).

His main research interests are logic, formal semantics, and philosophy of language. A central theme is generalized quantifiers, studied both from a model-theoretic and a linguistic point of view; see his book with Stanley Peters, Quantifiers in Language and Logic (OUP, 2006).  A recent application (also with Peters) is to the semantics of possessive constructions. Another main research theme is philosophical and mathematical aspects of compositionality. A third ongoing research project, pursued together with Denis Bonnay, concerns the extraction of (logical) constants from (logical) consequence relations. He has also written on situation theory and situation semantics, and on philosophy of mathematics.

DW is currently a member of the editorial boards of the following journals: Journal of Logic, Language and Information (where he was Managing Editor 1996-2001), Linguistics and Philosophy, Review of Symbolic Logic, Semantics and Pragmatics, Logic in Asia: Studia Logica Library. He is Logic Editor (with Aldo Antonelli) for The Stanford Encyclopedia of Philosophy.

DW has taught at several of the European and North-American Summer Schools of Logic, Language and Information (ESSLLI and NASSLLI). He has also, together with Jouko Väänänen, Phokion Kolaitis, and Samson Abramsky, initiated and helped organize three similar schools in China (Guangzhou 2010, Chongqing 2012, Beijing 2014). In China he has in addition taught at Tsinghua University and at Beijing Normal University, and he is on the Advisory Board of the Joint ILLC and Tsinghua Research Center in Logic.

DW has been Project Leader of the following externally funded research projects:
Quantification and Natural Language (HSFR (now VR), 1985-86)
Situation-Theoretic Text Semantics (HSFR, 1988-90)
Predicate Logic with Flexibly Binding Operators (HSFR, 1991-93)
Relativism (Bank of Sweden Tercentenary Foundation, 2002-2005)
Semantic Ambiguity (VR, 2002-2004)
Logic for Interaction (European Science Foundation and VR, a European CRP under the Eurocores Program, 2009-2012. Participant project sites: Aachen, Amsterdam, Gothenburg, Oxford, Tampere-Helsinki)


Dag Westerståhl is a member of the Royal Society of Arts and Sciences in Gothenburg and of the Royal Swedish Academy of Sciences.



Quantifiers in Language and Logic (with Stanley Peters), 2006 (paperback edition 2008), Oxford University Press, Oxford, xix + 528 pp.


Selected articles

'Dynamic vs. classical consequence' (with Denis Bonnay), forthcoming 2014 in A. Baltag and S. Smets (eds.), Trends in Logic, Outstanding Contributions: Johan van Benthem, Springer.  pre-pubClDyn (199 Kb)

'Generalized quantifiers in natural language semantics', forthcoming 2014 in S. Lappin and C. Fox (eds.), Handbook of Contemporary Semantics, Second Edition, Wiley-Blackwell, Oxford.

'Generalized quantifiers: linguistics meets model theory', forthcoming 2014 in M. Aloni and P. Dekker (eds.), The Cambridge Handbook of Semantics, Cambridge University Press, Cambridge.  pre-pubCambH (445 Kb)

'Questions about compositionality', forthcoming 2014 in P.-E. Bour (ed.), Logic, Methodology and Philosophy of Science: Proceedings of the XIVth International LMPS Congress, College Publications, London.  pre-pubNancy (379 Kb)

'The semantics of possessives' (with Stanley Peters), Language 89.4 (2013), 713-759.  pre-pubLNG (564 Kb)

'Editorial introduction: Special Issue on Dependence and Independence in Logic' (with Juha Kontinen and Jouko Väänänen), Studia Logica 101.1 (2013), 233-36.  pre-pubDepIndep (63 Kb)

'Negation and quantification: a new look at the square of opposition' (with comments by Fengkui Ju and Larry Moss, and a reply by DW), 2013, in J. van Benthem and F. Liu (eds.), Logic across the University: Foundations and Applications, Studies in Logic 47, College Publications, London, 301-317.  pre-pubSqTsing (155 Kb)

'Midpoints', 2012, in T. Graf et al. (eds.), Theories of Everything: In Honor of Ed Keenan, UCLA Working Papers in Linguistics 17, Los Angeles, 427-38.  pre-pubMid (168 Kb)

'From constants to consequence, and back', Synthese 187.3 (2012), 957-71.  pre-pubCtoC (387 Kb)

'Explaining quantifier domain restriction: a reply to Ben-Yami', Logique et Analyse 55, 109-20.  pre-pubBenY (234 Kb)

'Constant operators: partial quantifiers', 2012, in L. Borin and S. Larsson (eds.), From Quantification to Conversation, College Publications, London, 11-35.  pre-pubPartialQ (179 Kb)

'Consequence mining: constants versus consequence relations' (with Denis Bonnay), Journal of Philosophical Logic 41 (2012), 671-709.  pre-pubConsMin (465 Kb)

'Compositionality in Kaplan style semantics', 2012, in W. Hinzen, E. Machery, and M. Werning (eds.), The Oxford Handbook of Compositionality, Oxford University Press, Oxford, 192-219.  pre-pubKapl (437 Kb)

'Classical vs. modern Squares of Opposition, and beyond', 2012, in J.-Y- Beziau and G. Payette (eds.), The Square of Opposition: A General Framework for Cognition, Peter Lang, Bern, 195-229.  pre-pubSq (441 Kb)

'Introduction: The philosophy of logical consequence and inference' (with Erik Palmgren and Sten Lindström), Synthese 187.3 (2012), 233-6.

'Generalized quantifiers' (substantive revision), 2011, in E. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Summer 2011 edition), URL = quantifiers/.

'Compositionality' (with Peter Pagin), 2011, in C. Maienborn, K. von Heusinger, and P. Portner (eds.), Semantics: An International Handbook of Natural Language Meaning, Elsevier, 96-123.  pre-pubCompH (314 Kb)

'Per Lindström. In Memoriam' (with Jouko Väänänen), Theoria 76 (2010), 100-107.  pre-pubPerL (118 Kb)

'Pure quotation and general compositionality' (with Peter Pagin), Linguistics and Philosophy 33.5 (2010), 381-415.  pre-pubPQuot (499 Kb)

'Review of Relativism and Monadic Truth' (with Alexander Almér), Linguistics and Philosophy 33.1 (2010), 37-50.  pre-pubL&Prev (162 Kb)

'Compositionality II. Arguments and problems' (with Peter Pagin), Philosophy Compass 5.3, (2010), 265-82.  pre-pubComp2 (205 Kb)

'Compositionality I. Definitions and variants' (with Peter Pagin), Philosophy Compass 5.3, (2010), 250-64.  pre-pubComp1 (205 Kb)

'Generalized quantifiers in linguistics and logic' (with Ed Keenan, revised and extended version), 2010, in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language (2nd revised edition), Elsevier, Amsterdam, 859-910.

'Logical constants inside out' (with Denis Bonnay), 2010, in M. Aloni and K. Schulz (eds.), Amsterdam Colloquium 2009, LNAI 6042, Springer, 193-202.  pre-pubLCinout (203 Kb)

'The traditional square of opposition and generalized quantifiers', Studies in Logic (Beijing) 1.3 (2008), 1-18.  pre-pubTradSq (180 Kb)

'Proofs instead of meaning explanations: understanding classical vs. intuitionistic mathematics from the outside', 2008, in R. Lupacchini and G. Corsi (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, Springer, Milano, 175-94.  pre-pubClassInt (181 Kb)

'Decomposing generalized quantifiers', Review of Symbolic Logic 1.3 (2008), 355-71.  pre-pubDecomp (405 Kb)

'Compositionality and ambiguity', 2007, Philosophical Communications, web series no. 46, Department of Philosophy, University of Gothenburg, 19 pp.  pre-pubCompAmb (212 Kb)

'Remarks on scope ambiguity', in E. Ahlsén et al. (eds.), 2007, Communication - Action - Meaning, Department of Linguistics, University of Gothenburg, 43-55.  pre-pubScope (189 Kb)

'The role of logic today', 2006, in V.F. Hendricks and J. Symons (eds.), Masses of Formal Philosophy, Automatic Press/VIP, 6 pp.

'Semantics of possessive determiners' (with Stanley Peters), 2005, in P. Dekker and M. Franke (eds.), Proceedings of the 15th Amsterdam Colloquium, University of Amsterdam, 185-90.  pre-pubPWac (128 Kb)

'On the compositional extension problem', Journal of Philosophical Logic 33 (2004), 549-82.  pre-pubCompExt (266 Kb)

'Are idioms in conflict with compositionality?', 2002, in D. Prawitz (ed.), Meaning and Interpretation, KVHAA Konferenser 55, Almquvist & Wiksell, Stockholm, 269-97.

'On the expressive power of monotone natural language quantifiers over finite models' (with Jouko Väänänen), Journal of Philosophical Logic 31 (2002), 327-58.  pre-pubVWmon (251 Kb)

'On the compositionality of idioms; an abstract approach', 2002, in D. Barker-Plummer, D. Beaver, J. van Benthem, P. Scotto di Luzio (eds.), Words, Proofs, and Diagrams, CSLI Publications, Stanford, 241-71.  pre-pubIdiomStanf (244 Kb)

'Does English really have resumptive quantification? (And do 'donkey' sentences really express it?)' (with Stanley Peters), 2002, in D. Beaver et al. (eds.), The Construction of Meaning, CSLI Publications, Stanford, 181-95.  pre-pubPWresump (10280 Kb)

'Compositionality: current issues' (with Peter Pagin), editorial in Journal of Logic, Language and Information 10 (2001), 1-5.

'Quantifiers', 2001, in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell, Oxford, 437-60.  pre-pubBlackwellQ (302 Kb)

'On predicate logic as modal logic', 1999, in A. Cantini et al. (eds.), Logic and Foundations of Mathematics, Kluwer, 195-207.

'Quantifiers, generalized', 1998, in E. Craig (ed.), Routledge Encyclopedia of Philosophy, vol 7, Routledge, London, 873-77.

'On mathematical proofs of the vacuity of compositionality', Linguistics and Philosophy 21 (1998), 635-43.  pre-pubL&Pcomp (211 Kb)

'Review of G. Sher, 'Partially-ordered (branching) quantifiers: a general definition'', Journal of Symbolic Logic 63 (1998), 1614-1615.

'Definability of polyadic lifts of generalized quantifiers' (with Lauri Hella and Jouko Väänänen), Journal of Logic, Language and Information 6 (1997), 305-35.  pre-pubPolLift (372 Kb)

'Generalized quantifiers in linguistics and logic' (with Ed Keenan), 1997, in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 837-93.

'Self-commuting quantifiers', Journal of Symbolic Logic 61 (1996), 212-24.  pre-pubJSLself (275 Kb)

'Quantifiers in natural language: a survey of some recent work', 1995, in M. Krynicki and M. Mostowski (eds.), Quantifiers: Logic, Models and Computation, vol 1, Kluwer, Dordrecht, 359-408.

'Directions in generalized quantifier theory', (with Johan van Benthem), Studia Logica 55 (1995), 389-419.

'Iterated quantifiers', in M. Kanazawa and C. Piñon (eds.), 1994, Dynamics, Polarity and Quantification, CSLI Lecture Notes, Stanford, 173-209.  pre-pubIterQ (452 Kb)

'Mening och logik' ('Meaning and logic', in Swedish), Filosofisk Tidskrift 15 (1994), 26-59.

'Flexible variable-binding and Montague Grammar' (with Peter Pagin), 1994, in P. Dekker and M. Stokhof (eds.), Proceedings of the 9th Amsterdam Colloquium, ILLC, University of Amsterdam, 519-25.  pre-pubTFO (143 Kb)

'Predicate logic with flexibly binding operators and natural language semantics' (with Peter Pagin), Journal of Logic, Language and Information 2 (1993), 89-128.  pre-pubPFO (324 Kb)

'A situation-theoretic representation of text meaning: anaphora, quantification and negation' (with Björn Haglund and Torbjörn Lager), 1993, in P. Aczel et al. (eds.), Situation Theory and is Applications, vol. 3, CSLI Publications, Stanford, 375-408.

'Relativization of quantifiers in finite models', 1991, in J. van der Does and J. van Eijck (eds.), Generalized Quantifier Theory and Applications, ILLC, University of Amsterdam, 187-205. Also in J. van der Does and J. van Eijck (eds.), Quantifiers, Logic and Language, CSLI Lecture Notes, Stanford, 1996, 375-83.

'Parametric types and propositions in first-order situation theory', 1990, in R. Cooper et al. (eds.), Situation Theory and its Applications, vol 1, CSLI Publications, Stanford, 193-230.

'A note on parameterization', 1989, in C. Åberg (ed.), Cum Grano Salis, Acta Philosophica Gothoburgensia 3, University of Gothenburg, 221-33.  pre-pubParam (511 Kb)

'Occurrence systems. A note on the metaphysics of substitution', 1989, Philosophical Communications, green series no. 32, Department of Philosophy, University of Gothenburg, 15 pp.  pre-pubOccur (868 Kb)

'Quantifiers in formal and natural languages', 1989, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol IV, D. Reidel, Dordrecht, 1-131. Republished (with various misprints beyond the author's control) in the 2nd edition, vol 14, Springer, 2007, 223-338.

'Aristotelian syllogisms and generalized quantifiers', Studia Logica XLVIII.4 (1989), 577-85.

'Branching generalized quantifiers and natural language', 1987, in P. Gärdenfors (ed.), Generalized Quantifiers. Linguistic and Logical Approaches, D. Reidel, Dordrecht, 269-98.

'On the order between quantifiers', 1986, in M. Furberg et al. (eds.), Logic and Abstraction, Acta Philosophica Gothoburgensia 1, 273-85.

'Logical constants in quantifier languages', Linguistics and Philosophy 8 (1985), 387-413.

'Determiners and context sets', 1985, in J. van Benthem and A. ter Meulen (eds.), Generalized Quantifiers in Natural Language, Foris, Dordrecht, 45-71. Reprinted in J. Gutierrez-Rexach (ed.), Semantics: Critical Concepts in Linguistics, vol II, Routledge, London, 2003, 127-51.  pre-pubDetContSet (1364 Kb)

'Some results on quantifiers', Notre Dame Journal of Formal Logic 25 (1984), 152-70.

'On determiners', 1983, in Abstracts from the 7th International Congress of Logic, Methodology and Philosophy of Science, vol. 2, Salzburg, 223-226.

'Review of S. Stenlund, Det Osägbara' (in Swedish), Filosofisk Tidskrift 2 (1981), 38-46.


Edited volumes