1. O conceito de uma Teoria da Confirmação. 

2. Teoria Lógica da Confirmação. 

2.1. Os princípios elementares da Teoria Lógica da Confirmação (TLC): i) a Condição de Nicod (CN); ii) a Condição de Não Confirmação (CNC); iii) a Condição de Equivalência (CE).

3. O Paradoxo dos Corvos

3.1. Demonstração de como derivar uma contradição a partir dos princípios elementares da TLC e de regras lógicas muito básicas.   

3.2. A proposta de Hempel para dissolver o paradoxo: deixar cair o princípio ii) - CNC. 

3.2.1. Demonstração de que, sem CNC, o paradoxo não é derivável. 

3.3. As consequências contra-intuitivas do abandono de CNC - a objecção da 'ornitologia em pista coberta', de Goodman.

3.4. Resposta de Hempel às objecções de contra-intuitividade.