Pergunta:
O que quer dizer «ridendo castigat mores» e qual é a intenção de Gil Vicente a utilizar isto no Auto da Barca do Inferno?
Resposta:
A expressão latina «ridendo castigat mores» — que também ocorre como «castigat ridendo mores» — não foi empregada por Gil Vicente, mas costuma ser citada em estudos sobre este autor, porque define a sua intenção de crítica moral de tipos e grupos sociais quando recorre ao cómico. Segundo o Dicionário de Português Michaelis, a frase significa «corrige os costumes sorrindo» e corresponde ao «[p]rincípio em que se fundamenta a comédia, criado por Jean de Santeul» (1630-1697), poeta francês que escreveu em latim (sobre este autor, ler artigo em francês da Wikipédia).