Australasian Journal of Philosophy Vol. 82, No. 1, pp. 170±184; March 2004 THE CONTEXT OF ESSENCE1 L. A. Paul I address two related questions: ®rst, what is the best theory of how objects have

First Page		Document Content
Date: 2008-09-19 22:56:07 Modal logic Ontology Philosophical logic Abstraction Counterpart theory Modal realism Saul Kripke Essentialism On the Plurality of Worlds Philosophy Logic Metaphysics		Australasian Journal of Philosophy Vol. 82, No. 1, pp. 170±184; March 2004 THE CONTEXT OF ESSENCE1 L. A. Paul I address two related questions: ®rst, what is the best theory of how objects have Add to Reading List Source URL: lapaul.org Download Document from Source Website File Size: 96,67 KB Share Document on Facebook

	Overview Abstraction The Rest DocID: 1xW1V - View Document
	LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University DocID: 1xVQq - View Document
	SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1 DocID: 1xVJt - View Document
	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch DocID: 1xVFk - View Document