Abstract
We propose to strengthen Popper's notion of falsifiability by adding the requirement that when an observation is inconsistent with a theory, there must be a 'short proof' of this inconsistency. We model the concept of a short proof using tools from computational complexity, and provide some examples of economic theories that are falsifiable in the usual sense but not with this additional requirement. We consider several variants of the definition of 'short proof' and several assumptions about the difficulty of computation, and study their different implications on the falsifiability of theories.
Original language | English |
---|---|
Pages (from-to) | 259-274 |
Number of pages | 16 |
Journal | Economics and Philosophy |
Volume | 31 |
Issue number | 2 |
DOIs | |
State | Published - 7 May 2015 |
Externally published | Yes |
Bibliographical note
Publisher Copyright:Copyright © Cambridge University Press 2015.
Keywords
- Falsifiability
- computational complexity
ASJC Scopus subject areas
- Philosophy
- Economics and Econometrics