Grice ed Aosta: l'implicatura sovversiva

 P(φ) φ è positivo (o φ ∈ P) ASSIOMA 1. P(φ) . P(ψ) ⊃ P(φ . ψ) ASSIOMA 2. P(φ) ∨ P(∼φ) (Disgiunzione esclusiva) DEFINIZIONE 1. G(x) ≡ (φ) [ P(φ) ⊃ φ(x) ] (Dio) DEFINIZIONE 2. φ Ess.x ≡ (ψ) [ ψ(x) ⊃ N(y) [ φ(y) ⊃ ψ(y) ]] (Essenza di x) p ⊃ Nq = N(p ⊃ q) (Necessità) ASSIOMA 3. P(φ) ⊃ NP(φ) ∼P(φ) ⊃ N ∼P(φ) Poiché ciò segue dalla natura della proprietà. TEOREMA. G(x) ⊃ G Ess.x DEFINIZIONE 3. E(x) = (φ) [φ Ess. x ⊃ N (∃x) φ(x) ] (Esistenza necessaria)  ASSIOMA 4. P(E) TEOREMA. G(x) ⊃ N(∃y) G(y) quindi (∃x) G(x) ⊃ N(∃y) G(y) quindi M(∃x) G(x) ⊃ MN(∃y) G(y) sibilità) (M = pos- M(∃x) G(x) significa che il sistema di tutte le proprietà positive è compatibile. Ciò è reso grazie a: ASSIOMA 5. P(φ) . φ ⊃ Nψ : ⊃ P(ψ) x = x è positivo x ≠ x è negativo