Abstract
In this paper, we first present some aspects of logical analysis of language which are likely to enrich a priori and a posteriori analysis in didactic of mathematics: logical categories - quantification - relationships between syntax and semantics - distinction between definitions, properties and theorems. Then, we present some contributions and uses of logical modelling for studying didactical situations devoted to validation and proof.