• aggregazione di giudizi
• analiticità della logica
• D'Agostino e Floridi
• individui concreti
• logiche booleane a profondità limitata
• logiche epistemiche classiche
• onniscienza deduttiva

Questa tesi intende proporre una caratterizzazione formale della conoscenza di individui concreti, vale a dire di agenti con risorse computazionali limitate.
Si mostra che le logiche epistemiche classiche non sono adeguate a raggiungere questo scopo: esse considerano il ragionamento di agenti deduttivamente onniscienti.
Un'analisi storico-filosofica porta a identificare la causa del problema dell'onniscienza nel principio di analiticità della logica. Tuttavia quest’ultimo è incompatibile con la probabile intrattabilità del calcolo proposizionale classico.
Si esamina la recente proposta delle logiche booleane a profondità limitata di D'Agostino e Floridi che distinguono tra inferenze proposizionali analitiche e sintetiche a priori, sulla base delle risorse computazionali necessarie alla deduzione.
Si propone quindi una versione modale di quest'approccio: la logica epistemica a profondità limitata caratterizza la conoscenza di individui concreti dal momento che assume soltanto che i suoi agenti conoscano le conseguenze analitiche di ciò che sanno.
Infine, si suggerisce un'applicazione di questa caratterizzazione degli agenti concreti al contesto sociale dell'aggregazione di giudizi.