This is the first of a three-volume collection of David Lewis' most recent papers in all the areas to which he has made significant contributions. This first volume is devoted to Lewis' work on philosophical logic from the past twenty-five years. The topics covered include: deploying the methods of formal semantics from artificial formalized languages to natural languages, model-theoretic investigations of intensional logic, contradiction, relevance, the differences between analog and digital representation, and questions arising from the construction of ambitious formalized philosophical systems.
David Kellogg Lewis was a 20th century philosopher. Lewis taught briefly at UCLA and then at Princeton from 1970 until his death. He is also closely associated with Australia, whose philosophical community he visited almost annually for more than thirty years. He has made ground-breaking contributions in philosophy of language, philosophy of mind, metaphysics, epistemology, and philosophical logic. He is probably best known for his controversial modal realist stance: that there exist infinitely many concretely existing and causally isolated parallel universes, of which ours is just one, and which play the role of possible worlds in the analysis of necessity and possibility.