Va uno de Lepe y le dice al otro: Now we can go back to our system. If we use Farkas' concept of cognitive state (or epistemic modal base) of an individual i, represented by Pi, and understood as the set of propositions that i takes to be true of the actual world w0, that is to say:
(*) Pi = {p ∈ ℘(W): ∃!i ∈ Un [p(i)(w0) = 1]} where ℘(W) is the set of all propositions in M; Un ∈ ℘(U) is the set of participants in a relevant context of utterance; p(i)(w0) is a Skolem function that gives us the set of propositions that i takes to be true in the actual world, w0, i.e. the epistemic modal base of i; and if we take the epistemic state of every individual i as different to that of everyone else in U, which is why I used the ! with the existential quantifier in (*), as an abbreviation for λP∃i [P(i) & ∀j [P(j) → i = j]].
Therefore, ⟦εixFx⟧M, g[i/sp] = Φi (⟦Fx⟧M, g[i/sp]).
Y el otro de Lepe dice: no hijo, no!!!!
Keine Kommentare:
Kommentar veröffentlichen