Broad: Formal semantics and pragmatics, philosophical logic, philosophy of language.
Narrow: Quantification, modals, propositional attitudes, reference, indefinites, disjunction, indexicals, questions, imperatives, focus-topic structure, presupposition, indefinites, free choice phenomena, comparatives, ellipsis, implicatures, exhaustification, cross-linguistic semantics, diachronic semantics, corpus semantics, optimality theory, formal epistemology, quantified modal logic, bilateral modal logic, dynamic semantics, inquisitive semantics, truth-maker semantics, team logic, two-dimensional semantics.
Current. N∅thing is Logical (NihiL)
People often reason contrary to the prescriptions of classical logic. In this project we study cases of divergence between logic and language, and, challenging the canonical view, we hypothesise that they are a straightforward consequence of a tendency in human cognition to neglect empty representations (neglect-zero). We develop logics where we formally represent neglect-zero and rigorously study its impact on interpretation; explore its possible lexicalizations in specific linguistic domains; and experimentally investigate its impact in ordinary conversations and its conjectured suspension for example in the context of a mathematical proof.
From Nov 2007. NWO Vidi-grant: Indefinites and beyond. Evolutionary pragmatics and typological semantics. Principal Investigator.
People can and do infer information above and beyond what other people actually say. Focusing on expressions with indefinite reference, this research project studies how these inferences based on language use can become part of literal meaning in historical processes of conventionalizations. To this aim the project includes a number of synchronic and diachronic studies of indefinite words in various languages and develops formal models of their variation in meaning and use.
2004-2007. NWO Veni-grant: Semantic Structure and Dynamics in Natural Language Interpretation. Main Researcher.
The idea at the heart of this project is that semantic structures normally held to play a role in the analysis of questions and focus may enter the recursive characterization of the semantics of a much wider range of natural language expressions including free choice indefinites, disjunctions, modals, imperatives.
2005-2007. EU project Language Technology for eLearning. Support Management.
2001-2004. NWO project Formal Language Game. Researcher.
Maria Aloni. Quantification under Conceptual Covers. PhD thesis, University of Amsterdam, Amsterdam, 2001. PDF
The thesis (winner of the E. W. Beth Dissertation Prize in 2002) is about quantification in intensional contexts like questions, propositional attitude reports and epistemic sentences. First it is observed that our evaluation of these constructions crucially depends on the way in which the relevant objects are identified in the specific circumstances of the utterance. This contextual dependence is then made formally precise by representing different methods of identification and by relativizing interpretation to these methods. In this way the thesis succeeds in giving a uniform solution to three (old and recent) important problems of the theory of interpretation – the problem of the representation of the cognitive significance of identity questions, the logico-philosophical puzzle of de re belief ascriptions, and the technical problem of the combination of dynamic quantifiers with ‘holistic’ notions, like presupposition, modals, or support. In the final chapter of the thesis, this solution is adapted to recent pragmatic developments in optimality theoretic and game-theoretic interpretation.