The point of formalisation is to model various aspects of natural language. Perhaps the main use to which formalisation is put is to model and explain inferential relations between different sentences. Judged solely by this objective, a formalisation is successful in modelling the inferential network of natural language sentences to the extent that it mirrors this network. There is surprisingly little literature on the criteria of good formalisation, and even less on the question of what it is for a formalisation (...) to mirror the inferential network of a natural language or some fragment of it. This paper takes some exploratory steps towards a quantitative account of the main ingredient in the goodness of a formalisation. We introduce and critically examine a mathematical model of how well a formalisation mirrors natural-language inferential relations. (shrink)

The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to achieve more than (...) he ever intended. This suggests that the model-theoretic definition should be viewed quite differently as an explication of our intuitions about logical consequence. I introduce Kreisel's squeezing argument in Section 1. Then in Section 2, I show how it is adapted by two prominent writers on logical consequence, Etchemendy (1990) and Shapiro (2005). Finally, in Section 3, I argue that these adaptations fail. (shrink)