Logic

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999...

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction...

Richard Wollheim is one of the dominant figures in the philosophy of art, whose work has shown not only how paintings create their effects but why they remain important to us. His influential writings have focused on two core, interrelated questions: how...

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians...

In this book about metaphysics the author defends a realistic view of universals, characterizing the notion of universal by considering language and logic, the idea of possibility, hierarchies of universals, and causation. He argues that neither language...

This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used ('relevant') in deriving its conclusion...

Context and the Attitudes collects thirteen seminal essays by Mark Richard on semantics and propositional attitudes. These essays develop a nuanced account of the semantics and pragmatics of our talk about such attitudes, an account on which in saying...

A systematic study of rational or justified belief, which throws fresh light on current debates about foundations and coherence theories of knowledge, the validation of induction and moral scepticism. Dr Nathan focuses attention on the largely...

Practical Reality is about the relation between the reason why we do things and the reasons why we should. It maintains that current philosophical orthodoxy bowdlerizes this relation, making it impossible to understand how anyone can act for a good...

Most current work in epistemology deals with the evaluation and justification of information already acquired. In this book, Jaakko Hintikka instead discusses the more important problem of how knowledge is acquired in the first place. His model of...

Chapters 1-12 of this volume contain the papers on infonnal logic and argumentation that I've published and/or read at conferences over the last 17 years. These papers are reproduced here pretty much unchanged from their first appearance; it is my...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780954300616Author M ZakharyaschevFormat PaperbackPage Count 528Imprint Kings College PublicationsPublisher Kings College PublicationsWeight(grams)...

The Tanner Lectures on Human Values is the annual publication of the Tanner lectures given at Clare Hall, Cambridge University; Brasenose College, Oxford University; Harvard University; Yale University, the University of California; Stanford University,...

What is a human person, and what is the relation between a person and his or her body? In her third book on the philosophy of mind, Lynne Rudder Baker investigates what she terms the person/body problem and offers a detailed account of the relation...

If we must take mathematical statements to be true, must we also believe in the existence of abstract eternal invisible mathematical objects accessible only by the power of pure thought? Jody Azzouni says no, and he claims that the way to escape such...

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Goedel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Goedel's three philosophical heroes -...

We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic...

In this 1970 introduction to philosophy Mr Taylor concentrates on two central topics - explanation and meaning. He takes the argument far enough to acquaint the reader first-hand with the methods and approach of analytical philosophy, and yet because of...

The assumption of materialism (in its many forms) Howard Robinson believes is false. In his book he presents a very forceful critique of the modern forms that materialism has taken. In telling discussions of the theory of supervenience put forward by...

This book is divided into three parts. In the first part, Action, are collected papers that concern the formal theory of action, the logic of norms, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780983452140Author Richard L EpsteinFormat PaperbackPage Count 212Imprint Advanced Reasoning ForumPublisher Advanced Reasoning ForumWeight(grams) 252g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780980167412Author Brian J. ShelleyFormat PaperbackPage Count 388Imprint Global Educational Advance, IncPublisher Global Educational Advance,...

Bayesian nets are widely used in artificial intelligence as a calculus for causal reasoning, enabling machines to make predictions, perform diagnoses, take decisions and even to discover causal relationships. But many philosophers have criticised and...

Scare Tactics, the first book on the subject, provides a theory of the structure of reasoning used in fear and threat appeal argumentation. Such arguments come under the heading of the argumentum ad baculum, the `argument to the stick/club', ...

The attention of philosophers. linguists and literary theorists has been converging on the diverse and intriguing phenomena of analogy of meaning:the different though related meanings of the same word, running from simple equivocation to paronymy,...

The Tanner Lectures on Human Values is the annual publication of the Tanner lectures given at Clare Hall, Cambridge University; Brasenose College, Oxford University; Harvard University; Yale University, the University of California; Stanford University,...

Arguing that the problem with Descartes' Cogito ergo sum - a famous but controversial philosopical dictum - lies in a deficiency in the theory of logic and language that Cartesian scholars have brought to the study of the Cogito, Katz here proposes that...

Not all scientific explanations work by describing causal connections between events or the world's overall causal structure. Some mathematical proofs explain why the theorems being proved hold. In this book, Marc Lange proposes philosophical accounts of...

Nicholas J. J. Smith argues that an adequate account of vagueness must involve degrees of truth. The basic idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than...

Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's Paradox, which...

In 1905, Bertrand Russell published 'On Denoting' in which he proposed and defended a quantificational account of definite descriptions. Forty-five years later, in 'On Referring', Peter Strawson claimed that Russell was mistaken: definite descriptions do...

Medieval logicians advanced far beyond the logic of Aristotle and the aim of this book is to show how far that advance took them in two central areas. Alexander Broadie focuses upon the work of some of the great figures of the fourteenth century,...

This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of...

The operation of developing a concept is a common procedure in mathematics and in natural science, but has traditionally seemed much less possible to philosophers and, especially, logicians. Meir Buzaglo's innovative study proposes a way of expanding...

To clarify and facilitate our inquiries we need to define a disquotational truth predicate that we are directly licensed to apply not only to our own sentences as we use them now, but also to other speakers' sentences and our own sentences as we used...

To clarify and facilitate our inquiries we need to define a disquotational truth predicate that we are directly licensed to apply not only to our own sentences as we use them now, but also to other speakers' sentences and our own sentences as we used...

Isaac Levi's new book is concerned with how one can justify changing one's beliefs. The discussion is deeply informed by the belief-doubt model advocated by C. S. Peirce and John Dewey, of which the book provides a substantial analysis. Professor Levi...

Presumption is a remarkably versatile and pervasively useful resource. Firmly grounded in the law of evidence from its origins in classical antiquity, it made its way in the days of medieval scholasticism into the theory and practice of disputation and...

This book aims to construct a theory of rational decision making for real, resource-bounded, agents. Such decision making must be based on objective probabilities rather than subjective probabilities, and cannot be done by choosing single actions with...

Wittgenstein's philosophical career began in 1911 when he went to Cambridge to work with Russell. He compiled the Notes on Logic two years later as a kind of summary of the work he had done so far. Russell thought that they were 'as good as anything that...