Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's 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 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.

If there is such a thing as essential reading in metaphysics or in philosophy of language, this is it. Ever since the publication of its original version, Naming and Necessity has had great and increasing influence. It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of reference, in particular of naming, and of identity. From a critique of the dominant tendency to assimilate names to descriptions and more generally to treat their reference as a function of their Fregean sense, surprisingly deep and widespread consequences may be drawn. The largely discredited distinction between accidental and essential properties, both of individual things (including people) and of kinds of things, is revived. So is a consequent view of science as what seeks out the essences of natural kinds. Traditional objections to such views are dealt with by sharpening distinctions between epistemic and metaphysical necessity; in particular by the startling admission of necessary a posteriori truths. From these, in particular from identity statements using rigid designators whether of things or of kinds, further remarkable consequences are drawn for the natures of things, of people, and of kinds; strong objections follow, for example to identity versions of materialism as a theory of the mind. This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here published with a substantial new Preface by the author.

Skepticism Films: Knowing and Doubting the World in Contemporary Cinema introduces skepticism films as updated configurations of skepticist thought experiments which exemplify the pervasiveness of philosophical ideas in popular culture. Philipp Schmerheim defends a pluralistic film-philosophical position according to which films can be, but need not be, expressions of philosophical thought in their own right. It critically investigates the influence of ideas of skepticism on film-philosophical theories and develops a typology of skepticism films by analyzing The Truman Show, Inception, The Matrix, Vanilla Sky, The Thirteenth Floor, Moon and other contemporary skepticism films. With its focus on skepticism as one of the most significant philosophical problems, Skepticism Films provides a better understanding of the dynamic interplay between film, theories of film and philosophy.

This book constitutes the revised selected papers of the combined workshops on Web Information Systems Engineering, WISE 2011 and WISE 2012, held in Sydney, Australia, in October 2011 and in Paphos, Cyprus, in November 2012. The seven workshops of WISE 2011-2012 have reported the recent developments and advances in the contemporary topics in the related fields of: Advanced Reasoning Technology for e-Science (ART 2012), Cloud-Enabled Business Process Management (CeBPM 2012), Engineering in the Semantic Enterprise (ESE 2012), Social Web Analysis for Trend Detection (SoWeTrend 2012), Big Data and Cloud (BDC 2012), Personalization in Cloud and Service Computing (PC-S 2011), and User-Focused Service Engineering, Consumption and Aggregation (USECA 2011).

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. Using the novels of J.R.R. Tolkien as exemplars, the authors introduce a fundamental distinction between the purely physical and the linguistic aspects of texts. They then demonstrate how two competing theories of reference—descriptivism and referentialism—are instead constitutive of a single semantic account needed to explain all kinds of revision. The authors also propose their own metaphysical foundations of fiction and fact. The next part of the book brings the authors’ philosophy of revision into dialogue with Thomas Kuhn’s famous analysis of factual, and specifically scientific, change. It also discusses a complex episode in the history of paleontology, demonstrating how scientific and popular texts can diverge over time. Finally, the authors expand their philosophy of revision to religious texts, arguing that, rather than being distinct, such texts are always read as other kinds, that faith tends to be more important as evidence for religious texts than for others, and that the latter explains why religious communities tend to have remarkable historical longevity. Revising Fiction, Fact, and Faith offers a unique and comprehensive account of the philosophy of revision. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, and history and philosophy of science and religion.

Eleven original essays discuss a range of puzzling philosophical questions about fictional characters, and more generally about fictional objects. For example, they ask questions like the following: Do they really exist? What would fictional objects be like if they existed? Do they exist eternally? Are they created? Who by? When and how? Can they be destroyed? If so, how? Are they abstract or concrete? Are they actual? Are they complete objects? Are they possible objects? How many fictional objects are there? What are their identity conditions? What kinds of attitudes can we have towards them? This volume will be a landmark in the philosophical debate about fictional objects, and will influence higher-level debates within metaphysics, the philosophy of mind, and the philosophy of language.

First published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.