Nuclear Intervention
Deriving Beck-effects via cyclic scope and local exhaustification
Patrick D. Elliott Uli Sauerland June 14, 2019
ExQA2019, Universität Tübingen
Nuclear Intervention Deriving Beck-effects via cyclic scope and - - PowerPoint PPT Presentation
Nuclear Intervention Deriving Beck-effects via cyclic scope and local exhaustification Patrick D. Elliott Uli Sauerland June 14, 2019 ExQA2019, Universitt Tbingen Roadmap 1 Intro Uli 2 Cyclic scope Patrick 3 Weak
ExQA2019, Universität Tübingen
1
2
3
4
5
6
7
8
9
P(x)
10
11
p ∈P
12
13
14
15
16
17
18
19
20
21
22
23
24
25
Dani and no other Italian sneezed Nino and no other Italian sneezed Patrizio and no other Italian sneezed which italian ... λx ... CQ x sneezed ∧∀p ∈ { p | ∃y[p = y sneezed] } [exclI E(p) → ¬p] ExhC ... t F
x
sneezed 26
27
... ... was [wer was there] defined since Hans believesp ∧ ¬q Hans believesq ∧ ¬p Hans believesp ∧ q is a partitionL QPM ... λp ... CQ ... ExhC ... Hans believes t F
p
28
... ... was [wer was there] undefined since Hans believesp ∧ ¬q Hans believesq ∧ ¬p ¬ Hans believesp ∧ q is not a partitionL QPM ... λp ... CQ ... ExhC ... Hans doesn’t believe t F
p
29
30
31
p 32
33
34
35