Dag Westerståhl
Curriculum Vitae

Personal and Professional

Date and place of birth: January 5, 1946, Stockholm, Sweden.

B.A. (`Fil. Kand.'), Göteborg University, 1967 (Philosophy, Mathematics).
Ph.D., Göteborg University, 1977 (Theoretical Philosophy).
Docent, Göteborg University, 1983 (Theoretical Philosophy).

Professional record
1978-84 Assistant Professor (`forskarassistent') of Practical and Theoretical Philosophy, Göteborg University.
1984-88 Associate Professor (lecturer) of Philosophy, Göteborg University.
1985-86 Visiting Research Associate, Stanford University.
1988-98 Associate Professor of Theoretical Philosophy, Stockholm University.
1991-96 Researcher, Philosophy of Language, Swedish Council for Research in the Humanities and Social Sciences (HSFR).
1998- Professor of Theoretical Philosophy, Göteborg University.

1996-2001 Managing Editor, Journal of Logic, Language and Information.
1988-2002 Secretary, Swedish National Committee for Logic, Methodology and Philosophy of Science.
2003- President, Swedish National Committee for Logic, Methodology and Philosophy of Science.
1999- Secretary General, International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS).
2001- Member, ASL Council.

Visiting Scholar
Bielefeld, Stanford, Amsterdam, Bologna, Tokyo, Helsinki.

Invited conference addresses, summer school courses, and guest lectures
Groningen, Edinburgh, Siedlce (Poland), Amherst (Massachusetts), Oiso (Japan), Amsterdam, Helsinki, Stanford, Leuven, Saarbrücken, Lisbon, Tokyo, Florence, Bologna, Warsaw, Asilomar (California), Bloomington, Tbilisi, Tübingen, Stuttgart, Dublin, Paris, UCLA, Rutgers.

Selected Publications

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

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

Determiners and context sets, in J. van Benthem and A. ter Meulen (eds), Generalized quantifiers in Natural Language, Foris, Dordrecht, 1985, 45-71.

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

On the order between quantifiers, in M. Furberg et al. (eds), Logic and Abstraction, Acta Philosophica Gothoburgiensia 1, Göteborg University, 1986, 273-285.

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

A note on parameterization, in C. Åberg (ed.), Cum Grano Salis, Acta Philosophica Gothoburgiensia 3, Göteborg University, 1989, 221-233.

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

Quantifiers in formal and natural languages, in D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, vol. IV, Reidel, Dordrecht, 1989, 1-131.

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

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

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

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

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

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

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

Quantifiers in Natural Language. A survey of some recent work, in M. Krynicki och M. Mostowski (eds), Quantifiers: Logic, Models and Computation, vol. 1, Kluwer, Dordrecht, 1995, 359-408.

Self-commuting quantifiers, Journal of Symbolic Logic 61 (1996), 212-224.

Generalized quantifiers in linguistics and logic (with Edward L. Keenan), i J. van Benthem and A. ter Meulen (eds), Handbook of Logic and Language, Elsevier, Amsterdam 1996, 837-893.

Definability of polyadic lifts of generalized quantifiers (with Lauri Hella och Jouko Väänänen), Journal of Logic, Language and Information 6 (1997), 305-335.

On mathematical proofs of the vacuity of compositionality, Linguistics and Philosophy 21 (1998), 635-643.

Quantifiers, generalized, article i E. Craig (ed.), Routledge Encyclopedia of Philosophy, vol. 7, Routledge, London, 1998, 873-877.

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

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

Quantifiers, in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell, Oxford, 2001, 437-460.

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

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

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

On the compositionality of idioms, in D. Barker-Plummer et al. (eds), Words, Proofs, and Diagrams, CSLI Publications, Stanford, 2002, 241-271.

On the compositional extension problem, 2003, to appear in Journal of Philosophical Logic.

Edited volumes

Annals of Pure and Applied Logic 61(1), special issue from LMPS'91 (with Dag Prawitz), 1993, 102 pp.

Logic and Philosophy of Science in Uppsala (with Dag Prawitz), Kluwer, Dordrecht, 1994, ix + 610 pp.

Logic, Methodology and Philosophy of Science IX (with Dag Prawitz and Brian Skyrms), North-Holland, Amsterdam, 1995, xiv + 989 pp.

Logic, Language and Computation, vol. 1 (with Jerry Seligman), CSLI Publications, Stanford, 1996, vii + 590 pp.

Computing Natural Language, (with Atocha Aliseda-Llera and Rob van Glabbeek), CSLI Lecture Notes 81, Stanford, 1998, 138 pp.

Compositionality, special issue of Journal of Logic, Language and Information (with Peter Pagin), 2001, 140 pp.