Nous voudrions dans cet atelier présenter un stage de formation continue intitulé " Initiation à la logique " et proposé par l'IREM de Paris depuis 2010 dans les trois académies d'Île de France. Il s'agit notamment d'expliquer certains de nos choix relatifs aux contenus de ce stage. Comme nous le verrons dans la première partie de cet exposé, nous nous inscrivons 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.