Myro writes that in a
'semantics' for System G
"consistency would be
undefined -- except
'syntactically'", e.g.
not genearting both
[1] and [2] via
the 'rules of inference'".
Tuesday, July 13, 2010
Subscribe to:
Post Comments (Atom)
where scruples of Gricean lizards can lounge at ease.
No comments:
Post a Comment