Kripke’s Worlds
Kripke’s Worlds

Author: Olivier Gasquet

Publisher: Springer Science & Business Media

Published: 2013-11-20

Total Pages: 208

ISBN-13: 3764385049

DOWNLOAD EBOOK

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.

Naming and Necessity
Naming and Necessity

Author: Saul A. Kripke

Publisher: Harvard University Press

Published: 1980

Total Pages: 196

ISBN-13: 9780674598461

DOWNLOAD EBOOK

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
Skepticism Films

Author: Philipp Schmerheim

Publisher: Bloomsbury Publishing USA

Published: 2015-11-19

Total Pages: 351

ISBN-13: 1501310984

DOWNLOAD EBOOK

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.

Web Information Systems Engineering
Web Information Systems Engineering

Author: Armin Haller

Publisher: Springer

Published: 2013-05-13

Total Pages: 363

ISBN-13: 3642383335

DOWNLOAD EBOOK

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).

Revising Fiction, Fact, and Faith
Revising Fiction, Fact, and Faith

Author: Nathaniel Goldberg

Publisher: Routledge

Published: 2020-07-01

Total Pages: 185

ISBN-13: 100016411X

DOWNLOAD EBOOK

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.

Fictional Objects
Fictional Objects

Author: Stuart Brock

Publisher: OUP Oxford

Published: 2015-06-04

Total Pages: 288

ISBN-13: 0191054534

DOWNLOAD EBOOK

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.

A Place for Consciousness
A Place for Consciousness

Author: Gregg Rosenberg

Publisher: Oxford University Press

Published: 2004-11-18

Total Pages: 344

ISBN-13: 0190290587

DOWNLOAD EBOOK

What place does consciousness have in the natural world? If we reject materialism, could there be a credible alternative? In one classic example, philosophers ask whether we can ever know what is it is like for bats to sense the world using sonar. It seems obvious to many that any amount of information about a bat's physical structure and information processing leaves us guessing about the central questions concerning the character of its experience. A Place for Consciousness begins with reflections on the existence of this gap. Is it just a psychological shortcoming in our merely human understanding of the physical world? Is it a trivial consequence of the simple fact that we just cannot be bats? Or does it mean there really are facts about consciousness over and above the physical facts? If so, what does consciousness do? Why does it exist? Rosenberg sorts out these problems, especially those centering on the causal role of consciousness. He introduces a new paradigm called Liberal Naturalism for thinking about what causation is, about the natural world, and about how to create a detailed model to go along with the new paradigm. Arguing that experience is part of the categorical foundations of causality, he shows that within this new paradigm there is a place for something essentially like consciousness in all its traditional mysterious respects. A striking feature of Liberal Naturalism is that its central tenets are motivated independently of the mind-body problem, by analyzing causation itself. Because of this approach, when consciousness shows up in the picture it is not introduced in an ad hoc way, and its most puzzling features can be explained from first principles. Ultimately, Rosenberg's final solution gives consciousness a causally important role without supposing either that it is physical or that it interacts with the physical.

The Logic of Entailment and its History
The Logic of Entailment and its History

Author: Edwin Mares

Publisher: Cambridge University Press

Published: 2024-01-31

Total Pages: 282

ISBN-13: 1009375296

DOWNLOAD EBOOK

What follows from what, and how do we make statements (whether true or false) about which inferences are correct? In this book, Edwin Mares provides a new philosophical, semantical and historical analysis of and justification for the relevant logic of entailment. In the first half of the book he examines some key ideas in the historical development of the logic of entailment, looking in particular at the notion 'is derivable from' and at how symbolic logic has attempted to capture this notion. In the second half of the book he develops his own theory connecting ideas from the traditions in mathematical logic with some ideas in the philosophy of science. The book's fresh and original perspective on the logic of entailment will be valuable for all who want to know more about the historical and philosophical origins of modern symbolic logic.

Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures

Author: Orna Kupferman

Publisher: Springer Nature

Published: 2023-04-20

Total Pages: 575

ISBN-13: 3031308298

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.