Referential Opacity And Modal Logic

This landmark dissertation (1961) provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the 'new theory of reference' and non-linguistic necessity and essentialism to 'Kripke semantics'.

Deals with the two concepts which form a very important current of contemporary philosophical writing.

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth

On January 20th, 22nd, and 29th, 1970 Saul Kripke delivered three lectures at Princeton University. They produced something of a sensation. In the lectures he argued, amongst other things, that many names in ordinary language referred to objects directly rather than by means of associated descriptions; that causal chains from language user to language user were an important mechanism for preserving reference; that there were necessary a posteriori and contingent a priori truths; that identity relations between rigid designators were necessary; and argued, more tentatively, that materialist identity theories in the philosophy of mind were suspect. Interspersed with this was a consider able amount of material on natural kind terms and essentialism. As a result of these lectures and a related 1971 paper, 'Identity and Necessity' (Kripke [1971]), talk of rigid designators, Hesperus and Phosphorus, meter bars, gold and H 0, and suchlike quickly became commonplace in philosophical circles 2 and when the lectures were published under the title Naming and Necessity in the collection The Semantics of Natural Language (Davidson and Harman l [1972]), that volume became the biggest seller in the Reidel (later Kluwer) list. The cluster of theses surrounding the idea that a relation of direct reference 2 exists between names and their referents is now frequently referred to as 'The 3 New Theory of Reference'.

Quine is one of the twentieth century's most important and influential philosophers. The essays in this collection are by some of the leading figures in their fields and they touch on the most recent turnings in Quine's work. The book also features an essay by Quine himself, and his replies to each of the papers. Questions are raised concerning Quine's views on knowledge: observation, holism, truth, naturalized epistemology; about language: meaning, the indeterminacy of translation, conjecture; and about the philosophy of logic: ontology, singular terms, vagueness, identity, and intensional contexts. Given Quine's preeminent position, this book must be of interest to students of philosophy in general, Quine aficionados, and most particularly to those working in the areas of epistemology, ontology, philosophies of language, of logic, and of science.

Dr.A.Thasil Mohamed, Application Architect, Compunnel, Inc NJ,USA Dr.S. SanthoshKumar, Assistant Professor, Department of Computer Science, Alagappa University, Karaikudi, Sivagangai, Tamil Nadu, India.