Just as an example of the carefulness with which Grice deals with 'rules' in his system: the rather innocuous 'rule' for the 'interderivability of isomorphs', expressed in terms of subscripts maintaining magnitude and formulae being identical, Grice adds:
true, if a notational variant is adopted -- such as Parsons's or Myro's - "I would avoid the necessity for such a rule" --. And he refers to the 'axiom-set' for a system such as [G] that Parsons provided Grice with (and cfr. Myro, "A sketch of system G, in gratitude to Grice for the general idea").
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment