Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of great importance that reasoning must account for coping with change in order to be truly useful in practice. The book comprises several contributions to current ways of approaching this problem. On the one hand it surveys and synthesizes recent research work, while on the other hand new research results are included. Among the topics treated are logics for reasoning about actions and planning, belief revision and the reconciliation of logically conflicting inputs, resolving of conflicts by merging of knowledge and issues in the evolution in object-oriented databases. The book is aimed at the researcher and advanced student active in this field.

Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different approaches to the explication of these concepts. This volume presents important research on the state of this discussion, especially as it refers to quantum mechanics. This foundational debate' in computer science, mathematics and physics was already fully developed in 1930 in the Vienna Circle. A special section is devoted to its real founder Hans Hahn, referring to his contribution to the history and philosophy of science. The documentation section presents articles on the early Philipp Frank and on the Vienna Circle in exile. Reviews cover important recent literature on logical empiricism and related topics.

This book seeks to arrive at a better understanding of the relationships between the objective and subjective aspects of time. It discusses the existence of fluent time, a controversial concept in many areas, from philosophy to physics. Fluent time is understood as directional time with a past, a present and a future. We experience fluent time in our lives and we adopt a temporal perspective in our ways of knowing and acting. Nevertheless, the existence of fluent time has been debated for both philosophical and scientific reasons, thus creating a rift between the subjective and objective aspects of time. Starting from the basic notion of points of view, or perspectives, this book explores the relationships between objective or external time, as it has been conceptualized by science, and subjective or internal time, which is involved in our lived experiences. It establishes a general framework encompassing the nature, structure and mode of existence of points of view, in which the objective and subjective aspects of time can be integrated. The book mainly addresses researchers and postgraduates in philosophy and logic. Additionally, it offers inspiration for physicists and computer scientists involved in the modeling and simulation of complex behaviors for which the representation of internal time should be considered together with the notion of objective, external time.

This introduction to modality places the emphasis on the metaphysics of modality rather than on the formal semetics of quantified modal logic. The text begins by introducing students to the "de re/de dicto" distinction, conventionalist and conceptualist theories of modality and some of the key problems in modality, particularly Quine's criticisms. It then moves on to explain how possible worlds provide a solution to many of the problems in modality and how possible worlds themselves have been used to analyse notions outside modality such as properties and propositions. Possible worlds introduce problems of their own and the book argues that to make progress with these problems a theory of possible worlds is required. The pros and cons of various theories of possible worlds are then examined in turn, including those of Lewis, Kripke, Adams, Stalnaker and Plantinga.

This introduction to modality places the emphasis on the metaphysics of modality rather than on the formal semetics of quantified modal logic. The text begins by introducing students to the "de re/de dicto" distinction, conventionalist and conceptualist theories of modality and some of the key problems in modality, particularly Quine's criticisms. It then moves on to explain how possible worlds provide a solution to many of the problems in modality and how possible worlds themselves have been used to analyse notions outside modality such as properties and propositions. Possible worlds introduce problems of their own and the book argues that to make progress with these problems a theory of possible worlds is required. The pros and cons of various theories of possible worlds are then examined in turn, including those of Lewis, Kripke, Adams, Stalnaker and Plantinga.

Paradoxes are more than just intellectual puzzles - they raise substantive philosophical issues and offer the promise of increased philosophical knowledge. In this introduction to paradox and paradoxes, Doris Olin shows how seductive paradoxes can be, why they confuse and confound, and why they continue to fascinate. Olin examines the nature of paradox, outlining a rigorous definition and providing a clear and incisive statement of what does and does not count as a resolution of a paradox. The view that a statement can be both true and false, that contradictions can be true, is seen to provide a challenge to the account of paradox resolution, and is explored. With this framework in place, the book then turns to an in-depth treatment of the Prediction Paradox, versions of the Preface/Fallibility Paradox, the Lottery Paradox, Newcomb's Problem, the Prisoner's Dilemma and the Sorites Paradox. Each of these paradoxes is shown to have considerable philosophical punch. Olin unpacks the central arguments in a clear and systematic fashion, offers original analyses and solutions, and exposes further unsettling implications for some of our most deep-seated principles and convictions.

Paradoxes are more than just intellectual puzzles - they raise substantive philosophical issues and offer the promise of increased philosophical knowledge. In this introduction to paradox and paradoxes, Doris Olin shows how seductive paradoxes can be, why they confuse and confound, and why they continue to fascinate. Olin examines the nature of paradox, outlining a rigorous definition and providing a clear and incisive statement of what does and does not count as a resolution of a paradox. The view that a statement can be both true and false, that contradictions can be true, is seen to provide a challenge to the account of paradox resolution, and is explored. With this framework in place, the book then turns to an in-depth treatment of the Prediction Paradox, versions of the Preface/Fallibility Paradox, the Lottery Paradox, Newcomb's Problem, the Prisoner's Dilemma and the Sorites Paradox. Each of these paradoxes is shown to have considerable philosophical punch. Olin unpacks the central arguments in a clear and systematic fashion, offers original analyses and solutions, and exposes further unsettling implications for some of our most deep-seated principles and convictions.

This book is a study in the logic of questions (sometimes called erotetic logic). The central topics in erotetic logic have been the structure of questions and the question-answer relationship. This book doesn't neglect these problems, but much of it is focussed on other issues. The main subject is the logical analysis of certain relations between questions and the contexts of their appearance. And our aim is to elaborate the conceptual apparatus of the inferential approach to the logic of questions. Questions are asked for many reasons and for different purposes. Yet, before a question is asked or posed, a questioner must arrive at it. In many cases arriving at a question resembles coming to a conclusion: there are some premises involved and some inferential thought processes take place. If we agree that a conclusion need not be "conclusive," we may say that sometimes questions can play the role of conclusions. But questions can also perform the role of premises: we often pass from some "initial" question to another question. In other words, there are inferential thought processes - we shall call them erotetic inferences - in which questions play the roles of conclusions or conclusions and premises. The inferential approach to the logic of questions focusses its attention on the analysis of erotetic inferences. This book consists of eight chapters.

This book deals with a previously neglected episode in the history of logic and theories of cognition: the way in which conceptions of inference changed during the 17th century. Gaukroger focuses on the work of Descartes, contrasting his explanation of inference as an instantaneous grasp in accord with the natural light of reason with the Aristotelian view of inference as a discursive process. He offers a new interpretation of Descartes' contribution to the question, revealing it to be a significant advance over humanist and late Scholastic conceptions, and argues that the Cartesian account played a pivotal role in the development of our understanding of the nature of inference.

"This collection of essays showcases recent work on Hume and the Is/Ought question. There are four distinct attempts to redefine and prove Hume's no-ought-from-is thesis in such a way as to evade the famous counterexamples of A.N. Prior. The rival approaches are explained and discussed together with their implications for meta-ethical theory" --Provided by publisher.

The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines and this book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field.

somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. Quine's advice to give up logi- cal modalities as being beyond repair. Or we could also try to develop a logic of conceptual possibility, restricting the range of our "possible worlds" to those compatible with the transcendental presuppositions of our own conceptual sys- tem. This looks in fact like one of the most interesting possible theories I have dreamt of developing but undoubtedly never will. Its kinship with Kant's way of thinking should be obvious. Besides putting the entire enterprise of possible-worlds semantics into a perspective, we can also see that the actual history of possible-worlds seman- tics is more complicated than it might first appear to be. For the standard in- terpretation of modal logics has reared its beautiful head repeatedly in the writings of Stig Kanger, Richard Montague the pre-Montague-semantics theorist, and Nino Cocchiarella.

Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership.
Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists
This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.

A classic of how to think clearly and critically and ahead of its time in anticipating the threats to democracy by poor argument and shoddy reasoning Engaging, clear and witty, it is a brilliant example of how philosophy can connect with the concerns with everyone and requires no knowledge of the subject Susan Stebbing was the first woman in the UK to be appointed a professor of philosophy, in 1933 A new foreword by Nigel Warburton and introduction by Peter West help to set Stebbing book in helpful context

Anti-realism is a doctrine about logic, language, and meaning with roots in the work of Wittgenstein and Frege. In this book, the author clarifies Dummett's case for anti-realism and develops his arguments further. He concludes by advocating a radical reform of our logical practices.

Contents:
Preface
Abbreviations
1. The need for a logical calculus for the theory of SINN and BEDEUTUNG
2. The logic of GRUNDGESETZE
3. SINNE and GEDANKEN
4. Church's logic of sense and denotation 5. A logical calculus of the theory of SINN and BEDEUTUNG
6. Comparison with Russell and other thinkers
7. Possible revisions to Frege's philosophy
Appendix: Summary of definitions, axioms and inference rules
Bibliography

Most researchers would be amazed to discover that opinions they have about cherished themes in biology and medicine are biased. Van der Steen and Ho contend that logic and methodology are not well applied in biology and medicine, arguing that the impact of social and moral factors on claims within these two disciplines is underestimated. In response to this situation, Van der Steen and Ho present tools from logic and ethics for assessing existing literature. These tools will help to create sound articles and materials in the life sciences.

After reviewing logic and methodological approaches, broad guidelines are used to place science in a social context. Examples from life sciences illustrate the implementation of logic, methodology, and guidelines in forty-five brief case studies. Each study includes comments on quoted and paraphrased passages from a single article or book. Cross-references facilitate the assimilation of lessons from the text. Students, researchers, and scholars in biology, biomedicine, philosophy, and ethics as applied to the life sciences will find this guide useful in improving their research and writing skills.

This complete collection of Francis Bacon's essays is superbly presented and meticulously faithful to the original publication. An intellectual possessed of a staggering breadth of knowledge and learning, Francis Bacon wrote many essays on a range of topics. Subjects such as married life, child rearing, the sins of envy and vainglory, and the virtues of friendship, love and good counsel are all thoughtfully expounded upon and detailed in these essays. Cautionary writings on the subjects of anger and revenge are also present; Bacon notably makes an impassioned plea for true justice, noting that the quality of mercy is a far higher virtue than the 'wild justice' born of angry revenge. Reflecting the early colonial times in which Francis Bacon lived, we also witness essays upon the subjects of travel, Empire, ambition and commerce. Well-traveled and curious about distant lands, it is also with experience that Bacon imbues color and depth to his essays.

Things are particulars and their qualities are universals, but do universals have an existence distinct from the particular things describable by those terms? And what must be their nature if they do? This book provides a careful and assured survey of the central issues of debate surrounding universals, in particular those issues that have been a crucial part of the emergence of contemporary analytic ontology. The book begins with a taxonomy of extreme nominalist, moderate nominalist, and realist positions on properties, and outlines the way each handles the phenomena of predication, resemblance, and abstract reference. The debate about properties and philosophical naturalism is also examined. Different forms of extreme nominalism, moderate nominalism, and minimalist realism are critiqued. Later chapters defend a traditional realist view of universals and examine the objections to realism from various infinite regresses, the difficulties in stating identity conditions for properties, and problems with realist accounts of knowledge of abstract objects. In addition, the debate between Platonists and Aristotelians is examined alongside a discussion of the relationship between properties and an adequate theory of existence. The book's final chapter explores the problem of individuating particulars. The book makes accessible a difficult topic without blunting the sophistication of argument required by a more advanced readership.

First published in 2000. This is Volume V of eight in the Library of Philosophy series on the Philosophy of Mind and Language. Written in 1957, this book enquires how we use language as an instrument of reason, and whether our present use of it is efficient. The use of language for communication is treated as subsidiary.

Arguing Well is a lucid introduction to the nature of good reasoning, how to test and construct successful arguments. It assumes no prior knowledge of logic or philosophy. The book includes an introduction to basic symbolic logic. Arguing Well introduces and explains: * The nature and importance of arguments * What to look for in deciding whether arguments succeed or fail * How to construct good arguments * How to make it more certain that we reason when we should The book is ideal for any student embarking on academic study where presenting arguments are what matters most; in fact, for all people who want to understand the nature and importance of good reasoning and awaken their ability to argue well.

eBook available with sample pages: 0203133005

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz's theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion. The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz's grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.

'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.

Such an approach endows the present treatise with a unique character. Due to this uniqueness in the treatment of the subject, the book will be useful to researchers, graduate and pre-graduate students from various disciplines, such as computer science, mathematics and philosophy. It features an impressive number of examples supported by about 40 tables and 230 figures. The comprehensive index of concepts turns the book into a sort of encyclopaedia for researchers from a number of fields.

'A Geometry of Approximation' links many areas of academic pursuit without losing track of its focal point, Rough Sets.

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds. Whatever its ideology, whether with the intent of uncovering a truer structure of reality or of shooting our anxiety, of exposing myths or of following them through, the outcome of philosophical activity is always the destabilizing, unsettling generation of doubts, of objections, of criticisms. It follows that this activity is intrinsically a dialogue, that philosophy is first and foremost philosophical discussion, that it requires bringing out conflicting points of view, paying careful, sympathetic attention to their structure, and using this dialectic to articulate one's approach, to make it richer, more thoughtful, more open to variation and play. And it follows that the spirit which one brings to this activity must be one of tolerance, of always suspecting one's own blindness and consequently looking with unbiased eye in every comer, without fearing to pass a (fallible) judgment on what is there but also without failing to show interest and respect.