Predicative and Impredicative Definitions The distinction between predicative and impredicative definitions is today widely regarded as an important watershed in logic and the philosophy of mathematics. A definition is said to be impredicative if it generalizes over a totality to which the entity being defined belongs. Otherwise the definition is said to be predicative. In the examples below, (2) and (4) are impredicative. Let π be

Nicolas Malebranche: Religion Nicolas Malebranche (1638-1715) was a French philosopher and a rationalist in the Cartesian tradition. But he was also an Oratorian priest in the Catholic Church. Religious themes pervade his works, and in several places he clearly affirms his intention to write philosophy as a Catholic. These religious themes are important for understanding his philosophy. As a rationalist, Malebranche places great emphasis on

Henry David Thoreau (1817–1862) The American author Henry David Thoreau is best known for his magnum opus Walden, or Life in the Woods (1854); second to this in popularity is his essay, “Resistance to Civil Government” (1849), which was later republished posthumously as “Civil Disobedience” (1866). His fame largely rests on his role as a literary figure exploring the wilds of the natural world, not

David Lewis (1941–2001) David Lewis was an American philosopher and one of the last generalists, in the sense that he was one of the last philosophers who contributed to the great majority of sub-fields of the discipline. He made central contributions in metaphysics, the philosophy of language, and the philosophy of mind. He also made important contributions in probabilistic and practical reasoning, epistemology, the philosophy