Can I read Impredicative vs. Predicative Definitions on EtoBox?
Impredicative vs. Predicative Definitions by tomavinkovic is a document available to read on EtoBox.
What is Impredicative vs. Predicative Definitions about?
The document discusses the distinction between predicative and impredicative definitions. A definition is impredicative if it generalizes over a totality that includes the entity being defined, whereas a predicative definition does not. Classical mathematics relies on impredicative definitions, such as the definition of natural numbers and the least upper bound property in analysis. While impredicative definitions were initially controversial due to paradoxes, most contemporary theorists accept them provide
- Author
- tomavinkovic
- Language
- EN