Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Kripke, Saul A., --- Wittgenstein, Ludwig,

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Saul Kripke is one of the most original and creative philosophers writing today. His work has had a tremendous impact on the direction that philosophy has taken in the last thirty years and continues to dominate some of its most fundamental aspects. Given Kripke's importance it is perhaps surprising that there is no introduction to his philosophy available to the general student. This book fills that gap. As much of Kripke's work is highly technical, the book's central aim is to provide clear exposition of Kripke's ideas in a form that is understandable to a beginning readership as well as a commentary on them that more advanced students will find useful. The book begins with a discussion of Kripke's early work on modal logic, which provides the foundation for many of his later philosophical contributions, before examining in detail Kripke's central ideas and arguments contained in Naming and Necessity. In further chapters Kripke's work on semantic paradoxes and his theory of truth are outlined as well as his controversial interpretation of Wittgenstein's famous private language argument. Kripke's ideas are situated alongside those of his precursors and some of the most important and interesting responses to them are explored. The reader is thus able to appreciate the path-breaking nature of Kripke's contributions, how they have challenged fundamentally traditional interpretations, and how they have sparked some of the most important philosophical debates of recent years.

Philosophy, American --- Kripke, Saul A.,

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"This collection of essays on Saul Kripke and his philosophy is the first and only collection of essays to examine both published and unpublished writings by Kripke. Its essays, written by distinguished philosophers in the field, present a broader picture of Kripke's life and work than has previously been available to scholars of his thought. New topics covered in these essays include vacuous names and names in fiction, Kripke on logicism and de re attitude toward numbers, Kripke on the incoherency of adopting a logic, Kripke on color words and his criticism of the primary versus secondary quality distinction, and Kripke's critique of functionalism. These essays not only present Kripke's basic arguments but also engage with the arguments and controversies engendered by his work, providing the most comprehensive analysis of his philosophy and writings available. This collection will become a classic in contemporary analytic philosophy"--

Philosophers --- Philosophes --- Kripke, Saul A., --- Kripke, Saul --- Arts and Humanities --- Philosophy --- Kripke, Saul A., - 1940 --- -Kripke, Saul A., --- -Kripke, Saul --- -Kripke, Saul A., - 1940

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Theory of knowledge --- Kripke, Saul --- Kripke, Saul A., --- Philosophy, American --- Philosophie américaine --- Philosophie américaine --- Kripke, Saul A., - 1940 --- -Philosophy, American --- -Theory of knowledge --- -Kripke, Saul A., - 1940-

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics). All these logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in domains such as program semantics, artificial intelligence, and more recently in the semantic web. Additionally, all these logics were also studied proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the most uniform and most successful such systems are tableaux systems. Given a logic and a formula, they allow one to check whether there is a model in that logic. This basically amounts to trying to build a model for the formula by building a tree. This book follows a more general approach by trying to build a graph, the advantage being that a graph is closer to a Kripke model than a tree. It provides a step-by-step introduction to possible worlds semantics (and by that to modal and other nonclassical logics) via the tableaux method. It is accompanied by a piece of software called LoTREC (www.irit.fr/Lotrec). LoTREC allows to check whether a given formula is true at a given world of a given model and to check whether a given formula is satisfiable in a given logic. The latter can be done immediately if the tableau system for that logic has already been implemented in LoTREC. If this is not yet the case LoTREC offers the possibility to implement a tableau system in a relatively easy way via a simple, graph-based, interactive language. >dy>.

Mathematical logic --- Mathematics --- wiskunde --- logica --- Modality (Logic) --- Kripke, Saul A.,