1. Traditional analysis
Carl Gustav Hempel[1] in the 1940s exposed an alleged “paradox of confirmation”, which suggested that a fully consistent formal inductive logic is impossible. This is commonly called “the raven paradox”, and may be described as follows:
- The obse…