Il settore concorsuale si interessa all’attività scientifica e didattico - formativa nel campo della Logica Matematica, dai punti di vista sia sintattico sia semantico, incluse la Teoria della Dimostrazione, la Teoria dei Modelli, la Teoria degli Insiemi, la Teoria della Ricorsività e la Teoria delle Categorie, anche in relazione agli aspetti fondazionali della Matematica; della Storia della Matematica, inclusa l'edizione critica di testi matematici; della 'Epistemologia della Matematica; della Didattica della Matematica, anche per quanto riguarda lo sviluppo di metodi e tecnologie per l'apprendimento, l'insegnamento, la misura, la comunicazione della conoscenza matematica e di tutti gli aspetti delle discipline matematiche (complementari ed elementari da un punto di vista superiore) che sono rilevanti per gli ambiti suddetti. Le competenze didattiche di questo SSD riguardano anche tutti gli insegnamenti di matematica di base che fanno riferimento al macrosettore 01A Matematica.