the inquisitive turn
play

The Inquisitive Turn a new perspective on semantics, pragmatics, and - PowerPoint PPT Presentation

The Inquisitive Turn a new perspective on semantics, pragmatics, and logic Floris Roelofsen www.illc.uva.nl/inquisitive-semantics Amsterdam, October 11, 2010 People Martin Aher (ILLC MoL 2009, now Osnabr uck PhD LING) Maria


  1. The Inquisitive Turn —a new perspective on semantics, pragmatics, and logic— Floris Roelofsen www.illc.uva.nl/inquisitive-semantics Amsterdam, October 11, 2010

  2. People • Martin Aher (ILLC MoL 2009, now Osnabr¨ uck PhD LING) • Maria Aloni (ILLC postdoc) • Scott AnderBois (UC Santa Cruz PhD) • Kata Balogh (ILLC PhD 2009) • Chris Brumwell (ILLC MoL 2009, now Stanford LAW) • Ivano Ciardelli (ILLC MoL 2009, now Bordeaux PhD COMP) • Irma Cornelisse (UvA BSc AI, now ILLC MoL) • In´ es Crespo (ILLC MoL 2009, now ILLC PhD PHIL) • Jeroen Groenendijk (ILLC NWO prof) • Andreas Haida (Berlin postdoc) • Morgan Mameni (ILLC NWO PhD) • Salvador Mascarenhas (ILLC MoL 2009, now NYU PhD LING) • Floris Roelofsen (ILLC NWO postdoc) • Katsuhiko Sano (Kyoto postdoc) • Sam van Gool (ILLC MoL 2009, now Nijmegen PhD MATH) • Matthijs Westera (ILLC NWO PhD)

  3. Overview Inquisitive semantics • Motivation • Definition and illustration • Some crucial properties Inquisitive pragmatics Inquisitive logic

  4. Overview Inquisitive semantics • Motivation • Definition and illustration • Some crucial properties Inquisitive pragmatics Inquisitive logic Disclaimer • Definitions are sometimes simplified for the sake of clarity • This is all work in progress, there are many open issues, many opportunities to contribute!

  5. The Traditional Picture • Meaning = informative content • Providing information = eliminating possible worlds

  6. The Traditional Picture • Meaning = informative content • Providing information = eliminating possible worlds

  7. The Traditional Picture • Meaning = informative content • Providing information = eliminating possible worlds

  8. The Traditional Picture • Meaning = informative content • Providing information = eliminating possible worlds

  9. The Traditional Picture • Meaning = informative content • Providing information = eliminating possible worlds • Captures only one type of language use: providing information • Does not reflect the cooperative nature of communication

  10. The Inquisitive Picture • Propositions as proposals • A proposal consists of one or more possibilities • A proposal that consists of several possibilities is inquisitive

  11. The Inquisitive Picture • Propositions as proposals • A proposal consists of one or more possibilities • A proposal that consists of several possibilities is inquisitive

  12. The Inquisitive Picture • Propositions as proposals • A proposal consists of one or more possibilities • A proposal that consists of several possibilities is inquisitive

  13. The Inquisitive Picture • Propositions as proposals • A proposal consists of one or more possibilities • A proposal that consists of several possibilities is inquisitive

  14. The Inquisitive Picture • Propositions as proposals • A proposal consists of one or more possibilities • A proposal that consists of several possibilities is inquisitive

  15. A Propositional Language Basic Ingredients • Finite set of proposition letters P • Connectives ⊥ , ∧ , ∨ , → Abbreviations • Negation: ¬ ϕ ≔ ϕ → ⊥ • Non-inquisitive projection: ! ϕ ≔ ¬¬ ϕ • Non-informative projection: ? ϕ ≔ ϕ ∨ ¬ ϕ

  16. Projections Questions ? ϕ ϕ Assertions ! ϕ

  17. Semantic Notions Basic ingredients • Possible world: function from P to { 0 , 1 } • Possibility: set of possible worlds • Proposition: set of alternative possibilities Illustration, assuming that P = { p , q } 11 10 11 10 11 10 01 00 01 00 01 00 worlds possibility proposition

  18. Semantic notions Basic Ingredients • Possible world: function from P to { 0 , 1 } • Possibility: set of possible worlds • Proposition: set of alternative possibilities Notation • [ ϕ ] : the proposition expressed by ϕ • | ϕ | : the truth-set of ϕ (set of indices where ϕ is classically true) Classical versus inquisitive • ϕ is classical iff [ ϕ ] contains exactly one possibility • ϕ is inquisitive iff [ ϕ ] contains more than one possibility

  19. Atoms [ ϕ ] = { | ϕ | } For any atomic formula ϕ : Example: 10 11 01 00 p

  20. Connectives In the classical setting connectives operate on sets of possible worlds: • negation = complement • disjunction = union • conjunction = intersection In the inquisitive setting connectives operate on sets of sets of possible worlds: • negation = complement of the union • disjunction = union • conjunction = pointwise intersection

  21. Negation Definition • [ ¬ ϕ ] = { � [ ϕ ] } • Take the union of all the possibilities for ϕ ; then take the complement Example, ϕ classical: 11 10 11 10 01 00 01 00 [ p ] [ ¬ p ]

  22. Negation Definition • [ ¬ ϕ ] = { � [ ϕ ] } • Take the union of all the possibilities for ϕ ; then take the complement Example, ϕ inquisitive: 11 10 11 10 01 00 01 00 [ ¬ ϕ ] [ ϕ ]

  23. Disjunction Definition • [ ϕ ∨ ψ ] = [ ϕ ] ∪ [ ψ ] Examples: 11 10 11 10 01 00 01 00 p ∨ q ? p ( ≔ p ∨ ¬ p )

  24. Conjunction Definition • [ ϕ ∧ ψ ] = [ ϕ ] ⊓ [ ψ ] • Pointwise intersection Example, ϕ and ψ classical: 11 10 11 10 11 10 01 00 01 00 01 00 p p ∧ q q

  25. Conjunction Definition • [ ϕ ∧ ψ ] = [ ϕ ] ⊓ [ ψ ] • Pointwise intersection Example, ϕ and ψ inquisitive: 11 10 11 10 11 10 01 00 01 00 01 00 ? q ? p ∧ ? q ? p

  26. Implication Intuition ϕ → ψ • Says that if ϕ is realized in some way, then ψ must also be realized in some way • Raises the issue of what the exact relation is between the ways in which ϕ may be realized and the ways in which ψ may be realized

  27. Example If John goes to London, then Bill or Mary will go as well p → ( q ∨ r ) • Says that if p is realized in some way, then q ∨ r must also be realized in some way

  28. Example If John goes to London, then Bill or Mary will go as well p → ( q ∨ r ) • Says that if p is realized in some way, then q ∨ r must also be realized in some way • p can only be realized in one way • but q ∨ r can be realized in two ways

  29. Example If John goes to London, then Bill or Mary will go as well p → ( q ∨ r ) • Says that if p is realized in some way, then q ∨ r must also be realized in some way • p can only be realized in one way • but q ∨ r can be realized in two ways • Thus, p → ( q ∨ r ) raises the issue of whether the realization of p implies the realization of q , or whether the realization of p implies the realization of r

  30. Example If John goes to London, then Bill or Mary will go as well p → ( q ∨ r ) • Says that if p is realized in some way, then q ∨ r must also be realized in some way • p can only be realized in one way • but q ∨ r can be realized in two ways • Thus, p → ( q ∨ r ) raises the issue of whether the realization of p implies the realization of q , or whether the realization of p implies the realization of r • [ p → ( q ∨ r )] = { | p → q | , | p → r | }

  31. Pictures, classical and inquisitive 11 10 11 10 01 00 01 00 p → q p → ? q If John goes, Mary If John goes, will will go as well. Mary go as well?

  32. Another way to think about it Intuition ϕ → ψ • Draws attention to the potential implicational dependencies between the possibilities for ϕ and the possibilities for ψ • Says that at least one of these implicational dependies holds • Raises the issue which of the implicational dependencies hold

  33. Example If John goes to London, Bill or Mary will go as well p → ( q ∨ r ) • Two potential implicational dependencies: • p � q • p � r • The sentence: • Says that at least one of these dependencies holds • Raises the issue which of them hold exactly

  34. A more complex example If John goes to London or to Paris, will Mary go as well? ( p ∨ q ) → ? r • Four potential implicational dependencies: • ( p � r ) & ( q � r ) • ( p � r ) & ( q � ¬ r ) • ( p � ¬ r ) & ( q � ¬ r ) • ( p � ¬ r ) & ( q � r ) • The sentence: • Says that at least one of these dependencies holds • Raises the issue which of them hold exactly

  35. Formalization • Each possibility for ϕ → ψ corresponds to a potential implicational dependency between the possibilities for ϕ and the possibilities for ψ ; • Think of an implicational dependency as a function f mapping every possibility α ∈ [ ϕ ] to some possibility f ( α ) ∈ [ ψ ] ; • What does it take to establish an implicational dependency f ? • For each α ∈ [ ϕ ] , we must establish that α ⇒ f ( α ) holds

  36. Formalization • Each possibility for ϕ → ψ corresponds to a potential implicational dependency between the possibilities for ϕ and the possibilities for ψ ; • Think of an implicational dependency as a function f mapping every possibility α ∈ [ ϕ ] to some possibility f ( α ) ∈ [ ψ ] ; • What does it take to establish an implicational dependency f ? • For each α ∈ [ ϕ ] , we must establish that α ⇒ f ( α ) holds Implementation • [ ϕ → ψ ] = { γ f | f : [ ψ ] [ ϕ ] } where γ f = � α ∈ [ ϕ ] ( α ⇒ f ( α ))

Recommend


More recommend