Tuesday, December 05, 2006


Pictures from the Basic Knowledge workshop will be appearing here soon ... I am currently away at the New Zealand AAP.

Ed Mares gave the opening presidential address on Sunday, arguing that validity was to be identified with information-preservation and not with truth-preservation. Since information-preservation was so defined as to yield the rules of a relevant logic, this allowed Ed to maintain that the connectives have meanings given by their classical truth-conditions without thereby committing himself to classical logic.
Amongst other interesting stuff, Ed argued (by way of arguing that we do not need Looney Tune, or 'that's all', facts) that whether a model is complete or partial is not a matter of whether the model contains a 'that's all' fact but a matter of our attitude to that model (i.e. whether we regard it as complete or partial). I think it would be preferable, to avoid raising realist eyebrows, to say simply that it is a fact about the model rather than a fact within the model, and leave us out of it.

No comments: