Dans cet atelier, les auteurs ont présenté un stage de formation continue intitulé « Initiation à la logique » et proposé par l’IREM de Paris depuis 2010 dans les trois académies d’Ile de France. Il s’agit notamment d’expliquer certains de leurs choix relatifs aux contenus de ce stage. Dans la première partie de cet exposé, ils s’inscrivent dans le thème 1 du colloque de la CORFEM 2012 autour des « Nouveaux savoirs et nouveaux dispositifs dans l’enseignement secondaire », non pas parce que la logique fait son apparition dans l’enseignement des mathématiques au lycée, mais plutôt parce qu’un accent particulier est mis dessus dans les derniers programmes.