Formulae in Grice in Davidson/Hintikka -- System GHP

By J. L. Spearnza
for the Grice Club.

With the use of some of the editing facilities, I shall attempt to transcribe some of the formulae in Grice's System (in Davidson/Hintikka, pp. 118-145).

On p. 122, Grice writes two formulae:



~₂F₁a₃


~₃F₁a₂



--- The difference?

Well, as Grice puts it.


The first "represent[s] the reading of S1 in which S1 is FALSE

if Pegasus does not exist".


---