Il panorama in rapida evoluzione dei giochi per l'apprendimento e lo sviluppo delle simulazioni sta portando a nuove potenzialità per l'acquisizione di competenze in mondi immersivi. Inoltre, la velocità di adozione nei contesti di formazione e le aspettative degli studenti più giovani stanno creando profonde implicazioni su come verrà utilizzato nella pratica l'apprendimento basato sul gioco. Con una maggiore enfasi sulle esperienze, quest'ultimo può fornire sfide significative alle nostre istituzioni e nuove strategie di insegnamento. Tuttavia, può anche fornire nuove opportunità per riconsiderare il modo in cui apprendiamo e per sostenere lo sviluppo di nuovi spazi immersivi in cui gli studenti possono produrre le loro conoscenze e condividere esperienze e abilità pratiche nel 'mondo reale'.

Lo scopo di 'Percorsi di logica' è guidare il lettore alla scoperta di alcuni tra i temi più importanti della logica formale classica. Il volume mira a esporre in modo rigoroso ed esauriente, agevolando la costruzione di percorsi tematici personalizzati, i concetti e i risultati di base impiegati in questa disciplina, senza trascurarne l'accessibilità da parte di un pubblico non specialista. A tal fine, il testo è corredato di una sezione riservata ai preliminari matematici e alle tecniche dimostrative più comuni. Il volume presenta la logica proposizionale e predicativa, considerandole da una prospettiva semantica e sintattica. Particolare attenzione è riservata alla loro metateoria. Percorsi di Logica è pensato per le esigenze dei nuovi corsi di laurea in discipline umanistiche e scientifiche. Tuttavia, il volume è accessibile anche ai lettori autodidatti che intendono approfondire autonomamente i temi classici e alcuni degli sviluppi più recenti della logica formale.